body {
	background: #f0f2bc;
	color: #002000;
	cursor: crosshair;
	padding-top: 0px;
	margin-top: 0px;
	font-family: Times, TimesNR, Garamond, serif;
}
pre  { font-family: Courier, monospace; }
tt   { font-family: Courier, monospace; }
code { font-family: Courier, monospace; }
/* "overflow: auto;" provides correct behavior for lists
   to the right of left-floated objects. */
ul   { overflow: auto; }
ol   { overflow: auto; }

img.bordered {
	border-style: solid;
	border-width: thin;
	border-color: black;
	margin-left: 3px;
	margin-right: 3px;
	margin-top: 2px;
	margin-bottom: 2px;
}
img.used {
	border-style: solid;
	border-width: 15px;
	border-color: #adf;
	margin-left: 3px;
	margin-right: 3px;
	margin-top: 2px;
	margin-bottom: 2px;
}


p.bordered {
	background : #e0e2ac;
	padding-left: 5px;
	padding-right: 5px;
	border-style: solid;
	border-width: thin;
	border-color: black;
}

ul.bordered {
	background : #e0e2ac;
	border-style: solid;
	border-width: thin;
	border-color: black;
}

ol.bordered {
	background : #e0e2ac;
	border-style: solid;
	border-width: thin;
	border-color: black;
}

div.bordered {
	background: #e0e2ac;
	border-style: solid;
	border-width: thin;
	border-color: #000000;
	padding-left:   5px;
	padding-right:  5px;
	padding-top:    2px;
	padding-bottom: 2px;
}

pre.bordered {
	background : #e0e2ac;
	border-style: solid;
	border-width: thin;
	border-color: #808080;
	padding-left:   5px;
	padding-right:  5px;
	padding-top:    2px;
	padding-bottom: 2px;
}

table.bordered {
	background : #e0e2ac;
	border-style: solid;
	border-width: thin;
	border-color: #808080;
}

h1.bordered {
	background: #303030;
	color: #f0ffac;
	border: 1px solid #808080;
	padding: 3px;
}
h2.bordered {
	background: #303030;
	color: #f0ffac;
	border: 1px solid #808080;
	padding: 3px;
}
h3.bordered {
	background: #303030;
	color: #f0ffac;
	border: 1px solid #808080;
	padding: 3px;
}
h4.bordered {
	background: #303030;
	color: #f0ffac;
	border: 1px solid #808080;
	padding: 3px;
}

p.caption {
	background: #c0c0c0;
	font-size: 80%;
	margin-top: 0px;
	padding-top: 0px;
	padding-left: 3px;
	padding-right: 1px;
	margin-right: 3px;
	margin-left: 3px;
}

a {
	color: #105010;
	text-decoration: underline;
}
a:hover {
	background: #c0ffb0;
}

.navtable {
	padding: 0;
	margin-left: 0;
}
.navtable td {
	background: #a0d0ff;
}
.navtable td a {
	display: block;
	padding: 0.0em 0.0em 0.0em 0.0em;
	background: #a0d0ff;
	text-decoration: none;
}
.navtable li a:hover {
	color: #000060;
	background: #ffffff;
}