Very nice, thanks. Didn't know about the new "source-filter" option. Now I can stop using prettify, which I had set up like this:

cgitrc :

footer=/home/bduggan/local/www/cgit_footer
[download]

which contains :

<link type="text/css" rel="stylesheet" href="/prettify/src/prettify.cs
+s" />
<script type="text/javascript" src="/prettify/src/prettify.js"></scrip
+t>

<script type="text/javascript">
    window.onload=prettyPrint;
</script>
[download]