Developers package themes

These are all the themes included in DB.  They are here to be
edited/customized.  If you edit or replace a theme, make sure to upload
the "compressed" css into the appropriate space in the databse.