src/librustdoc/html/templates/page.html

   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="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" -%}
  25             id="themeStyle"
  26         {%- else -%}
  27             disabled
  28         {%- endif -%}
  29         >
  30     {%- endfor -%}
  31     <script id="default-settings" {# -#}
  32       {% for (k, v) in layout.default_settings %}
  33         data-{{k}}="{{v}}"
  34       {%- endfor -%}
  35     ></script> {#- -#}
  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> {#- -#}
  41     {% endfor %}
  42     {%- if layout.scrape_examples_extension -%}
  43     <script defer src="{{page.root_path|safe}}scrape-examples{{page.resource_suffix}}.js"></script> {#- -#}
  44     {%- endif -%}
  45     {%- for script in page.extra_scripts -%}
  46     <script defer src="{{page.root_path|safe}}{{script}}.js"></script> {#- -#}
  47     {% endfor %}
  48     <noscript> {#- -#}
  49         <link rel="stylesheet" {# -#}
  50            href="{{static_root_path|safe}}noscript{{page.resource_suffix}}.css"> {#- -#}
  51     </noscript> {#- -#}
  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"> {#- -#}
  55     {%- endif -%}
  56     {%- if !layout.favicon.is_empty() -%}
  57         <link rel="shortcut icon" href="{{layout.favicon}}"> {#- -#}
  58     {%- else -%}
  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"> {#- -#}
  65     {%- endif -%}
  66     {{- layout.external_html.in_header|safe -}}
  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]--> {#- -#}
  74     {{- layout.external_html.before_content|safe -}}
  75     <nav class="mobile-topbar"> {#- -#}
  76         <button class="sidebar-menu-toggle">&#9776;</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"> {#- -#}
  81             {%- else -%}
  82                 <img class="rust-logo" src="{{static_root_path|safe}}rust-logo{{page.resource_suffix}}.svg" alt="logo"> {#- -#}
  83             {%- endif -%}
  84             </div>
  85         </a> {#- -#}
  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 -}}
  99     </nav> {#- -#}
 100     <main> {#- -#}
 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"> {#- -#}
 106                     {%- else -%}
 107                         <img class="rust-logo" src="{{static_root_path|safe}}rust-logo{{page.resource_suffix}}.svg" alt="logo"> {#- -#}
 108                     {%- endif -%}
 109                 </a> {#- -#}
 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"> {#- -#}
 115                         </button> {#- -#}
 116                         <div id="theme-choices" role="menu"></div> {#- -#}
 117                     </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 -#}
 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"> {#- -#}
 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"> {#- -#}
 132                             </a> {#- -#}
 133                         </div> {#- -#}
 134                     </form> {#- -#}
 135                 </nav> {#- -#}
 136             </div> {#- -#}
 137             <section id="main-content" class="content">{{- content|safe -}}</section> {#- -#}
 138             <section id="search" class="content hidden"></section> {#- -#}
 139         </div> {#- -#}
 140     </main> {#- -#}
 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}}" {# -#}
 148     > {#- -#}
 149     </div>
 150 </body> {#- -#}
 151 </html> {#- -#}