var g_geometry_dist_vert = 150;


// Get height of the displayed window / frame
function get_window_height()
{
   if(document.all)
   {
      return document.documentElement.clientHeight -20;
   }
   else
   {  
      return window.innerHeight -16;
   }
}



function onresize_table()
{
	var domTable = document.getElementById('main_table');

	var height = get_window_height() - g_geometry_dist_vert;
	if(height < 200)
		height = 200;

	domTable.style.height = height;
}