this is some text... | NO JAVA | 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.