body {
	margin: 10px 38px 10px 38px;
	color: #000000;
	background-color: #ffffff;
	font-family: Arial, sans-serif;
}
h1 {
	padding: 3px 0px 3px 0px;
	width: 100%;
	border-width: 2px;
	border-style: none none none none;
	border-color: #555555;
	text-align: left;
	font-family: Arial, sans-serif;
	font-weight: bold;
	font-size: 173%;
	margin: 5px -20px 30px -20px;
}
h2 {
	color: #ffffff;
	background-color: #555555;
	padding: 4px 38px 4px 38px;
        margin: 20px -38px 15px -38px;
	font-size: 120%;
	font-family: Arial, sans-serif;
	font-weight: bold;
	font-style: normal;
	clear: both;
}
h3 {
	color: #000000;
	background-color: #ffffff;
	padding: 2px 10px 2px 10px;
	font-family: Arial, sans-serif;
	font-weight: normal;
	font-size: 120%;
	margin: 15px -10px 12px -10px;
	border-width: 1px;
	border-style: none none solid none;
	border-color: #555555;
}
h4 { 
     margin: 15px 0px 0px 0px;
 }
a {
	color: #007777;
	text-decoration: none;
}
a:visited {
	color: #007777;
}
a:hover, 
table.whole a:hover, 
table.whole td.hilit a:hover,
table.property th a:hover {
	color: #ff0000;
	text-decoration: underline;
}
address {
	font-style: normal;
}
div.header {
	font-size: 100%;
	font-weight: bold;
	padding: 0px;
	margin: -10px -20px 0px -20px;
	text-align: right;
}
div.footer {
	font-size: 80%;
	font-style: normal;
	padding: 0px 38px 0px 38px;
	margin: 12px -38px 0px -38px;
	border-style: solid none none none;
	border-color: #888888;
	border-width: 2px;
}
p {
	margin: 12px 0px 12px 0px;
}
div.header p, 
div.footer p {
	margin: 4px;
	padding: 0px;
	text-indent: 0em;
}
hr {
    margin-left: -38px;
    margin-right: -38px;
    border-style: solid;
    border-color: #888888;
}

ul.publist {
    padding: 0px 20px;
}
ul.publist li{
    list-style:none;
    padding:8px 0px;
}