Minor fix for theme.css