Hi Jan,
Jan Steinman wrote:
From: Raymond Wan rwan@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