Rebuild main.css (forgot to do it after merging #1920)