div.mirror-navigator {
	text-align: right;
	font-size: small;
}

div.copyright {
	text-align: right;
	font-family: helvetica, sans-serif;
	font-size: smaller;
	color: rgb(40%,40%,40%)
}

body {
	background: BEIGE;
	color: black;
	margin-left: 3%;
	margin-right: 3%;
}

h1 {
	background-color: gold;
}

h2 {
	background-color: gold;
}

h3 {
	background-color: gold;
}

p {
	text-indent: 0em;
}

p.indent {
	text-indent: 1em;
}

p.noindent {
	text-indent: 0em;
}

strong {
	font-weight: bold;
}

dl dd {
	padding-top: 0.3em;
	padding-bottom: 0.3em;
}

ul li {
	padding-bottom: 0.3em;
}

/* Local configs for browsing locally downloaded files */
@import url(local.css)

/* EOF */