diff options
| author | Michael Howell <michael@notriddle.com> | 2022-10-17 13:54:42 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-10-17 19:09:26 -0700 |
| commit | bbac29c0950c780af5a9aea707d4ff30c046be45 (patch) | |
| tree | 40cf235269138787cd4abab7a8af5be204f8efde /compiler/rustc_errors/src/snippet.rs | |
| parent | 194140bef501ad3acb00d57c20fb80ee34aa1d3b (diff) | |
| download | rust-bbac29c0950c780af5a9aea707d4ff30c046be45.tar.gz rust-bbac29c0950c780af5a9aea707d4ff30c046be45.zip | |
rustdoc: remove CSS `@media (min-width: 701px)`
The two rules within it can and should be done without the separate
media query:
* There ain't no rule saying a viewport can't be `700.5px` wide, since
hardware pixels can be finer than CSS pixels.
* The rule for the first example-wrap child should probably apply
on mobile.
* The rule for the source sidebar is overriden by the mobile rule
setting `max-width: 100vw`, so it can be merged with the rest
of the styles.
Diffstat (limited to 'compiler/rustc_errors/src/snippet.rs')
0 files changed, 0 insertions, 0 deletions