branch master updated: * js/info.css (.tex-input): Make input element a bit wider.

[Per Bothner]

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

bothner pushed a commit to branch master
in repository texinfo.

The following commit(s) were added to refs/heads/master by this push:
     new c4925637d6 * js/info.css (.tex-input): Make input element a bit wider.
c4925637d6 is described below

commit c4925637d6bdc6aa97c8570873affd1d56c1b537
Author: Per Bothner <per@bothner.com>
AuthorDate: Tue Nov 29 14:32:55 2022 -0800

    * js/info.css (.tex-input): Make input element a bit wider.
    
    This works better for longer index or menu names.
---
 ChangeLog   | 5 +++++
 js/info.css | 4 ++++
 2 files changed, 9 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 3a6f9dcbbc..66547938a6 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2022-11-29  Per Bothner  <per@bothner.com>
+
+       * js/info.css (.tex-input): Make input element a bit wider.
+       This works better for longer index or menu names.
+
 2022-11-29  Patrice Dumas  <pertusus@free.fr>
 
        * util/txixml2texi.pl: avoid double comment for line specific command.
diff --git a/js/info.css b/js/info.css
index 72f46a3948..ac0e596484 100644
--- a/js/info.css
+++ b/js/info.css
@@ -230,6 +230,10 @@ table#keyboard-shortcuts th {
     right: 0;
 }
 
+.text-input input {
+    width: 25em;
+}
+
 .error {
     background-color: orange;
     padding: 5px;