On 2/19/17 12:34, Fabien COELHO wrote:
> I wrote a few lines of perl to move replaceable out of option and did some
> manual editing is special cases, the resulting simple 359 changes is
> attached.
If the stylesheet produces unpleasant output, then the stylesheet should
be changed.
The current markup looks fine (to me) with the minimal default/non-web
stylesheet, so the issue is somewhere else.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services