rust/src/librustdoc/html/static/css/settings.css, branch masterhttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=master2023-09-13T11:59:43+00:00Merge settings.css into rustdoc.css2023-09-13T11:59:43+00:00Guillaume Gomezguillaume.gomez@huawei.com2023-09-13T09:09:04+00:00urn:sha1:9944f01c66e5c0c321a1c29455efe227e1f35aa4rustdoc: remove unneeded `position: relative` setting CSS2023-05-22T23:46:29+00:00Michael Howellmichael@notriddle.com2023-05-22T23:41:52+00:00urn:sha1:24913bd768e3aa1bab4f0ba8a9310e965c17fae0
This was added to control percentage sizes, in
79956b96e875e6ba2bfa551fabda6b7896f988ac
Now, the only percentage size is [`border-radius`], which is
based on the size of the box itself, not its containing block.
This leaves the property unused.
[`border-radius`]: https://developer.mozilla.org/en-US/docs/Web/CSS/border-radius
rustdoc: merge identical CSS rules2023-05-22T23:40:01+00:00Michael Howellmichael@notriddle.com2023-05-22T23:40:01+00:00urn:sha1:5570fdae88cc93579cf2a03e9e2211051b0ef263rustdoc: remove unused CSS `color: inherit`2023-04-22T00:07:42+00:00Michael Howellmichael@notriddle.com2023-04-22T00:07:42+00:00urn:sha1:1d0f34fd771004ed515cb7120df1898c2ef5322e
This code was added back when `border-color: currentColor` was used.
Since it was changed in ad9a89eef2857a24ef049b9eee2d1db5bcbf1d11, the
current color is not used any more.
rustdoc: make settings radio and checks thicker, less contrast2023-04-12T15:39:43+00:00Michael Howellmichael@notriddle.com2023-04-11T19:25:36+00:00urn:sha1:ad9a89eef2857a24ef049b9eee2d1db5bcbf1d11
This is very dependent on subjectivity and what screen you use,
but this change makes the radio buttons' outer circle less ugly.
This is because I could see the pixels very clearly, thanks to the
very thin line and high contrast. This change makes both less
severe, giving your browser's antialiasing algorithm more to
work with. Since it's thicker, lowering the contrast shouldn't
impact visibility.
rustdoc: remove unused CSS from `.setting-check`2023-01-30T23:36:57+00:00Michael Howellmichael@notriddle.com2023-01-30T23:36:57+00:00urn:sha1:31c14f6c5d0d970af3f7707b795ca3e0a2d528be
These rules were needed for the mobile-style switches, but those
were removed in 0f3ae6218ef1d9e9b14bf983b463785b14abc205
rustdoc: simplify settings popover DOM2023-01-23T22:08:33+00:00Michael Howellmichael@notriddle.com2023-01-23T17:44:01+00:00urn:sha1:5dd87c58aa8f9628eb8da9ad71f9c6488d409853
* Changes the class names so that they all start with `setting-`.
That should make it harder to accidentally use a setting class outside
the settings popover, where loading the CSS might accidentally change
the styles of something unrelated.
* Get rid of an unnecessary wrapper DIV around the radio button line.
* Simplify CSS selectors by making the DOM easier and more intuitive
to target.
rustdoc: use CSS inline layout for radio line instead of flexbox2023-01-20T21:28:16+00:00Michael Howellmichael@notriddle.com2023-01-20T21:28:16+00:00urn:sha1:112d85c1ec8d5294ece4850bec306df4a2ed6dab
This uses less code to lay them out the same way.
rustdoc: remove redundant rule `#settings .setting-line`2023-01-18T19:39:13+00:00Michael Howellmichael@notriddle.com2023-01-18T19:39:13+00:00urn:sha1:9ee4df0e9cbe474a0f357ed00dd479a2dae65e23
Since the current version of settings.js always nests things below
a div with ID `settings`, this rule always overrode the one above.
rustdoc: instead of `.setting-name { width: 100% }`, use default div CSS2023-01-17T18:49:36+00:00Michael Howellmichael@notriddle.com2023-01-17T18:49:36+00:00urn:sha1:54089e6390e4dd179f35438bd46099fb09854427