body
{
  color: black;
  background: white;
  margin-left: 8%;
  margin-right: 8%;
}
h1
{
  font-family: sans-serif;
  margin-left: -8%;
}
h2,h3,h4,h5,h6
{
  font-family: sans-serif;
  margin-left: -4%;
}
pre
{
  margin-left: +4%;
  font-size: 90%;
  white-space: pre;
}
a:hover
{
  color: black;
  background: #CCFFFF;
}
span.literal
{
  font-weight: bold;
/*  font-family: sans-serif; */
}
span.note
{
	font-style: italic;
}
div.note
{
	background-color: rgb(240,240,255);
	padding: 0.5em;
	border: none;
	width: 100%;
}