diff options
| author | bors <bors@rust-lang.org> | 2022-05-25 23:02:37 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-05-25 23:02:37 +0000 |
| commit | 464ec64df70e1f6ee64ec2f2b62eae8ff405bef4 (patch) | |
| tree | f2ae70252d660c42f8e42ae0887e84f984682075 /src/librustdoc/html/static/css/rustdoc.css | |
| parent | 4cbaac699c14b7ac7cc80e54823b2ef6afeb64af (diff) | |
| parent | f74e61ec055a71304cbc03ae117a7b069482cb48 (diff) | |
| download | rust-464ec64df70e1f6ee64ec2f2b62eae8ff405bef4.tar.gz rust-464ec64df70e1f6ee64ec2f2b62eae8ff405bef4.zip | |
Auto merge of #97409 - GuillaumeGomez:rollup-808v9ge, r=GuillaumeGomez
Rollup of 4 pull requests Successful merges: - #97317 (Allow to click on setting text) - #97375 (Simplify implementation of `-Z gcc-ld`) - #97394 (Add more eslint rules) - #97407 (Update books) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
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; |
