Read default colors from CSS

Closes #1123
Not sure how to retrieve the colors on startup (it seems I can't do it statically since it seems this is run before the page is loaded), but I could cache the results