body {
	margin-top:15px;
	margin-left:auto;
    margin-right:auto;
    width:800px;
    text-align: left;
	font-family: Courier New;
	font: 12px;
	line-height: 125%;
	background-color: #F0F0F0;
	color: black;
	font-weight:400;
	
}

.nav {
	width: 800px;
	margin-top: -17px;
	margin-left:-1px;
    margin-right:-1px;
    padding-top: 15px;
    padding-left:1px;
    padding-right:1px;
    padding-bottom:px;
	position: fixed;
	background-color: #F0F0F0;
	line-height: 125%;
	text-decoration:none;
	font-weight:200;
}	


a {
	color:gray;
	text-decoration:none;
	font-weight:100;
}


a:hover {
    margin-left:auto;
	margin-right:auto;
	width:80%;
    text-align:left;
	color: #FF4500;
	text-decoration: none;
}

#code {
	font-family: Courier;
	font: 12px;
}