OK, so I was incorrectly blaming WebKit for the tiny monospace font issue. Still, the *interpretation* is different, and that sux.