diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-10-18 21:18:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-18 21:18:47 +0200 |
| commit | 2ae06ca3296ee45808919fabc9107fe184277bba (patch) | |
| tree | 45d2cb14e23b0bb39ec894cd45e3895728b87a55 /compiler/rustc_errors/src/snippet.rs | |
| parent | 18431b66ce68a58d3dde2c7143a6e6bfb08cae60 (diff) | |
| parent | d4e4b08b9b53f3dda7be3cc3bf8881db4180f736 (diff) | |
| download | rust-2ae06ca3296ee45808919fabc9107fe184277bba.tar.gz rust-2ae06ca3296ee45808919fabc9107fe184277bba.zip | |
Rollup merge of #103164 - notriddle:notriddle/media-min-width, r=GuillaumeGomez
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.
<details><summary>Screenshot</summary>
</details>
* The rule for the first example-wrap child should probably apply on mobile.
<details><summary>Screenshots</summary>
## Before
## After
</details>
* 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