Jacques Distler ef5878cf11 Put class name on <pre>, rather than <code> ... Better CSS styling options ensue, if we put the class='lang' on the <pre> element. (Suggested by Casper Gripenberg)		2009-07-06 15:30:35 -05:00
..
themes	Better Hiding of SVG in S5 .incremental Slides	2008-08-24 01:33:59 -05:00
ui	Put class name on <pre>, rather than <code>	2009-07-06 15:30:35 -05:00