/* Reserved for theme extensions */