From 1ad10960684b108dd5d6e9e0f5cbd8c48d69ce9a Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Mon, 2 Jun 2008 13:49:36 +0000
Subject: [PATCH] use class="smaller" for the query input

svn: r10088
---
 collects/scribble/html-render.ss | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss
index ea15744e0d..4e1ebf84b0 100644
--- 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