use class="smaller" for the query input

svn: r10088
2008-06-02 13:49:36 +00:00 · 2008-06-02 13:49:36 +00:00 · 1ad1096068
commit 1ad1096068
parent f8fee15578
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