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"; 
		}
	}
}