[rustc.git] / src / librustdoc / html / templates / page.html

<!DOCTYPE html> {#- -#}
<html lang="en"> {#- -#}
<head> {#- -#}
    <meta charset="utf-8"> {#- -#}
    <meta name="viewport" content="width=device-width, initial-scale=1.0"> {#- -#}
    <meta name="generator" content="rustdoc"> {#- -#}
    <meta name="description" content="{{page.description}}"> {#- -#}
    <meta name="keywords" content="{{page.keywords}}"> {#- -#}
    <title>{{page.title}}</title> {#- -#}
    <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}SourceSerif4-Regular.ttf.woff2"> {#- -#}
    <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}FiraSans-Regular.woff2"> {#- -#}
    <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}FiraSans-Medium.woff2"> {#- -#}
    <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}SourceCodePro-Regular.ttf.woff2"> {#- -#}
    <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}SourceSerif4-Bold.ttf.woff2"> {#- -#}
    <link rel="preload" as="font" type="font/woff2" crossorigin href="{{static_root_path|safe}}SourceCodePro-Semibold.ttf.woff2"> {#- -#}
    <link rel="stylesheet" type="text/css" {# -#}
          href="{{static_root_path|safe}}normalize{{page.resource_suffix}}.css"> {#- -#}
    <link rel="stylesheet" type="text/css" {# -#}
          href="{{static_root_path|safe}}rustdoc{{page.resource_suffix}}.css" {# -#}
          id="mainThemeStyle"> {#- -#}
    {%- for theme in themes -%}
        <link rel="stylesheet" type="text/css" {# -#}
            href="{{static_root_path|safe}}{{theme}}{{page.resource_suffix}}.css" {# -#}
        {%- if theme == "light" -%}
            id="themeStyle"
        {%- else -%}
            disabled
        {%- endif -%}
        >
    {%- endfor -%}
    <script id="default-settings" {# -#}
      {% for (k, v) in layout.default_settings %}
        data-{{k}}="{{v}}"
      {%- endfor -%}
    ></script> {#- -#}
    <script src="{{static_root_path|safe}}storage{{page.resource_suffix}}.js"></script> {#- -#}
    <script src="{{page.root_path|safe}}crates{{page.resource_suffix}}.js"></script> {#- -#}
    <script defer src="{{static_root_path|safe}}main{{page.resource_suffix}}.js"></script> {#- -#}
    {%- for script in page.static_extra_scripts -%}
    <script defer src="{{static_root_path|safe}}{{script}}.js"></script> {#- -#}
    {% endfor %}
    {%- if layout.scrape_examples_extension -%}
    <script defer src="{{page.root_path|safe}}scrape-examples{{page.resource_suffix}}.js"></script> {#- -#}
    {%- endif -%}
    {%- for script in page.extra_scripts -%}
    <script defer src="{{page.root_path|safe}}{{script}}.js"></script> {#- -#}
    {% endfor %}
    <noscript> {#- -#}
        <link rel="stylesheet" {# -#}
           href="{{static_root_path|safe}}noscript{{page.resource_suffix}}.css"> {#- -#}
    </noscript> {#- -#}
    {%- if layout.css_file_extension.is_some() -%}
        <link rel="stylesheet" type="text/css" {# -#}
            href="{{static_root_path|safe}}theme{{page.resource_suffix}}.css"> {#- -#}
    {%- endif -%}
    {%- if !layout.favicon.is_empty() -%}
        <link rel="icon" href="{{layout.favicon}}"> {#- -#}
    {%- else -%}
        <link rel="alternate icon" type="image/png" {# -#}
            href="{{static_root_path|safe}}favicon-16x16{{page.resource_suffix}}.png"> {#- -#}
        <link rel="alternate icon" type="image/png" {# -#}
            href="{{static_root_path|safe}}favicon-32x32{{page.resource_suffix}}.png"> {#- -#}
        <link rel="icon" type="image/svg+xml" {# -#}
            href="{{static_root_path|safe}}favicon{{page.resource_suffix}}.svg"> {#- -#}
    {%- endif -%}
    {{- layout.external_html.in_header|safe -}}
</head> {#- -#}
<body class="rustdoc {{page.css_class}}"> {#- -#}
    <!--[if lte IE 11]> {#- -#}
    <div class="warning"> {#- -#}
        This old browser is unsupported and will most likely display funky things. {#- -#}
    </div> {#- -#}
    <![endif]--> {#- -#}
    {{- layout.external_html.before_content|safe -}}
    <nav class="mobile-topbar"> {#- -#}
        <button class="sidebar-menu-toggle">&#9776;</button> {#- -#}
        <a class="sidebar-logo" href="{{page.root_path|safe}}{{krate_with_trailing_slash|safe}}index.html"> {#- -#}
            <div class="logo-container"> {#- -#}
            {%- if !layout.logo.is_empty() -%}
                <img src="{{layout.logo}}" alt="logo"> {#- -#}
            {%- else -%}
                <img class="rust-logo" src="{{static_root_path|safe}}rust-logo{{page.resource_suffix}}.svg" alt="logo"> {#- -#}
            {%- endif -%}
            </div>
        </a> {#- -#}
        <h2 class="location"></h2>
    </nav>
    <nav class="sidebar"> {#- -#}
        <a class="sidebar-logo" href="{{page.root_path|safe}}{{krate_with_trailing_slash|safe}}index.html"> {#- -#}
            <div class="logo-container"> {#- -#}
                {%- if !layout.logo.is_empty()  %}
                    <img src="{{layout.logo}}" alt="logo"> {#- -#}
                {%- else -%}
                    <img class="rust-logo" src="{{static_root_path|safe}}rust-logo{{page.resource_suffix}}.svg" alt="logo"> {#- -#}
                {%- endif -%}
            </div>
        </a> {#- -#}
        {{- sidebar|safe -}}
    </nav> {#- -#}
    <main> {#- -#}
        <div class="width-limiter"> {#- -#}
            <div class="sub-container"> {#- -#}
                <a class="sub-logo-container" href="{{page.root_path|safe}}{{krate_with_trailing_slash|safe}}index.html"> {#- -#}
                    {%- if !layout.logo.is_empty()  %}
                        <img src="{{layout.logo}}" alt="logo"> {#- -#}
                    {%- else -%}
                        <img class="rust-logo" src="{{static_root_path|safe}}rust-logo{{page.resource_suffix}}.svg" alt="logo"> {#- -#}
                    {%- endif -%}
                </a> {#- -#}
                <nav class="sub"> {#- -#}
                    <div class="theme-picker hidden"> {#- -#}
                        <button id="theme-picker" aria-label="Pick another theme!" aria-haspopup="menu" title="themes"> {#- -#}
                            <img width="22" height="22" alt="Pick another theme!" {# -#}
                             src="{{static_root_path|safe}}brush{{page.resource_suffix}}.svg"> {#- -#}
                        </button> {#- -#}
                        <div id="theme-choices" role="menu"></div> {#- -#}
                    </div> {#- -#}
                    <form class="search-form"> {#- -#}
                        <div class="search-container"> {#- -#}
                            <span></span> {#- This empty span is a hacky fix for Safari - See #93184 -#}
                            <input {# -#}
                                class="search-input" {# -#}
                                name="search" {# -#}
                                autocomplete="off" {# -#}
                                spellcheck="false" {# -#}
                                placeholder="Click or press ‘S’ to search, ‘?’ for more options…" {# -#}
                                type="search"> {#- -#}
                            <button type="button" id="help-button" title="help">?</button> {#- -#}
                            <a id="settings-menu" href="{{page.root_path|safe}}settings.html" title="settings"> {#- -#}
                                <img width="22" height="22" alt="Change settings" {# -#}
                                     src="{{static_root_path|safe}}wheel{{page.resource_suffix}}.svg"> {#- -#}
                            </a> {#- -#}
                        </div> {#- -#}
                    </form> {#- -#}
                </nav> {#- -#}
            </div> {#- -#}
            <section id="main-content" class="content">{{- content|safe -}}</section> {#- -#}
            <section id="search" class="content hidden"></section> {#- -#}
        </div> {#- -#}
    </main> {#- -#}
    {{- layout.external_html.after_content|safe -}}
    <div id="rustdoc-vars" {# -#}
         data-root-path="{{page.root_path|safe}}" {# -#}
         data-current-crate="{{layout.krate}}" {# -#}
         data-themes="{{themes|join(",") }}" {# -#}
         data-resource-suffix="{{page.resource_suffix}}" {# -#}
         data-rustdoc-version="{{rustdoc_version}}" {# -#}
    > {#- -#}
    </div>
</body> {#- -#}
</html> {#- -#}
Commit	Line	Data
136023e0 XL	1	<!DOCTYPE html> {#- -#}
	2	<html lang="en"> {#- -#}
	3	<head> {#- -#}
	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> {#- -#}
5099ac24 FG	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"> {#- -#}
136023e0	16	<link rel="stylesheet" type="text/css" {# -#}
5099ac24	17	href="{{static_root_path\|safe}}normalize{{page.resource_suffix}}.css"> {#- -#}
136023e0	18	<link rel="stylesheet" type="text/css" {# -#}
5099ac24	19	href="{{static_root_path\|safe}}rustdoc{{page.resource_suffix}}.css" {# -#}
136023e0	20	id="mainThemeStyle"> {#- -#}
a2a8927a XL	21	{%- for theme in themes -%}
a2a8927a XL	22	<link rel="stylesheet" type="text/css" {# -#}
5099ac24	23	href="{{static_root_path\|safe}}{{theme}}{{page.resource_suffix}}.css" {# -#}
a2a8927a XL	24	{%- if theme == "light" -%}
	25	id="themeStyle"
	26	{%- else -%}
	27	disabled
	28	{%- endif -%}
	29	>
	30	{%- endfor -%}
136023e0	31	<script id="default-settings" {# -#}
5099ac24	32	{% for (k, v) in layout.default_settings %}
136023e0 XL	33	data-{{k}}="{{v}}"
	34	{%- endfor -%}
	35	></script> {#- -#}
5099ac24 FG	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> {#- -#}
3c0e092e	39	{%- for script in page.static_extra_scripts -%}
5099ac24	40	<script defer src="{{static_root_path\|safe}}{{script}}.js"></script> {#- -#}
3c0e092e XL	41	{% endfor %}
3c0e092e XL	42	{%- if layout.scrape_examples_extension -%}
5099ac24	43	<script defer src="{{page.root_path\|safe}}scrape-examples{{page.resource_suffix}}.js"></script> {#- -#}
3c0e092e XL	44	{%- endif -%}
3c0e092e XL	45	{%- for script in page.extra_scripts -%}
5099ac24	46	<script defer src="{{page.root_path\|safe}}{{script}}.js"></script> {#- -#}
3c0e092e	47	{% endfor %}
136023e0 XL	48	<noscript> {#- -#}
136023e0 XL	49	<link rel="stylesheet" {# -#}
5099ac24	50	href="{{static_root_path\|safe}}noscript{{page.resource_suffix}}.css"> {#- -#}
136023e0	51	</noscript> {#- -#}
5099ac24	52	{%- if layout.css_file_extension.is_some() -%}
136023e0	53	<link rel="stylesheet" type="text/css" {# -#}
5099ac24	54	href="{{static_root_path\|safe}}theme{{page.resource_suffix}}.css"> {#- -#}
136023e0	55	{%- endif -%}
5099ac24	56	{%- if !layout.favicon.is_empty() -%}
ee023bcb	57	<link rel="icon" href="{{layout.favicon}}"> {#- -#}
136023e0	58	{%- else -%}
136023e0	59	<link rel="alternate icon" type="image/png" {# -#}
5099ac24	60	href="{{static_root_path\|safe}}favicon-16x16{{page.resource_suffix}}.png"> {#- -#}
136023e0	61	<link rel="alternate icon" type="image/png" {# -#}
5099ac24	62	href="{{static_root_path\|safe}}favicon-32x32{{page.resource_suffix}}.png"> {#- -#}
94222f64	63	<link rel="icon" type="image/svg+xml" {# -#}
5099ac24	64	href="{{static_root_path\|safe}}favicon{{page.resource_suffix}}.svg"> {#- -#}
136023e0	65	{%- endif -%}
5099ac24	66	{{- layout.external_html.in_header\|safe -}}
136023e0 XL	67	</head> {#- -#}
	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. {#- -#}
	72	</div> {#- -#}
	73	<![endif]--> {#- -#}
5099ac24 FG	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"> {#- -#}
a2a8927a	78	<div class="logo-container"> {#- -#}
5099ac24	79	{%- if !layout.logo.is_empty() -%}
a2a8927a XL	80	<img src="{{layout.logo}}" alt="logo"> {#- -#}
a2a8927a XL	81	{%- else -%}
5099ac24	82	<img class="rust-logo" src="{{static_root_path\|safe}}rust-logo{{page.resource_suffix}}.svg" alt="logo"> {#- -#}
a2a8927a XL	83	{%- endif -%}
a2a8927a XL	84	</div>
136023e0	85	</a> {#- -#}
5099ac24 FG	86	<h2 class="location"></h2>
	87	</nav>
	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"> {#- -#}
	93	{%- else -%}
	94	<img class="rust-logo" src="{{static_root_path\|safe}}rust-logo{{page.resource_suffix}}.svg" alt="logo"> {#- -#}
	95	{%- endif -%}
	96	</div>
	97	</a> {#- -#}
	98	{{- sidebar\|safe -}}
136023e0	99	</nav> {#- -#}
a2a8927a XL	100	<main> {#- -#}
	101	<div class="width-limiter"> {#- -#}
	102	<div class="sub-container"> {#- -#}
5099ac24 FG	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"> {#- -#}
a2a8927a	106	{%- else -%}
5099ac24	107	<img class="rust-logo" src="{{static_root_path\|safe}}rust-logo{{page.resource_suffix}}.svg" alt="logo"> {#- -#}
136023e0	108	{%- endif -%}
136023e0	109	</a> {#- -#}
a2a8927a	110	<nav class="sub"> {#- -#}
5099ac24	111	<div class="theme-picker hidden"> {#- -#}
a2a8927a	112	<button id="theme-picker" aria-label="Pick another theme!" aria-haspopup="menu" title="themes"> {#- -#}
5099ac24 FG	113	<img width="22" height="22" alt="Pick another theme!" {# -#}
5099ac24 FG	114	src="{{static_root_path\|safe}}brush{{page.resource_suffix}}.svg"> {#- -#}
a2a8927a XL	115	</button> {#- -#}
	116	<div id="theme-choices" role="menu"></div> {#- -#}
	117	</div> {#- -#}
	118	<form class="search-form"> {#- -#}
	119	<div class="search-container"> {#- -#}
5099ac24 FG	120	<span></span> {#- This empty span is a hacky fix for Safari - See #93184 -#}
	121	<input {# -#}
	122	class="search-input" {# -#}
	123	name="search" {# -#}
	124	autocomplete="off" {# -#}
	125	spellcheck="false" {# -#}
	126	placeholder="Click or press ‘S’ to search, ‘?’ for more options…" {# -#}
	127	type="search"> {#- -#}
a2a8927a	128	<button type="button" id="help-button" title="help">?</button> {#- -#}
5099ac24 FG	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"> {#- -#}
a2a8927a XL	132	</a> {#- -#}
	133	</div> {#- -#}
	134	</form> {#- -#}
	135	</nav> {#- -#}
136023e0	136	</div> {#- -#}
5099ac24	137	<section id="main-content" class="content">{{- content\|safe -}}</section> {#- -#}
a2a8927a XL	138	<section id="search" class="content hidden"></section> {#- -#}
	139	</div> {#- -#}
	140	</main> {#- -#}
5099ac24	141	{{- layout.external_html.after_content\|safe -}}
136023e0	142	<div id="rustdoc-vars" {# -#}
5099ac24	143	data-root-path="{{page.root_path\|safe}}" {# -#}
136023e0	144	data-current-crate="{{layout.krate}}" {# -#}
5099ac24	145	data-themes="{{themes\|join(",") }}" {# -#}
a2a8927a XL	146	data-resource-suffix="{{page.resource_suffix}}" {# -#}
	147	data-rustdoc-version="{{rustdoc_version}}" {# -#}
	148	> {#- -#}
136023e0	149	</div>
136023e0 XL	150	</body> {#- -#}
136023e0 XL	151	</html> {#- -#}