Minor improvement to dark theme css