body { background-color: #FFFFF5; 
       margin-right: 1em;
       margin-left: 0.5em;
     } 

body.main { margin-top: 2.5em; 
     } 

pre  { background-color: silver; 
       margin-left: 1em; 
       margin-right: 1em; 
       padding: 1em; 
     }

code { font-family: Courier, monospace; 
       white-space: pre;
       font-size: larger;
       /* background:  silver; */
     } 

dt   { font-weight: bolder; 
       margin-top: 1em;
     }

nav  { line-height: 1.4em; 
     }

h1   { text-align: center;
     }

.center { text-align: center; }

.note { color: maroon; }