Hi Thomas,
Thomas Dalton wrote:
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.
How about:
#Foo<pre>...</pre><br/><pre>...<pre>
#Bar
Just tried that too, and it preserves the numbering of the ordered list,
but it creates two separate <pre> boxes (separated by a blank line).
Thanks for your idea, though!
Ray