diff options
| author | Yuki Okushi <jtitor@2k36.org> | 2022-02-09 14:12:18 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-09 14:12:18 +0900 |
| commit | a5084488f82477b29d504aff9d84299b5f8d528c (patch) | |
| tree | 04a07bfb8799ddc4c89f53ed2966e79a13972765 /src/test/rustdoc-js-std/multi-query.js | |
| parent | ec2fd8a35fcd271458dc5fa462ef74bcb372f6c7 (diff) | |
| parent | dd5ff428edbc7cd4fa600b81f27bbec28589704f (diff) | |
| download | rust-a5084488f82477b29d504aff9d84299b5f8d528c.tar.gz rust-a5084488f82477b29d504aff9d84299b5f8d528c.zip | |
Rollup merge of #93694 - jsha:font-sizes-spacing, r=GuillaumeGomez
rustdoc: tweak line spacing and paragraph spacing for accessibility The [W3C Web Content Accessibility Guidelines](https://www.w3.org/WAI/WCAG21/Understanding/visual-presentation.html) specify a minimum line spacing of 1.5 and a minimum paragraph spacing of 1.5 times the line spacing. Our current line spacing (implemented by line-height) is 1.4, so it's a small bump to go up to 1.5. Similarly, we have a paragraph spacing of 0.6em. Bump that to 0.75em (which is 1.5 times the 0.5em distance between lines). Also, fix all the font sizes so instead of being round-ish numbers in rem (like 1.1rem, 1.2rem), they are round numbers in pixels: 16px, 18px, 20px, 22px, 24px. Ensure each font size is at least 2 pixels different than the nearest other font size, so distinctions can be clearly seen. Overall the font-sizes are mostly staying the same, being rounded up or down as appropriate. This will make reasoning about consistent layout sizes much easier. Remove a few unused styles. Simplify the display of the mobile-topbar location, by setting its margins to auto rather than trying to size it exactly to the topbar. Part of #59845. Demo: https://rustdoc.crud.net/jsha/font-sizes-spacing/std/string/struct.String.html r? `@GuillaumeGomez`
Diffstat (limited to 'src/test/rustdoc-js-std/multi-query.js')
0 files changed, 0 insertions, 0 deletions