/* Eliminazione tratteggio links (solo Explorer) */

function NoDot()
{
for (a in document.links) document.links[a].onfocus = document.links[a].blur;
}
if (document.all)
{
document.onmousedown = NoDot;
}