Rohan Kumar 03da61c393 Remove redundant CSS selectors ... Thanks to YellowLabTools for pointing that out		2020-12-18 18:30:34 -08:00
..
dark.css	Greatly simplify CSS, dark theme fixes	2020-12-17 21:27:11 -08:00
main.css	Remove redundant CSS selectors	2020-12-18 18:30:34 -08:00
syntax.css	CSS: clean up to match stylelint, csslint	2020-12-12 21:05:25 -08:00