default_theme.patch
