Custom styling in code is currently cumbersome – to apply any, the whole HTML with <div class="codehilite"> must be written by hand. (See beginners/install:linux for example.)
There should be a way to do this more elegantly. Perhaps Pygments filters.
Note to self: HTML has a mark tag.
Custom styling in code is currently cumbersome – to apply any, the whole HTML with
<div class="codehilite">must be written by hand. (See beginners/install:linux for example.)There should be a way to do this more elegantly. Perhaps Pygments filters.
Note to self: HTML has a
marktag.