body 
	{
	margin: 0;
	padding: 0;
	color: #333;	
	} 


a.menu, a.menu:link,a.menu:visited
	{
        color:#000;
        text-decoration:none;
        font-family:verdana,arial,helvetica,sans-serif;
        padding:1px 4px;
        font-size:11px;
        font-weight: normal;
        }

a.menu:hover
	{
        color:#ff0000;
        text-decoration:none;
        font-family:verdana,arial,helvetica,sans-serif;
        padding:1px 4px;
        font-size:11px;
        font-weight: normal;
        }

pre
	{
        font-size:11px;
	}


/**-----------------------------------------------------------------------------
** PAGE TITLES 
**/ 

#pagetitle  
	{
        font-family:verdana,arial,helvetica,sans-serif;
        font-size:15px;
        font-weight: bold;
	color: #000000;
	text-align: left;
	line-height: 2em;
	}


/**-----------------------------------------------------------------------------
** NAVIGATION MENU HIGHLIGHTS
**/

body#index a#indexnav,
body#how a#hownav,
body#install a#installnav,
body#usage a#usagenav, 
body#download a#downloadnav, 
body#license a#licensenav, 
body#history a#historynav 
	{
	font-weight: bold;
	}