Ho impostato un controllo in javascripte(con relativo cookie)
per modificare la grandezza del testo tramite dei pulsanti nell'header
il cui stile(dei pulsanti!) viene modificato con:

function SetFontSize(s){

switch(s){
case "12px":
document.getElementById("size1").style.border="2px solid yellow";
document.getElementById("size2").style.border="1px solid black";
document.getElementById("size3").style.border="1px solid black"; break;
case "16px":
...
}



Solo che dopo aver cliccato una volta su una delle "A", perdo la proprietà nel file di stile .css

div#controlCar a:hover{border-color: #CCC}

dove è:

div#controlCar a{text-decoration: none;vertical-align:baseline; border: 1px solid black;
padding: 0 4px; margin: 0 3px;background-color: #fff;color: #000; font-family: Cambria, Georgia,

serif; font-weight: bold}

quindi non mi cambia più il bordo del bottone di controllo al passaggio del mouse.
Cosa posso fare per mantenere div#controlCar a:hover{border-color: #CCC} ??