|
"http://www.w3.org/TR/REC-html40/loose.dtd">
Browser configuration
FACE=symbol attribute to the <FONT ...> tag.
This attribute is non-standard in HTML-3.2 and is now standard (and
already deprecated) in HTML-4.0 The symbol font is the one available on the Linux Red Hat distribution and seems to be present on many Unix installations. A good way to know whether your browser can show HEVEA symbols or not is comparing figure 1 and the web page located at symbol.html. Microsoft Explorer displays the symbol font by default. By default, Netscape Communicator does not display symbol fonts as intended by HEVEA. On an Unix system, the following procedure instructs Netscape Communicator to do so:
More details on browser configuration can be found at http://hutchinson.belmont.ma.us/tth/Xfonts.html (A page from Ian Hutchinson's tth documentation). In particular the Sumple fix of the .Xdefaults file above does not seem to work on Mozilla 4.78, and you should rely on the more complicated fix described in the web page. Furthermore, be carefull to enable using document fonts while disabling dynamic fonts (Edit/Preference/Fonts, then check the appropriate box). More details on symbol fonts can be found in section 3.2.2 of this manual. In particular, note that symbol fonts may be completely avoided with the -nosymb option. |