diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2022-05-26 00:32:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-26 00:32:09 +0200 |
| commit | 02b630f566fae3d049d1d4e70e1974c7741bf2f4 (patch) | |
| tree | b5f46af257b5bc0dc8a56f8c1d519a18cd8579e0 /src/librustdoc/html/static/css/rustdoc.css | |
| parent | 1b5e1215efa47cf4d78a945c7be1c04cda4f57d4 (diff) | |
| parent | f4f14f66711756e67bbc252b9e14546c771fe508 (diff) | |
| download | rust-02b630f566fae3d049d1d4e70e1974c7741bf2f4.tar.gz rust-02b630f566fae3d049d1d4e70e1974c7741bf2f4.zip | |
Rollup merge of #97317 - GuillaumeGomez:gui-settings-text-click, r=jsha
Allow to click on setting text You can test it [here](https://rustdoc.crud.net/imperio/gui-settings-text-click/doc/foo/index.html). This PR allows to click on the text alongside the toggle to change it. r? `@jsha`
Diffstat (limited to 'src/librustdoc/html/static/css/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 4eb8029ee2d..d0229bdb5f2 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1415,30 +1415,6 @@ pre.rust { #settings-menu.rotate > a img { animation: rotating 2s linear infinite; } -#settings-menu #settings { - position: absolute; - right: 0; - z-index: 1; - display: block; - margin-top: 7px; - border-radius: 3px; - border: 1px solid; -} -#settings-menu #settings .setting-line { - margin: 0.6em; -} -/* This rule is to draw the little arrow connecting the settings menu to the gear icon. */ -#settings-menu #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; -} #help-button { font-family: "Fira Sans", Arial, sans-serif; |