Te felicito por haberlo resuelto (habla muy bien de vos, de verdad).
Es cierto, javascript sólo puede conocer la propiedad style cuando fue definida como tal. No obstante, hay manera de obtenerla así:
Código PHP:
function t(id){return document.getElementById(id);}
function getStyle(id,w3cProp,IEProp){
if(window.getComputedStyle){
return document.defaultView.getComputedStyle(t(id),null).getPropertyValue(w3cProp);
}else if(t(id).currentStyle){
return t(id).currentStyle[IEProp];
}else{
alert('No se encontró el estilo');
}
}
En ese caso, para obtener el borderColor, se usarían el id=id del elemento, w3cProp='border-color' y IEProp='borderColor'.