[SquareWheel]

I remember users setting their default font sizes to 30px, then complaining when they hit the one piece of text on a website with an undefined text size.

User-defined formatting hasn't worked since CSS was introduced.

[GoblinSlayer]

Works for me much better than CSS. HN sets font size to 10pt, any user setting is better than that.