/***********************************************/
/* section specific styles                     */
/***********************************************/ 

a.programminglink:visited, a.programminglink:hover,  a.programminglink:active {
text-decoration:none;
font-weight: bold;
}