https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.59.0 2022-01-08T04:21:01+00:00 2022-01-08T04:21:01+00:00 Eric Huss eric@huss.org 2022-01-08T04:21:01+00:00 urn:sha1:759b13eb6cb5288d6a81955a19158132c8ab461d Create CSS class instead of using inline style for search results I saw this change in the update you proposed in https://github.com/rust-lang/rust/pull/92404. :) r? ``@jsha`` 2022-01-06T14:12:01+00:00 Guillaume Gomez guillaume.gomez@huawei.com 2022-01-06T12:08:57+00:00 urn:sha1:26edfc9e318d24ab3f4c3bf9927af0edd5355a19 2022-01-06T11:01:04+00:00 Matthias Krüger matthias.krueger@famsik.de 2022-01-06T11:01:04+00:00 urn:sha1:b510278278304ab961c4bad2ed7119f5d70d0d51 Fix font size for [src] links in headers Fixes #90384. cc `@jsha` r? `@camelid` 2022-01-06T11:00:59+00:00 Matthias Krüger matthias.krueger@famsik.de 2022-01-06T11:00:59+00:00 urn:sha1:50d5e38800ea9458a93e6c95add9c4b8a6b77603 Make Run button visible on hover This slightly reduces the noisiness of doc pages, making them easier to read. Demo: https://rustdoc.crud.net/jsha/run-on-hover/std/string/struct.String.html [Discussed on Zulip](https://rust-lang.zulipchat.com/#narrow/stream/266220-rustdoc/topic/.22Run.22.20button.20visible.20on.20hover). Part of #59845 2022-01-05T16:35:04+00:00 Guillaume Gomez guillaume.gomez@huawei.com 2021-12-29T13:55:49+00:00 urn:sha1:270d09dca9aae263671c4d32bbc7cb60dc378af8 2022-01-05T15:07:22+00:00 Jacob Hoffman-Andrews github@hoffman-andrews.com 2021-12-18T06:38:18+00:00 urn:sha1:6409f0d5584800f88c12b0e56f56f09626f5b3f0 This slightly reduces the noisiness of doc pages, making them easier to read. 2022-01-02T16:23:26+00:00 Jacob Hoffman-Andrews github@hoffman-andrews.com 2021-12-30T21:42:06+00:00 urn:sha1:cc18120425a5c571a968d850c75cc935a8321136 According to MDN (https://developer.mozilla.org/en-US/docs/Web/CSS/font-size), > To maximize accessibility, it is generally best to use values that > are relative to the user's default font size. > Defining font sizes in px is not accessible, because the user cannot > change the font size in some browsers. Note that changing font size (in browser or OS settings) is distinct from the zoom functionality triggered with Ctrl/Cmd-+. Zoom functionality increases the size of everything on the page, effectively applying a multiplier to all pixel sizes. Font size changes apply to just text. For relative font sizes, we could use `em`, as we do in several places already. However that has a problem of "compounding" (see MDN article for details). The compounding problem is nicely solved by `rem`, which make font sizes relative to the root element, not the parent element. Since we were using a hodge-podge of pixel sizes, em, rem, and percentage sizes before, this change switching everything to rem, while keeping the same size relative to our old default of 16px. 16px is still the default on most browsers, for users that haven't set a larger or smaller font size. 2021-12-30T15:21:50+00:00 Guillaume Gomez guillaume.gomez@huawei.com 2021-12-29T17:54:33+00:00 urn:sha1:7c78ea5b53a8a37d3d56a79c1aeca75beab80140 2021-12-15T07:36:24+00:00 Matthias Krüger matthias.krueger@famsik.de 2021-12-15T07:36:24+00:00 urn:sha1:6132a2b55aad0eba4e2a8458f3c7905c92be8ccf Fix source code page sidebar on mobile Current broken behaviour: https://user-images.githubusercontent.com/3050060/145984316-35c82353-5bab-4dc6-9ac6-63ea7e5c27d8.mp4 Fixed: https://user-images.githubusercontent.com/3050060/145984329-8be1127b-d707-424d-ac3c-c1fb3c48a093.mp4 r? `@jsha` 2021-12-14T10:50:41+00:00 Guillaume Gomez guillaume.gomez@huawei.com 2021-12-14T10:48:30+00:00 urn:sha1:65ed5f369c7113b324c0ed42248474e37d7622ec