padding: 0em !important;
}
+/* 'man on WWW' form */
+ table.searchbox {
+ max-width:100%;
+ margin: 1em 2%;
+ }
+
+ table.searchbox th {
+ text-align: left;
+ vertical-align: top;
+ word-break: keep-all;
+ font-weight: bold;
+ font-family: sans-serif;
+ }
+
+ input[name="Pagename"] { width:30em; }
+ @media (max-width:30em) {
+ input[name="Pagename"] { width:100%; }
+ }
+
/* Local configs for browsing locally downloaded files */
@import url(local.css)