body { 
  margin-left: 4em; margin-right: 3em;
  margin-top: 4em; margin-bottom: 3em; 
  color: #000084; background: #FFFFFF; 
  /* font-family: Garamond, "Times New Roman", serif; */
  font-family: Helvetica, sans-serif;
  font-size: 10pt;
}

table {
  font-family: Helvetica, sans-serif;
  font-size: 10pt;
}

table.RM {
  border-style:solid; 
  border-collapse:collapse; 
  border-width:2px; 
  border-color: #000084;
  font-family: Helvetica, sans-serif;
  font-size: 10pt;
}

table.RMclear {
  border-style:solid; 
  border-collapse:collapse; 
  border-width:2px; 
  border-color: #FFFFFF;
  font-family: Helvetica, sans-serif;
  font-size: 10pt;
}

H1 { font-size: 1.5em; }

H2 { font-size: 1.25em; }

H3 { font-size: 1.0em; }

A:link { color: #000084; }
A:visited { color: #000084; }
A:active { color: #000084; }
A:hover { color: #CCCCCC; }
A:link, A:visited, A:active     {
  /*        text-decoration: none;*/
}

HR {
  border: 0;
  background-color: #000084;  
  color: #000084;  
}

pre {  font-size: 0.8em; }

code {  font-size: 1.0em; }

.ol { 
  text-decoration:overline;
}

.bx { 
  border-width: thin;
  border-style: solid;
}

.calex { 
  color: red;
  font-size: 0.8em;
}

.red { 
  color: red;
}


.blue { 
  color: blue;
}

.purple { 
  color: purple
}


.darkgreen { 
  color: darkgreen
}

.sq { 
  font-size: 0.5em;
  font-family: monospace;
  vertical-align: middle;
  border-width: thin;
  border-style: solid;
}

.caption {
  font-size: 0.8em;
  font-weight: bolder;
}

.info {
  float: left;
  background: #000084;
  color : #CCCCCC;
  border: solid;
  padding : 0.5em;
  margin-right: 0.5em;
  margin-bottom: 0.5em;
  margin-left: 0em;
  margin-top: 0em;
}

.sideBoxRight {
  float: right;
  border: solid;
  padding : 0.5em;
  margin-right: 0em;
  margin-bottom: 0.5em;
  margin-left: 0em;
  margin-top: 0em;
}

.screen {
  float: right;
  background: #FFFFFF;
  color : #000000;
  font-size:0.8em;
  border: solid;
  padding : 0.5em;
  margin-right: 0em;
  margin-bottom: 0.5em;
  margin-left: 0em;
  margin-top: 0em;
}

.screenleft {
  float: left;
  background: #FFFFFF;
  color : #000000;
  font-size:0.8em;
  border: solid;
  padding : 0.5em;
  margin-right: 0.5em;
  margin-bottom: 0.5em;
  margin-left: 0em;
  margin-top: 0em;
}