Stéphane Goetz f6237b7ddb Tweak search on mobile, fixes #432		2017-01-23 23:24:09 +01:00
..
tipuesearch.css	Tweak search on mobile, fixes #432	2017-01-23 23:24:09 +01:00
tipuesearch.js	Tweak search on mobile, fixes #432	2017-01-23 23:24:09 +01:00