themes are now available as separate css files under css/theme/, old theme option in config is no longer supported (closes #104)