body {
	background: #f2d4ac;
}
pre  { font-family: Courier, monospace; }
tt   { font-family: Courier, monospace; }
code { font-family: Courier, monospace; }

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 : #e2c49c;
	padding-left: 5px;
	padding-right: 5px;
	border-style: solid;
	border-width: thin;
	border-color: black;
}

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

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

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

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

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

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

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

a {
	color: #500000;
}
a:hover {
	background: #ffff80;
}

.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;
}