diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor index 3a6b65b152..07a507a7eb 100644 --- a/basis/help/html/html.factor +++ b/basis/help/html/html.factor @@ -83,13 +83,10 @@ M: pathname url-of XML] ; diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css index 803af0c8f0..d0b1805fd9 100644 --- a/basis/help/html/stylesheet.css +++ b/basis/help/html/stylesheet.css @@ -18,8 +18,12 @@ body { input { border: 1px solid #999999; - font-size: smaller; border-radius: 3px; + font-size: 1.0em; +} + +input[type=text] { + width: 200px; } img { @@ -62,3 +66,14 @@ tr:hover { width: 16px; height: 16px; } + +@media screen and (max-width: 480px) { + + input { + font-size: smaller; + } + + input[type=text] { + width: 100px; + } +}