Source for file index.php

<?
/**
 * The index.php.
 * The main entry for a browser request
 *
 * @package menu
 * @filesource
 * @see index.php
 * @copyright (c) http://Finn-Rasmussen.com
 * @license http://Finn-Rasmussen.com/license/ myPHP License conditions
 * @author http://Finn-Rasmussen.com
 * @version 1.9
 * @since 21-oct-2005
 */
 
/**
 * The required files
 */
require_once($_SERVER['DOCUMENT_ROOT'].'/initialize.php');
 
require_once(HTML_BASE_PAGE_PATH.'/CssBase.php');   // The Base CSS
require_once(HTML_MENU_PAGE_PATH.'/CssMenu.php');   // The Menu CSS
CssBase::display();
CssMenu::display();
 
require_once(HTML_MENU_PAGE_PATH.'/Icons.php');
Icons::display();
 
require_once(HTML_MENU_PAGE_PATH.'/TopMenu.php');
require('menutop.php');
TopMenu::display($topmenuLinks);
 
require_once(HTML_MENU_PAGE_PATH.'/LeftMenu.php');
require('menuleft.php');
LeftMenu::display($leftmenuLinks);
 
require_once(HTML_MENU_PAGE_PATH.'/RightMenu.php');
require('menuright.php');
RightMenu::display($rightmenuLinks);
 
require_once(HTML_MENU_PAGE_PATH.'/BottomMenu.php');
require('menubottom.php');
BottomMenu::display($bottommenuLinks);
 
require_once(HTML_MENU_PAGE_PATH.'/MenuLink.php');
MenuLink::display();
?>