diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-10-15 17:28:42 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-10-15 17:32:42 +0200 |
| commit | fce04fedd6b5ea77f9ac0d4373aa589abe3306e6 (patch) | |
| tree | ffc671f6661697f618f51b9224749f06004b0957 | |
| parent | 0e022fc2b8eecbc16c090a99efbbd262c37ec962 (diff) | |
| download | rust-fce04fedd6b5ea77f9ac0d4373aa589abe3306e6.tar.gz rust-fce04fedd6b5ea77f9ac0d4373aa589abe3306e6.zip | |
Hide help button on mobile devices
| -rw-r--r-- | src/librustdoc/html/static/rustdoc.css | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css index 391526f0a30..3db38d60fa1 100644 --- a/src/librustdoc/html/static/rustdoc.css +++ b/src/librustdoc/html/static/rustdoc.css @@ -1544,6 +1544,14 @@ h4 > .notable-traits { left: 0; top: 100%; } + + /* We don't display the help button on mobile devices. */ + .help-button { + display: none; + } + .search-container > div { + width: calc(100% - 32px); + } } @media print { |