From 642bb0d54f03af60091e32a94709aeeb4cf82a1b Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Mon, 17 Oct 2022 12:16:40 -0700 Subject: [PATCH] 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 --- src/librustdoc/html/static/css/rustdoc.css | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 4bfc8ada28084..77c928c10102d 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; }