diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-02-08 23:47:49 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-02-08 23:47:49 +0100 |
| commit | e9bcb4eb89048a5f95c2355007e3b22a4ab38093 (patch) | |
| tree | 133991956ee9dd2b0e33d5aadc4399560627fb70 /src/librustdoc/html/static/rustdoc.css | |
| parent | 932c736479f43dc8893a924946e4335d8e308c2e (diff) | |
| download | rust-e9bcb4eb89048a5f95c2355007e3b22a4ab38093.tar.gz rust-e9bcb4eb89048a5f95c2355007e3b22a4ab38093.zip | |
Hide theme button under menu in mobile mode and fix top margin issue (in mobile too)
Diffstat (limited to 'src/librustdoc/html/static/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 53d57b67230..cd4f2cfa678 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -899,7 +899,7 @@ span.since { } #main { - margin-top: 50px; + margin-top: 45px; padding: 0; } |