diff --git a/basis/help/html/html.factor b/basis/help/html/html.factor index 07a507a7eb..433c467eba 100644 --- a/basis/help/html/html.factor +++ b/basis/help/html/html.factor @@ -86,6 +86,7 @@ M: pathname url-of
XML] ; diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css index d0b1805fd9..0bc89019b0 100644 --- a/basis/help/html/stylesheet.css +++ b/basis/help/html/stylesheet.css @@ -54,6 +54,12 @@ tr:hover { margin-right: 10px; } +.navbar form a { + margin-left: 10px; + font-size: 1.0em; + font-weight: bold; +} + #container { max-width: 800px; } @@ -77,3 +83,10 @@ tr:hover { width: 100px; } } + +@media screen and (max-width: 600px) { + + .navbar form a { + display: none; + } +}