Re: info.js demo on Texinfo manual updated on website

[Per Bothner]

On 11/18/22 14:43, Gavin Smith wrote:
> The "hide sidebar" button at the top of the
> sidebar is also too prominent and leaves too much empty space at the top.

The intention is the that "wasted" space would contain a title or logo.
Like for the DomTerm manual: https://domterm.org/index.html

Currently, this is implemented using a JavaScript "hook" function.  
Specifically,
dt-manual.js contains:

function sidebarLinkAppendContents(a, h1) {
    a.innerHTML = "<div class='logo'><img src='images/domterm1.svg'/><span>DomTerm terminal 
emulator</span></div>"
}

If sidebarLinkAppendContents isn't defined, it should default to the title from 
@settitle.
info.js looks for an <h1> element whose class contains "settitle".

Before, when I converted the DomTerm manual to html the output contained:

<h1 class="settitle">DomTerm - a terminal emulator and console using DOM and 
JavaScript</h1>

This is now gone.

Looks a change in the generated html broke this.
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/