html {
	padding: 1.0em;
	margin: 1.0em;
}

body    {	
	font-family: sans-serif;
	font-size: 0.7em;
	color: black; 
	background: white; 
	margin: 0em;
	padding: 0em;
}

div.header {
	border: solid;
	border-width: thin;
	margin: 0px;
	padding: 0px;
        background: rgb(204, 204, 204);
}

div.footer {
        background: rgb(204, 204, 204);
	border: solid;
	border-width: thin;
	margin: none;
	padding-top: 0.2em;
	padding-left: 0.3em;
	padding-right: 0.3em;
}

img.inset {
	border: 3px inset #cfcfcf; 
	background-color: #f5f5f5; 
	padding: 0px;
	margin: 0.2em;
}

p {
	padding: 0.5em 0.1em 0.1em 0.1em;
	margin: 0em;
}

ul {
	padding: 0em;
	margin: 0em;
}

li {
	padding: 0em;
	margin: 0.1em 0.1em 0.1em 2.0em;
}

ul.compact {
	list-style-type: none;
	padding: 0em;
	margin: 0em;
}
ul.compact li {
	padding-left: 11px;
	padding-top: 3px;
	padding-bottom: 3px;
	background-repeat: no-repeat;
	background-image: url(/images/right.gif);
	background-position: 0 0.4em;
}

dt.compact {
	padding-bottom: 0.1em;
	margin: 0px;
}

dd.left {
	padding-left: 1.5em;
	padding-top: 0px;
	margin: 0px;
}

h1 { 
	font-size: 120%; 
	padding-top: 0.3em;
	margin-top: 0.3em;
	padding-bottom: 0.1em;
	margin-bottom: 0.1em;
}

h2 { 
	font-size: 110%; 
	padding-top: 0.7em;
	margin-top: 0.3em;
	padding-bottom: 0.1em;
	margin-bottom: 0.1em;
}

h3 { 
	font-size: 100%; 
	padding-top: 0.7em;
	margin-top: 0.3em;
	padding-bottom: 0.1em;
	margin-bottom: 0.1em;
}

h4 { 
	font-size: 100%; 
	padding-top: 0.7em;
	margin-top: 0.3em;
	padding-bottom: 0.1em;
	margin-bottom: 0.1em;
}

.floatright {
	float: right;
	width: 150px;
	margin: 0 0 10px 10px;
	background-color: #fff;
	padding: 10px;
	border-top: 1px solid #999;
	border-right: 2px solid #555;
	border-bottom: 2px solid #555;
	border-left: 1px solid #999;
	font-size: 80%; 
}

div.floatright img {
	border-top: 2px solid #555;
	border-right: 1px solid #999;
	border-bottom: 1px solid #999;
	border-left: 2px solid #555;
	margin-bottom: 3px;
}

.small {
	font-size: 80%;
}