[Inyo-Mono]

And its not "font" size, it is "typeface" size. Times New Roman, for example, is a typeface, Times New Roman Italics , a derivative of a typeface, is a font. Times New Roman bold is also a font. But Times New Roman (or whatever) is a typeface, not a font.

[TexasGator]

“And its not “font” size, it is “typeface” size.”

Uh, HTML < font size = xxx >