diff options
| author | Michael Howell <michael@notriddle.com> | 2022-10-17 14:20:04 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-10-17 19:26:15 -0700 |
| commit | d4e4b08b9b53f3dda7be3cc3bf8881db4180f736 (patch) | |
| tree | 78fc8d021ad8b0644aa59da4ef0e588d8f875965 /compiler/rustc_errors/src/snippet.rs | |
| parent | bbac29c0950c780af5a9aea707d4ff30c046be45 (diff) | |
| download | rust-d4e4b08b9b53f3dda7be3cc3bf8881db4180f736.tar.gz rust-d4e4b08b9b53f3dda7be3cc3bf8881db4180f736.zip | |
rustdoc: change mobile breakpoint to match CSS
Since it's possible to have a 700.5px viewport width, the JS needs to not switch to mobile mode in such a setup.
Diffstat (limited to 'compiler/rustc_errors/src/snippet.rs')
0 files changed, 0 insertions, 0 deletions