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