Hola,
lo que puedes hacer, es cambiar la regla de esa clase del siguiente modo:
Código PHP:
function tmenu()
{
var theRules = new Array();
// Según el navegador
if (document.styleSheets[0].cssRules) theRules=document.styleSheets[0].cssRules;
else if (document.styleSheets[0].rules) theRules=document.styleSheets[0].rules;
var h=window.screen.height;
// X representa el número de la regla (o la posición) correspondiente en tu .css para el DIV, en este ejemplo a la classe "div_general". Empiezan desde 0.
if(h==1024) theRules[X].style.height = 1024;
else if(h==960) theRules[X].style.height = 960;
else theRules[X].style.height = "lo que sea";
}
Así, lo que haces es cambiar directamente en el archivo .css la altura de la clase que corresponde a tu div. Deberías poner la llamada de tmenu() en un onload en el body, tal que así:
< body onload="tmenu()">
y en tu div:
<div id="vScroller1" class="div_general">Texto</div>
Espero que te sirva
Skaperna