| this is some text... | and this is the rest... | 
|---|
	
	For applet autoscaling, the applet_tag "width" should be less than 10 : width="1"
	The autoscaling SetSize() javascript_function could be called from the htmlpage "body onload".
	Or in WIMS:
	!set wims_html_onload=javascript:SetSize('TexApp');
	
	This will probably not work for Opera browsers...
	
	Safari on Windows will incorrectly scale the applet...
	
	If the applet has a width > 10 , no autoscaling is performed.