body ul {
	background: #FFFFFF;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: x-small;
}
a {
	color: #CC3333;
}

code pre {
	font-family: "Courier New", Courier, monospace;
}

h1 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #990000;
	font-size: medium;
	font-style: normal;
	font-weight: bold;
	line-height: 125%;
}

h2 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #990000;
	font-size: small;
	font-style: normal;
	font-weight: bold;
	line-height: 125%;
}

h3 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #990000;
	font-size: x-small;
	font-style: normal;
	font-weight: bold;
}

h4 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	color: #990000;
	font-size: x-small;
	font-style: italic;
	font-weight: normal;
	line-height: 125%;
}

p {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: small;
}

td {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: small;
}

th {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: small;
}

.bullet {
	line-height: 125%;
}

.dark_red {
	color: #990000;
}

.file_size {
	font-size: xx-small;
}