body {color: black; background: white; font-family: sans-serif}
    h1, h2, h3 {color: blue}
    .ns {font-size: smaller}
    code {color: green}
    pre {margin-left: 2em; margin-right: 2em; background: #ff7;
         border: 1px black dotted; padding: 0.2em}
    .html {background: #eee}
    .instance {background: #fdd}
    pre span { color: red } /* For instance values */
    .forms {background: #ff7}
    .version {font-size: smaller}
    .source {width: 80%; text-align: right; margin-top: 0; font-size: smaller}
    img {margin-left: 2em; border: thin black solid}
    img#logo {border: none}
    .toc a {color: blue} 
    iframe {margin-left: 2em; background: #fff; height: 11em; width: 80%; border: thick #bbb solid; padding: 0; margin-bottom: 0}
    iframe.high {height: 15em}
    iframe.short {height: 5em}