body, td, th {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 13px;
  color: #000099;
}

code {
  font-family: Courier New, Courier, monospace;
  color: #006600;
}

a:link, a:visited {
    color: #0000FF;
}

a:active, a:hover, a:focus {
    color: red;
}

/* Classes */

.projectTitle {
    background-color: #000099;
    color: white;
    font-size: 20px;
    font-weight: bold;
    padding: 5px;
}

.documentTitle {
    font-size: 20px;
    font-weight: bold;
    padding: 5px;
    margin-bottom: 30px;
}

.sectionHeading {
    background-color: #FFCC66;
    color: #000099;
    padding: 5px;
    vertical-align: middle;
}

.headingLeft {
    padding: 0px;
    float: left;
    vertical-align: bottom;
}

.headingRight {
    padding: 0px;
    text-align: right;
    vertical-align: bottom;
}

.sectionHeading a {
    text-decoration: none;
    color: #000099
}

.sectionContents {
    padding: 5px;
}

.release {
    font-size: 10px;
    font-weight: bold;
    padding: 5px;
    color: white;
}

.copyright {
    background-color: #000099;
    color: white;
    font-size: 10px;
    padding: 5px;
}

.infobox {
    border-width: 1px;
    border-color: #000099;
    border-style: solid;
    margin-top: 10px;
    margin-bottom: 10px;
}

.infobox-content {
    padding: 3px;
}

.infobox-heading {
    color: white;
    padding: 3px;
    background-color: #9999CC;
    border-bottom-width: 1px;
    border-bottom-color: #000099;
    border-bottom-style: solid;
    font-weight: bold;
    font-size: 10px;
}

.warnbox {
    border-width: 1px;
    border-color: #990000;
    border-style: solid;
    margin-top: 10px;
    margin-bottom: 10px;
}

.warnbox-content {
    padding: 3px;
    color: #990000;
}

.warnbox-heading {
    color: white;
    padding: 3px;
    background-color: #CC9999;
    border-bottom-width: 1px;
    border-bottom-color: #990000;
    border-bottom-style: solid;
    font-weight: bold;
    font-size: 10px;
}

/* Section headings */

.heading1 {
    font-size: 24px;
    font-weight: bold;
}

.heading2 {
    font-size: 20px;
    font-weight: bold;
}

.heading3 {
    font-size: 16px;
    font-weight: bold;
}

.heading4 {
    font-size: 13px;
    font-weight: bold;
}

.heading5 {
    font-size: 10px;
    font-weight: bold;
}

.heading6 {
    font-size: 8px;
    font-weight: bold;
}

.varcode {
    font-family: Courier New, Courier, monospace;
    color: #CC0000;
}

.litcode {
    font-family: Courier New, Courier, monospace;
    color: #006600;
}

.ant_target {
    font-family: Courier New, Courier, monospace;
    color: #006600;
    font-weight: bold;
}

.ant_property {
    font-family: Courier New, Courier, monospace;
    color: #006600;
    font-weight: bold;
}

.file {
    font-family: Courier New, Courier, monospace;
    color: #660000;
}

.ui_element {
    font-family: Arial, Helvetica, sans-serif;
    color: #000000;
    font-weight: bold;
    /*
    padding: 0px;
    background-color: #DDDDDD;
    border-width: 1px;
    border-color: #999999;
    border-style: solid;
    */
}

.term {
    font-style: italic;
}

.web_address {
    font-family: Courier New, Courier, monospace;
}


.top_link {
    font-size: 10px;
}

li.spaced {
  margin-bottom: 10px;
}

.map {
  background-color: #000066;
  margin: 20px;
  border-collapse: collapse;
  border: 1px solid black;
}

.mapheading .mapkey {
  background-color: silver;
  font-weight: bold;
  padding: 5px;
  border: 1px solid black;
}

.mapheading .mapvalue {
  background-color: silver;
  font-weight: bold;
  padding: 5px;
  border: 1px solid black;
}

.mapping .mapkey {
    background-color: white;
    text-align: left;
    font-weight: bold;
    padding: 5px;
  border: 1px solid black;
}

.mapping .mapvalue {
    background-color: white;
    text-align: left;
    padding: 5px;
  border: 1px solid black;
}
