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}}"> {# #}
    <title>{{page.title}}</title> {# #}
    <script>if(window.location.protocol!=="file:") {# Hack to skip preloading fonts locally - see #98769 #}
    document.head.insertAdjacentHTML("beforeend","{{files.source_serif_4_regular}},{{files.fira_sans_italic}},{{files.fira_sans_regular}},{{files.fira_sans_medium_italic}},{{files.fira_sans_medium}},{{files.source_code_pro_regular}},{{files.source_code_pro_semibold}}".split(",").map(f=>`<link rel="preload" as="font" type="font/woff2"{% if !static_root_path_may_remove_crossorigin() %} crossorigin{% endif %} href="{{static_root_path|safe}}${f}">`).join("")) {# #}
    </script> {# #}
    <link rel="stylesheet" {#+ #}
          href="{{static_root_path|safe}}{{files.normalize_css}}"> {# #}
    <link rel="stylesheet" {#+ #}
          href="{{static_root_path|safe}}{{files.rustdoc_css}}">
    {% if !layout.default_settings.is_empty() %}
    <script id="default-settings" {#+ #}
      {%~ for (k, v) in layout.default_settings ~%}
        data-{{k}}="{{v}}"
      {% endfor %}
    ></script>
    {% endif %}
    <meta name="rustdoc-vars" {#+ #}
         data-root-path="{{page.root_path|safe}}" {#+ #}
         data-static-root-path="{{static_root_path|safe}}" {#+ #}
         data-current-crate="{{layout.krate}}" {#+ #}
         data-themes="{{themes|join(",") }}" {#+ #}
         data-resource-suffix="{{page.resource_suffix}}" {#+ #}
         data-rustdoc-version="{{rustdoc_version}}" {#+ #}
         data-channel="{{rust_channel}}" {#+ #}
         data-search-js="{{files.search_js}}" {#+ #}
         data-stringdex-js="{{files.stringdex_js}}" {#+ #}
         data-settings-js="{{files.settings_js}}" {#+ #}
    > {# #}
    <script src="{{static_root_path|safe}}{{files.storage_js}}"></script>
    {% if page.css_class.contains("crate") %}
    <script defer src="{{page.root_path|safe}}crates{{page.resource_suffix}}.js"></script>
    {% else if page.css_class == "src" %}
    <script defer src="{{static_root_path|safe}}{{files.src_script_js}}"></script> {# #}
    <script defer src="{{page.root_path|safe}}src-files{{page.resource_suffix}}.js"></script>
    {% else if !page.css_class.contains("mod") %}
    <script defer src="sidebar-items{{page.resource_suffix}}.js"></script>
    {% else if !page.css_class.contains("sys") %}
    <script defer src="../sidebar-items{{page.resource_suffix}}.js"></script>
    {% endif %}
    <script defer src="{{static_root_path|safe}}{{files.main_js}}"></script>
    {% if layout.scrape_examples_extension %}
    <script defer src="{{static_root_path|safe}}{{files.scrape_examples_js}}"></script>
    {% endif %}
    <noscript> {# #}
        <link rel="stylesheet" {#+ #}
           href="{{static_root_path|safe}}{{files.noscript_css}}"> {# #}
    </noscript>
    {% if layout.css_file_extension.is_some() %}
        <link rel="stylesheet" {#+ #}
            href="{{page.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}}{{files.rust_favicon_png_32}}"> {# #}
        <link rel="icon" type="image/svg+xml" {#+ #}
            href="{{static_root_path|safe}}{{files.rust_favicon_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 }}
    {% if page.css_class != "src" %}
    <rustdoc-topbar> {# #}
        <h2><a href="#">{{page.short_title}}</a></h2> {# #}
    </rustdoc-topbar>
    {% endif %}
    <nav class="sidebar">
        {% if page.css_class != "src" %}
        <div class="sidebar-crate">
            {% if !layout.logo.is_empty() || page.rust_logo %}
            <a class="logo-container" href="{{page.root_path|safe}}{{display_krate_with_trailing_slash|safe}}index.html">
                {% if page.rust_logo %}
                    <img class="rust-logo" src="{{static_root_path|safe}}{{files.rust_logo_svg}}" alt="logo">
                {% else if !layout.logo.is_empty() %}
                    <img src="{{layout.logo}}" alt="logo">
                {% endif %}
            </a>
            {% endif %}
            <h2> {# #}
                <a href="{{page.root_path|safe}}{{display_krate_with_trailing_slash|safe}}index.html">{{display_krate|wrapped|safe}}</a>
                {% if !display_krate_version_number.is_empty() %}
                    <span class="version">{{+ display_krate_version_number}}</span>
                {% endif %}
            </h2> {# #}
        </div>
        {% if !display_krate_version_extra.is_empty() %}
        <div class="version">{{+ display_krate_version_extra}}</div>
        {% endif %}
        {% else %}
        <div class="src-sidebar-title"> {# #}
            <h2>Files</h2> {# #}
        </div>
        {% endif %}
        {{ sidebar|safe }}
    </nav> {# #}
    <div class="sidebar-resizer" title="Drag to resize sidebar"></div> {# #}
    <main>
        {% if page.css_class != "src" %}<div class="width-limiter">{% endif %}
            <section id="main-content" class="content">{{ content|safe }}</section>
        {% if page.css_class != "src" %}</div>{% endif %}
    </main>
    {{ layout.external_html.after_content|safe }}
</body> {# #}
</html> {# #}