body.workshops_teaching {background-color:#ff9933;}

a.nav:link {
color: #CC0000;
text-decoration: none;
margin-left: 7px; }

a.nav:visited {
color: #CC0000;
text-decoration: none;
margin-left: 7px; }


a.nav:hover{
color: #FF3333;}



a.extern:hover{
color: #FF3333;}