dita-ot/dita-ot — pull request #1352 by emth (2012-08-06 13:52:06+00:00)
Title: Taskelements

This change ensures that ``, ``, ``, and `` are wrapped in a `

` element in the HTML output.

I felt that `

` made more sense than `` in this case since `` is conventionally used for inline elements rather than block elements.

I also removed the ` ` element (bb787cdef0cc82538434cdea2a036380fa0a3e07) because I don't think it's needed any more after this change.