MrPaulBlack b6ae1f1c7a [theme] margin around checkboxes is bigger now, index centers the search more and the pref, stats and about page have a max-width now		2021-09-27 12:26:54 +02:00
..
fonts	[mod] simple theme: move magnet.svg to src/fonts	2021-06-16 12:44:07 +02:00
generated	[build] /static	2021-09-06 11:12:17 +02:00
js	[enh] themes: display the engine descriptions	2021-09-24 20:38:05 +02:00
less	[theme] margin around checkboxes is bigger now, index centers the search more and the pref, stats and about page have a max-width now	2021-09-27 12:26:54 +02:00