@charset "utf-8";
body {
	background-color:white;
	margin: 2em;}
 h1 {
	font-size:130%;
	padding:0.3em;
	color:white;
	background-color:#414e34;}
 h2 {
	font-size: 100%;
	color: #414e34;
	margin-top: 3em;
	padding:1em;
	border-width:0px 0px 0px 8px;
	border-style:solid;}
 h3 {
	font-size: 80%;}
 p {
	font-size: 90%;}
 p.note {
	border:thin gray solid;
	margin:1em 1em 1em 1em;
	padding:0.5em;
	font-size: small;}

 blockquote{
	font-family: Courier, monospace;}

 pre{
	margin:0.5em 0.5em 0.5em 0.5em;
	background-color:#D5D5D5;}
 li {
	font-size: 90%;}

 table {
	width: 800px;}

 td {
	font-size: 80%;}

 th {
	font-size: 85%;}
 th.false {
	font-size: 85%;
	color: blue;}
 th.true {
	font-size: 85%;
	color: red;}
 b.true {
	color: red;}
 b.false {
	color: blue;}	