div#menu a, div#a:link, div#menu a:visited { /* controls menu style */
 padding: 1px 4px 2px 4px; /* enlarges colored area on click */
 margin: 0; 
 font-size: 1.4em;
 font-weight: normal; 
 letter-spacing: 2px; /* adds extra space between letters */
 text-decoration: none; /* controls link underlining */
 background-color: #fff; 
}
div#menu a:hover { /* contols style on mouseover */
 color: #333;
 background-color: #CCCCCC;
}
div#menu a:active { /* contols style on click */
 color: #09f;
 background-color: #fff; 
}
div#menu a.actief { /* contols style of javacript generated active link */
 color: #09f;
 background-color: #fff;
 font-weight: bold; 
}