diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-10-30 00:09:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-30 00:09:27 +0200 |
| commit | 9c5e61c2d257c2d1e7441e9675dbf2694dfbd2a2 (patch) | |
| tree | c00edf4977c51ce2b749489e01882788ad57df5e | |
| parent | 2bff9e2193917f1bd53ab3851555ea53dac1cdfe (diff) | |
| parent | d490ff461cce1d96f6eb9b54891c5c5106c8a098 (diff) | |
| download | rust-9c5e61c2d257c2d1e7441e9675dbf2694dfbd2a2.tar.gz rust-9c5e61c2d257c2d1e7441e9675dbf2694dfbd2a2.zip | |
Rollup merge of #103737 - notriddle:notriddle/margin, r=GuillaumeGomez
rustdoc: use CSS margin/padding shorthand when all are being set
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 7865b5795b6..330bdb45465 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -493,9 +493,7 @@ ul.block, .block li { .sidebar h2 { overflow-wrap: anywhere; padding: 0; - margin: 0; - margin-top: 0.7rem; - margin-bottom: 0.7rem; + margin: 0.7rem 0; } .sidebar h3 { @@ -803,10 +801,8 @@ table, } #crate-search { min-width: 115px; - padding: 0; /* keep these two in sync with "@-moz-document url-prefix()" below */ - padding-left: 4px; - padding-right: 23px; + padding: 0 23px 0 4px; /* prevents the <select> from overflowing the containing div in case it's shrunk */ max-width: 100%; /* contents can overflow because of max-width limit, then show ellipsis */ @@ -1719,7 +1715,6 @@ in storage.js /* Hide the sidebar offscreen while not in use. Doing this instead of display: none means the sidebar stays visible for screen readers, which is useful for navigation. */ left: -1000px; - margin-left: 0; margin: 0; padding: 0; z-index: 11; @@ -1772,9 +1767,7 @@ in storage.js .mobile-topbar .logo-container > img { max-width: 35px; max-height: 35px; - margin-left: 20px; - margin-top: 5px; - margin-bottom: 5px; + margin: 5px 0 5px 20px; } .mobile-topbar { |