Some stray CSS comments in this file, are they necessary?