html { width: 95%; }
body { text-align:left; font-family: Arial; }
#mainDiv { width: 970px; height: 100%; margin: 0px; overflow: hidden; }
#iframe1 { width: 958px; height: 90px; margin: 0; padding: 0; }
#iframe2 { width: 958px; height: 800px; overflow: scroll; margin: 0; padding: 0; }
.frameStuff { border: none; }
body.menu {background-color:#EEEEFF; color:#000000}
A.topnav {font-weight:bold; font-style:italic; color:black}
a:hover {color:blue; background-color:#AAA;}
div.heading {text-align:center}
.divcontent {}
div.revised {color:red}
td.heading {font-weight:bold;}
td.spacer {width:10px}
td A {font-weight:bold; font-style:italic; font-size:8pt; color:black}
table {margin: auto;}
table.nav {border: 0px none}
I {color:black; font-weight:bold}
span.revision {color:red}
.datetimestamp {font-size:xx-small; font-family:Arial,sans-serif; color:red;}

.content
{
  width: 100%;
  height: 95%;
}
.centered
{
  text-align: center;
  margin-left: auto;
  margin-right: auto;
}
.divider{width:75%; text-align:center;}
#plainTable {border:1px solid gray; border-collapse:collapse; padding:5px;}
#plainTable th {border:1px solid gray; border-collapse:collapse; padding:5px; vertical-align: top; }
#plainTable td {border:1px solid gray; border-collapse:collapse; padding:5px; vertical-align: top; }

.normal
{
  text-align: left;
  font-size: 1em;
}

.HardAndFast {
  font-weight: bold;
  color: #F00;
  font-size: 1.3em;
}

.optional
{
  color: red;
}

.magnify
{
  font-weight: bold;
  font-size: 1.6em;
}

.emphasis
{
	color: blue;
	font-size: 1.3em;
	font-weight: bold;
}