funny thing is the WebKit monospace "feature" also affects, like, Google Code and stuff. But I was wrong, 16pt norm / 13pt mono is standard.