body, table {
	background-color: white;
	color: black;
	font-family: sans-serif;
}
h1 {
	font-size: x-large;
	background-color: #b0b8e6;
	padding: 1ex;
}
.caption {
	font-size: smaller;
}
h2 {
	font-size: larger;
	margin-left: 1em;
	margin-top: 3ex;
	margin-bottom: 1ex;
}
div.timecaption {
	font-size: smaller;
	font-style: italic;
	margin-left: 2em;
}
div.substance {
	margin-left: 2em;
	margin-bottom: 3ex;
}
li.child {
	list-style-type: none;
}
ul, ol {
	margin-top: 1ex;
	margin-bottom: 3ex;
}
ul.substance {
	margin-left: 3em;
	font-size: smaller;
}
ol.substance {
	margin-left: 3em;
}
ul.menu {
	font-size: smaller;
}
dt {
	font-size: larger;
	font-weight: bold;
}
div.indent {
	margin-left: 1em;
}
.code {
	font-size: smaller;
	font-family: monospace;
	white-space: pre;
}
.codehilight {
	background-color: #ffeef0; 
	border-width: 1px;
	border-style: solid; 
	border-color: #7f505b;
	padding: 2pt;
	margin: 1pt;
}
.codeimpact {
	margin-top: 2ex;
	margin-bottom: 2ex;
	margin-left: 1em;
	font-size: larger;
	font-weight: bold;
	white-space: nowrap;
}
.date {
	font-size: smaller;
	font-style: italic;
	font-weight: normal;
}
div.header {
	font-size: smaller;
	margin-bottom: 2ex;
}
div.footer {
	font-size: smaller;
	margin-top: 2ex;
}
address {
	font-family: serif;
}
img {
	margin: 5px;
	border: 0px;
}
th, td {
	border-style: solid;
	border-width: 1px;
	border-color: black;
	padding: 2pt;
}
td.menu {
	vertical-align: top;
	width: 14em;
	border-style: none;
	background-color: #e0e8ff;
	padding-right: 1em;
}
td.contents {
	vertical-align: top;
	border-style: none;
	padding: 1em;
}
.striked {
	text-decoration: line-through;
}
.italic {
	font-style: italic;
}
.date {
	font-size: smaller;
	font-style: italic;
}
.back {
	font-size: smaller;
	text-decoration: underline;
	text-align: right;
}
table.bigtable th, table.bigtable td {
  font-size: xx-large;
  font-family: Times, serif;
  font-weight: bold;
}
table.bigtable th {
  background-color: #ffa500;
}