7 commits

Author	SHA1	Message	Date
Griatch	feb5b22cab	Fix css width of document class	2020-10-18 02:03:56 +02:00
Griatch	fa96fea5b4	Correct search box location	2020-10-15 01:43:29 +02:00
Griatch	82542f97c2	Add develop basic.css	2020-10-15 01:19:29 +02:00
Griatch	057a9e3fa4	Modify doc css to be responsive	2020-10-15 00:49:48 +02:00
Griatch	c52f505d00	Copy doc tools from develop	2020-07-12 20:03:09 +02:00
Griatch	cd88660c00	Update favicon also for master	2020-06-13 23:28:25 +02:00
Griatch	f7bde74360	Add initial static-doc to master for proper versioning	2020-06-12 22:01:38 +02:00