Restore our customizations to the default theme.