body {
     padding: 2em 1em 2em 80px;
     margin: 0;
     font-family: sans-serif;
     color: black;
     background: white;
     text-align: justify;
     margin-right: 6em;
}
 :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;
}
img {
     max-width: 80%;
     height: auto;
}
/* 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: 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 
    }
}
 dt, dd {
     margin-top: 0;
     margin-bottom: 0 
}
/* opera 3.50 */
 dt {
     font-weight: bold 
}
 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 
    }
}
 h3 {
     margin-top: 30px;
     margin-bottom: 10px;
}
 h2 {
     margin-top:40px;
}
 dt {
     margin-top:5px;
}
 .backlink {
     font-size:10pt;
     text-align:right;
     margin-left:1em;
     color:black;
     padding: 2px;
     border: 1px dotted navy;
     background-color: #F4FFFF;
}
 tr:target {
     border-color: red;
}
 body > h2:target > span:first-child, h3:target > span:first-child {
     border-bottom: 1px solid red;
}
 td {
     padding:5px;
}
 th {
     text-align: center;
     padding: 5px;
     background-color:lightblue;
}
 pre {
     font-size: 110%;
}
 td:nth-of-type(2) {
     text-align: center;
}
 .endnote {
     margin-top: 40px;
     border-top: 1px solid gray;
     padding-top: 10px;
     text-align: center;
     color:gray;
     font-size:80%;
}
 #toc > ol > li {
     display: inline;
     display: inline-table;
     padding-right: 4em;
}
 div.image {
     text-align:center;
     margin-bottom:40px;
}
 .caption {
     font-weight:bold;
}