git: 69bd797ebc - main - larger search form
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 17 Sep 2023 10:15:13 UTC
The branch main has been updated by wosch:
URL: https://cgit.FreeBSD.org/doc/commit/?id=69bd797ebc7666b98fe30ee5357f5186607c497c
commit 69bd797ebc7666b98fe30ee5357f5186607c497c
Author: Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2023-09-17 10:14:19 +0000
Commit: Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2023-09-17 10:14:19 +0000
larger search form
---
website/content/en/cgi/ports.cgi | 12 +++++++++---
1 file changed, 9 insertions(+), 3 deletions(-)
diff --git a/website/content/en/cgi/ports.cgi b/website/content/en/cgi/ports.cgi
index 73137346fe..379b12550a 100755
--- a/website/content/en/cgi/ports.cgi
+++ b/website/content/en/cgi/ports.cgi
@@ -30,10 +30,16 @@ use POSIX qw(strftime);
use Time::Local;
require "./cgi-style.pl";
-$t_style = qq`<style type="text/css">
+$t_style = qq`
+<style type="text/css">
h3 { font-size: 1.2em; border-bottom: thin solid black; }
span.footer_links { font-size: small; }
+
+form#ports > input[name='query'] { text-align: center; }
+form#ports > input[name='query'] { width: 14em; }
+form#ports > input, form#ports > button, form#ports > select { font-size: large; }
</style>
+
<link rel="search" type="application/opensearchdescription+xml" href="https://www.freebsd.org/opensearch/ports.xml" title="FreeBSD Ports" />
`;
@@ -377,9 +383,9 @@ The FreeBSD Ports and Packages Collection offers a simple way for users and admi
description about the port.
</p>
-<form method="get" action="$script_name">
+<form id="ports" method="get" action="$script_name">
Search for:
-<input name="query" value="$query" type="text" autocapitalize="none" />
+<input name="query" value="$query" type="text" autocapitalize="none" autofocus />
<select name="stype">
};