vignettes: drop one of the CSS files