Font-size in selfhtml

[Jerry]

Häh? Wieso alte Version? Wieso das Zip ändern? Die Online-Version verwendet dasselbe Stylesheet.

... aber ich habe doch irgendwo, frag mich nicht wo, eine Version gefunden, in der 13px und nicht 13.4px angegeben wurden!