body { font-family: Verdana,SanSerif,Helvetica; }
a:active { background-color: #FFFFCC }
th { font-weight: bolder }
h4 { color: #007700; background-color: #EEEEEE; 
     padding: 1ex; }
code { color: blue; }
.accent { background-color: #CCFFFF; color: #0000FF }
.taccent { border: 1px dashed gray; margin: 2ex }
pre { color: #000000; background-color: #EEEEEE; 
      font-size: x-small; font-family: Courier,Serif,Console;
      margin: 2ex;
      padding: 2ex
    }
.menu { 
    font-variant: small-caps;
    font-size: 12px;
    color: #009900;
    font-weight: bold;
    text-decoration: none;
}
.menu:hover { 
    background-color: #CCFFCC; 
}
.menu:visited { color: #009900; }

.box {
    background-color: #DDDDDD;
    width: 80%;
    margin: 10px;
    padding: 10px;
    text-align: left;
}