Following changes in #940 (comment)_, there is display issue in HTML with the square of the proof environment.
it happens because of the css rule currently used.
|
div.proof:after { |
|
content: "\25a2"; |
|
float: right; |
|
} |
As using pandoc, everything is inserted between a <p> tag, this rule creates a floating square that is not placed where we want. Modifying the rule to add to the last <p> child should work for the new syntax, but there won't be a square printed in html for the old syntax... Not sure it is bug or loss...