body {
	font-family: arial, helvetica, sans-serif;
	background: white;
	color: black;
	padding: 5px;
}
.contents {
  position: absolute;
  top: 80px;
  left: 180px;
  width: 643px;
  min-height: 400px;
  background: white;
  padding: 2px 5px;
  border-width: 1px;
  border-style: solid;
  border-color: grey;
}
.contents h1, h2, h3, h4, h5 {
  background-color: white;
  border: 2px solid grey;
  padding: 5px;
}
.contents p.footer {
  border-width: 1px;
  border-style: solid;
  border-color: grey;
  font-size: small;
  padding: 2px 5px;
}
.global_nav {
  border-width: 1px;
  border-style: solid;
  border-color: grey;
  width: 800px;
  height: 40px;
  padding: 10px;
  background: #ddd;
}
.global_nav p.print_page {
  font-size: small;
  text-align: right;
  margin-top: -1em;
}
.local_nav {
  position: absolute;
  top: 80px;
  left: 10;
  border-width: 1px;
  border-style: solid;
  border-color: grey;
  width: 150px;
  min-height: 400px;
  padding: 5px;
  background: #ddd;
}
.local_nav ul {
  padding-left: 20px;
  padding-right: 10px;
  margin-left: 0px;
}
.navlink:hover {
  color: white;
  background-color: white;
}
a {
  text-decoration: none;
  color: black;
}
div.contents a:link {
  text-decoration: none;
  color: blue;
}
div.contents a:visited {
  text-decoration: none;
  color: blue;
}
div.contents a:hover {
  text-decoration: underline;
  color: blue;
}
div.contents a:active {
  background-color: yellow;
  text-decoration: underline;
}