branch master updated: * js/info.js (add_header): Check for h1.top after h1.settitle for text to put at top of sidebar.

[Gavin D. Smith]

This is an automated email from the git hooks/post-receive script.

gavin pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new b298472721 * js/info.js (add_header): Check for h1.top after 
h1.settitle for text to put at top of sidebar.
b298472721 is described below

commit b298472721220f39d08945cd4913c767459b0144
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Sun Nov 20 16:05:53 2022 +0000

    * js/info.js (add_header): Check for h1.top after h1.settitle
    for text to put at top of sidebar.
---
 ChangeLog  | 5 +++++
 js/info.js | 2 ++
 2 files changed, 7 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 8cb61dd96a..4c6c228b09 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2022-11-20  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       * js/info.js (add_header): Check for h1.top after h1.settitle
+       for text to put at top of sidebar.
+
 2022-11-20  Gavin Smith  <gavinsmith0123@gmail.com>
 
        * js/info.js (init_iframe): Change selector for index entries
diff --git a/js/info.js b/js/info.js
index f5039928b4..a8ca7ef35f 100644
--- a/js/info.js
+++ b/js/info.js
@@ -1356,6 +1356,8 @@
     add_header (elem)
     {
       var h1 = document.querySelector ("h1.settitle");
+      if (!h1)
+        h1 = document.querySelector ("h1.top");
       if (h1)
         {
           var a = document.createElement ("a");