Enabled pygments.
Configured code highlighting style.
Major markup refactoring.

The code was changed in order to avoid code duplication. The content of
a few pages were also changed, and support for Google analytics tracking
was added as well.