.docid-heading {
           font-family: sans-serif;
           font-weight: bold;
           color: #336699;
         }

.loc-heading {
           font-family: sans-serif;
           font-weight: bold;
           color: #336699;
         }

.abstract-heading {
           font-family: sans-serif;
           font-weight: bold;
           color: #336699;
         }

.status-heading {
           font-family: sans-serif;
           font-weight: bold;
           color: #336699;
         }

.thisver-heading {
           font-family: sans-serif;
           font-weight: bold;
           color: #336699;
         }

.prevver-heading {
           font-family: sans-serif;
           font-weight: bold;
           color: #336699;
         }

.editor-heading {
           font-family: sans-serif;
           font-weight: bold;
           color: #336699;
         }

.author-heading {
           font-family: sans-serif;
           font-weight: bold;
           color: #336699;
         }

.contrib-heading {
           font-family: sans-serif;
           font-weight: bold;
           color: #336699;
         }

div.section h1.title {
           padding-top: 0in;
           color: #336699;
         }

div.article h1.title { 
           color: #336699;
         }

pre.programlisting {
  background: #FFFFC0;
  width: 50em;
  overflow: auto;
  font-family: Courier New, Bitstream Vera Sans Mono, Courier, Monospaced;
  border: 1px solid #DDDDDD;
  color: #000;
  padding: 3px 6px 3px 6px;
  padding-bottom: 0 !important;
  padding-bottom: 1.5em;
  overflow-x: auto;
}

div.informalexample pre {
           margin-top: 0px;
           padding-top: 0px;
           margin-bottom: 0px;
           padding-bottom: 0px;
           background-color: #E7DEEF;
         }

div.informalexample {
           margin-left: 2em;
     padding-top: 4px;
     padding-bottom: 4px;
           border-top-width: 1px;
           border-top-style: solid;
           border-bottom-width: 1px;
           border-bottom-style: solid;
         }

span.term {
           font-weight: bold;
          }
.epigraph {
  margin-left: 25em;
  padding: 1em;
  padding-left: 70px;
  background: transparent;
  color: #000;
  font-style: italic;
  line-height: 1.4em;
  background: url(images/quotes.png) no-repeat top left;
  border: 1px dotted #cfcfcf;
}

.attribution {
  font-style: normal;
  font-weight: bold;
  text-align: right;
}

.attribution span {
  text-align: right;
}

blockquote {
  padding: 5pt;
  text-align: left;
  background: url(images/quotes.gif) no-repeat top left;
}

.figure {
  border: 1px dotted #FFA700;
  background: transparent;
  float: right;
  display: block;
  color: #336699;
  padding: 1em;
  margin: 1em;
}

  .figure b {
    color: #FFA700;
  }

.figure-left {
  border: 1px dotted #cfcfcf;
  background: transparent;
  float: left;
  display: block;
  color: #336699;
  padding: 1em;
  margin: 1em;
}

.figure-old {
  border: 1px solid #336699;
  background: #FFF;
  color: #000;
  float: right;
  display: block;
}

.mediaobject {
  margin: 5px;
  padding: 5px;
  background: #FFF;
  color: #000;
}

.note {
  clear: both;
  border: 1px solid #DDDDDD;
  background: #FFFFC0;
  padding: 2em;
}

.navheader, .navfooter {
  background: transparent;
  border: 1px dotted #336699;
  color: #00A700;
  border: 0pt;
  margin: 0;
  padding: 0;
}
.navheader img, .navfooter img {
  border: 0;
}
tr       { border-color: #EFFFEF;
         }

td       { border-color: #EFFFEF;
           text-align: left;
         }

th       { border-color: #EFFFEF;
           text-align: left;
         }

col      { border-color: #EFFFEF;
         }

colgroup { border-color: #EFFFEF;
         }

table    { border-color: #EFFFEF;
         }

tbody    { border-color: #EFFFEF;
         }

thead    { border-color: #EFFFEF;
         }

tfoot    { border-color: #EFFFEF;
         }
hr {
  color: #DDDDDD;
  background-color: #DDDDDD;
  height: 1px;
  width: 80%;
  border: 0pt;
}
.maincolumn {
  padding: 0;
}

.content {
  padding: 1em;
}

.finalfooter {
  background: #ECECFA;
  border: 1px solid #DDDDDD;
  padding: 6px 12px 6px 12px;
}

.screenshot {
  text-align: center;
}

em {
  text-decoration: underline;
}

div.content div.sect1 div.titlepage h2 {
  font-size: 120%;
  font-weight: bold;
  color: #336699;
}

div.content div.sect1 div.sect2 div.titlepage h3 {
  font-size: 110%;
  font-weight: bold;
  color: #336699;
  margin-top: 1em;
  margin-bottom: 0.5em;
}