MrPaulBlack 8268873701 [fix] several issues in the simple theme 3 years ago
..
autocomplete.less 14b09c15c4 [fix] simple theme: use stylint to fix common lint errors 3 years ago
code.less f73a00dcee [stylelint] disable role 'no-descending-specificity' 3 years ago
definitions.less 8268873701 [fix] several issues in the simple theme 3 years ago
index.less 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 3 years ago
mixins.less 14b09c15c4 [fix] simple theme: use stylint to fix common lint errors 3 years ago
preferences.less 8268873701 [fix] several issues in the simple theme 3 years ago
search.less 859179f0c9 [theme] optimize switching between different device types 3 years ago
style-rtl.less 14b09c15c4 [fix] simple theme: use stylint to fix common lint errors 3 years ago
style.less 8268873701 [fix] several issues in the simple theme 3 years ago
toolkit.less 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 3 years ago
toolkit_loader.less 14b09c15c4 [fix] simple theme: use stylint to fix common lint errors 3 years ago