diff options
| author | kennytm <kennytm@gmail.com> | 2017-10-15 14:21:58 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-15 14:21:58 +0800 |
| commit | 1effcb0def5535182e8b44756c22eb416bad2671 (patch) | |
| tree | a19f36e157155474118d3fca6cba4e41e24efddb | |
| parent | f55cb4856b0c5e3517e348102d18d9a23f20c0be (diff) | |
| parent | c729e4dca7581fcd060978bcb0d7f98ea4eb6b82 (diff) | |
| download | rust-1effcb0def5535182e8b44756c22eb416bad2671.tar.gz rust-1effcb0def5535182e8b44756c22eb416bad2671.zip | |
Rollup merge of #45280 - GuillaumeGomez:fix-mobile-search, r=kennytm
Remove terribly useless and problematic margin when searching on mobile Before: <img width="1440" alt="screen shot 2017-10-14 at 15 56 09" src="https://user-images.githubusercontent.com/3050060/31576308-54af4e48-b0f8-11e7-9e2e-375febbb87b2.png"> After: <img width="1440" alt="screen shot 2017-10-14 at 15 55 52" src="https://user-images.githubusercontent.com/3050060/31576304-5216ae74-b0f8-11e7-88a0-f53f293f5499.png"> r? @rust-lang/docs
| -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 { |