Bibtex fixes required for proper latex2html compilation.
The font size is no longer set for the latex2html compiled user manual.