Rohan Kumar be77c33081 Some more minification ... - Use ect to shrink PNGs - Use some CSS shorthands I didn't know about before.		2021-06-05 15:28:55 -07:00
..
dark.css	CSS: Dark palette: switch to yellow links	2021-06-03 01:24:04 -07:00
main.css	Some more minification	2021-06-05 15:28:55 -07:00
syntax.css	Remove themes/, move its contents to repo root	2021-01-17 17:22:22 -08:00