/* OpenSTA Stylesheet */
body,td {
  font-family:    Verdana, Arial, Helvetica, sans-serif;
}
p {
  font-family:    Verdana, Arial, Helvetica, sans-serif;
  font-size:      10pt;
  margin-top:     8px;
  margin-bottom:  1px;
  margin-left:    15px;
  margin-right:   15px;
}
ul {
  font-family:    Verdana, Arial, Helvetica, sans-serif;
  font-size:      10pt;
  margin-top: 0px;
}
h1 {
  font-size: 14pt;
  color: #003366;
  font-weight: bold;
  margin-bottom: 0px;
}
h2 {
  font-size: 12pt;
  font-weight: bold;
  color: #000000;
  margin-bottom: 0px;
}
h3 {
  font-size: 10pt;
  font-weight: bold;
  font-style: italic;
  color: #000000;
  margin-top: 8px;
  margin-bottom: 0px;
}
h4 {
  font-size: 10pt;
  font-weight: bold;
  font-style: normal;
  color: #000000;
  margin-bottom: 0px;
}
a:link {
  font-family:    Verdana, Arial, Helvetica, sans-serif;
  font-weight:    bold;
  text-decoration:none;
  color:          #003366;
  background:     transparent;
}
a:visited {
  font-family:    Verdana, Arial, Helvetica, sans-serif;
  font-weight:    bold;
  text-decoration:none;
  color:          #339999;
  background:     transparent;
}
a:active {
  font-family:    Verdana, Arial, Helvetica, sans-serif;
  text-decoration:underline;
  color:          #FF0000;
  background:     transparent;
}
a:hover {
  font-family:    Verdana, Arial, Helvetica, sans-serif;
  text-decoration:underline;
  color:          #FFCC33;
  background:     transparent;
}
pre {
  font-size: 10pt;
  font-family: Courier, "Courier New", monospace;
  background-color: #CCCCCC;
  border-width: 1px;
  border-style: solid;
  padding: 10px;
  margin-top: 0px;
  margin-left: 20px;
  margin-right: 20px;
}
table.definition {
  font-size: 10pt;
  border-width: 1px;
  border-style: solid;
  border-color: black;
  padding: 1px;
  margin-top: 0px;
  margin-left: 20px;
  margin-right: 20px;
}
table.docnav {
  font-size: 7pt;
  border-width: 0px;
  padding: 0px;
  margin-top: 0px;
  margin-left: 0px;
  margin-right: 0px;
}
th {
  text-align: left;
  background-color: #CCCCCC;
}
td {
  vertical-align: top;
}
td.bit {
  font-family:    Verdana, Helvetica, sans-serif;
  font-size:      5pt;
  color:          #CCCCCC;
  background:     #003366;
  vertical-align: middle;
}
td.nav {
  font-family:    Verdana, Helvetica, sans-serif;
  font-size:      8pt;
  font-weight:    bold;
  color:          #CCCCCC;
  background:     #003366;
  vertical-align: middle;
}
td.nav A:link {
  font-family:    Verdana, Helvetica, sans-serif;
  color:          #FFCC33;
  background:     transparent;
}
td.nav A:visited {
  font-family:    Verdana, Helvetica, sans-serif;
  color:          #FFCC33;
  background:     transparent;
}
td.nav A:active {
  font-family:    Verdana, Helvetica, sans-serif;
  color:          #FF9933;
  background:     transparent; 
}
td.nav A:hover {
  font-family:    Verdana, Helvetica, sans-serif;
  text-decoration:underline;
  color:          #CC9933;
  background:     transparent;
}
.footer {
  font-family:    Verdana, Arial, Helvetica, sans-serif;
  font-size:      smaller;
  font-style:     italic;
}
.searchbox {
  font-family:    Verdana, Arial, Helvetica, sans-serif;
  font-size:      small;
}
.pagehead {
  font-size:      22pt;
  font-weight:    bold;
}
.secthead {
  font-size:      20pt;
  font-weight:    bold;
}
.format {
  border-color: #CC0033;
}
.example {
  border-color: #0033CC;
}