Search box has same font size as the rest of the navset, and is wider.

svn: r10629

original commit: 9629528865f680dd5a1c22d5f88d026d8066332e
This commit is contained in:
Eli Barzilay 2008-07-06 05:10:52 +00:00
parent 2a4c8209b2
commit 1f02db2dc4

View File

@ -194,7 +194,7 @@
[emptylabel "...search manuals..."]
[dimcolor "#888"])
`(input
([style ,(sa "font-size: 60%; margin: 0px; padding: 0px;"
([style ,(sa "width: 16em; margin: 0px; padding: 0px;"
" background-color: #eee; color: "dimcolor";"
" border: 1px solid #ddd; text-align: center;")]
[type "text"]