[no subject]

[Gavin D. Smith]

branch: release/7.0
commit 438900a0fd257d68cbf8f4c1e8f88a97104bb951
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 10e981dc7c..6d08cb65a9 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-27  Patrice Dumas  <pertusus@free.fr>
 
        * tp/Texinfo/Convert/TexinfoMarkup.pm (_convert): correctly use
diff --git a/js/info.css b/js/info.css
index 14537b67ad..28f7911ccf 100644
--- a/js/info.css
+++ b/js/info.css
@@ -226,6 +226,10 @@ table#keyboard-shortcuts th {
     right: 0;
 }
 
+.text-input input {
+    width: 25em;
+}
+
 .error {
     background-color: orange;
     padding: 5px;