diff options
| author | Michael Howell <michael@notriddle.com> | 2024-10-23 19:15:23 -0400 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2024-10-23 19:15:23 -0400 |
| commit | a53655a023cee5dee1873bd3dfc805d7c460fbeb (patch) | |
| tree | ebb93b369e3f5fe9a9a240f5d38106c081bea595 /src/librustdoc/html/static/css | |
| parent | b0c2d2e5b00339014cba0a31f634af8c146458ed (diff) | |
rustdoc: adjust spacing and typography in header
Diffstat (limited to 'src/librustdoc/html/static/css')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index df9776ff5f8..db857745295 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -185,7 +185,7 @@ h1, h2, h3, h4 { grid-template-columns: minmax(105px, 1fr) minmax(0, max-content); grid-template-rows: minmax(25px, min-content) min-content min-content; padding-bottom: 6px; - margin-bottom: 11px; + margin-bottom: 15px; } .rustdoc-breadcrumbs { grid-area: main-heading-breadcrumbs; @@ -1004,6 +1004,7 @@ nav.sub { display: flex; height: 34px; flex-grow: 1; + margin-bottom: 4px; } .src nav.sub { margin: 0 0 -10px 0; @@ -2253,7 +2254,12 @@ in src-script.js and main.js /* We don't display this button on mobile devices. */ #copy-path { - display: none; + /* display: none; avoided as a layout hack. + When there's one line, we get an effective line-height of 34px, + because that's how big the image is, but if the header wraps, + they're packed more tightly than that. */ + width: 0; + visibility: hidden; } /* Text label takes up too much space at this size. */ |