(untitled)

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…