diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2017-10-14 15:52:50 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2017-10-14 15:55:33 +0200 |
| commit | c729e4dca7581fcd060978bcb0d7f98ea4eb6b82 (patch) | |
| tree | a545abe42f2434d9bee914239491e72353d71948 /src | |
| parent | af7de7b6774b061b7809ce9aa6db31ea29df33c8 (diff) | |
| download | rust-c729e4dca7581fcd060978bcb0d7f98ea4eb6b82.tar.gz rust-c729e4dca7581fcd060978bcb0d7f98ea4eb6b82.zip | |
Remove terribly useless and problematic margin when searching on mobile
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 9e2798f1cf7..a132223a051 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -831,6 +831,10 @@ span.since { .toggle-wrapper { height: 1.5em; } + + #search { + margin-left: 0; + } } @media print { |