/* Navigation CSS has been moved inline into PHP for speed reasons */