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="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 -%}
  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"> {#- -#}
  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">&#9776;</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 {# -#}
  86                         class="search-input" {# -#}
  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     {%- if layout.scrape_examples_extension -%}
 113     <script src="{{static_root_path | safe}}scrape-examples{{page.resource_suffix}}.js"></script> {#- -#}
 114     {%- endif -%}
 115     {%- for script in page.static_extra_scripts -%}
 116     <script src="{{static_root_path | safe}}{{script}}.js"></script> {#- -#}
 117     {% endfor %}
 118     {%- for script in page.extra_scripts -%}
 119     <script src="{{page.root_path | safe}}{{script}}.js"></script> {#- -#}
 120     {% endfor %}
 121 </body> {#- -#}
 122 </html> {#- -#}