body { font-family: Verdana,SanSerif,Helvetica; }
a:active { background-color: #FFFFCC }
th { font-weight: bolder }
h4 { 
  color: #007700; 
  background-color: #EFEFEF; 
  padding: 1ex; 
  font-variant: small-caps;
}
code { color: blue; }
.accent { background-color: #CCFFFF; color=#0000FF }
.taccent { border: 1px dashed gray; margin: 2ex }
pre { color: #000000; background-color: #EEEEEE; 
      font-size: 12px;
    }
.menu { 
    font-variant: small-caps;
    font-size: 14px;
    color: #009900;
    font-weight: bold;
    text-decoration: none;
    width: 90%;
    background: #EEFFEE;
    border: solid .08em #DDDDDD;
}

.mitem:hover { 
    background-color: #CCFFCC; 
}
.mitem:visited { color: #009900; }

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