body {
	font-family: Verdana, Helvetica;
	font-size: 0.9em;
	background-color: #6f6f6f;
}

a:hover {
	color: red;
}

a:visited {
	color: navy;
}

div.navipane {
  float: left;
  top:5pt;
  left:0pt;
	border: 1px solid #6b1a74;
	width: 210px;
	background-color: white;
}
div.navipane li {
	margin-left: -10px;
	margin-top: 3px;
}

#title {
  margin: 0 auto;
  width: 1035px;
  padding:0pt;
  position:relative;
  text-align:center;
  margin-bottom:5px;
}

div.navipane li.skip {
	list-style: none;
}

#content {
  float:right;
  top:5pt;
  left:215pt;
	border: 1px solid #6b1a74;
  padding-left:5pt;
  padding-right:5pt;
  width:800px;
	background-color: white;
}

#all {
  margin: 0 auto;
  width: 1035px;
  padding:0pt;
  position:relative;
}

pre { border: 1pt #999 dashed; padding: 5px 2px 5px 15px; font-size: 120%; }

tt { font-size: 130%; }