function do_nothing()
{
}

function set_viewport()
{
	var x,y;
	if (self.innerHeight) // all except Explorer
	{
		x = self.innerWidth;
		y = self.innerHeight;
	}
	else if (document.documentElement && document.documentElement.clientHeight)
		// Explorer 6 Strict Mode
	{
		x = document.documentElement.clientWidth;
		y = document.documentElement.clientHeight;
	}
	else if (document.body) // other Explorers
	{
		x = document.body.clientWidth;
		y = document.body.clientHeight;
	}
	document.x = x;
	document.y = y;
}

function set_tab_size(adjust_x, adjust_y, tabs_ids_array, tabs_overflow_array_x, tabs_overflow_array_y)
{
	for (i=0; i<tabs_ids_array.length ; i++ )
	{
		var OBJ = new getObj(tabs_ids_array[i]);
		OBJ.style.overflowX = tabs_overflow_array_x[i];
		OBJ.style.overflowY = ( typeof(tabs_overflow_array_y) != 'undefined' ) ? tabs_overflow_array_y[i] : OBJ.style.overflowX;
		OBJ.style.width = (document.x + adjust_x) + 'px';
		OBJ.style.height = (document.y + adjust_y) + 'px';
	}
	//var OBJ = new getObj('o_content');
	//OBJ.style.height = document.y - 20 + 'px';
}

function set_fixed_table_size(table_object, adjust_x, adjust_y_small, adjust_y_big)
{
	if( typeof(document.fixed_table_available_y) != 'undefined' && document.fixed_table_available_y != 0)
	{
		var available_y =  document.fixed_table_available_y;
	}
	else
	{
		var available_y = document.y - DL_GetElementTop(table_object._eHead) + table_object._eHead.offsetHeight;
		document.fixed_table_available_y = available_y;
	}

	var table_height = table_object._eHead.offsetHeight + table_object._eBodyTable.offsetHeight + adjust_y_small;

	resize_y = ( table_height < available_y ) ? table_height : available_y + adjust_y_big;

	table_object.resize(document.x + adjust_x, resize_y);

	table_object._eCont.style.height = resize_y - table_object._eHead.offsetHeight + 'px';
	//alert(table_object.style.height);
}


function DL_GetElementLeft(eElement)
{
   if (!eElement && this)                    // if argument is invalid
   {                                         // (not specified, is null or is 0)
      eElement = this;                       // and function is a method
   }                                         // identify the element as the method owner

   var DL_bIE = document.all ? true : false; // initialize var to identify IE

   var nLeftPos = eElement.offsetLeft;       // initialize var to store calculations
   var eParElement = eElement.offsetParent;  // identify first offset parent element

   while (eParElement != null)
   {                                         // move up through element hierarchy

      if(DL_bIE)                             // if browser is IE, then...
      {
         if( (eParElement.tagName != "TABLE") && (eParElement.tagName != "BODY") )
         {                                   // if parent is not a table or the body, then...
            nLeftPos += eParElement.clientLeft; // append cell border width to calcs
         }
      }
      else                                   // if browser is Gecko, then...
      {
         if(eParElement.tagName == "TABLE")  // if parent is a table, then...
         {                                   // get its border as a number
            var nParBorder = parseInt(eParElement.border);
            if(isNaN(nParBorder))            // if no valid border attribute, then...
            {                                // check the table's frame attribute
               var nParFrame = eParElement.getAttribute('frame');
               if(nParFrame != null)         // if frame has ANY value, then...
               {
                  nLeftPos += 1;             // append one pixel to counter
               }
            }
            else if(nParBorder > 0)          // if a border width is specified, then...
            {
               nLeftPos += nParBorder;       // append the border width to counter
            }
         }
      }
      nLeftPos += eParElement.offsetLeft;    // append left offset of parent
      eParElement = eParElement.offsetParent; // and move up the element hierarchy
   }                                         // until no more offset parents exist
   return nLeftPos;                          // return the number calculated
}

function DL_GetElementTop(eElement)
{
   if (!eElement && this)                    // if argument is invalid
   {                                         // (not specified, is null or is 0)
      eElement = this;                       // and function is a method
   }                                         // identify the element as the method owner

   var DL_bIE = document.all ? true : false; // initialize var to identify IE

   var nTopPos = eElement.offsetTop;         // initialize var to store calculations
   var eParElement = eElement.offsetParent;  // identify first offset parent element

   while (eParElement != null)
   {                                         // move up through element hierarchy
      if(DL_bIE)                             // if browser is IE, then...
      {
         if( (eParElement.tagName != "TABLE") && (eParElement.tagName != "BODY") )
         {                                   // if parent a table cell, then...
            nTopPos += eParElement.clientTop; // append cell border width to calcs
         }
      }
      else                                   // if browser is Gecko, then...
      {
         if(eParElement.tagName == "TABLE")  // if parent is a table, then...
         {                                   // get its border as a number
            var nParBorder = parseInt(eParElement.border);
            if(isNaN(nParBorder))            // if no valid border attribute, then...
            {                                // check the table's frame attribute
               var nParFrame = eParElement.getAttribute('frame');
               if(nParFrame != null)         // if frame has ANY value, then...
               {
                  nTopPos += 1;              // append one pixel to counter
               }
            }
            else if(nParBorder > 0)          // if a border width is specified, then...
            {
               nTopPos += nParBorder;        // append the border width to counter
            }
         }
      }

      nTopPos += eParElement.offsetTop;      // append top offset of parent
      eParElement = eParElement.offsetParent; // and move up the element hierarchy
   }                                         // until no more offset parents exist
   return nTopPos;                           // return the number calculated
}