body	{
	margin-left: 2em;
	margin-right: 2em;
}


H1, H2, H3 {
	font-family: Arial, Helvetica, Sans-Serif;
}

.smallheaders {
	 font-size: 9pt; line-height: 12pt;
    font-weight: bold; font-family: Verdana,Tahoma,Arial,Helvetica;

}

.top-nav {
	BORDER-TOP: #ff6600 thick solid; PADDING-TOP: 0.5em;
        FONT-FAMILY: Verdana,Tahoma,Arial,Helvetica;
        FONT-SIZE: 9pt;
        FONT-WEIGHT: bolder;
        BACKGROUND-COLOR: #ffcc00;
        PADDING-BOTTOM: 0.5em;
        PADDING-LEFT: 1em;
}

.left-flow {
         BORDER-RIGHT: #333399 thin solid;
         BORDER-Bottom: #333399 thin solid;
         BORDER-Top: #333399 thin solid;
         VERTICAL-ALIGN: top;
         FLOAT: left;
         width: 30%;
         padding-top: 1em;
         padding-bottom: 1em;
         margin-right: 10;
         margin-bottom: 10;
	 font-size: 9pt; line-height: 12pt;
         font-weight: bold;
         font-family: Verdana,Tahoma,Arial,Helvetica;
}


.left-flow2 {
         BORDER-RIGHT: #333399 thin solid;
         BORDER-Bottom: #333399 thin solid;
         BORDER-Top: #333399 thin solid;
         VERTICAL-ALIGN: top;
         FLOAT: left;
         width: 30%;
         padding-top: 1em;
         padding-bottom: 1em;
         margin-right: 10;
         margin-bottom: 10;
	 font-size: 9pt; line-height: 12pt;
         font-family: Verdana,Tahoma,Arial,Helvetica;
}
.intro {
	/* line-height: 140%; */ /* affects IE heading wrapping */
	margin-top: 2em;
	margin-bottom: 2em;
        font-family: Verdana,Tahoma,Arial,Helvetica;
}

.side-nav {
         BORDER-RIGHT: #333399 thin solid;
         BORDER-Bottom: #333399 thin solid;
         BORDER-Top: #333399 thin solid;
         VERTICAL-ALIGN: top;
/*         float: left */ /* doesn't work well when side-nav is in a table */
         width: 30%;
         padding-top: 1em;
         padding-bottom: 1em;
	 padding-right: 1em;
         margin-right: 0.5em;
         margin-bottom: 0.5em;
	 font-size: 80%;
         font-weight: bold; font-family: Verdana,Tahoma,Arial,Helvetica;
}


.right-flow {
	background-color: #ccffcc;
	border: thin solid #ff6600;
	vertical-align: top;
	float: right;
	width: 25%;
	padding: 1em;
	margin-left: 1em;
	margin-bottom: 1em;
}

.thinborder {
	border: thin solid #ff6600;
}

.main {
	vertical-align: top;
	padding-top: 1em;
	padding-bottom: 1em;
	padding-left: 2em;
	padding-right: 0em;
        font-family: Verdana,Tahoma,Arial,Helvetica;
}

.ending {
	/* line-height: 140%; */ /* affects IE heading wrapping */
	border-bottom: thick solid #ffcc00;
	padding-bottom: 1em;
        font-family: Verdana,Tahoma,Arial,Helvetica;
}

hr {
	color: #ff6600;
}

.td {
	border: thin solid #ff6600;
	vertical-align: top;
	padding: 1em;
}

A:hover,active { color: #0C5FB4;
	BACKGROUND: #ccffcc;
          text-decoration:none }
a:link  {  color: #0C5FB4; text-decoration:none }
a:visited {   color: #430CB4; text-decoration:none }

	
/* this is for manually making the logo text; normally not used. */
	
.logo   {
	color:#333399; background-color:#ffcc00; /* blue on yellow */
	font-family: Times New Roman, Serif;
}

.logo-st  {
	color:#333399; background-color:#ffffff; /* blue on white */
	font-family: Times New Roman, Serif;
	font-weight: normal;
	font-style: italic;
}
	
.logo-tagline {
	color:#009900; background-color:#ffffff; /* green on white */
	font-family: Arial, Helvetica, Sans Serif;
	font-weight: bold;
	padding-bottom: 1em;
}	

.robintro {
	color:#333399; background-color:#ffffff; /* purple on white */
	font-family: Arial, Helvetica, Sans Serif;
	line-height: 140%;
}	
code {
  margin: 5px 0;
  padding: 10px;
  text-align: left;
  display: block;
  overflow: auto;  
  font:  'Courier New','Lucida Console', monospace ;
   white-space: pre;
  background: #FAFAFA;
  border: 1px solid #f2f2f2;  
}
/* this is for foreground/background color reference */

.bg-yellow { background-color:#ffcc00; color:#000000 }
.bg-blue   { background-color:#333399; color:#ffffff }
.bg-green  { background-color:#669900; color:#ffffff }
.bg-purple { background-color:#660099; color:#ffffff }
.bg-orange { background-color:#ff6600; color:#000000 }

.fg-yellow { color:#ffcc00; background-color:#000000 }
.fg-blue   { color:#333399; background-color:#ffffff }
.fg-green  { color:#669900; background-color:#ffffff }
.fg-purple { color:#660099; background-color:#ffffff }
.fg-orange { color:#ff6600; background-color:#ffffff }