Rohan Kumar cba57196ac Remove un-needed/duplicate CSS rules ... Lol why haven't I inlined my CSS yet it's like <800 bytes uncompressed now.		2021-01-27 13:36:19 -08:00
..
dark.css	Remove themes/, move its contents to repo root	2021-01-17 17:22:22 -08:00
main.css	Remove un-needed/duplicate CSS rules	2021-01-27 13:36:19 -08:00
syntax.css	Remove themes/, move its contents to repo root	2021-01-17 17:22:22 -08:00