this css file is never loaded, so better drop it than carry dead code