.dim { color: #666666; }
.highlight { background-color: #FFCC00; }
.black { color: #000000; }
.blackbld { font-weight: bold; color: #000000; }