/* colors: #777777 #999999 #881111 #2222AA #DDDDDD #BBBBBB */

.navmap li a:link { background-color: #777; }
.navmap li a:visited { background-color: #999; }
.navmap li a:hover { background-color: #811; color: #DDD; }
#main-right-back { background: #333; }

/* #main-right-back { background: #532323; } */

.star {
font-family: 'Courier New', Courier, mono;
font-size: 20px;
color: #FF6;
font-weight: normal;
}