From 87faa212fbc9f80daec903aa1bab1f997897bec4 Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Tue, 9 Apr 2024 17:26:59 -0700 Subject: rustdoc: remove unused 16x16 favicon According to , SVG favicons are supported in everything but Safari. When I actually try it in Safari, it's downloading all three favicons, and nothing looks different when I disable the 16x16 one. , which is linked from caniuse above, recommends an ico. However, the reason they recommend it is the apps that only support /favicon.ico exactly, and rustdoc can't assume it will be installed to the site root, so it's unfortunately up to the webmaster to make sure it's set up. --- src/librustdoc/html/static/images/favicon-16x16.png | Bin 715 -> 0 bytes src/librustdoc/html/static_files.rs | 1 - src/librustdoc/html/templates/page.html | 2 -- 3 files changed, 3 deletions(-) delete mode 100644 src/librustdoc/html/static/images/favicon-16x16.png diff --git a/src/librustdoc/html/static/images/favicon-16x16.png b/src/librustdoc/html/static/images/favicon-16x16.png deleted file mode 100644 index ea4b45cae16..00000000000 Binary files a/src/librustdoc/html/static/images/favicon-16x16.png and /dev/null differ diff --git a/src/librustdoc/html/static_files.rs b/src/librustdoc/html/static_files.rs index ca9a78f51b3..d8874c2fda0 100644 --- a/src/librustdoc/html/static_files.rs +++ b/src/librustdoc/html/static_files.rs @@ -106,7 +106,6 @@ static_files! { license_mit => "static/LICENSE-MIT.txt", rust_logo_svg => "static/images/rust-logo.svg", rust_favicon_svg => "static/images/favicon.svg", - rust_favicon_png_16 => "static/images/favicon-16x16.png", rust_favicon_png_32 => "static/images/favicon-32x32.png", fira_sans_regular => "static/fonts/FiraSans-Regular.woff2", fira_sans_medium => "static/fonts/FiraSans-Medium.woff2", diff --git a/src/librustdoc/html/templates/page.html b/src/librustdoc/html/templates/page.html index 0e7f7ab2b10..0941f758de5 100644 --- a/src/librustdoc/html/templates/page.html +++ b/src/librustdoc/html/templates/page.html @@ -58,8 +58,6 @@ {% if !layout.favicon.is_empty() %} {# #} {% else %} - {# #} {# #}