body, html { width:100%; height:100%; margin:0px; padding:0px; overflow:auto; }


.menu { border-color:#d1eeee;
        font-family: helvetica, arial, sans-serif;
        background-color:#dae0da;
        font-size:85% }

.menu A { font-family: helvetica, arial, sans-serif;
               color:#000040; 
               text-decoration: none}

.menutitle { font-family: "New Century", "New Century Schoolbook", serif;
             color:#ffffff;
             font-size:200% }

ADDRESS { font-family: helvetica, arial, sans-serif; 
      font-size: 70%}

A:link    { color: #202070 }
A:visited { color: #202080 }
A:active  { color: #202080 }

.indent  { margin-left:3em; margin-right:3em }
.bordered { margin:1em; padding: 1em; 
            border-color:black; border-width:1;
            border-style:groove; }

.shaded { margin:1em; padding: 1em; 
            background-color: #e8e8e8; }

.plotbox { margin:0px; padding: 0px; 
            border-color:black; border-width:4px;
            border-style:groove; }
.plotbtn { margin:0px; padding: 0px;
            background-color: white; 
           font-family: helvetica, arial, sans-serif;
           font-size:85%; }
.plotrow { margin:0px; padding: 0px;
            background-color: white; 
           font-family: helvetica, arial, sans-serif;
           font-size:90%; }

.outbutton { margin:1em; padding: 0px; 
            border-color:black; border-width:3px;
            border-style:outset;
            font-size: 70%;
            font-family: helvetica, arial, sans-serif;
            font-style: italic;
            background-color:linen; }
            color:black; }

.bigquote { font-family: helvetica, arial, sans-serif;
               color:#307080; 
               background-color:#ffffff;
               font-size:120%;
               font-weight: lighter;
               text-decoration: none}

.notice   {color:green; margin-left:1em; border-width:thin}
.enotice  {color:red; margin-left:1em; border-width:thin}

.code     {margin:1em; border-width:medium; border-style: groove;
           font-family: monospace, typewriter, courier; 
           background-color: #f4f4f2;
           padding: 1em}

.codex    {margin-left:1em; border-width:medium; border-style: groove;
           font-family: monospace, typewriter, courier; 
           margin-left: 2em; margin-right:2em;
           padding-left: 5em; padding-top:1em; padding-bottom: 1em;
           text-indent: -4em}

.cpyright {
        font-family: helvetica, arial, sans-serif;
        font-style: italic;
        font-size:80% }


.section-bar {
    border-width: 0;
    font-family: "New Century", "New Century Schoolbook", serif;
    font-weight: lighter;
    font-size: large;
    font-style: normal;
    font-stretch: wider;
    margin: 2px 2px 2px 0px;
    padding: 0 0 4px 30px;
    background-color: #808080;
    color: #ffffff;
}

.proc {
    border-width: 0;
    padding: 10 0 0 0px;
    margin: 5px 0 0px 0px;
}

.proc-display { margin:1em; padding: 1em; 
            border-color:black; border-width:1;
            border-style:groove; }

.proc-section-bar {
    border-width: 0;
    font-family: "New Century", "New Century Schoolbook", serif;
    font-weight: lighter;
    font-size: large;
    font-style: normal;
    font-stretch: wider;
    margin: 2px 0px 2px 0px;
    padding: 0 0 4px 30px;
    background-color: #A0A0A0;
    color: #ffffff;
}

.proc h2 {
    border-width: 2px 0px 0px 5px; border-style: inset;
    border-color: #a0a0b0;
    font-family: helvetica, sans-serif;
    font-weight: lighter;
    font-size: large;
    font-stretch: condensed;
    font-style: oblique;
    margin: 0 20px 0px 0px;
    padding: 0 0 5px 0;
    background-color: #f0f0f0;
    color: #909090;
}
.proc h3 {
    margin: 0 0 2px -10px;
    padding: 0 0 0 0;
    background-color: #d0d0d0;
    color: #909090;
}
.proc code {
    margin: 1px 0px 9px 20px;
    color: #000000;
}
.proc var {
    color: #103080;
}
.proc tt {
    color: #108020;
}

.proc-args {
    border-width: 0;
    border-color: #f0f0f0;
    border-style: inset;
    padding: 0px;
    margin: 0 0 0 40px;
    align: left;
    valign: top;
    cell-padding: 5px;
}
.proc-args var {
    color: #000070;
}
.proc-args tt {
    color: #007000;
}

.proc-sum {
    border: 0;
    padding: 0;
    margin: 0 0 0 20px;
}

.proc-summary {
    border-width: 0px 0px 0px 5px; border-style: inset;
    border-color: #a0a0b0;
    margin: 0 30px 10px 30px;
    padding: 0 0 5px 0;
}

.proc-sum var {
    color: #103080;
}
.proc-sum tt {
    color: #108020;
}

.proc list {
    border-width: 1;
    padding: 0 0 0 0px;
    margin: 0 0 0px 0px;
}

.summary {
    margin-left: 20px;
    margin-right: 20px;
    padding: 3px;
    border-color:black; border-width:1;
    border-style:groove; }


.wide-right {
   margin: 0 200px 0 0;
}
.wide-right li {
   margin: 0 100px 0 0;
}

.floating-index {
    position: absolute;
    top: 60px;
    right: 15px;
    margin-left: 0;
    margin-top: 20px;
    padding: 4px;
    background-color: #f0f0f0;
    color: inherit;
    font-size: 80%;
}

.floating-index H3 {
   color:#304050;
   font-family: helvetica, arial, sans-serif;
}

.floating-index A:link    { color: #804090 ; text-decoration: none}
.floating-index A:visited { color: #804090 ; text-decoration: none}
.floating-index A:active  { color: #804090 ; text-decoration: none}

#toc li {
    list-style-type: none;
    margin: 0;
    padding: 0;
}
#tocr li {
    list-style-type: none;
    margin: 0;
    padding: 0;
    font-style: normal;
}

    
.floating-index ul {
    margin:  1px 4px 1px 2px;
    padding: 0;
    list-style-type: none ;
}

.floating-index li {
    margin: 1px 4px 1px 2px;
    padding: 0;
    list-style-type: none ;
}