about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMichael Howell <michael@notriddle.com>2023-01-18 12:39:13 -0700
committerMichael Howell <michael@notriddle.com>2023-01-18 12:39:13 -0700
commit9ee4df0e9cbe474a0f357ed00dd479a2dae65e23 (patch)
treefc941b531c269d5b0fee5e05ecf696744f9cbaaf
parent1f72129ffe5e8c495113f9a2d4e1730f7fad3209 (diff)
downloadrust-9ee4df0e9cbe474a0f357ed00dd479a2dae65e23.tar.gz
rust-9ee4df0e9cbe474a0f357ed00dd479a2dae65e23.zip
rustdoc: remove redundant 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.
-rw-r--r--src/librustdoc/html/static/css/settings.css6
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);