.NavMenuGeneral
{
    margin-top: 0; 
    margin-bottom: 0;
	font-family : Verdana, Arial, Helvetica, sans-serif;
}

div.NavMenuFrame
{
    position: absolute;
    top: 31px;
    left: 1px;
    width: 154px;

    border-top: none;
    border-bottom: solid 1px black;
    border-left: solid 1px black;
    border-right: solid 1px black;

    padding: 3px;
    visibility: hidden;
    
    /* This is a default background color. */
    /* The color should be set within each */
    /* individual page.                    */
    background-color: #999999;
}

.NavMenuGroup
{
    font-weight: bold;
	font-size : 10px;        
}

.NavMenuFocuses
{
	
	font-size : 10px;
	margin-left: 2em; 
}	    

.NavMenuFocus
{
	font-size : 10px;
}	    

.NavMenuTop
{
	margin: 0;
	width: 160px;
}