Jakub Steiner 7442bdc383 Adwaita: duplicate selector ... - awkward duplicate selector that should have no effect (resulting in the same css)		2020-12-10 13:51:10 +01:00
..
Adwaita	Adwaita: duplicate selector	2020-12-10 13:51:10 +01:00
Empty	Add an Empty theme for tests	2020-01-17 23:47:34 -05:00
HighContrast	Adwaita: use thinner arrows for navigation	2020-05-13 17:18:45 +00:00