See above re hard-coded colours in print_theme_stylesheet