projects / rustc.git / blame
| 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> {#- -#} | |
| 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 %} | |
| 18 | data-{{k}}="{{v}}" | |
| 19 | {%- endfor -%} | |
| 20 | ></script> {#- -#} | |
| 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> {#- -#} | |
| 23 | <noscript> {#- -#} | |
| 24 | <link rel="stylesheet" {# -#} | |
| 25 | href="{{static_root_path | safe}}noscript{{page.resource_suffix}}.css"> {#- -#} | |
| 26 | </noscript> {#- -#} | |
| 27 | {%- if layout.css_file_extension -%} | |
| 28 | <link rel="stylesheet" type="text/css" {# -#} | |
| 29 | href="{{static_root_path | safe}}theme{{page.resource_suffix}}.css"> {#- -#} | |
| 30 | {%- endif -%} | |
| 31 | {%- if layout.favicon -%} | |
| 32 | <link rel="shortcut icon" href="{{layout.favicon}}"> {#- -#} | |
| 33 | {%- else -%} | |
| 136023e0 XL |
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"> {#- -#} | |
| 94222f64 XL |
38 | <link rel="icon" type="image/svg+xml" {# -#} |
| 39 | href="{{static_root_path | safe}}favicon{{page.resource_suffix}}.svg"> {#- -#} | |
| 136023e0 XL |
40 | {%- endif -%} |
| 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"); {#- -#} | |
| 45 | } {#- -#} | |
| 46 | </style> {#- -#} | |
| 47 | </head> {#- -#} | |
| 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. {#- -#} | |
| 52 | </div> {#- -#} | |
| 53 | <![endif]--> {#- -#} | |
| 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'> {#- -#} | |
| 59 | <img src=' | |
| 60 | {%- if layout.logo -%} | |
| 61 | {{layout.logo}} | |
| 62 | {%- else -%} | |
| 63 | {{static_root_path | safe}}rust-logo{{page.resource_suffix}}.png | |
| 64 | {%- endif -%} | |
| 65 | ' alt='logo'> {#- -#} | |
| 66 | </div> {#- -#} | |
| 67 | </a> {#- -#} | |
| 68 | {{- sidebar | safe -}} | |
| 69 | </nav> {#- -#} | |
| 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"> {#- -#} | |
| 74 | </button> {#- -#} | |
| 75 | <div id="theme-choices" role="menu"></div> {#- -#} | |
| 76 | </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> {#- -#} | |
| 83 | </select> {#- -#} | |
| 84 | {%- endif -%} | |
| 85 | <input {# -#} | |
| 94222f64 | 86 | class="search-input" {# -#} |
| 136023e0 XL |
87 | name="search" {# -#} |
| 88 | disabled {# -#} | |
| 89 | autocomplete="off" {# -#} | |
| 90 | spellcheck="false" {# -#} | |
| 91 | placeholder="Click or press ‘S’ to search, ‘?’ for more options…" {# -#} | |
| 92 | type="search"> {#- -#} | |
| 93 | </div> {#- -#} | |
| 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"> {#- -#} | |
| 98 | </a> {#- -#} | |
| 99 | </div> {#- -#} | |
| 100 | </form> {#- -#} | |
| 101 | </nav> {#- -#} | |
| 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"> {#- -#} | |
| 110 | </div> | |
| 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> {#- -#} | |
| 114 | {% endfor %} | |
| 115 | {%- for script in page.extra_scripts -%} | |
| 116 | <script src="{{page.root_path | safe}}{{script}}.js"></script> {#- -#} | |
| 117 | {% endfor %} | |
| 118 | </body> {#- -#} | |
| 119 | </html> {#- -#} |