Re: two small [Contents] button blemishes

[Per Bothner]

On 2/14/21 2:50 PM, Gavin Smith wrote:
> On Fri, Feb 12, 2021 at 06:24:35PM -0800, Per Bothner wrote:
> > For HTML output:
> >
> > (1) On the Top node, there is only a single [Contents] button - but it is 
> > preceded
> > by a   - which looks slightly ugly.  It is worse if js-info is enabled,
> > since the [Contents] button is slightly offset of the "JavaScript license 
> > information".
> > It's not obvious where the   is added.
>
> I think there could be a special case for ' ' in
> _default_format_navigation_header_panel not to output anything for
> ' ' if nothing has been output before it.

The problem seems to have disappeared - because now a next or previous link
seems to be always output before the [Contents] link.
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/