body { background-color: #bbbbff; }

dt.question { font-style: italic }

h2.title { text-align: center; }

span.indent1 { margin-left: 3ex }
span.indent2 { margin-left: 6ex }
span.indent3 { margin-left: 9ex }
span.indent4 { margin-left: 12ex }
span.indent5 { margin-left: 15ex }

span.tag { font-family: courier;
           color: #440044 ;
         }

table.code { background-color : #ffffff  }

code.type { font-weight: bold ; font-size: large ;  }

/* pre.unix { text-indent: 3em; font-family: monospace; } */

table.navi { background-color : #cccccc; width=100% }

font.pyprompt { color: #0000ff }
font.tkprompt { color: #0000ff }