Better HTML output- markup PHP better

Migrated issue

Reported by: drumm

Code blocks should be marked up with <pre><code> instead of <div>.