removed the old default.css: good for syntax-highlighting, bad for colorscheming (to light)