[PATCH] highlight: Generate pygments style sheet dynamically

[Isaac Jurado]

On Sat, Apr 5, 2008 at 9:32 AM, Dirkjan Ochtman <dirkjan at ochtman.nl> wrote:
>
> One more thing: could you add some tests for this to
> tests/test-highlight?

In order to avoid dependency with pygments, I've prepended a line in the
CSS file, and that is the check for the test.

Thanks to Patrick Mézard for his help.

-- 
Isaac Jurado Peinado
http://www.krenel.net

"The noblest pleasure is the joy of understanding"
Leonardo da Vinci