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 p...@bothner.com http://per.bothner.com/
