CSS for Markdown, numbered headings

Well, the CSS should adjust to the HTML, not the other way round. There’s nothing that says a pre must be wrapped in a div (though that’ll perhaps happen in the context of rendered MD).