Go backward to 7.1 Changing the type style
Go up to 7 Carrying on
Go forward to 7.3 Symbols from other languages
7.2 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
html3.2. 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 Schwarzkopf, September 2, 1997