div.menu{
	position: absolute;
	margin: 1%;
	left: 0;
	width: 20%; 
	border-style: double; 
	background-color: rgb( 80%, 100%, 90% );
	color: black;
}
	
div.main{
	position: absolute;
	margin: 1%;
	right: 0;
	width: 75%;
}
div.main h1{
	background-color: rgb( 60%, 100%, 80% );
	color: black;
}
div.main h2{
	text-decoration: underline;
}

hr.menu-separator{
	display: none;
}

div.refmenu {
	border-style: solid;
	border-width: thin;
	background-color: rgb( 80%, 100%, 90% );
	color: black;
}

div.refman h1, div.refman h2{
	background-color: rgb( 60%, 100%, 80% );
	color: black;
}
div.refman h3, div.refman h4, div.refman h5, div.refman h6{
	text-decoration: underline;
}