body {
	background: white fixed no-repeat left top; margin: 1em 0.5em 1em 1.5cm; color: black; font-family: serif;
}
:link {
	background: none transparent scroll repeat 0% 0%; color: #00c
}
:visited {
	background: none transparent scroll repeat 0% 0%; color: #609
}
:active {
	background: none transparent scroll repeat 0% 0%; color: #c00
}

table {
	margin-left:1em;
	border:thin solid black;  
	border-collapse:collapse;
}

tr {
	border:thin solid black;
}

th {
	border:thin solid black;padding: 5px; background-color: rgb(192,220,254);
}
td {
	font-family: serif; border:thin solid black;padding: 5px;
}
h1 {
	text-align: left
}
h2 {
	text-align: left
}
h3 {
	text-align: left
}
h4 {
	text-align: left
}
h5 {
	text-align: left
}
h6 {
	text-align: left
}
h1 {
	background: white; color: #005a9c
}
h2 {
	background: white; color: #005a9c
}
h3 {
	background: white; color: #005a9c
}
h1 {
	font: 170% serif
}
h2 {
	font: 140% sans-serif
}
h3 {
	font: 120% sans-serif
}
h4 {
	font: bold 100% sans-serif
}
h5 {
	font: italic 100% sans-serif
}
h6 {
	font: small-caps 100% sans-serif
}
.hide {
	display: none
}
div.head {
	margin-bottom: 1em
}
div.head h1 {
	clear: both; 
	margin-top: 2em
}
div.head table {
	margin-top: 2em; 
	margin-left: 2em
}
div.head img {
	border-right:medium none;
	border-top: medium none; 
	border-left: medium none; 
	color: white; 
	border-bottom: medium none;
}

p {
	margin-left: 1em;
	font-family:serif;
}
p.copyright {
	font-size: small
}
p.copyright small {
	font-size: small
}

p.highlight {
	font-size: larger;
	font-family: sans-serif;
}

p.author {
	text-align: right;
}

div.quote {
	margin: 1em;
	font-family:serif;
	font-style:italic;
}

@media screen{
unknown {
	background: #ffa
}
}
pre {
	margin-left: 2em
}
dl {
	margin-left: 1em;
}
dt {
	margin-top: 0.5em; margin-bottom: 0px
}
dd {
	margin-top: 0.5em; margin-bottom: 0px; margin-left:1em;
}
dt {
	font-weight: bold
}
pre {
	font-family: monospace;
	font-size: smaller;
}
pre.plist{font-family:monospace;
          border-style:solid;
          border-width:1px;
          border-color:black;
          padding: 0.5em;
          width:auto;
}
code {
	font-family: monospace
}
ul.toc {
	list-style-type: none
}

li {
	margin-top:0.5em;
}

span.em{
	font-weight:bolder;
}

span.old{
	text-decoration:line-through;
	color: maroon;
}
span.new{
	color: navy;
}
