diff options
| author | Jacob Hoffman-Andrews <github@hoffman-andrews.com> | 2021-03-02 18:27:34 -0800 |
|---|---|---|
| committer | Jacob Hoffman-Andrews <github@hoffman-andrews.com> | 2021-03-02 18:27:34 -0800 |
| commit | f9cfe1583b18052bc5f42d92e8973e18ba404b19 (patch) | |
| tree | 6fbc64d02fb7342a277e300fe9fcc20f3faabde0 /compiler/rustc_mir/src/transform/coverage/graph.rs | |
| parent | d3e7ffa7f548801d4a5784d314aabdafe9186af7 (diff) | |
| download | rust-f9cfe1583b18052bc5f42d92e8973e18ba404b19.tar.gz rust-f9cfe1583b18052bc5f42d92e8973e18ba404b19.zip | |
Use Arial as fallback font instead of sans-serif.
On most platforms and browsers, `sans-serif` is equivalent to Arial. However, on Firefox on Ubuntu (and possibly other Linuxes), `sans-serif` is DejaVu Sans, a much wider font. This creates a larger shift in text when the custom fonts finally load. Arial is a web-safe font, and specifying it explicitly gives us more cross-platform consistency, as well as reducing the layout shift that happens when fonts load.
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions
