body {
               color: black;
               background-color: #ffffff;
               font-family: Times;
               }

               table td { 
                 padding-left: 0;
                 padding-right: 0;
               }

               .main {
               width: 35em;
               margin-left: 12em;
               text-align: left;
               }

               .refpara { 
                position: relative;
                float: right;
                left: 1em;
                top: -1em;
                height: 0em;
                width: 10em;
                margin: 0em -10em 0em 0em;
                }

               .refcontent { 
                background-color: #F5F5DC;
                display: block;
                position: relative;
                width: 10em;
                font-size: 85%;
                border: 0.5em solid #F5F5DC;
               }

               .tocview { 
                 position: relative;
                 float: left;
                 width: 10em;
                 margin-right: 2em;
                 text-align: left;
                 background-color: #F5F5DC;
               }

               .tocviewtitle { 
                  font-size: 80%;
                  font-weight: bold;
                  margin: 0.2em 0.2em 0.2em 0.2em;
                }

               .tocviewlist { 
                  margin: 0.2em 0.2em 0.2em 0.2em;
                }

               .tocviewlist td { 
                  font-size: 80%;
                  vertical-align: top;
               }

               .tocviewlink { 
                  text-decoration: none;
                }

               .leftindent { 
                margin-left: 1em;
                margin-right: 0em;
               }

               .toclink { 
               text-decoration: none;
               color: blue;
               font-size: 85%;
               }

               .toptoclink { 
               text-decoration: none;
               color: blue;
               font-weight: bold;
               }

               .title {
               font-size: 200%;
               font-weight: normal;
               margin-top: 2.8em;
               text-align: center;
               }

               .partheading {
               font-size: 100%;
               }

               .chapterheading {
               font-size: 100%;
               }

               .beginsection {
               font-size: 110%;
               }

               .tiny {
               font-size: 40%;
               }

               .scriptsize {
               font-size: 60%;
               }

               .footnotesize {
               font-size: 75%;
               }

               .small {
               font-size: 90%;
               }

               .normalsize {
               font-size: 100%;
               }

               .large {
               font-size: 120%;
               }

               .largecap {
               font-size: 150%;
               }

               .largeup {
               font-size: 200%;
               }

               .huge {
               font-size: 300%;
               }

               .hugecap {
               font-size: 350%;
               }

               pre {
               margin-left: 2em;
               }

               blockquote {
               margin-left: 2em;
               }

               ol {
               list-style-type: decimal;
               }

               ol ol {
               list-style-type: lower-alpha;
               }

               ol ol ol {
               list-style-type: lower-roman;
               }

               ol ol ol ol {
               list-style-type: upper-alpha;
               }

               i {
               font-family: serif;
               }

               .boxed { 
                 width: 100%;
                 background-color: #E8E8FF;
               }

               .prototype td { 
                 vertical-align: top;
               }
               .longprototype td { 
                 vertical-align: bottom;
               }

               .schemeblock td { 
                 vertical-align: baseline;
               }

               .argcontract td { 
                 vertical-align: top;
               }

               .centered { 
                 horiz-align: center;
               }

               .verbatim em {
               font-family: serif;
               }

               .ghost {
               color: white;
               }

               .scheme em {
               color: black;
               font-family: serif;
               }

               .highlighted {
               background-color: #ddddff;
               }

               .specgrammar {
               float: right;
               }

               .hspace {
               font-family: Courier; font-size: 80%;
               }

               .smaller {
               font-size: 80%;
               }

               .inferencetop td { 
                border-bottom: 1px solid black;
                text-align: center;
               }
               .inferencebottom td { 
                text-align: center;
               }

               .schemeinput {
               color: brown;
               background-color: #eeeeee;
               font-family: Courier; font-size: 80%;
               }

               .schemeinputbg {
               background-color: #eeeeee;
               }

               .schemereader {
               font-family: Courier; font-size: 80%;
               }

               .schemeparen {
               color: #843c24;
               font-family: Courier; font-size: 80%;
               }

               .schememeta {
               color: #262680;
               font-family: Courier; font-size: 80%;
               }

               .schememod {
               color: black;
               font-family: Courier; font-size: 80%;
               }

               .schemeopt {
               color: black;
               }

               .schemekeyword {
               color: black;
               font-weight: bold;
               font-family: Courier; font-size: 80%;
               }

               .schemeerror {
               color: red;
               font-style: italic;             
               }

               .schemevariable {
               color: #262680;
               font-style: italic;             
               font-family: Courier; font-size: 80%;
               }

               .schemesymbol {
               color: #262680;
               font-family: Courier; font-size: 80%;
               }

               .schemevaluelink { 
               text-decoration: none;
               color: blue;
               }

               .schemesyntaxlink { 
               text-decoration: none;
               color: black;
               font-weight: bold;
               }

               .badlink { 
               text-decoration: underline;
               color: red;
               }

               .techlink { 
               text-decoration: none;
               color: black;
               }
               .techlink:hover { 
               text-decoration: underline;
               color: blue;
               }

               .schemeresult {
               color: #0000af;
               font-family: Courier; font-size: 80%;
               }

               .schemestdout {
               color: #960096;
               font-family: Courier; font-size: 80%;
               }

               .schemecomment {
               color: #c2741f;
               font-family: Courier; font-size: 80%;
               }

               .schemevalue {
               color: #228b22;
               font-family: Courier; font-size: 80%;
               }

               .imageleft { 
                 float: left;
                 margin-right: 0.3em;
               }

               .nonavigation {
               color: #EEEEEE;
               }

               .disable {
               /* color: #e5e5e5; */
               color: gray;
               }

               .smallcaps {
               font-size: 75%;
               }

               .smallprint {
               color: gray;
               font-size: 75%;
               text-align: right;
               }

               .footnoterule {
               text-align: left;
               width: 40%;
               }

               .colophon {
               color: gray;
               font-size: 80%;
               font-style: italic;
               text-align: right;
               }

               .colophon a {
               color: gray;
               }