[PATCH] highlight: Generate pygments style sheet dynamically

[Isaac Jurado]

On Fri, Apr 4, 2008 at 8:44 PM, Dirkjan Ochtman <dirkjan at ochtman.nl> wrote:
>
> I think you still need something like {urlbase} before /pygments_css.

Done.  I finally used {url} as it seems to be the one most commonly used
among the current web templates.  As far as I could grasp from the
templater regexp, using {} or ## is exactly equivalent.

> FWIW, one of the Pygments committers mentioned in IRC that generating
> this stylesheet is cheap, so I think dynamically generating is nice.
>
> (Certainly, this is much better than including 13 stylesheets.)

Agreed, and its cleaner to update; as when pygments updates introduced
new styles, their stylesheets wouldn't need to be generated and included
in the distribution.

Regards.

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

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