<?php if (! $nav_colour) $nav_colour = "black";