/* needed for theme customizations */