<pre> followed by empty line

[andreasplesch]

Describe the bug
A pre tag html block is misrendered in the line following an initial empty line.

To Reproduce

1. Marked Demo

2. CommonMark Demo shows the same issue

The commonmark spec. explicitly treats pre tags as not being terminated by an empty line, to allow for proper rendering of white space. Both implementations seem non compliant.

Expected behavior
verbatim copying of text after pre tag as textcontent of a html pre element, until termination.

[UziTech]

It looks like the issue is that the <div> tag doesn't have a blank line after it. demo
The ending </div> is not considered the end of the html block but a blank line is according to the spec.

According to this example the <pre> tag must have a blank line before it to act like a <pre> tag.

[UziTech]

The yellow block is a markdown block and all other colors are HTML blocks.

[andreasplesch]

Let me look up the language in the spec. but I do seem to recall that a closing tag suffices to terminate a div.

No, only an empty line closes, eg. is an end condition.

ok, let me close this.