branch release/7.0 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 release/7.0
in repository texinfo.

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

commit e1bb601c477bef11dbdd79347e41441c439457a9
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 c8956a3ef0..775c5ab416 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");