diff options
| author | Jonas Schievink <jonasschievink@gmail.com> | 2020-09-25 02:29:22 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-25 02:29:22 +0200 |
| commit | 15efed4e6fe7a6040cb8b04c03db5dd72c9531d9 (patch) | |
| tree | 59a03e56b11117482e8cf08e89989d8b61a46893 /src/librustdoc/html/render/mod.rs | |
| parent | e599b53e67ddd197a09a3d8720eed872df481aa0 (diff) | |
| parent | 085679c8414fbcd0a832d57134eb6832ea7a1020 (diff) | |
Rollup merge of #75438 - Cldfire:rustdoc/use-adaptive-svg-favicon, r=GuillaumeGomez
Use adaptive SVG favicon for rustdoc like other rust sites Use the theme-adaptive SVG favicon that was recently introduced [for the Rust site](https://github.com/rust-lang/www.rust-lang.org/pull/1185) (and others). (This PR is simply copied from the PR linked above, so see that for rationale.) Closes #72165. Before, Firefox on Linux:  After, Firefox on Linux (`prefers-color-scheme` set to `dark` by setting `ui.systemUsesDarkTheme` to a number value of `1` in `about:config`): 
Diffstat (limited to 'src/librustdoc/html/render/mod.rs')
| -rw-r--r-- | src/librustdoc/html/render/mod.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/librustdoc/html/render/mod.rs b/src/librustdoc/html/render/mod.rs index f095f67b54c..8b5ba7a239c 100644 --- a/src/librustdoc/html/render/mod.rs +++ b/src/librustdoc/html/render/mod.rs @@ -754,7 +754,9 @@ fn write_shared( write(cx.path("rust-logo.png"), static_files::RUST_LOGO)?; } if (*cx.shared).layout.favicon.is_empty() { - write(cx.path("favicon.ico"), static_files::RUST_FAVICON)?; + write(cx.path("favicon.svg"), static_files::RUST_FAVICON_SVG)?; + write(cx.path("favicon-16x16.png"), static_files::RUST_FAVICON_PNG_16)?; + write(cx.path("favicon-32x32.png"), static_files::RUST_FAVICON_PNG_32)?; } write(cx.path("brush.svg"), static_files::BRUSH_SVG)?; write(cx.path("wheel.svg"), static_files::WHEEL_SVG)?; |