td.menubar{
	vertical-align: top;
	width:10em;
}

h2{
	color:#000000;
	background-color : #FFFFD0 ;
        border-top: 	 #FFA500 1px solid;
        margin-top: 2em;
}

h3{
	color:#000000;
	margin-top:2em;
	margin-left: 0.1em;
}

h4{
	color:#000100;
        font-size:120%;
	margin-top:1em;
	margin-left: 0.1em;
}

pre {
	border-top: 	 #DDDDEE 1px solid;
	border-bottom: #888888 1px solid;
	border-left:	 #DDDDEE 1px solid;
	border-right:  #888888 1px solid;
	padding: .5em;
	margin-left: 1em;
	margin-right: 2em;
	white-space: pre;
	background-color: #F5F5DC;
        line-height: 1.1em;
}

a:link{
	color : #447700;
}

#container {
    min-width:1100px;
    border-top:1px solid #E6570B;
    border-right:1px solid #E6570B;
}

#menubar {
    width:10em;
    float:left;
    padding:10px 10px 10px 10px;
    margin-bottom:5px;
    border-left:0px solid #E6570B;
    border-right:0px solid #E6570B;
    line-height: 1.3em;
}

#contents {
    color:#000100;
    margin:0px 0px 0px 12em;
    padding:2em;
}