blob: b73155c985b0053e1db28bcd611e842e130b0cf4 (
plain)
I suggest the attached change for verbatim contents. Paddings/margins are
optional, but IMHO, we should at least define a monospace font.
-- Recai (via email)
AFAICS, my web browser already has a built-in monospace font, which I can
see in action in the preformatted patch below. So I don't see why the
default style sheet should do this. --[[Joey]]
[[!tag patch]]
|
