/* Theme overrides (managed by the theme editor). Empty = site defaults. */