Smaller code font

In this release, the monospaced font used for code snippets (C++/Haskell) was made smaller.

Also lots of small tweaks for math, typos and code.