/* Default brand colours: the palette in index.css applies unchanged. */