1 <!DOCTYPE html> {#- -#}
2 <html lang="en"> {#- -#}
4 <meta charset="utf-8"> {#- -#}
5 <meta name="viewport" content="width=device-width, initial-scale=1.0"> {#- -#}
6 <meta name="generator" content="rustdoc"> {#- -#}
7 <meta name="description" content="{{page.description}}"> {#- -#}
8 <meta name="keywords" content="{{page.keywords}}"> {#- -#}
9 <title>{{page.title}}</title> {#- -#}
10 <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}SourceSerif4-Regular.ttf.woff2"> {#- -#}
11 <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}FiraSans-Regular.woff2"> {#- -#}
12 <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}FiraSans-Medium.woff2"> {#- -#}
13 <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}SourceCodePro-Regular.ttf.woff2"> {#- -#}
14 <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}SourceSerif4-Bold.ttf.woff2"> {#- -#}
15 <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}SourceCodePro-Semibold.ttf.woff2"> {#- -#}
16 <link rel="stylesheet" type="text/css" {# -#}
17 href="{{static_root_path|safe}}normalize{{page.resource_suffix}}.css"> {#- -#}
18 <link rel="stylesheet" type="text/css" {# -#}
19 href="{{static_root_path|safe}}rustdoc{{page.resource_suffix}}.css" {# -#}
20 id="mainThemeStyle"> {#- -#}
21 {%- for theme in themes -%}
22 <link rel="stylesheet" type="text/css" {# -#}
23 href="{{static_root_path|safe}}{{theme}}{{page.resource_suffix}}.css" {# -#}
24 {%- if theme == "light" -%}
31 <script id="default-settings" {# -#}
32 {% for (k, v) in layout.default_settings %}
36 <script src="{{static_root_path|safe}}storage{{page.resource_suffix}}.js"></script> {#- -#}
37 <script src="{{page.root_path|safe}}crates{{page.resource_suffix}}.js"></script> {#- -#}
38 <script defer src="{{static_root_path|safe}}main{{page.resource_suffix}}.js"></script> {#- -#}
39 {%- for script in page.static_extra_scripts -%}
40 <script defer src="{{static_root_path|safe}}{{script}}.js"></script> {#- -#}
42 {%- if layout.scrape_examples_extension -%}
43 <script defer src="{{page.root_path|safe}}scrape-examples{{page.resource_suffix}}.js"></script> {#- -#}
45 {%- for script in page.extra_scripts -%}
46 <script defer src="{{page.root_path|safe}}{{script}}.js"></script> {#- -#}
49 <link rel="stylesheet" {# -#}
50 href="{{static_root_path|safe}}noscript{{page.resource_suffix}}.css"> {#- -#}
52 {%- if layout.css_file_extension.is_some() -%}
53 <link rel="stylesheet" type="text/css" {# -#}
54 href="{{static_root_path|safe}}theme{{page.resource_suffix}}.css"> {#- -#}
56 {%- if !layout.favicon.is_empty() -%}
57 <link rel="shortcut icon" href="{{layout.favicon}}"> {#- -#}
59 <link rel="alternate icon" type="image/png" {# -#}
60 href="{{static_root_path|safe}}favicon-16x16{{page.resource_suffix}}.png"> {#- -#}
61 <link rel="alternate icon" type="image/png" {# -#}
62 href="{{static_root_path|safe}}favicon-32x32{{page.resource_suffix}}.png"> {#- -#}
63 <link rel="icon" type="image/svg+xml" {# -#}
64 href="{{static_root_path|safe}}favicon{{page.resource_suffix}}.svg"> {#- -#}
66 {{- layout.external_html.in_header|safe -}}
68 <body class="rustdoc {{page.css_class}}"> {#- -#}
69 <!--[if lte IE 11]> {#- -#}
70 <div class="warning"> {#- -#}
71 This old browser is unsupported and will most likely display funky things. {#- -#}
74 {{- layout.external_html.before_content|safe -}}
75 <nav class="mobile-topbar"> {#- -#}
76 <button class="sidebar-menu-toggle">☰</button> {#- -#}
77 <a class="sidebar-logo" href="{{page.root_path|safe}}{{krate_with_trailing_slash|safe}}index.html"> {#- -#}
78 <div class="logo-container"> {#- -#}
79 {%- if !layout.logo.is_empty() -%}
80 <img src="{{layout.logo}}" alt="logo"> {#- -#}
82 <img class="rust-logo" src="{{static_root_path|safe}}rust-logo{{page.resource_suffix}}.svg" alt="logo"> {#- -#}
86 <h2 class="location"></h2>
88 <nav class="sidebar"> {#- -#}
89 <a class="sidebar-logo" href="{{page.root_path|safe}}{{krate_with_trailing_slash|safe}}index.html"> {#- -#}
90 <div class="logo-container"> {#- -#}
91 {%- if !layout.logo.is_empty() %}
92 <img src="{{layout.logo}}" alt="logo"> {#- -#}
94 <img class="rust-logo" src="{{static_root_path|safe}}rust-logo{{page.resource_suffix}}.svg" alt="logo"> {#- -#}
101 <div class="width-limiter"> {#- -#}
102 <div class="sub-container"> {#- -#}
103 <a class="sub-logo-container" href="{{page.root_path|safe}}{{krate_with_trailing_slash|safe}}index.html"> {#- -#}
104 {%- if !layout.logo.is_empty() %}
105 <img src="{{layout.logo}}" alt="logo"> {#- -#}
107 <img class="rust-logo" src="{{static_root_path|safe}}rust-logo{{page.resource_suffix}}.svg" alt="logo"> {#- -#}
110 <nav class="sub"> {#- -#}
111 <div class="theme-picker hidden"> {#- -#}
112 <button id="theme-picker" aria-label="Pick another theme!" aria-haspopup="menu" title="themes"> {#- -#}
113 <img width="22" height="22" alt="Pick another theme!" {# -#}
114 src="{{static_root_path|safe}}brush{{page.resource_suffix}}.svg"> {#- -#}
116 <div id="theme-choices" role="menu"></div> {#- -#}
118 <form class="search-form"> {#- -#}
119 <div class="search-container"> {#- -#}
120 <span></span> {#- This empty span is a hacky fix for Safari - See #93184 -#}
122 class="search-input" {# -#}
124 autocomplete="off" {# -#}
125 spellcheck="false" {# -#}
126 placeholder="Click or press ‘S’ to search, ‘?’ for more options…" {# -#}
127 type="search"> {#- -#}
128 <button type="button" id="help-button" title="help">?</button> {#- -#}
129 <a id="settings-menu" href="{{page.root_path|safe}}settings.html" title="settings"> {#- -#}
130 <img width="22" height="22" alt="Change settings" {# -#}
131 src="{{static_root_path|safe}}wheel{{page.resource_suffix}}.svg"> {#- -#}
137 <section id="main-content" class="content">{{- content|safe -}}</section> {#- -#}
138 <section id="search" class="content hidden"></section> {#- -#}
141 {{- layout.external_html.after_content|safe -}}
142 <div id="rustdoc-vars" {# -#}
143 data-root-path="{{page.root_path|safe}}" {# -#}
144 data-current-crate="{{layout.krate}}" {# -#}
145 data-themes="{{themes|join(",") }}" {# -#}
146 data-resource-suffix="{{page.resource_suffix}}" {# -#}
147 data-rustdoc-version="{{rustdoc_version}}" {# -#}