/* Theme colours are defined centrally in site.css. Kept for existing theme preferences. */