I was going to debunk this, and suggest that you just set your default font size in your browser to bigger than 16px/12pt, but having just tested it, yes you ar

I was going to debunk this, and suggest that you just set your default font size in your browser to bigger than 16px/12pt, but having just tested it, yes you are right, comment text is locked at about 13px in the HN CSS. That's a bit naughty. :(