@quotation and @indentedblock in html and DocBook

[Per Bothner]

[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
address@hidden   http://per.bothner.com/