body {
	font-family: "Lucida Sans", Helvetica, sans-serif;
}

.red-style .red-or-green, .red-style h1, .red-style h2, .red-style h3, .red-style h4 {
	color: #862222;
}

.green-style .red-or-green, .green-style h1, .green-style h2, .green-style h3, .green-style h4 {
	color: #00334E;
}

#menu ul {
	list-style: none;
	padding-left: 0px;
	margin-left: 1em;

	/* ie misinterprets margin-left here, so use padding here (or neither) */
	margin-top: 0em;
	padding-top: 0em;
}

#menu ul li {
	margin: auto auto 5px auto;
}

#menu ul li a {
	text-decoration: none;
}

#menu ul li a:hover {
	text-decoration: underline;
}

.red-style #menu ul li {
	color: #862222;
	margin: auto auto 5px auto;
}

.green-style #menu ul li {
	color: #00334E;
	margin: auto auto 5px auto;
}

#menu, #content {
	margin: 30px 20px;
}

#menu {
	/* ie misinterprets margin-left here, so use padding instead */
	margin-left: 0em;
	padding-left: 1em;
}

div {
	xorder: 1px dotted black;
}

#content h1, #content h2, #content h3, #content h4 {
	margin-top: 0px;
	padding-top: 0px;
}

#content h1 {
	font-size: 1.4em;
	margin-bottom: 0.5em;
}

#content h2 {
	font-size: 1.1em;
	margin-bottom: 0.3em;
}

#content p {
	margin-top: 0.3em;
	margin-bottom: 1.5em;
}

.slightly-big {
	font-size: 1.1em;
}

a img {
	border: none;
}

.red-style a {
	color: #862222;
}

.green-style a {
	color: #00334E;
}