about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorMichael Howell <michael@notriddle.com>2022-10-17 12:16:40 -0700
committerMichael Howell <michael@notriddle.com>2022-10-17 12:16:40 -0700
commit642bb0d54f03af60091e32a94709aeeb4cf82a1b (patch)
tree01a5d063c8b6af567bc60f8bf5d18204564a2870 /src
parenta9d1cafa878ecc04a4aa7aaa7df0414a29a2bd0b (diff)
downloadrust-642bb0d54f03af60091e32a94709aeeb4cf82a1b.tar.gz
rust-642bb0d54f03af60091e32a94709aeeb4cf82a1b.zip
rustdoc: remove redundant CSS `#crate-search { border-radius }`
This is the same border-radius that's always set on that ID:

https://github.com/rust-lang/rust/blob/a9d1cafa878ecc04a4aa7aaa7df0414a29a2bd0b/src/librustdoc/html/static/css/rustdoc.css#L825-L836
Diffstat (limited to 'src')
-rw-r--r--src/librustdoc/html/static/css/rustdoc.css4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css
index 4bfc8ada280..77c928c1010 100644
--- a/src/librustdoc/html/static/css/rustdoc.css
+++ b/src/librustdoc/html/static/css/rustdoc.css
@@ -1994,10 +1994,6 @@ in storage.js plus the media query with (min-width: 701px)
 }
 
 @media (max-width: 464px) {
-	#crate-search {
-		border-radius: 4px;
-	}
-
 	.docblock {
 		margin-left: 12px;
 	}