<!--
/* Some older Netscape Navigator browers have a bug that causes the 
 * first style in a style sheet to be ignored.  This is a workaround.
 */
.emptyStyleBugFixNotUsed {font-family: Verdana; }

body {	background: white; 
	color: black; 
	margin-left: 4%; 
	margin-right: 4%;
	font-family: Verdana, Helvetica, sans-serif
}

/* Background color is same as body background color. I don't see why
 * this is necessary, but validators complain if you have a color 
 * property without a background color property. I guess this makes
 * sure you've thought about avoiding black text on a black background,
 * but it seems like it makes things harder to maintain.
 */
h1, h2, h3, h4 {
	color: black;
	background: white; 
}

ul {font-family: Verdana, Helvetica, sans-serif;}

/* For the title at the top of a page */
.topBanner {
	background: #990000;
	color: #FFFFFF;
	padding-bottom: 0.2em;
	padding-left: 0.5em;
	margin-top: 0.2em;
}


.redAccent {
	background: #990000;
	color: #000000;
	padding-bottom: 0.0em;
	padding-left: 0.0em;
	line-height: 5px;
}

.blueAccent {
	background: #000066;
	color: #000066;
	padding-bottom: 0.0em;
	padding-left: 0.0em;
	line-height: 5px;
	font-size: 4px;
}

/* A bar of navigation links at the bottom of the page */
.bottomNav {
        text-align: center;
	background: #000066;
	color: #FFFFFF; 
	margin-top: 1em;
	margin-bottom: 1em;
	padding-top: 0.2em;
	padding-bottom: 0.3em;
}

/* An area for icons at the bottom of the page */
.bumperSticker {
	background: #fbfae4;
	color: #000066; 
	margin-top: 1em;
	margin-bottom: 1em;
	padding: 0.2em;
	border: thin solid black;
	font-size: smaller
}

.subhead {
		font-weight: Bold;
		}

.tr-table { 
	margin-top: 1em;
	margin-bottom: 1em;
	padding: 0.2em;
}

.plain {
		font-weight: normal;
		font-style: normal;
		}

.strong {	font-weight: Bold;
		}

.centered {	text-align: center
}

/* For divs that shouldn't have any extra space around them. Gleaned
 * from a usenet message.
 */
.compactDiv {
  margin: 0em;
  padding: 0em;
  border-width: 0em;
}

-->