From faf8e9e4c772a6ea4fd8450d3cf2ae1acf9270a5 Mon Sep 17 00:00:00 2001 From: Wolfram Schneider Date: Tue, 29 Aug 2017 07:34:32 +0000 Subject: [PATCH] improve responsive design for select elements --- en_US.ISO8859-1/htdocs/cgi/man.cgi | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/en_US.ISO8859-1/htdocs/cgi/man.cgi b/en_US.ISO8859-1/htdocs/cgi/man.cgi index 19aac5969c..4e9ebafde2 100755 --- a/en_US.ISO8859-1/htdocs/cgi/man.cgi +++ b/en_US.ISO8859-1/htdocs/cgi/man.cgi @@ -978,6 +978,8 @@ 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; } } |; @@ -1735,13 +1737,13 @@ sub formquery { print < -   +  
 
-   +   ETX print qq{