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