Recompile main.css (should have been done after #1428 merge)