// IE mouseoverfix (haalt randjes weg als je op een button /link drukt
function ExplorerFix() 
{ for (a in document.links) document.links[a].onfocus = document.links[a].blur; 
}
if(document.all) document.onmousedown = ExplorerFix;