removed DEVILRY_THEME_URL and DEVILRY_COMMON_CSS (which was, oddly enough, declared but never used anywhere whatsoever)