.tocline {
  padding-bottom: 5px;

  div {
    display: inline;
  }
}
:link {
  color: #00c;
  background: transparent;
}
:visited {
  color: #609;
  background: transparent;
}
a:active {
  color: #c00;
  background: transparent;
}

a:link img,
a:visited img {
  border-style: none;
}

a img {
  color: white;
}
@media all {
  a img {
    color: inherit;
  }
}

th,
td {
  font-family: sans-serif;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  text-align: left;
}
h1,
h2,
h3 {
  color: #005a9c;
  background: white;
}
h1 {
  font: 170% sans-serif;
}
h2 {
  font: 140% sans-serif;
}
h3 {
  font: 120% sans-serif;
}
h4 {
  font: bold 100% sans-serif;
}
h5 {
  font: bold italic 100% sans-serif;
}
h6 {
  font: small-caps 100% sans-serif;
}

.hide {
  display: none;
}

div.head {
  margin-bottom: 1em;
}
div.head h1 {
  margin-top: 2em;
  clear: both;
}
div.head table {
  margin-left: 2em;
  margin-top: 2em;
}

p.copyright {
  font-size: small;
}
p.copyright small {
  font-size: small;
}

@media screen {
  a[href]:hover {
    background: #ffa;
  }
}

pre {
  margin-left: 2em;
}
dt,
dd {
  margin-top: 0;
  margin-bottom: 0;
}
dt {
  font-weight: bold;
}
dl.varlist dt {
  font-weight: normal;
}
pre,
code {
  font-family: monospace;
} /* navigator 4 requires this */

ul.toc,
ol.toc {
  list-style: disc;
  list-style: none;
}

@media aural {
  h1,
  h2,
  h3 {
    stress: 20;
    richness: 90;
  }
  .hide {
    speak: none;
  }
  p.copyright {
    volume: x-soft;
    speech-rate: x-fast;
  }
  dt {
    pause-before: 20%;
  }
  pre {
    speak-punctuation: code;
  }
}

a[href] {
  text-decoration: none;
}
a[href]:hover {
  text-decoration: underline;
}
code,
pre b {
  font-family: monospace;
  color: #512;
}
a[href]:hover * {
  color: blue;
}

code,
tt,
var {
  font-size: 100%;
}

tt var,
code code,
code var,
pre var,
var tt,
var code,
pre code,
pre tt {
  font-size: 100%;
}

code.function {
  font-weight: bold;
}

div.figure {
  text-align: center;
}

dl.example {
  border: 1px dotted #999999;
  margin: 0em 0em 1em;
  padding: 0.5em;
}

dt.primary,
dt.secondary,
dt.tertiary {
  font-weight: normal;
}

dd.indexterm dl {
  margin: 0;
}

div.letter-index {
  font-size: 0.5em;
}

div.issue,
div.note,
div.notice {
  margin-left: 2em;
}

div.figcaption {
  font-style: italic;
  font-size: 90%;
  font-weight: bold;
  text-align: center;
  margin: 0.5em 10% 0 10%;
}

dl.note {
  border: 1px dotted #999999;
  padding: 0.5em;
}

em.rfc2119 {
  font-size: 80%;
  font-family: serif;
  font-style: normal;
}
em.must:hover {
  background-color: red;
}
em.rec:hover {
  background-color: lime;
}
em.opt:hover {
  background-color: yellow;
}

ol.enumar {
  list-style-type: decimal;
}
ol.enumla {
  list-style-type: lower-alpha;
}
ol.enumlr {
  list-style-type: lower-roman;
}
ol.enumua {
  list-style-type: upper-alpha;
}
ol.enumur {
  list-style-type: upper-roman;
}

pre.proto {
  margin: 0em;
  line-height: 120%;
  overflow: auto;
}

.example pre {
  margin: 0.5em 0em 0em;
  background-color: #ffffee;
  border: 1px dotted #999999;
  padding: 4px 4px 4px 1em;
  overflow: auto;
}

pre.error,
pre.layout {
  position: relative;
  left: 40px;
  color: #b00;
  border: none;
  overflow: hidden;
  background-color: transparent;
}

pre.layout {
  color: black;
  font-size: 110%;
}

pre.synopsis {
  margin-left: 0em;
  background-color: #e5f0e3;
  border: 1px dotted #999999;
  padding: 5px 1em 5px;
  overflow: auto;
}

span.element {
  font-weight: bold;
}

span.elemref {
  color: #512;
}

span.elemref:hover,
span.email {
  color: blue;
}
span.indexletter {
  font-size: 1.5em;
}
span.termdef {
  font-style: italic;
}

sup {
  font-family: monospace;
  font-weight: bold;
  font-size: 80%;
}
table.proto,
table.scrap {
  width: 100%;
  background-color: #e5f0e3;
  border: 1px dotted #999999;
  padding: 4px 1em;
  margin: 0.5em 0em;
}

td {
  padding: 3px;
}
tt {
  color: black;
}
var {
  color: green;
  font-family: monospace;
  font-weight: bold;
}

div.exampleWrapper {
  margin: 4px;
}
div.exampleHeader {
  font-weight: bold;
  margin: 4px;
}