Re: two small [Contents] button blemishes

[Gavin Smith]

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 believe it comes from the 'SECTION_BUTTONS' array in %defaults along with the
assignment for ' ' in _translate_names.

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.  This would be instead of
calling &{$self->{'format_button'}}.