@media print {
  body {
    color: black;
    background-color: white;
    font-family: Palatino, Garamond, Times New Roman, serif;
  }
  h1 { }
  h2,h3,h4,h5,h6 { }
}
body {
  color: black;
  background-color: #eff;
  margin-left: 6%;
  margin-right: 6%;
  font-family: Verdana, Arial, Helvetica, sans-serif;
}
a:link {
  color: #0000ff;
  background-color: transparent;
}
a:visited {
  color: #800080;
  background-color: transparent;
}
pre { font-family: monospace; }
h1 { margin-left: -4%; }
h2,h3,h4,h5,h6 { margin-left: -2%; }
h1.title {
  text-align: center;
  margin-left: 0%;
  font-size: 250%;
  color: #800000;
  background-color: transparent;
}
.navigation {
	font-size: smaller;
}
div.box { border: solid; border-width: thin; width: 100% }