This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
Finally (after many years) fixed the thing where monospace fonts on my blog sometimes come out in different sizes on different lines in the same <pre> block, but only on mobile(!). The cause is "font boosting", some browser heuristic that is trying to make text readable on mobile, and it gets thrown off by syntax highlighting creating multiple DOM nodes within the code. The fix is…
Finally (after many years) fixed the thing where monospace fonts on my blog sometimes come out in different sizes on different lines in the same <pre> block, but only on mobile(!).
The cause is "font boosting", some browser heuristic that is trying to make text readable on mobile, and it gets thrown off by syntax highlighting creating multiple DOM nodes within the code.
The fix is
-webkit-text-size-adjust: 100%;
complete with the gross -webkit prefix.
(Required even for iOS Chrome, heh.)
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.