body {
	background-color: #FFFFFF;
}

A.noline {
  text-decoration: none;
}

.warning {
  color: #770000;
  font-weight: bold;
  font-style: oblique
}

pre {
  font-family: lucidatypewriter, courier, monospace
}

.footnote {
  font-size: 83%;
}