Meta on the CSS presentation (only mentioning it because I expect the author to drop by this thread as with the previous): code blocks get scrollbars allocated

Meta on the CSS presentation (only mentioning it because I expect the author to drop by this thread as with the previous): code blocks get scrollbars allocated (though you probably won’t notice on platforms that use overlay scrollbars) because of `pre { overflow: scroll }`; `overflow: scroll` is an unfortunately-named property that is basically never what you want. There’s approximately one halfway-valid reason to use it, which is better served by the scrollbar-gutter property where available (only Chromium, so far). Except for that one rare and mildly dubious case, `overflow: auto` is what you want instead.