var ie = (navigator.appName.indexOf("Mic")!=-1)? 1 : 0;
	 var pc = (navigator.userAgent.indexOf("Mac")==-1)? 1 : 0;
	 
	 document.write("<style>");
	 if (ie&&pc) buttonHeight = 20;
	 if (!ie&&pc) buttonHeight = 18; 
	 if (ie&&!pc) buttonHeight = 16;
	 if (!ie&&!pc) buttonHeight = 16;
	 
	 document.write(".formStyle0{ width: 55px; height: "+buttonHeight+"px; font-family: verdana;font-Size: 8pt;}");
	 document.write(".formStyle1{ width: 75px; height: "+buttonHeight+"px; font-family: verdana;font-Size: 8pt;}");
	 document.write(".MarkButt{ width: 180px; height: "+buttonHeight+"px; font-family: verdana;font-Size: 8pt;}");
	 document.write(".formStyle2{ width: 175px; height: "+buttonHeight+"px; font-family: verdana;font-Size: 8pt;}");
	 document.write(".formStyle3{ width: 225px; height: "+buttonHeight+"px; font-family: verdana;font-Size: 8pt;}");
	 document.write("</style>");
	 
	 function winResize()
	 { 
	   top.location.reload();
	   return true;
	 }