.title { font-family: Arial, Helvetica, sans-serif; font-size: 1.4em; color: #333333 ; font-weight: bold}
.header { font-family: Geneva, Arial, Helvetica, san-serif; font-size: 1em; font-weight: normal; color: #0033CC; font-variant: small-caps}
.header:visited, .header:link, .header:active { color: blue; text-decoration: none; }
.header:hover { text-decoration: underline; }
.footer {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: .8em; color: #000099}
.navbar { font-family: Geneva, Arial, Helvetica, san-serif; font-size: 1em; font-weight: normal; color: #000000; font-variant: small-caps}

.code {  font-family: "Courier New", Courier, mono; font-size: 0.9em}
.codeblock {  font-family: "Courier New", Courier, mono; font-size: 0.75em; background-color: #FFFFCC; padding-top: 3px; padding-bottom: 3px; padding-right: 3px; padding-left: 3px; color: #000066}

.sansserif { font-family: Arial, Helvetica, sans-serif; font-size: 0.8em; color: #333333}
.small {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 0.7em}

.tocheading {  font-family: Arial, Helvetica, sans-serif; font-size: 1em; font-weight: bold; color: #FFFFFF; background-color: #333333}
.tocentry { font-family: Arial, Helvetica, sans-serif; font-size: 0.8em; color: #333333;  vertical-align: middle; border: 1px solid #333333; padding: 4px}
.tocentrytitle { font-family: Arial, Helvetica, sans-serif; font-size: 0.8em; font-weight: bold; color: #333333; vertical-align: middle; border: 1px solid #333333; padding: 4px}

.sidebar { font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 0.8em; background-color: #DDDDDD; color: #000033; padding-top: 0.4em; padding-bottom: 0.4em }
.subheading {  font-family: Arial, Helvetica, sans-serif; font-size: small; font-weight: bold; color: #000033}

.bodyText { font-family: "Times New Roman", Times, serif; font-size: 1em; color: #333333 }
ul.bodyText { overflow: auto;}
.patternstatus { font-size:1.25em; color:#5A5A5A; }

body {font-size: 1em}
h1 { font-family: Arial, Helvetica, sans-serif; font-size: 1.2em; color: #000000}
h2 {  font-family: Arial, Helvetica, sans-serif; font-size: 1em; font-weight: bold; color: #333333}
h3 { font-family: "Times New Roman", Times, serif; font-size: 1em; font-weight: bold; } 

#tocsidetitle {
  border: 1px solid #000066; 
  padding-top: 6px; 
  padding-bottom: 6px; 
  text-align: center; 
  color: #333333;
  background-color: #CCCCCC;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 0.8em; 
  font-weight:bold; 
}
#tocside {
 font-family: Verdana, Arial, Helvetica, sans-serif; 
 font-size: 0.7em;      
 border: 1px solid #000066;
}
#tocside th {
  background-color: #000066; 
  padding-top: 4px; 
  padding-bottom: 4px;
  color: white;
}
#tocside th a:link, #tocside th a:visited, #tocside th a:active {
  color: white;
  text-decoration: none;      
}
#tocside th a:hover {
  color: #CCCCCC;
}
#tocside td {
  padding: 2px
}    
#tocside td:hover {
  background-color: #CCCCCC;
}
#tocside td a:link, #tocside td a:visited, #tocside td a:hover, #tocside td a:active {
  color: #000066;
  text-decoration: none;
}

.hotspot {
    position: absolute;
    background-color: white;
    font-family: Arial;
    font-size: 11px;
    padding-bottom: 2px;
    padding-left: 1px;    
}

div.hotspot a {
  display: block;
  height: 100%;
  width: 100%;
  text-decoration: none;
  padding-left: 1px;    
  box-sizing: border-box;
}

div.hotspot a:link, div.hotspot a:visited, div.hotspot a:active {
  color: blue
}

div.hotspot a:hover {
  color: #333;
  background-color: #CCC;
}

.hotspot-title {
  position: absolute;
  background-color: #CCCCCC;
  font-family: Arial;
  font-size: 12px;
  font-weight: bold;
  padding-top: 1px;
  padding-bottom: 1px;
}

div.hotspot-title a {
  display: block;
  width: 100%;
  height: 100%;
  text-decoration: none;
  padding-left:3px;
  padding-right:3px;
  padding-top:3px;
  box-sizing: border-box;
  text-align:center;
  line-height: 95%;
}

div.hotspot-title a:link, div.hotspot-title a:visited, div.hotspot-title a:active {
  color: black;
}

div.hotspot-title a:hover {
  color: #333;
  background-color: white;
}