13.6.5 Preventing adjacent <pre> elements from merging

By default, for HTML output Mif2Go merges successive elements mapped to <pre>, provided they are assigned the same CSS class. To prevent such elements from being merged:

[HTMLOptions]

; MergePre = Yes (default, merge adjacent pre elements, or No

MergePre = No

When MergePre=No, adjacent <pre> elements are not merged, even if they lack a CSS class assignment or have the same CSS class.

---