body {
	margin: 0  ;
	font-family: Verdana, helvetica, sans-Serif ;
	letter-spacing: 1px ;
	font-size: 9pt ;
	background: #eee ;
	color: #333;
}
.os { 
	background-color: #c1d199;
	color: #819159;
	padding: 1.0em;
	font-weight: bold;
	font-size: 2em ;
	margin: 0em 4em 0em 4em;
}
.container {
	padding: 1em 8em 1em 8em;
}

/********************* Menu ********************/
#navcontainer ul {
    text-align: center;
    padding-bottom: 5px;
    padding-top: 5px;
    padding-left: 0;
    margin-top: 5;
    /* cancels gap caused by top padding in Opera 7.54 */
    margin-left: 0;
    background-color: #eee;
    color: #819159;
    width: 100%;
    font-family: Verdana, helvetica, sans-Serif;
    font-size: 1.5em;
    line-height: 48px;
    /* fixes Firefox 0.9.3 */
}

#navcontainer ul li {
    display: inline;
    padding-left: 0;
    padding-right: 0;
    padding-bottom: 5px;
    /* matches link padding except for left and right */
    padding-top: 5px;
}

#navcontainer ul li a {
    padding-left: 10px;
    padding-right: 10px;
    padding-bottom: 5px;
    padding-top: 5px;
    color: #819159;
    text-decoration: none;
    border: 1px solid #819159;
}

#navcontainer ul li a:hover {
    background-color: #c1d199;
    color: #819159;
}

#navcontainer #active { 
    border-left: 1px solid #fff; 
}

/********************* Contents ********************/
.contents {
	margin: 0 4em 4em 4em;
	padding: 3px 1.5em 0 0 ;
	min-height: 15ex;
}
.contents p, .contents ul, .contents dl {
	margin: 0.5em 0 1em 0;
	line-height: 1.2em;
}
.contents H1 {
	font-size: 11pt ;
	padding: 0 ;
	border-bottom: 1px solid #819159 ;
	padding-bottom: 2px ;
}
.contents A {
	color: #718149 ;
	font-weight: bold ;
	text-decoration: none ;
	border-bottom: 1px dotted ;
}
.contents A:hover {
	border-bottom: 1px solid ;
}

/******************* footer *************************/
.footer {
	clear: both;
	border: 2px dotted #c1d199 ;
	padding: 1em ;
	text-align: center;
	margin-top: 0em ;
	margin-bottom: 0.8em ;
}