Replace document.write with document.head.innerHTML

Author: GuillaumeGomez

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}}"> {# #}