diff options
| author | Michael Howell <michael@notriddle.com> | 2022-09-27 10:52:08 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-09-27 10:52:08 -0700 |
| commit | 3bbb328e68fd38b7d5307d7df05aec1b78cee9d9 (patch) | |
| tree | 9a87aeebac94cbb1c647ce5e67e6c36555acc6eb | |
| parent | 57ee5cf5a93923dae9c98bffb11545fc3a31368d (diff) | |
| download | rust-3bbb328e68fd38b7d5307d7df05aec1b78cee9d9.tar.gz rust-3bbb328e68fd38b7d5307d7df05aec1b78cee9d9.zip | |
rustdoc: remove redundant `#help-button` CSS
When the separate top and bottom styles were added in cd3f4da244578a2ab4d17d10016c61b9191b21e4, some of the CSS rules were needlessly duplicated. The `text-align: initial` rule on `.side-by-side` was always redundant, since the rules that centered the text were set on children, not parents.
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index e7a05b80c12..31cd4dc011f 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1019,8 +1019,6 @@ so that we can apply CSS-filters to change the arrow color in themes */ font-size: 1.125rem; } #help-button span.top { - text-align: center; - display: block; margin: 10px 0; border-bottom: 1px solid var(--border-color); padding-bottom: 4px; @@ -1030,9 +1028,6 @@ so that we can apply CSS-filters to change the arrow color in themes */ clear: both; border-top: 1px solid var(--border-color); } -.side-by-side { - text-align: initial; -} .side-by-side > div { width: 50%; float: left; |