8 commits

Author	SHA1	Message	Date
Griatch	a5f66e4652	Resync all links and fix issues with auto-relink	2020-06-18 00:44:36 +02:00
Griatch	b6e929bc66	Reorganize docs into flat folder layout	2020-06-17 18:06:41 +02:00
Griatch	c1dbcfd15b	Change fonts	2020-06-16 21:41:12 +02:00
Griatch	fb69aed15f	Add breadcrumbs. Format markdown files to char width 100	2020-06-16 16:53:35 +02:00
Griatch	2db063157e	Further fix to CSS	2020-06-16 14:49:03 +02:00
Griatch	746c620100	Some more refactoring	2020-06-16 09:33:41 +02:00
Griatch	4e36f0d862	Customize CSS	2020-06-15 20:08:00 +02:00
Griatch	eeac092439	Add doc-contribution page, toctree-creation mechanism	2020-06-14 21:45:37 +02:00