|
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