diff options
| author | Michael Goulet <michael@errs.io> | 2023-01-18 18:00:31 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-18 18:00:31 -0500 |
| commit | e12c6b277fab3aa401d38b89b0b3ec8fc96c8bde (patch) | |
| tree | eec3d6222645c607d4dd724c06117cc05ef0cbf7 /src/librustdoc/html/static/css | |
| parent | 6595127e66e33b3704a5647420d1827799e9e7be (diff) | |
| parent | 34d595dda16cbcc7a14aea17db8c5328867ed94d (diff) | |
| download | rust-e12c6b277fab3aa401d38b89b0b3ec8fc96c8bde.tar.gz rust-e12c6b277fab3aa401d38b89b0b3ec8fc96c8bde.zip | |
Rollup merge of #107045 - notriddle:notriddle/settings-css-setting-line, r=GuillaumeGomez
rustdoc: remove redundant CSS rule `#settings .setting-line` Since the current version of settings.js always nests things below a div with ID `settings`, this rule always overrode the one above.
Diffstat (limited to 'src/librustdoc/html/static/css')
| -rw-r--r-- | src/librustdoc/html/static/css/settings.css | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/librustdoc/html/static/css/settings.css b/src/librustdoc/html/static/css/settings.css index 3fa47875173..7211ffb7795 100644 --- a/src/librustdoc/html/static/css/settings.css +++ b/src/librustdoc/html/static/css/settings.css @@ -1,5 +1,5 @@ .setting-line { - margin: 0.6em 0 0.6em 0.3em; + margin: 1.2em 0.6em; position: relative; } @@ -55,10 +55,6 @@ cursor: pointer; } -#settings .setting-line { - margin: 1.2em 0.6em; -} - .setting-line .radio-line input:checked { box-shadow: inset 0 0 0 3px var(--main-background-color); background-color: var(--settings-input-color); |