body			{ font-family: helvetica; font-size: 10pt }

font.heading	{ font-size: medium; text-align: center; color: white; font-family: helvetica  }
font.blue		{ color: #003399  }
font.white		{ color: #FFFFFF; font-weight: 800; font-size: 110%  }
font.bold		{ color: #003399; font-weight: 800 }
font.sml		{ color: #003399; font-size: 70% }
font.lrg		{ color: #003399; font-size: 110% }
h1				{ color: #003399; font-weight: 700 }
h2				{ color: #003399; font-weight: 500 }
h3              { color: #003399; text-align: center }

a:link			{ color: #009933; text-decoration: none  }
a:visited		{ color: #009933; text-decoration: none  }
a:link.bar		{ color: white; text-decoration: none }
a:visited.bar	{ color: white; text-decoration: none }
a:hover.bar		{ color: white; background: #3366CC }

table.navbar	{ background: #003399; border-collapse: collapse }
table.clear		{ border-collapse: collapse }
td				{ font-family: helvetica; font-weight: 500; font-size: 90% }
td.navlink		{ font-family: helvetica; font-weight: 800; font-size: 90% }
td.navsel		{ color: #3399FF; font-family: helvetica; font-weight: 800; font-size: 90%; background: #003399 }
td.blank		{ background: white }
td.subnavlink	{ font-family: helvetica; font-weight: 600; font-size: 80%; background: #003399 }
td.subnavsel	{ color: #66CCFF; font-family: helvetica; font-weight: 600; font-size: 80%; background: #2255BB }
<!-- styles for testing page -->
tr.desc         { background: #F0F0F0; font-size: large; text-align: center }
td.desc         { background: #F0F0F0; font-size: large; text-align: center }
td.module       { background: #2255BB; color: #66CCFF; font-weight: bold; text-align: center }
td.fade1        { background: #4477DD }
td.fade2        { background: #6699FF }
tr.pass         { background: #33FF99 }
td.pass         { background: #33FF99 }
tr.part         { background: #FF8800 }
td.part         { background: #FF8800 }
tr.fail         { background: #EB1047 }
td.fail         { background: #EB1047 }
tr.bad          { background: #C0C0C0 }
td.bad          { background: #C0C0C0 }
tr.pend         { background: #ACBBF9 }
td.pend         { background: #ACBBF9 }


hr              { width: 75% }
div.blue		{ background: #2255BB; width: 50% }
img				{ vertical-align: top }

li				{ list-style-type: circle }

dt				{ color: #003399; font-weight: 800; font-size: 120% }