body {
	width: "100%";
	height: "100%";
	overflow: auto;
	}
	
a:link, a:visited , a:active {
	color: #990000;
	font-family : Helvetica, Arial, sans-serif;
	font-weight: normal;
	font-size : 14px;
	font-style: normal;
	text-decoration: none;
}

#nav_margin {
  margin-top: 5px;
  margin-bottom: 5px;
  margin-left: 10px;
}

a:hover {
    background-color: #b5a58c;
    color: black;
}

a.bigger:link, a.bigger:visited , a.bigger:active {
	color: #990000;
	font-family : Helvetica, Arial, sans-serif;
	font-weight: bold;
	font-size : 16px;
	font-style: bold;
	text-decoration: none;
}

a.bigger:hover {
    background-color: #b5a58c;
    color: black;
}