[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
From: |
Gavin D. Smith |
Date: |
Wed, 30 Nov 2022 07:10:38 -0500 (EST) |
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;