Hi!

In addition to my TeX-typesetting-problem I noticed that the HTML-output-window suddenly looks just plain wrong. I attached a screenshot. Some of the text is huge, other parts are very small and behind the huge stuff.

Niels