git: d6b771099c - main - improve layout on small mobile devices
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 25 Sep 2023 07:59:55 UTC
The branch main has been updated by wosch: URL: https://cgit.FreeBSD.org/doc/commit/?id=d6b771099c946811fe53d675b33e616564929a63 commit d6b771099c946811fe53d675b33e616564929a63 Author: Wolfram Schneider <wosch@FreeBSD.org> AuthorDate: 2023-09-25 07:57:44 +0000 Commit: Wolfram Schneider <wosch@FreeBSD.org> CommitDate: 2023-09-25 07:57:44 +0000 improve layout on small mobile devices --- website/content/en/cgi/man.cgi | 25 ++++++++++++++----------- 1 file changed, 14 insertions(+), 11 deletions(-) diff --git a/website/content/en/cgi/man.cgi b/website/content/en/cgi/man.cgi index dd12f542dd..354a1368a2 100755 --- a/website/content/en/cgi/man.cgi +++ b/website/content/en/cgi/man.cgi @@ -1134,24 +1134,27 @@ sub html_header { <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type" /> <link rel="search" type="application/opensearchdescription+xml" href="https://www.freebsd.org/opensearch/man.xml" title="FreeBSD Man" /> <link rel="search" type="application/opensearchdescription+xml" href="https://www.freebsd.org/opensearch/man-freebsd-release-ports.xml" title="FreeBSD Man+P" /> + <style type="text/css"> -<!-- -b { color: #996600; } -i { color: #008000; } ---> span.footer_links { font-size: small; } span.space { font-size: xx-small; } form#man > input, form#man > button { font-size: large; } form#man > input[name='query'] { text-align: center; } @media only screen and (max-height: 640px), (max-width: 760px) { -div#header, div#menu { display: none !important; } -div#content { padding-top: 4.9em; } -form#man > input, button { font-size: 200%; } -form#man > button { font-size: 200%; } -form#man > input[name='query'] { width: 12em; } -form#man > select { font-size: 140%; } -span.spaces { display: none; } + /* hide logo color top */ + body { background: #fff !important; } + + /* hide menu top */ + div#header, div#menu { display: none !important; } + // div#content { padding-top: 4.9em; } + span.spaces { display: none; } + + /* larger search form */ + form#man > input, button { font-size: 200%; } + form#man > button { font-size: 200%; } + form#man > input[name='query'] { width: 12em; } + form#man > select { font-size: 140%; } } </style> |;