branch master updated: info.js improvements

[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 fc455c2601 info.js improvements
fc455c2601 is described below

commit fc455c2601472bafc09554c961ff03720b5eb78e
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Sun Nov 20 16:12:44 2022 +0000

    info.js improvements
    
    * js/info.css: No underlining for sidebar links.
    * js/info.js: Remove "Hide sidebar" text as it takes up too much
    space.
---
 ChangeLog   | 8 ++++++++
 js/info.css | 4 ++++
 js/info.js  | 2 +-
 3 files changed, 13 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 4c6c228b09..ffbab631fa 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2022-11-20  Gavin Smith  <gavinsmith0123@gmail.com>
+
+       info.js improvements
+
+       * js/info.css: No underlining for sidebar links.
+       * js/info.js: Remove "Hide sidebar" text as it takes up too much
+       space.
+
 2022-11-20  Gavin Smith  <gavinsmith0123@gmail.com>
 
        * js/info.js (add_header): Check for h1.top after h1.settitle
diff --git a/js/info.css b/js/info.css
index 14537b67ad..72f46a3948 100644
--- a/js/info.css
+++ b/js/info.css
@@ -141,6 +141,10 @@ div.toc ul ul {
     margin-left: 1em;
 }
 
+div.toc-sidebar a {
+    text-decoration: none;
+}
+
 div.toc a[toc-current] {
     font-weight: bold
 }
diff --git a/js/info.js b/js/info.js
index a8ca7ef35f..9faa42fd15 100644
--- a/js/info.js
+++ b/js/info.js
@@ -35,7 +35,7 @@
     SCREEN_MIN_WIDTH: 700,
     LOCAL_HTML_PAGE_PATTERN: "^([^:/]*[.](html|htm|xhtml))?([#].*)?$",
     SHOW_SIDEBAR_HTML: '<span class="hide-icon">&#x21db;</span>',
-    HIDE_SIDEBAR_HTML: '<span class="hide-icon">&#x21da;</span><span 
class="hide-text">Hide sidebar</span>',
+    HIDE_SIDEBAR_HTML: '<span class="hide-icon">&#x21da;</span><span 
class="hide-text"></span>',
     SHOW_SIDEBAR_TOOLTIP: 'Show navigation sidebar',
     HIDE_SIDEBAR_TOOLTIP: 'Hide navigation sidebar',