Hallo,
Die 13.4px sind ein Relikt aus Zeiten von Netscape 4 (die 13.4px gab's schon im Stylesheet von SELFHTML 7.0).
Du erinnerst dich falsch daran, in der 7-er gab es keine px sondern pt für die Schriftgröße: http://aktuell.de.selfhtml.org/archiv/doku/7.0/wselfhtm.css
Grüße
Thomas