diff options
| author | Michael Howell <michael@notriddle.com> | 2022-09-24 10:51:37 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-09-24 10:54:30 -0700 |
| commit | 55b11cf15cfac6798bf87191c30406486f20d642 (patch) | |
| tree | 725d0058d88c0a4d5380e5f41521b8091153484a | |
| parent | 6580010551063718462f9dfe41c9490d92994d0e (diff) | |
| download | rust-55b11cf15cfac6798bf87191c30406486f20d642.tar.gz rust-55b11cf15cfac6798bf87191c30406486f20d642.zip | |
rustdoc: remove unused CSS `.summary`
It was added in 4d16de01d0beb84dc4a351022ea5cb587b4ab557 as part of a stability dashboard that was removed in 0a46933c4d81573e78ce16cd215ba155a3114fce.
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 4 |
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 4136cb6cab3..645f0454aa2 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1130,10 +1130,6 @@ so that we can apply CSS-filters to change the arrow color in themes */ font-size: 1rem; } -.summary { - padding-right: 0px; -} - pre.rust .question-mark { font-weight: bold; } |