Resetting the default theme manually