body {
	margin-left: 0px;
	margin-right: 0px;
	margin-top: 0px;
	font-family: serif;
}

h1 {
	font-size: 145%;
	font-family: sans-serif;
	font-weight: bold;
	text-align: left;
	/* padding-top: 5px; */
	padding-top: 0px;
	padding-bottom: 0px;
	clear: both;
}

h2 {
	font-size: 115%;
	font-family: sans-serif;
	font-weight: bold;
	text-align: left;
	padding-top: 5px;
	padding-bottom: 0px;
	clear: both;
}

h3 {
	font-size: 105%;
	font-family: sans-serif;
	font-weight: bold;
	text-align: left;
	padding-top: 2px;
	padding-bottom: 0px;
	padding-left: 1%;
}

pre {
	padding-left: 1%;
}

dt {
	font-weight: bold;
	padding-left: 1%;
}

dd {
	padding-top: 2px;
	padding-bottom: 7px;
	padding-left: 1%;
}

div.page {
	padding-top: 6px;
	padding-bottom: 6px;
	padding-left: 4%;
	padding-right: 5%;
	font-family: sans-serif;
}

p {
	padding-top: 0px;
	padding-bottom: 0px;
	padding-left: 1%;
}

div.title {
	background: #2244dd;
	color: #000000;
	font-size: 200%;
	font-family: sans-serif;
	text-align: left;
	border-top: 1px solid #000000;
	padding-top: 8px;
	padding-bottom: 8px;
	padding-left: 10px;
}

/* Menubar with gray background */
div.sitemenu, div.smugmenu {
    margin: 0;
    padding: 0;
    border-top: 1px solid #000000;
    border-bottom: 1px solid #000000;
    font-family: sans-serif;
    text-align: right;
    background: #d0d0d0;
    height: 1.3em;
    clear: none;
}

div.sitemenu ul {
    margin: 0;
    padding: 0;
    display: block;
    float: right;
}

div.smugmenu ul {
    margin: 0;
    padding: 0;
    display: block;
    float: left;
}

div.sitemenu li {
    list-style-type: none;
    border-left: 1px solid #000000;
    margin: 0px;
    float: left;
    height: 1.3em;
}

div.smugmenu li {
    list-style-type: none;
    border-right: 1px solid #000000;
    margin: 0px;
    float: left;
    height: 1.3em;
}

div.sitemenu li a, div.smugmenu li a {
    color: #000000;
    text-decoration: none;
    padding-left: 10px;
    padding-right: 10px;
    /* you can only set the height if it's a block element */
    display: block;
    height: 1.3em;
    line-height: 1.3em;
}

div.sitemenu li a:hover, div.smugmenu li a:hover {
    color: #000000;
    background: #2244dd;
}


/*
div.breadcrumb {
	text-align: right;
	font-family: sans-serif;
	padding-bottom: 0px;
	padding-top: 10px;
	padding-right: 16px;
}
*/

div.copyright {
	background: #2244dd;
	color: #000000;
	font-size: 100%;
	font-family: sans-serif;
	text-align: left;
	border-bottom: 1px solid #000000;
	padding-top: 3px;
	padding-bottom: 3px;
	padding-left: 10px;
	clear: both;
}

table {
	border: 1px #000000 solid;
	border-spacing: 0px;
}

th {
	border-bottom: 1px #888888 solid;
	padding-top: 4px;
	padding-bottom: 4px;
	padding-left: 6px;
	padding-right: 6px;
}

td {
	border-bottom: 1px #888888 dotted;
	text-align: left;
	padding-top: 4px;
	padding-bottom: 4px;
	padding-left: 8px;
	padding-right: 8px;
}

.textonly {
	padding: 0;
	display: none;
	visibility: hidden;
	position: absolute;
	left: 0;
	top: 0;
	width: 0;
	height: 0;
}

.r {
	float: right;
	padding-left: 16px;
	display: inline;
}

div.sitemenu .r, div.smugmenu .r {
    padding-right: 10px;
}

.l {
	float: left;
	padding-right: 16px;
	display: inline;
}

div.clr {
	clear: both;
}

textarea {
    font-family: monospace;
}