body {
     font-family: Arial, Helvetica, sans-serif;
     align: left;
     margin: 0px;
     padding: 10px;
     width: 56em;
     text-align: left;
}

h1 {
	text-align: center;
	padding-bottom: 20px;
}

h2 {
  border-top: 2px solid black;
  padding-top: .25em;
}

code.type {
  color: #dd0000;
}

dt {
	font-weight: bold;
}

dd {
	padding-bottom: 20px;
}

pre.type {
  color: #dd0000;
}

pre {
	text-indent: 0;
	margin: 0em 0em 0em 1em;
}


p.ind {
  margin: 0em 0em 0em 1em;
}