diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-06-20 16:28:52 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2022-06-23 00:22:25 +0200 |
| commit | cc4f804829ae56753acd2ef9c0f4bb741f5b3bae (patch) | |
| tree | 4ff68c92ef2a7e3e9121676a8b6e734badf7a600 /src/librustdoc/html/static/css/settings.css | |
| parent | 10f4ce324baf7cfb7ce2b2096662b82b79204944 (diff) | |
| download | rust-cc4f804829ae56753acd2ef9c0f4bb741f5b3bae.tar.gz rust-cc4f804829ae56753acd2ef9c0f4bb741f5b3bae.zip | |
Move help popup into a pocket menu as well
Diffstat (limited to 'src/librustdoc/html/static/css/settings.css')
| -rw-r--r-- | src/librustdoc/html/static/css/settings.css | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/librustdoc/html/static/css/settings.css b/src/librustdoc/html/static/css/settings.css index 1cd8e39e036..e531e6ce6bb 100644 --- a/src/librustdoc/html/static/css/settings.css +++ b/src/librustdoc/html/static/css/settings.css @@ -86,27 +86,6 @@ input:checked + .slider:before { display: block; } -div#settings { - position: absolute; - right: 0; - z-index: 1; - display: block; - margin-top: 7px; - border-radius: 3px; - border: 1px solid; -} #settings .setting-line { margin: 1.2em 0.6em; } -/* This rule is to draw the little arrow connecting the settings menu to the gear icon. */ -div#settings::before { - content: ''; - position: absolute; - right: 11px; - border: solid; - border-width: 1px 1px 0 0; - display: inline-block; - padding: 4px; - transform: rotate(-45deg); - top: -5px; -} |
