PHP-ified things a bit. Styling of Nav