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{