h1, h2, h3 {
	font-family: sans-serif; 
	margin-left: 15px; 
	margin-right: 25px; 
}

h1 { 
	font-size: 180%; 
	font-style: bold; 
}
h2 { 
	font-size: 140%; 
	font-style: bold; 
}
h3 { 
	font-size: 120%; 
	font-style: bold; 
}

p, li { 
	font-family: serif; 
	font-size: 100%; 
	margin-left: 25px; 
	margin-right: 25px; 
}

li.future {
  font-style: italic;
}

p.navigator {
  font-family: sans-serif;
  font-style: bold;
	background: #88aadd;
	border-style: solid;
	border-width: 1px;
	border-color: black;
	padding: 5px 5px 5px 5px;
	margin-left: 15px;
	margin-right: 15px;
}

span.code { 
	font-family: monospace; 
	font-size: 80%; 
}

span.moretitle {
	font-family: sans-serif; 
	font-size: 120%; 
	font-style: bold; 
}

p.moreinfo {
	margin: 15px 50px 15px 50px;
	background: #eeeeee;
	border-style: solid;
	border-color: black;
	border-width: 1px;
	padding: 5px 5px 5px 5px;
}

p.codesection { 
	font-family: monospace; 
	font-size: 80%; 
	margin: 15px 50px 15px 50px; 
	background: #dddddd;
	border-style: solid;
	border-color: black;
	border-width: 1px;
	padding: 5px 5px 5px 5px;
}

span.em {
  font-style: bold;
}

span.iem {
  font-style: italic;
}

span.comment {
  color: green;
}

p.codecaption, p.figcaption, p.tabcaption {
  font-style: bold;
	margin-left: 50px;
	margin-right: 50px;
	margin-top: -10px;
	margin-bottom: 15px;
}

p.figure {
  margin: 15px 50px 15px 50px;
	padding: 5px 5px 5px 5px;
}

table {
  margin: 15px 50px 15px 50px;
	padding: 0px 0px 0px 0px;
/*	border-style: solid;
	border-width: 1px;
	border-color: black;
*/	border-collapse: collapse; 
}

td {
  border-style: solid;
	border-width: 1px;
	padding: 2px 2px 2px 2px;
}

tr {
	background: #dddddd;
	font-family: sans-serif;
	font-size: 10pt;
}

tr.top {
  background: #88aadd;
	font-style: bold;
	font-size: 12pt;
}

p.valid {
  font-size: 8pt;
	font-family: sans-serif;
	font-style: italic;
	margin: 10px 0px 0px, 0px;
	padding: 5px 25px 0px 25px;
	border-top-style: solid;
	border-top-color: black;
	border-top-width: 1px;
}

p.legal {
  font-size: 8pt;
	font-family: sans-serif;
	font-style: italic;
	margin: 0px 0px 10px, 0px;
	padding: 5px 25px 0px 25px;
}