Use pygments in html examples

Issue #4
Add more text about boxing