diff options
| author | Michael Howell <michael@notriddle.com> | 2023-04-11 12:25:36 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2023-04-12 08:39:43 -0700 |
| commit | ad9a89eef2857a24ef049b9eee2d1db5bcbf1d11 (patch) | |
| tree | d36056912893a1e8138fe33fabb6baa66be98a5c /compiler/rustc_interface/src/errors.rs | |
| parent | 45749b21b7fd836f6c4f11dd40376f7c83e2791b (diff) | |
| download | rust-ad9a89eef2857a24ef049b9eee2d1db5bcbf1d11.tar.gz rust-ad9a89eef2857a24ef049b9eee2d1db5bcbf1d11.zip | |
rustdoc: make settings radio and checks thicker, less contrast
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.
Diffstat (limited to 'compiler/rustc_interface/src/errors.rs')
0 files changed, 0 insertions, 0 deletions