added some colors to the theme (i.e. config) files - note that the frosted theme is currently just a duplicate of dark
added nice theming to the buttons from other projects
slightly modified the CSS compilation script to give the compiled files more useful names