Hi Jan,
Jan Steinman wrote:
From: Raymond
Wan <rwan(a)kuicr.kyoto-u.ac.jp>
Is there a way to add newlines inside <pre> blocks without the
numbered
list knowing?
Have you tried "<br/>" tags?
No, I just tried that. It doesn't work in a <pre> tag since "<br
/>"
will be treated as literal text instead of as an HTML command. It might
work in a <source> tag, though...I haven't tried that yet.
Thanks for the suggestion!
Ray