body {
  margin: 2em 1em 2em 1em;
  color: black;
  background: white;
}

code {
  font-family: monospace;
  font-weight: bold;
  padding-top: 0px;
  padding-bottom: 0px;
}

                    div.exampleInner pre { margin-left: 1em; 
                                          margin-top: 0em; margin-bottom: 0em}
                   div.exampleOuter {border: 4px double gray; 
                                     margin: 0em; padding: 0em}                 
                   div.exampleInner { background-color: #e5eef3;
                                      border-top-width: 1px;
                                      border-top-style: double;
                                      border-top-color: #d3d3d3;
                                      border-bottom-width: 1px;
                                      border-bottom-style: double;
                                      border-bottom-color: #d3d3d3;
				      margin-left: 2em;
                                      padding: 2px; }
   
                   div.exampleHeader { font-weight: bold;
                                       margin: 4px}

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; font-weight: bold }
h3 { font: 120% sans-serif }
h4 { font: bold 100% sans-serif }
h5 { font: 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 }
div.head img { color: white; border: none } /* remove border from top image */

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

@media screen {  /* hide from IE3 */
a: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 }

pre, code { font-family: monospace } /* navigator 4 requires this */