6 commits

Author	SHA1	Message	Date
Griatch	bd0c62c01f	Correct search box location	2020-10-15 01:43:29 +02:00
Griatch	b773205bec	Add develop basic.css	2020-10-15 01:19:29 +02:00
Griatch	2ffda67f12	Modify doc css to be responsive	2020-10-15 00:49:48 +02:00
Griatch	6af2fc6819	Copy doc tools from develop	2020-07-12 20:03:09 +02:00
Griatch	1a0d716f27	Update favicon also for master	2020-06-13 23:28:25 +02:00
Griatch	8c8a0ec985	Add initial static-doc to master for proper versioning	2020-06-12 22:01:38 +02:00