fix generation of non-theme-specific CSS