body {
	background-color: white;
  	color: black;
  	font-family: Times, serif;
  	margin-left: 2em;
  	margin-top: 2em
}
h1 {
	font-size: 18pt;
	color: #336699;
}
h2 {
	font-size: 16pt;
	background-color: #DDDDDD;
	color: #336699;
	padding: 3px;
}
h3 {
	font-size: 12pt;
	background-color: #DDDDDD;
	color: #336699;
	padding: 3px;
}
h4 {
	font-size: 10pt;
	font-weight: bold;
	margin: 2px;
	margin-left: 0px;
}
div.rule, div.rulewip {
	background-color:#eeeeee;
	border:1px solid black;
	margin-bottom:6px;
	padding:3px;
}
div.rulewip {
	background-color:#ff6060;
}
div.comment {
	background-color: #ffffff;
	padding: 3px;
	border: 1px solid black;
}
div.termdef {
	background-color: #eee;
	margin-bottom: 6pt;
	padding: 0.5em;
}
span.emph {
	font-weight: bold;
}
span.termname {
	font-style: italic;
}
span.element {
	font-family: Courier New, Courier, monospace;
	color: #0000d0;
	font-size: 9pt;
}
span.value {
	font-family: Courier New, Courier, monospace;
	font-weight: bold;
}