a:hover {text-decoration: none;}

a:hover.external {text-decoration: none;}
a:link.external {COLOR: black;}
a:visited.external {COLOR:rgb(48,48,48);}

img.tex {vertical-align: middle;}