Replace document.write with document.head.innerHTML

rust-lang · Apr 11, 2024 · 071a15b · 071a15b
1 parent 5974fe8
commit 071a15b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/librustdoc/html/templates/page.html b/src/librustdoc/html/templates/page.html
@@ -8,7 +8,7 @@
     <title>{{page.title}}</title> {# #}
     <script>if(window.location.protocol!=="file:") {# Hack to skip preloading fonts locally - see #98769 #}
     for(f of "{{files.source_serif_4_regular}},{{files.fira_sans_regular}},{{files.fira_sans_medium}},{{files.source_code_pro_regular}},{{files.source_code_pro_semibold}}".split(",")) {# #}
-     document.write(`<link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}${f}">`) {# #}
+     document.head.innerHTML += `<link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}${f}">` {# #}
     </script> {# #}
     <link rel="stylesheet" {#+ #}
           href="{{static_root_path|safe}}{{files.normalize_css}}"> {# #}