<?php

	if (! $nav_colour)
		$nav_colour = "black";