body {
background : white;
color : black;
}

A.intro:link {
color : #006400;
background : white;
text-decoration : none;
}

A.intro:visited {
color : #FF0000;
background : white;
text-decoration : none;
}

A.intro:hover {
color : black;
background : white;
text-decoration : none;
}

A.box:link {
color : white;
background : white;
text-decoration : none;
}

A.box:visited {
color : white;
background : white;
text-decoration : none;
}

A.box:hover {
color : red;
background : white;
text-decoration : none;
}

A.foo:link {
color : white;
background : white;
text-decoration : none;
}

A.foo:visited {
color : white;
background : white;
text-decoration : none;
}

A.foo:active {
color : white;
background : white;
text-decoration : none;
}

A.husserl:link {
color : #00009c;
background : white;
text-decoration : none;
}

A.husserl:visited {
color : #871f78;
background : white;
text-decoration : none;
}

A.husserl:hover {
color : #ff0000;
background : white;
text-decoration : none;
}

A.mail:link {
color : #00009c;
background : white;
text-decoration : underline;
}

A.mail:visited {
color : #871f78;
background : white;
text-decoration : underline;
}

A.mail:hover {
color : #ff0000;
background : white;
text-decoration : underline;
}

A.bobmail:link {
TEXT-DECORATION: underline;
background : white;
}

A.bobmail:visited {
TEXT-DECORATION: underline;
background : white;
}

A.bobmail:hover {
COLOR: #FF0000; 
background : white;
TEXT-DECORATION: overline
}

A.cv:link {
color : #00009c;
background : white;
text-decoration : none;
}

A.cv:visited {
color : #871f78;
background : white;
text-decoration : none;
}

A.cv:hover {
color : #ff0000;
background : white;
text-decoration : none;
}

A.hide:link {
color : #FFFFFF;
background : white;
text-decoration : none;
}

A.hide:visited {
color : #FFFFFF;
background : white;
text-decoration : none;
}

A.hide:hover {
color : #FFFFFF;
background : white;
text-decoration : none;
}

A.black:link {
color : black;
background : white;
text-decoration : none;
}

A.black:visited {
color : black;
background : white;
text-decoration : none;
}

A.black:hover {
color : black;
background : white;
text-decoration : none;
}

A.teaching:link {
color : #00009c;
background : #EFEFEF;
text-decoration : underline;
font-weight : bold;
}

A.teaching:visited {
color : #00009c;
background : #EFEFEF;
text-decoration : underline;
font-weight : bold;
}

A.teaching:hover {
color : red;
background : #EFEFEF;
text-decoration : underline;
font-weight : bold;
}