Hola:
Los estilos se leen y escriben con minúsculas, y cuando son compuestos (llevan guiones), se deben eliminar los guines y capitalizar la palabra que le sigue...
Para el caso sería: alert (document.getElementById("tabla1").style.borderRig htColor);
o tal vez sea mejor solo borderRight o border...
También puedes obtener todos los estilos de forma asociativa:
function estilos() {
elemento = document.getElementById("tabla1").style;
resultado = "";
for (estilo in elemento) resultado += estilo + " = " + elemento[estilo] + "\n";
alert(resultado);
}
Saludos
