Hola
elhombregalleta. Bienvenido al foro.
Te corrijo un poco el código para que funcione en todos los navegadores:
Código:
<script type="text/javascript">
<!--
function altoTabla(alto){
document.getElementById('tabla').style.height = alto+'px';
}
//-->
</script>
Saludos,
