WIP: Make the pygments formatter output clickable
Created by: dopefishh
This still needs to be tested but should work.
The following things are added:
- Externalize the CSS, this includes the darkened highlights and makes such changes easier.
- Adapt
view.php
to run the custom python script - Extend the HTML pygments formatter to include cloogle links and wrap this in a python script. The python scripts transforms stdin to stdout and highlights the line numbers given as an argument.
The following thing needs to be done:
- The first
<h2>
tag should be removed again. Preferably in the python script and not in the php code.