3 commits

Author	SHA1	Message	Date
Griatch	fa96fea5b4	Correct search box location	2020-10-15 01:43: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