https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.67.0 2022-11-20T01:21:46+00:00 2022-11-20T01:21:46+00:00 Michael Howell michael@notriddle.com 2022-11-20T01:21:46+00:00 urn:sha1:a3ae6fec8970a09f2983bbc8db90719f11d438ca 2022-11-05T21:26:13+00:00 Michael Howell michael@notriddle.com 2022-11-05T17:14:31+00:00 urn:sha1:21894801c66709f6b16d16a8598f9c99fd4c998c 2022-10-08T21:32:05+00:00 Matthias Krüger matthias.krueger@famsik.de 2022-10-08T21:32:05+00:00 urn:sha1:92628633ee821eba88b243dea46c0019c407c24a rustdoc: remove mobile topbar from source pages instead of hiding it 2022-10-08T17:48:19+00:00 Michael Howell michael@notriddle.com 2022-10-08T17:43:23+00:00 urn:sha1:d2e14e2d114bd3f7b56afdb4f6171577b13272c5 2022-10-07T18:17:22+00:00 Guillaume Gomez guillaume.gomez@huawei.com 2022-10-07T18:17:05+00:00 urn:sha1:8d19d53c60bcebf81030058b0b61f9a286a9c2d6 2022-07-17T15:04:43+00:00 Guillaume Gomez guillaume.gomez@huawei.com 2022-07-17T12:12:03+00:00 urn:sha1:98bceb0d24a74ed9ff328b4879ada01fb0ba7581 2022-06-29T13:15:53+00:00 Guillaume Gomez guillaume.gomez@huawei.com 2022-06-29T13:15:53+00:00 urn:sha1:ea97bdc908ce4651cf9167c52817f46a3b4e200e 2022-06-20T22:08:02+00:00 Jacob Hoffman-Andrews github@hoffman-andrews.com 2022-06-20T19:41:11+00:00 urn:sha1:b37a05bd01a4f1fdcdfda77df4a9008d04236528 The source sidebar has a setting to remember whether it should be open or closed. Previously, this setting was handled in source-script.js, which is loaded with `defer`, meaning it is often run after the document is rendered. Since CSS renders the source sidebar as closed by default, changing this after the initial render results in a relayout. Instead, handle the setting in storage.js, which is the first script to load and is the only script that blocks render. This avoids a relayout and means navigating between files with the sidebar open is faster. 2022-03-25T20:32:16+00:00 Guillaume Gomez guillaume.gomez@huawei.com 2022-03-21T14:50:05+00:00 urn:sha1:e0a697aad445983707a4b61809c1727325635568 2022-02-08T11:09:10+00:00 Jacob Hoffman-Andrews github@hoffman-andrews.com 2022-02-05T13:05:05+00:00 urn:sha1:dd5ff428edbc7cd4fa600b81f27bbec28589704f The W3C Web Content Accessibility Guidelines 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. 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. 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.