diff options
Diffstat (limited to 'doc/all.css')
| -rw-r--r-- | doc/all.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/all.css b/doc/all.css index b1d55cf25..dd00d1adb 100644 --- a/doc/all.css +++ b/doc/all.css @@ -96,7 +96,7 @@ h1#title { color: #999; } #search { - width: 100px; + width: 120px; margin-left: 0.5em; } #search.inactive { |