Fixes #73: Code formatting in h2 is too small.