Hi Malcolm,<br>  <br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="im"><br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Second, I&#39;m probably being a pain in the ass, but I&#39;d also like to keep my literate comments preformatted.  Right now they are mashed all together<br>
</blockquote>
<br></div>
I&#39;m not sure what you mean.  Could you send an example?  (It is possible that it is a DOS/Windows line-ending bug.)<br>
</blockquote><div><br>When you put the literate comments directly in html, for instance<br><br>-- ----------------------------------------------<br>-- Sequents<br>-- ----------------------------------------------<br><br>
Here are a lot of comments about the sequent calculus.<br><br>&gt; data Seq = ...<br><br>This is rendered as <br><br>-- -------------------------------- -- Sequents -- --------------------------------------- Here are a lot ...<br>
<br>I&#39;d like the format of the comments to stay the same as in the file.  The easiest way <br>I suppose is to wrap &lt;pre&gt; tags around them.  That&#39;s all I meant.<br><br>Thanks for your help,<br><br>Sean <br></div>
</div>