[TxMt] [ANN] Theme to CSS stylesheet, document to HTML/CSS commands

[Michael Sheets]

> Also, the .comment class interfered with my blogs .comment class.  
> But there's not really anything that should change about the  
> command for that. People just need to be aware of it.

You could actually give the <pre> a class, then make all the css  
selectors a decentant of the .tmcode class. Might be a nifty thing to  
have done by default actually.