]> git.lizzy.rs Git - rust.git/commitdiff
rustdoc: remove redundant rule `#settings .setting-line`
authorMichael Howell <michael@notriddle.com>
Wed, 18 Jan 2023 19:39:13 +0000 (12:39 -0700)
committerMichael Howell <michael@notriddle.com>
Wed, 18 Jan 2023 19:39:13 +0000 (12:39 -0700)
Since the current version of settings.js always nests things below
a div with ID `settings`, this rule always overrode the one above.

src/librustdoc/html/static/css/settings.css

index 3fa478751737f23e1e99ee816feb628be731e5cd..7211ffb779568f938dea81edc096b28fd6ea2cff 100644 (file)
@@ -1,5 +1,5 @@
 .setting-line {
-       margin: 0.6em 0 0.6em 0.3em;
+       margin: 1.2em 0.6em;
        position: relative;
 }
 
        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);