From a7dd24e0fd6a53517b8566e3f81fa7a0c2831f93 Mon Sep 17 00:00:00 2001 From: Wolfram Schneider Date: Sun, 27 Aug 2017 17:46:16 +0000 Subject: [PATCH] smaller font size for footer links --- en_US.ISO8859-1/htdocs/cgi/man.cgi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/en_US.ISO8859-1/htdocs/cgi/man.cgi b/en_US.ISO8859-1/htdocs/cgi/man.cgi index 31bf5e5792..8c9a3924b2 100755 --- a/en_US.ISO8859-1/htdocs/cgi/man.cgi +++ b/en_US.ISO8859-1/htdocs/cgi/man.cgi @@ -942,7 +942,7 @@ sub html_footer { my %args = @_; print -qq{home | help \n} +qq{home | help\n} if !$args{'no_home_link'}; if (cgi_style::HAS_FREEBSD_CGI_STYLE) { @@ -967,6 +967,7 @@ sub html_header { b { color: #996600; } i { color: #008000; } --> +span.footer_links { font-size: small; } |; @@ -1783,8 +1784,7 @@ ETX
-home | -help +home | help
ETX 0;