Hi Jean, > The proposal changes this to > > <pre class="verbatim highlight"> > <span class="someHighlightingToken>a little bit</span> > <span class="anotherToken">another bit</span> > etc. > </pre> > > (whitespace added for readability), so now you can > inject custom CSS and have your own highlighting scheme > if you want, or disable highlighting completely.
We're all after the same thing. =) This proposal is great, in my opinion: it improves the customizability for anyone who wants to (a huge improvement!), while providing a more useful default presentation (whatever the consensus will be on that). Thanks for your work on this! Kieren.
