body {
		font-family : Verdana, Geneva, Arial, Helvetica, sans-serif;
		background-color: #f8d4b9;
		color: #663300;
		margin: 0px;
		padding: 5px 10px 5px 10px;
	}
	body,p,li,a,td,span,div {
		font-size: 10pt;
	}
	#banner {
		background-color: #f8d4b9;
		height: 100px;
		width: 100%;
		padding: 0px;
		border-bottom: 1px solid #990000;
	}
	#main {
		margin-left: 195px;
		background-color: #f8d4b9;
		padding-right: 20px;
		padding-left: 20px;
		color: #884444;
	}
	#left {
		float: left;
		background-color: #f8d4b9;
		width: 190px;
		color: #aa0000;
		border-right: 3px double #990000;
		height: 100%;
		font-size: 80%;
	}
	#footer {
		border-top: 1px dotted #663300;
		border-bottom: 1px dotted #663300;
		padding: 4px 0px 4px 0px;
		background-color: #f8d4b9;
		width: 100%;
		bottom: 0;
		font-size: 75%;
		margin: float;
		text-align: center;
	}
	.eng {font-style: italic; padding-left: 20px;}
	h1,h2,h3 {
		font-weight: normal;
		font-family: Georgia;
	}
	h1 {
		font-size: 175%;
		padding-bottom: 0px;
		margin-bottom: 0px;
	}
	h2 {
		font-size: 150%;
		padding-bottom: 0px;
		margin-bottom: 0px;
	}
	p {
		margin-top: 5px;
		text-align: justify;
	}
div.pagenav img{
	border: 2px solid silver;
}
div.pagenav a{
	border: 0px solid silver;
}
div.pagenav a:hover img{
	border: 2px solid red;
}
div#leftarea {
	text-align: center;
	border-right: 3px double Orange;
}
div#leftarea h1 {
	font-size: 15px;
	font-weight: bold;
}
div#leftarea h2 {
	font-size: 13px;
	font-style: italic;
}
div#leftarea p {
	font-size: 10px;
}
div#mainarea {
	text-align: center;
	background-color: white;
	float: left;
	width: 730px;
}
div#footer {
	clear: both;
	}
div#indexlist {
	text-align: left;
}
div#indexlist a{
	color: Brown;
	font-size: 10px;
}
div#indexlist a:hover{
	color: Navy;
	font-size: 10px;
}
div#hiddentext {
	clear: both;
 	display: none;
}
td {
	vertical-align: top;
}
a#pdflink{
	font-weight:bold;
	font-size: 11px;
	color: Navy;
}
a#pdflink:hover {
	color: Purple;
}
#search_results {
	text-align: left;
	margin: 5px;
}
p.search_hit {
	font-size: 80%;
}
.hi {
	background-color: yellow;
}