|
6 | 6 | <meta name="generator" content="rustdoc"> {# #} |
7 | 7 | <meta name="description" content="{{page.description}}"> {# #} |
8 | 8 | <title>{{page.title}}</title> {# #} |
9 | | - <script> if (window.location.protocol !== "file:") document.write(` {# Hack to skip preloading fonts locally - see #98769 #} |
10 | | - <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}{{files.source_serif_4_regular}}"> {# #} |
11 | | - <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}{{files.fira_sans_regular}}"> {# #} |
12 | | - <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}{{files.fira_sans_medium}}"> {# #} |
13 | | - <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}{{files.source_code_pro_regular}}"> {# #} |
14 | | - <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}{{files.source_code_pro_semibold}}"> {# #} |
15 | | - `)</script> {# #} |
| 9 | + <script>if(window.location.protocol!=="file:") {# Hack to skip preloading fonts locally - see #98769 #} |
| 10 | + 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(",")) {# #} |
| 11 | + document.write(`<link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}${f}">`) {# #} |
| 12 | + </script> {# #} |
16 | 13 | <link rel="stylesheet" {#+ #} |
17 | 14 | href="{{static_root_path|safe}}{{files.normalize_css}}"> {# #} |
18 | 15 | <link rel="stylesheet" {#+ #} |
@@ -114,13 +111,13 @@ <h2> {# #} |
114 | 111 | <div class="version">{{+ display_krate_version_extra}}</div> {# #} |
115 | 112 | {% endif %} |
116 | 113 | {% else %} |
117 | | - <div class="src-sidebar-title"> |
| 114 | + <div class="src-sidebar-title"> {# #} |
118 | 115 | <h2>Files</h2> {# #} |
119 | 116 | </div> {# #} |
120 | 117 | {% endif %} |
121 | 118 | {{ sidebar|safe }} |
122 | 119 | </nav> {# #} |
123 | | - <div class="sidebar-resizer"></div> |
| 120 | + <div class="sidebar-resizer"></div> {# #} |
124 | 121 | <main> {# #} |
125 | 122 | {% if page.css_class != "src" %}<div class="width-limiter">{% endif %} |
126 | 123 | <nav class="sub"> {# #} |
|
0 commit comments