Under windows, when I compare <font size=1 face=tahoma>anytext here</font> in a browser, it looks like a different style compared to mIRC tahoma font set to 8
I don't know how it is coded, but it could be a nice feature to add font size with HTML size.