Themes.php tweak