From 6892b05531c85bf3f983c6ad5e91b4b7ec5777e4 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@racket-lang.org>
Date: Sun, 6 Jul 2008 14:58:20 +0000
Subject: [PATCH] better vertical placement of search box

svn: r10631

original commit: 9c4d41fb63d1a9e0abf1e949384ed9bc12ca716a
---
 collects/scribble/html-render.ss | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/collects/scribble/html-render.ss b/collects/scribble/html-render.ss
index de724ca6..eb56dcca 100644
--- a/collects/scribble/html-render.ss
+++ b/collects/scribble/html-render.ss
@@ -196,7 +196,8 @@
     `(input
       ([style ,(sa "width: 16em; margin: 0px; padding: 0px;"
                    " background-color: #eee; color: "dimcolor";"
-                   " border: 1px solid #ddd; text-align: center;")]
+                   " border: 1px solid #ddd;"
+                   " text-align: center; vertical-align: middle;")]
        [type "text"]
        [value ,emptylabel]
        [title "Enter a search string to search the manuals"]
@@ -641,7 +642,7 @@
         `(span ([class "navleft"])
            ,search-box
            ,@(render
-              (and up-path sep-element)
+              sep-element
               (and up-path (make-element top-link top-content))
               ;; sep-element
               ;; (make-element