mrpaulblack 6a8e168e25 [simple theme] use default font and font-size in info page

2022-03-16 21:01:22 +01:00

..

generated

make pygments.less

2022-01-07 08:35:14 +01:00

js

[fix] simple: detect touch screen using media query

2022-02-27 19:26:52 +01:00

less

[simple theme] use default font and font-size in info page

2022-03-16 21:01:22 +01:00

svg

[brand] initial - folder src/brand for searxng-wordmark

2021-11-20 10:14:55 +01:00