body {
	font-family:Arial;
	text-decoration:none
}

 a:link { text-decoration:none; color:#2f6d26; }
 a:visited { text-decoration:none; color:#2f6d26; }
 a:hover { text-decoration:none; color:#800000; }
 a.prog:link { text-decoration:none; color:#000000; }
 a.prog:visited { text-decoration:none; color:#000000; }
 a.prog:hover { text-decoration:none; color:#2f6d26; }
 a.nav:link { text-decoration:none; font-weight:bold; color:#ffffff; }
 a.nav:visited { text-decoration:none; font-weight:bold; color:#ffffff; }
 a.nav:hover { text-decoration:none; font-weight:bold; color:#800000; }