body { background-color: #fad888; 
       color: black; }
h1, h2, h3, h4, h5, h6, h7, th {text-align: center; color:blue}

p { margin-right: 2em; 
     margin-left: 2em; 
     text-indent: 2em;
     text-align:left; }

blockquote { margin-right: 2em; 
             margin-left: 4em; 
             margin-top: 1em; 
             margin-bottom: 1em; 
             font-style: italic; }


.example { width: fit-content; 
           background-color:white; 
           text-align: left; 
           margin:auto}


.example2 { width: 90%;  
           text-align: left; 
           margin:auto}
.center { text-align:center; }


.red { color:red }

code { background-color: white; }

pre { 
      background-color: white;
      margin-top:0; margin-bottom:0;
      display: block;
      width:fit-content;
     }


/*
dl { margin-right:2em; 
     margin-left:2em; }
*/
dl { margin-right:1em;}
dd { margin-right:1em;}
dt { font-weight:800; color:blue; margin-right:1em;}


em { font-weight:bold ;}

.ex a:link { color:green; }
.ex a:visited { color:#99bb99; }


.red_bar { width: 90%; background-color:red; height: 4px; text-align:center; color:red}

nav { text-align:center; 
       position:fixed;
       width:100%; 
       background-color:#fad888ff; 
       margin:-.7em 1em 0 -.5em; 
       padding-top: 0.5em; 
       border-bottom:solid; }
 
/*
 nav { text-align:center; position:fixed;
       width:100%; background-color:#fad888ff; 
       margin:-.7em 1em 0 -.5em; 
       padding-top: 0em; 
       border-bottom:solid; }
       --
old
       margin:-.75em 1em 0 0; 
       padding-top: .5em; 

new       
 margin:-.7em 1em 0 -.5em; padding-top: 2em; 

 */
       
       
.listbox {margin-left:2em; margin-right:2em; }
legend { color:blue;}