Various improvements and enhancements to core.css and the default theme. Also fixes #28