search

maranget / hevea

Hevea is a fast latex to html translator
http://hevea.inria.fr
Other
98 stars 12 forks source link

Fix HTML-generation bug introduced in P/R #34 #38

Closed cspiel closed 4 years ago

cspiel commented 4 years ago

A HTML-generation bug has been introduced with #34

Problem: 

    Dest.open_group "code class=\"verb\""

constructs the HTML group

    <code class="verb">
    ...
    </code class="verb">

which is invalid HTML as closing elements never have attributes.

Solution: Use Dest.open_block which allows to pass an attribute.

En passant: Associate \verb with CSS-class verb via \setenvclass.