git: f9f8125180 - main - cgi: minor CSS tweaks

The branch main has been updated by wosch:

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

commit f9f8125180e0908e1a9424bb3c87d567bdd72ac5
Author:     Wolfram Schneider <wosch@FreeBSD.org>
AuthorDate: 2026-09-30 13:58:56 +0000
Commit:     Wolfram Schneider <wosch@FreeBSD.org>
CommitDate: 2026-09-30 13:59:14 +0000

    cgi: minor CSS tweaks
---
 website/content/en/cgi/man.cgi   | 6 +++---
 website/content/en/cgi/ports.cgi | 4 +---
 2 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/website/content/en/cgi/man.cgi b/website/content/en/cgi/man.cgi
index f2354560d9..e92d379e5b 100755
--- a/website/content/en/cgi/man.cgi
+++ b/website/content/en/cgi/man.cgi
@@ -1515,7 +1515,7 @@ sub html_header {
 span.footer_links { font-size: .9em; margin-left: .5em; }
 
 div#section_links, div#permalink, div#footer { margin-left: 1em; }
-hr { margin-left: 0em; max-width: 50em; margin-top: 0px; }
+hr { margin-left: 0em; max-width: 50em; margin-top: .4em; }
 
 a:link  { text-decoration:none; }
 a:hover { text-decoration:underline; }
@@ -1526,7 +1526,8 @@ form#man > input, form#man > button, form#man > select { margin-left: 0.2em; }
 form#man > input, form#man > button                    { font-size: large; }
 form#man > button { margin-top: .8em; }
 form#man > select { margin-top: .8em; font-size: 100%; }
-form#man { padding-bottom: .7em; margin-top: .2em; }
+form#man { padding-bottom: 0.9em; margin-top: .2em; }
+form#man + span.footer_links { margin-left: .2em; }
 
 div#content { padding-top: 0.4em; }
 
@@ -1574,7 +1575,6 @@ div#content { padding-top: 0.4em; }
   .logo-menu-bars-container { padding: 0px; }
 
   footer { margin-top: -1.2em; }
-  hr { margin-top: 0px; margin-bottom: 0px; }
   h3 { padding-top: .2em; }
 } 
 
diff --git a/website/content/en/cgi/ports.cgi b/website/content/en/cgi/ports.cgi
index 59f070eea8..85aff402ce 100755
--- a/website/content/en/cgi/ports.cgi
+++ b/website/content/en/cgi/ports.cgi
@@ -51,7 +51,7 @@ span.footer_links { font-size: small; }
 span.space { font-size: xx-small; }
 
 p#section_links, div#footer { max-width: 50em; }
-hr { margin-left: 0em; max-width: 50em; }
+hr { margin-left: 0em; margin-top: .4em; max-width: 50em; }
 a:link  { text-decoration:none; }
 a:hover { text-decoration:underline; }
 table, th, td { border: 1px solid black; border-collapse: collapse; }
@@ -60,8 +60,6 @@ th, td { padding-left: 0.5em; padding-right: 0.5em; }
 h3 { border-bottom: thin solid black; max-width: 42em; padding-top: .2em; }
 div#content { padding-top: 0.4em; }
 
-hr { margin-top: 0px; }
-
 .dependencies { margin-top: 0.5em; }
 
 @media screen and (orientation: portrait) and (max-width: 950px) {