* look into lstlisting to see if we can do code highlighting or otherwise
better presentation of it in HTML.
---
Openquestions back to mlinksva from bkuhn:
Hopeless Issues:
* copyleft.org logo clipped by a few pixels on the right in Firefox, but goes away at certain magnifications, not present in Chromium. Seems related to svg. Getting rid of the svg and just always displaying bitmap fixes.
* I think the above was merely a width/height setting issue, which appears fixed now. Can you confirm?
* It isn't fixed. Seems Firefox has some long term problems with unwanted SVG [clipping](https://bugzilla.mozilla.org/show_bug.cgi?id=1056949). I will try to reproduce and file.
* I gave up and did this. I don't get why <svg> doesn't work. WTF?