git: f75fea44fe - main - ports.cgi: make the query input field wider

The branch main has been updated by wosch:

URL: https://cgit.FreeBSD.org/doc/commit/?id=f75fea44feef6b821f06dfbf24af0a8fe95b5d1d

commit f75fea44feef6b821f06dfbf24af0a8fe95b5d1d
Author:     Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2026-10-04 12:25:09 +0000
Commit:     Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2026-10-04 12:25:09 +0000

    ports.cgi: make the query input field wider
---
 website/content/en/cgi/ports.cgi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/website/content/en/cgi/ports.cgi b/website/content/en/cgi/ports.cgi
index c9ebac6a79..e3f064c17d 100755
--- a/website/content/en/cgi/ports.cgi
+++ b/website/content/en/cgi/ports.cgi
@@ -39,13 +39,13 @@ require "./cgi-style-responsive.pl";
 our $t_style = <<'EOF';
 <style type="text/css">
 form#ports > input[name='query'] { text-align: center; }
-form#ports > input[name='query'] { width: 14em; }
+form#ports > input[name='query'] { width: 19em; }
 
 form#ports > input, form#ports > button, form#ports > select { margin-left: 0.2em; }
-form#ports > input, form#ports > button                      { font-size: large; }
+form#ports > input, form#ports > button                      { font-size: large; margin-top: 0.8em; }
 form#ports > button { margin-top: .8em; }
 form#ports > select { margin-top: .8em; font-size: 100%; }
-form#ports { padding-bottom: .7em; margin-top: .5em; }
+form#ports { padding-bottom: .7em; }
 
 span.footer_links { font-size: small; }
 span.space { font-size: xx-small; }