/* Just used to make sure browser cache (Firefox) is cleared when switching back to the default theme */