What the hell. Just now I learned of "font-family: monospace, monospace" hack. Indeed, browsers will render the font smaller with just one "monospace". I've n

What the hell. Just now I learned of "font-family: monospace, monospace" hack. Indeed, browsers will render the font smaller with just one "monospace". I've never run into it before because setting explicit font-size in pt or px avoids that weirdness.