Remove extra padding in <pre><code> HTML tags (fixes #32)