[Thanks for the @sup and @sub feature, btw!]
May I suggest some tweaks for how @quotation and @indentedblock are translated?
Currently, in HTML, @quotation becomes a <blockquote>, while @indentedblock
becomes plain <div class="indentedblock"> - and then we use CSS to indent.
This fails if stylesheets are disabled, or the default CSS style is replaced.
IMO I think it would be more logical to translate @indentedblock to
<blockquote class="indentedblock"> and then change the builtin <style>
to set
blockquote.indentedblock {margin-right: 0em}
This has better fall-back if stylesheets are disabled or changed,
plus it maps the semantics better.
In DocBook, @quotation is reasonably enough translated to <blockquote>,
while @indentedblock just becomes a plain unadorned <para>. Ooops.
I suggest we translate @indentedblock to <blockquote role="indentedblock">.
(The DocBook/XSLT stylesheets seem to just drop the role="indentedblock"
attribute, but that is a separate matter, and the failure mode is more minor.)
--
--Per Bothner
p...@bothner.com http://per.bothner.com/
