if ( window.addEventListener )
 {
 	window.addEventListener( "load", init, false )
 } 
 else if( window.attachEvent )
 {
 	window.attachEvent( "onload", init )
 }
// 
// 
// function init()
// {
// 	var p = document.getElementsByTagName("p")
// 	
// 	var legends = document.getElementById("booking_form").getElementsByTagName("legend")
// 	var options = document.getElementById("booking_form").getElementsByTagName("option")
// 	
// 
// 
// 	if( navigator.appVersion.indexOf("X11") != -1 )
// 	{
// 		document.getElementById("booking_form").style.fontSize = "10px";
// 		
// 		
// 	
// 		for( var i=0; i <= options.length; i++ )
// 		{
// 			options[i].style.fontSize = "12px"; 
// 			legends[i].style.fontSize = "14px"; 
// 		}
// 	}
// }

var fontSize = 15;

function init()
{
  document.getElementById("font_size_controls").innerHTML = '<a href="##" id="inc_font_size" >Font Size +  </a> <a>&nbsp</a><a href="##" id="dec_font_size" >   Font Size -</a>';
  document.getElementById("inc_font_size").onclick = incFontSize;
  document.getElementById("dec_font_size").onclick = decFontSize;
}

function incFontSize() 
{
   fontSize++;
   document.getElementById("main_content").style.fontSize =  fontSize + "px" ;   
}

function decFontSize() 
{
   fontSize--;
   document.getElementById("main_content").style.fontSize =  fontSize + "px" ;   
}