body {
  padding: 1em 1em 2em 70px;
  margin: 0;
  font-family: sans-serif;
  color: black;
  background: white;
  background-position: top left;
  background-attachment: fixed;
  background-repeat: no-repeat;
  line-height: 1.4
}
.tocline {
 padding-bottom: 5px;
}
: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 } /* no border on img links */

a img { color: white; }        /* trick to hide the border in Netscape 4 */
@media all {                   /* hide the next rule from Netscape 4 */
  a img { color: inherit; }    /* undo the color change above */
}

th, td { /* ns 4 */
  font-family: sans-serif;
}

h1, h2, h3, h4, h5, h6 { text-align: left }
/* background should be transparent, but WebTV has a bug */
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 {  /* hide from IE3 */
a[href]:hover { background: #ffa }
}

pre { margin-left: 2em }
/*
p {
  margin-top: 0.6em;
  margin-bottom: 0.6em;
}
*/
dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
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;		/* Mac NS has problem with 'none' */
  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 }
}

body {
  background-image: url(http://www.w3.org/StyleSheets/TR/logo-REC);
}

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: .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: .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}