Die Schriftgröße wird jetzt per CSS (font-size: smaller) gesetzt; der Inhalt eines [tt]-Tags ist damit exakt eine Stufe kleiner als der normale Text.