blob: 51a409963efa533f11579d2cab73f0c40e06376c (
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]]
|
