Matthias Krüger
96558580ac
Rollup merge of #131906 - notriddle:notriddle/spacing, r=GuillaumeGomez
rustdoc: adjust spacing and typography in header
Fixes #131589
Preview: https://notriddle.com/rustdoc-html-demo-12/spacing/std/index.html
| Before | After |
|--|--|
|  | 
|  | 
|  | 
|  | 
First of all, we put 4px additional margin below the search box, and 4px margin below the header to balance it out.
The bigger problem we have to solve is making the lines look logically spaced. This is troublesome, because Fira Sans (the typeface we use here) wants to look good on average, and to avoid breaking, with text that uses [ascenders and descenders](https://www.w3.org/TR/css-inline-3/images/text-edge.png). If the text we're putting in happens to not have any, things look weird (strictly speaking, there’s hand-tuning here, because the Copy Path button messes with stuff, but the overall point is that there is no true, one perfect layout).
In order to play nicely with the font, I've tweaked the text to use that space. The word "Source" for the link is now capitalized, and the Since version number now uses oldstyle nums with descenders.
2024-10-24 10:35:39 +02:00
..
2024-07-17 11:06:10 -04:00
2024-07-17 11:01:29 +01:00
2024-07-29 14:34:34 +00:00
2024-09-12 13:47:51 -07:00
2024-06-24 11:08:41 +02:00
2024-09-12 13:47:51 -07:00
2024-09-12 13:47:51 -07:00
2024-09-23 23:49:11 -04:00
2024-06-24 11:08:41 +02:00
2024-10-14 17:51:37 +02:00
2024-06-24 11:08:41 +02:00
2024-09-07 19:02:22 -04:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-10-16 15:53:49 +02:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-08-01 15:48:22 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-07-18 16:51:05 -04:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-10-23 19:15:23 -04:00
2024-10-23 19:15:23 -04:00
2024-10-23 19:15:23 -04:00
2024-10-23 19:15:23 -04:00
2024-10-23 19:15:23 -04:00
2024-10-23 19:15:23 -04:00
2024-10-23 19:15:23 -04:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-12 13:47:51 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-10-23 19:15:23 -04:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-07-12 18:14:37 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-07-12 18:14:37 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-09-24 20:18:36 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-12 13:47:51 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-04 13:49:39 +02:00
2024-06-24 11:08:41 +02:00
2024-06-04 13:49:39 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-12 13:47:51 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-08-22 20:27:57 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-12 13:47:51 -07:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-10-16 15:53:49 +02:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-23 09:21:39 -07:00
2024-09-23 09:21:39 -07:00
2024-06-24 11:08:41 +02:00
2024-09-12 13:47:51 -07:00
2024-10-23 19:15:23 -04:00
2024-06-24 11:08:41 +02:00
2024-09-12 13:47:51 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2023-12-04 12:13:24 +01:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-10-23 19:15:23 -04:00
2024-07-29 08:45:50 -07:00
2024-07-29 08:45:50 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-12 13:47:51 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-07-12 18:14:37 -07:00
2024-07-12 18:14:37 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-10 17:56:05 -07:00
2024-07-12 18:14:37 -07:00
2024-07-12 18:14:37 -07:00
2024-02-22 16:04:04 +00:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-05 12:15:15 +02:00
2024-09-05 12:16:59 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-08-17 12:33:29 -04:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-10-17 12:32:31 -04:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-07-12 18:14:37 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-12 13:47:51 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-03-05 09:02:33 +00:00
2024-07-29 10:31:02 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-10 17:56:06 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-12 13:47:51 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-07-12 18:14:37 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-07-12 18:14:37 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-04-15 15:13:05 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-12 13:47:51 -07:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-07-12 18:14:37 -07:00
2024-06-24 11:08:41 +02:00
2024-07-12 18:14:37 -07:00
2024-06-24 11:08:41 +02:00
2024-07-12 18:14:37 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-07-12 18:14:37 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-08-10 15:03:43 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-07-12 18:14:37 -07:00
2024-07-12 18:14:37 -07:00
2024-08-05 11:04:51 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-08-05 11:04:51 +02:00
2024-08-05 11:04:51 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-10 17:56:06 -07:00
2024-09-10 17:56:06 -07:00
2024-09-10 17:56:06 -07:00
2024-08-24 14:06:57 -07:00
2024-09-10 17:56:06 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-12 13:47:51 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-07-12 18:14:37 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-07-12 18:14:37 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-12 13:47:51 -07:00
2024-09-12 13:47:51 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-04-28 11:17:09 +08:00
2024-06-24 11:08:41 +02:00
2024-06-28 10:57:35 +00:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-02-22 16:04:04 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-10-23 19:15:23 -04:00
2024-10-23 19:15:23 -04:00
2024-10-23 19:15:23 -04:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-30 21:58:18 +00:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-08-20 16:51:37 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-10-23 19:15:23 -04:00
2024-09-23 09:21:39 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-10-23 19:15:23 -04:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-05-21 12:28:34 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-07-23 00:29:39 -03:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-09-10 17:56:05 -07:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00
2023-12-01 11:35:01 +01:00
2023-11-30 10:43:40 -07:00
2023-11-30 10:43:40 -07:00
2023-11-30 10:43:40 -07:00
2024-06-24 11:08:41 +02:00
2023-11-30 10:43:40 -07:00
2023-12-01 11:35:01 +01:00
2023-11-30 10:43:40 -07:00
2024-06-24 11:08:41 +02:00
2023-11-30 10:43:40 -07:00
2023-11-30 10:43:40 -07:00
2023-12-01 11:35:01 +01:00
2023-12-01 11:35:01 +01:00
2024-06-24 11:08:41 +02:00
2024-06-24 11:08:41 +02:00