diff options
| author | Michael Howell <michael@notriddle.com> | 2022-10-17 12:16:40 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-10-17 12:16:40 -0700 |
| commit | 642bb0d54f03af60091e32a94709aeeb4cf82a1b (patch) | |
| tree | 01a5d063c8b6af567bc60f8bf5d18204564a2870 /src/librustdoc/html/static/js/source-script.js | |
| parent | a9d1cafa878ecc04a4aa7aaa7df0414a29a2bd0b (diff) | |
| download | rust-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/librustdoc/html/static/js/source-script.js')
0 files changed, 0 insertions, 0 deletions