highlight: Generate pygments style sheet dynamically
This patch allows a per-repository (for example, within a hgwebdir) selection
of pygments_style web option. No static .css files required.
Test edited by pmezard (compatibility fixes)
#!/bin/sh
"$TESTDIR/hghave" execbit || exit 80
hg init repo
cd repo
echo foo > foo
chmod 644 foo
hg ci -qAm '644'
chmod 755 foo
hg ci -qAm '755'
echo '% reverting to rev 0'
hg revert -a -r 0
hg st
hg diff --git