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=
"stylesheet" type=
"text/css" {# -#}
11 href=
"{{static_root_path | safe}}normalize{{page.resource_suffix}}.css"> {#- -#}
12 <link rel=
"stylesheet" type=
"text/css" {# -#}
13 href=
"{{static_root_path | safe}}rustdoc{{page.resource_suffix}}.css" {# -#}
14 id=
"mainThemeStyle"> {#- -#}
15 {{- style_files | safe -}}
16 <script id=
"default-settings" {# -#}
17 {% for k, v in layout.default_settings %}
21 <script src=
"{{static_root_path | safe}}storage{{page.resource_suffix}}.js"></script> {#- -#}
22 <script src=
"{{page.root_path | safe}}crates{{page.resource_suffix}}.js"></script> {#- -#}
24 <link rel=
"stylesheet" {# -#}
25 href=
"{{static_root_path | safe}}noscript{{page.resource_suffix}}.css"> {#- -#}
27 {%- if layout.css_file_extension -%}
28 <link rel=
"stylesheet" type=
"text/css" {# -#}
29 href=
"{{static_root_path | safe}}theme{{page.resource_suffix}}.css"> {#- -#}
31 {%- if layout.favicon -%}
32 <link rel=
"shortcut icon" href=
"{{layout.favicon}}"> {#- -#}
34 <link rel=
"alternate icon" type=
"image/png" {# -#}
35 href=
"{{static_root_path | safe}}favicon-16x16{{page.resource_suffix}}.png"> {#- -#}
36 <link rel=
"alternate icon" type=
"image/png" {# -#}
37 href=
"{{static_root_path | safe}}favicon-32x32{{page.resource_suffix}}.png"> {#- -#}
38 <link rel=
"icon" type=
"image/svg+xml" {# -#}
39 href=
"{{static_root_path | safe}}favicon{{page.resource_suffix}}.svg"> {#- -#}
41 {{- layout.external_html.in_header | safe -}}
42 <style type=
"text/css"> {#- -#}
43 #crate-search{ {#- -#}
44 background-image:url(
"{{static_root_path | safe}}down-arrow{{page.resource_suffix}}.svg"); {#- -#}
48 <body class=
"rustdoc {{page.css_class}}"> {#- -#}
49 <!--[if lte IE 11]> {#- -#}
50 <div class="warning"> {#- -#}
51 This old browser is unsupported and will most likely display funky things. {#- -#}
54 {{- layout.external_html.before_content | safe -}}
55 <nav class=
"sidebar"> {#- -#}
56 <div class=
"sidebar-menu" role=
"button">☰</div> {#- -#}
57 <a href='{{page.root_path | safe}}{{krate_with_trailing_slash | safe}}index.html'
> {#- -#}
58 <div class='logo-container rust-logo'
> {#- -#}
60 {%- if layout.logo -%}
63 {{static_root_path | safe}}rust-logo{{page.resource_suffix}}.png
68 {{- sidebar | safe -}}
70 <div class=
"theme-picker"> {#- -#}
71 <button id=
"theme-picker" aria-label=
"Pick another theme!" aria-haspopup=
"menu" title=
"themes"> {#- -#}
72 <img width=
"18" height=
"18" alt=
"Pick another theme!" {# -#}
73 src=
"{{static_root_path | safe}}brush{{page.resource_suffix}}.svg"> {#- -#}
75 <div id=
"theme-choices" role=
"menu"></div> {#- -#}
77 <nav class=
"sub"> {#- -#}
78 <form class=
"search-form"> {#- -#}
79 <div class=
"search-container"> {#- -#}
80 <div>{%- if layout.generate_search_filter -%}
81 <select id=
"crate-search"> {#- -#}
82 <option value=
"All crates">All crates
</option> {#- -#}
86 class=
"search-input" {# -#}
89 autocomplete=
"off" {# -#}
90 spellcheck=
"false" {# -#}
91 placeholder=
"Click or press ‘S’ to search, ‘?’ for more options…" {# -#}
92 type=
"search"> {#- -#}
94 <button type=
"button" id=
"help-button" title=
"help">?
</button> {#- -#}
95 <a id=
"settings-menu" href=
"{{page.root_path | safe}}settings.html" title=
"settings"> {#- -#}
96 <img width=
"18" height=
"18" alt=
"Change settings" {# -#}
97 src=
"{{static_root_path | safe}}wheel{{page.resource_suffix}}.svg"> {#- -#}
102 <section id=
"main" class=
"content">{{- content | safe -}}
</section> {#- -#}
103 <section id=
"search" class=
"content hidden"></section> {#- -#}
104 {{- layout.external_html.after_content | safe -}}
105 <div id=
"rustdoc-vars" {# -#}
106 data-root-path=
"{{page.root_path | safe}}" {# -#}
107 data-current-crate=
"{{layout.krate}}" {# -#}
108 data-search-index-js=
"{{page.root_path | safe}}search-index{{page.resource_suffix}}.js" {# -#}
109 data-search-js=
"{{static_root_path | safe}}search{{page.resource_suffix}}.js"> {#- -#}
111 <script src=
"{{static_root_path | safe}}main{{page.resource_suffix}}.js"></script> {#- -#}
112 {%- for script in page.static_extra_scripts -%}
113 <script src=
"{{static_root_path | safe}}{{script}}.js"></script> {#- -#}
115 {%- for script in page.extra_scripts -%}
116 <script src=
"{{page.root_path | safe}}{{script}}.js"></script> {#- -#}