Added coverage for default_themes().