Index
Go backward to Changing the type style
Go up to Carrying on
Go forward to Symbols from other languages
Changing type size
Hyperlatex understands the LaTeX declarations to change the type
size. HTML tags for font size changes are generated only if the
\htmllevel is set to either netscape or
html3. The HTML font changes are relative to the HTML node's
basefont size. (\normalfont being the basefont size,
\large begin the basefont size plus one etc.) To set the basefont
size, you can use
\html{basefont size=x}
where x is a number between 1 and 7.
otfried@postech.vision.ac.kr