Sébastien Loriot 96753beb19 accomodate search box updates		2023-05-23 18:09:06 +02:00
..
1.8.13	use default stylesheet (was already the case before)	2023-05-23 14:33:24 +02:00
1.9.6	accomodate search box updates	2023-05-23 18:09:06 +02:00