2019-09-09 New CSS

Instead of /light.css we’re now using /default.css which is supposed to respect your browser preferences for “dark mode”. Let me know how it goes (and if you have improvements to suggest).