use class="smaller" for the query input

svn: r10088 original commit: 1ad10960684b108dd5d6e9e0f5cbd8c48d69ce9a
2008-06-02 13:49:36 +00:00 · 2008-06-02 13:49:36 +00:00 · 50b9098f9c
commit 50b9098f9c
parent 98d99e6e2d
1 changed files with 4 additions and 2 deletions
--- a/collects/scribble/html-render.ss
+++ b/collects/scribble/html-render.ss
@ -608,9 +608,11 @@
                    #; ; no need for these index-local searches
                    ,@(if (eq? d index)
                        null
-                        `((small nbsp ,(search-index-box)))))
+                        `((span ([class "smaller"]) nbsp ,(search-index-box)))))
                  null)
-              ,@(if up-path `(nbsp (small ,(search-index-box))) null))
+              ,@(if up-path
+                  `(nbsp (span ([class "smaller"]) ,(search-index-box)))
+                  null))
            (div ([class "navright"])
              ,@(render
                 (make-element