about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMichael Howell <michael@notriddle.com>2022-09-11 18:15:09 -0700
committerMichael Howell <michael@notriddle.com>2022-09-11 18:32:19 -0700
commitbff8078fb41f34f65dbde7d25ed465ff1c3c4b2b (patch)
tree83c095d485ee007aeb3edd3bf8c181cd0901aa68
parent98e1f041b6e33598a18edb928ec9db93a850c6cb (diff)
downloadrust-bff8078fb41f34f65dbde7d25ed465ff1c3c4b2b.tar.gz
rust-bff8078fb41f34f65dbde7d25ed465ff1c3c4b2b.zip
rustdoc: remove no-op `#search { margin-left: 0 }`
This rule was added in c729e4dca7581fcd060978bcb0d7f98ea4eb6b82 to remove an
unnecessary left margin that was present on desktop. This desktop-mode margin
was itself removed in 135281ed1525db15edd8ebd092aa10aa40df2386.
-rw-r--r--src/librustdoc/html/static/css/rustdoc.css1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css
index 31fced21ce8..cefed3f42ec 100644
--- a/src/librustdoc/html/static/css/rustdoc.css
+++ b/src/librustdoc/html/static/css/rustdoc.css
@@ -1892,7 +1892,6 @@ in storage.js plus the media query with (min-width: 701px)
 	}
 
 	#search {
-		margin-left: 0;
 		padding: 0;
 	}