Do we want to have line numbers here? If not, we could use Jekyll {% highlight python %}..{% endhighlight %}. One advantage of using Jekyll is that it will use proper CSS classes instead of generating loads of hardcoded styles in the HTML, so we can import CSS rules and adapt them if required : https://github.com/mojombo/tpw/blob/master/css/syntax.css