5 commits

Author	SHA1	Message	Date
Felix Roos	d7ea37c917	add technical manual to docs	2022-12-26 22:43:02 +01:00
Felix Roos	f18a2a11fa	make repl and doc styles more similar	2022-12-22 22:49:41 +01:00
Felix Roos	b5f9ab7c20	slight layout fixes	2022-12-20 22:47:49 +01:00
Felix Roos	0981f95f16	style left sidebar	2022-12-20 22:26:12 +01:00
Felix Roos	bc7a84e462	basic astro docs	2022-12-19 23:23:31 +01:00