a.nonexistent {
  font-weight: bold;
  background-color: #F8F8F8; color: #FF2222;
}

a.nonexistent:visited {
  background-color: #F8F8F8; color: #FF2222;
}

body {
	background: #E8E8FF;
	color: black;
	width: auto;
	margin-right: 64px;
	margin-left: 64px;





}

hr { margin-left: 10%; margin-right: 10% }

em { font-style: italic; }
strong { font-weight: bold }

ul { list-style-type: disc }

dl.contents { margin-top: 0 }
dt.contents { margin-bottom: 0 }

p.verse {
  white-space: pre;
  margin-left: 5%;
  margin-bottom: 2px;
}

pre {
	white-space: pre;
	font-family: monospace;
	margin-left: 5%;
	margin-right: 5%;

}
h1 {
	overflow: auto;
	filter: BlendTrans(Duration=2);
	clip:   rect(auto auto auto auto);
	left: auto;
	right: auto;
	border-bottom: 8px solid #A8A8FF;
	background-color: #D8D8FF;
	padding: 4px;
	margin-top: 32px;









}
p {
	line-height: 140%;

}
h2 {
	margin-top: 48px;
	background-color: #D8D8FF;
	padding: 4px;


}
pre.example {
	background-color: #FFFFCC;
	padding: 8px;
	border: 1px solid #999999;
}
.navfoot {


}
h4 {
	list-style-type: circle;
	display: list-item;
}