6 commits

Author	SHA1	Message	Date
Griatch	466588288e	Change fonts	2020-06-16 21:41:12 +02:00
Griatch	78970e92b3	Add breadcrumbs. Format markdown files to char width 100	2020-06-16 16:53:35 +02:00
Griatch	a9aae82092	Further fix to CSS	2020-06-16 14:49:03 +02:00
Griatch	97522f8f95	Some more refactoring	2020-06-16 09:33:41 +02:00
Griatch	667dd54846	Customize CSS	2020-06-15 20:08:00 +02:00
Griatch	31306f5b22	Add doc-contribution page, toctree-creation mechanism	2020-06-14 21:45:37 +02:00