ef5878cf11
Better CSS styling options ensue, if we put the class='lang' on the <pre> element. (Suggested by Casper Gripenberg) |
||
---|---|---|
.. | ||
core | ||
bg-shade.png | ||
s5-notes.html | ||
s5-notes.xhtml |
ef5878cf11
Better CSS styling options ensue, if we put the class='lang' on the <pre> element. (Suggested by Casper Gripenberg) |
||
---|---|---|
.. | ||
core | ||
bg-shade.png | ||
s5-notes.html | ||
s5-notes.xhtml |