Zwischen den beiden Methoden gibt es einen wichtigen Unterschied:
Das erste ist ein
HTML-Tag (<font>), dem als Attribut die Größe von 1-7 übergeben wird.
Das zweite dagegen ist eine CSS-Anweisung, die ein ganz allgemeines
HTML-Tag (<span>) benutzt, und hierauf über das Attribut style ganz verschiedene Formatierungen ermöglicht.
Die von dir beschriebene Formatierung mit pt ist allerdings nur bei der CSS-Methode möglich, und der Internet Explorer unterstützt über die execCommand-Methode (so viel ich weiß) nur die
HTML-Variante.
Das einzige was du vielleicht machen könntest, ist, dass du "manuell" den entsprechenen
HTML-Code in die Browser-Komponente einfügst (müsste irgendwie mit SelectionRange gehen, suche mal danach).
Oder aber, du nimmst dir einfach ein paar pt-Werte und überlegst dir eine ungefähr passende Umrechnung in die Werte von 1 bis 7.