/* Empty theme.css; allows extension themes to provide one */