Decide whether to use_pager as early as possible,

[mandoc.git] / man-cgi.css

diff --git a/man-cgi.css b/man-cgi.css
index 923d7f21cf935dc5ee4076c8ed27eb19f8eba892..256e8c6693ef5161d1c3065d2ec88729b0f5ded3 100644 (file)
--- a/man-cgi.css
+++ b/man-cgi.css
@@ -1,14 +1,13 @@
 body                           { font-family: Helvetica, Arial, sans-serif; }
-body > div                     { padding-left: 2em; 
+body > div                     { padding-left: 2em;
                                  padding-top: 1em; }
-body > div#mancgi              { padding-left: 0em; 
+body > div#mancgi              { padding-left: 0em;
                                  padding-top: 0em; }
 body > div.results             { font-size: smaller; }
-#mancgi fieldset               { text-align: center; 
+#mancgi fieldset               { text-align: center;
                                  border: thin solid silver;
                                  border-radius: 1em;
                                  font-size: small; }
 #mancgi input[name=expr]       { width: 25%; }
-#mancgi td.title               { padding-right: 1em; 
-                                 text-align: right; }
-
+.results td.title              { vertical-align: top;
+                                 padding-right: 1em; }