The ASCII-art rectangular tables look funky in the output; the right-hand-side borders don't all line up. The HTML source has the correct number of spaces in each row, so the problem is that Scribble is emitting one space character per input space character, and the browser is doing its "normal" collapsing of whitespace.
I don't know whether the best solution is to make the offending doc code emit nbsp references there, or to set .RktIn { white-space: pre } in the CSS, or something else altogether.
https://github.com/racket/drracket/blob/e92617427e5343078ca6cef36a637805b104cc2b/drracket/scribblings/drracket/keybindings.scrbl#L181-L185
The ASCII-art rectangular tables look funky in the output; the right-hand-side borders don't all line up. The HTML source has the correct number of spaces in each row, so the problem is that Scribble is emitting one space character per input space character, and the browser is doing its "normal" collapsing of whitespace.
I don't know whether the best solution is to make the offending doc code emit nbsp references there, or to set
.RktIn { white-space: pre }in the CSS, or something else altogether.