/* GRIS */
#navcol dt { background-color: #666; }
#navcol dd { background-color: #ccc; }

#body a { color: #667; }