XhmikosR dd23bb5c12 Backport search.js changes from v4-dev.

2018-12-10 11:08:34 +02:00

..

brand

Compress docs images.

2018-10-08 20:12:34 +03:00

css

dist

2018-04-08 18:38:25 -07:00

img

Use https, fix broken links and unneeded redirects.

2018-10-18 11:27:47 +03:00

js

Backport search.js changes from v4-dev.

2018-12-10 11:08:34 +02:00

less

search input: hide box-shadow.

2018-12-10 11:08:34 +02:00