/* Theme override file -- will be replaced when theme is changed from default. */