openharmony/third_party_rust_rust
1
0
Fork 0
mirror of https://github.com/openharmony/third_party_rust_rust.git synced 2026-07-21 07:05:33 -04:00
Code Issues Packages Projects Releases Wiki Activity

rustdoc: remove redundant CSS #crate-search { border-radius }

Browse Source 
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
This commit is contained in:
Michael Howell
2022-10-17 12:16:40 -07:00
parent a9d1cafa87
commit 642bb0d54f
1 changed files with 0 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/librustdoc/html/static/css/rustdoc.css
-4
View File
@@ -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;
}