td.toptitle {
        font-family: Times, Times New Roman, serif;
        font-size: 200%;
        font-weight: bold
}

td.border {
        background-color: #ff0000
}

td.navbar {
        font-family: Verdana, sans-serif;
        font-size: 75%
}

a.navbar {
        color: #ff0000;
}

div.introheading {
	font-family: Verdana, sans-serif;
	font-size: 150%
}

div.heading {
        font-family: Verdana, sans-serif;
        font-size: 150%;
	font-weight: bold
}

div.subheading {
	font-family: Verdana, sans-serif;
	font-size: 125%;
	font-style: italic
}

td.content {
        font-family: Verdana, sans-serif;
        font-size: 75%
}