js-info siderbar-header patch

[Per Bothner]

I've been fiddling with styling for the DomTerm manual using texinfo-js.
One thing that seems to be needed is a way to  customize the top-left header
of the sidebar.  The cleanest way may be adding a customization "hook" to
info.js allows you to insert arbitrary children of the <a> element.
See attachment.

For example this puts text and logo there:

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

The result (which needs some work) can be viewed here:
https://per.bothner.com/tmp/DomTerm-txjs

You may notice this is rather more polished than the earlier version,
as I've made various other styling tweaks.  (So far nothing else that
requires changes to the texinfo source.)
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/

sidebar-header.patch
Description: Text Data