mirror of https://github.com/rust-lang/rust
129 lines
6.3 KiB
HTML
129 lines
6.3 KiB
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_regular}},{{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" crossorigin 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-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" %}
|
|
<nav class="mobile-topbar"> {# #}
|
|
<button class="sidebar-menu-toggle" title="show sidebar"></button> {# #}
|
|
{% 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=""> {# #}
|
|
{% else if !layout.logo.is_empty() %}
|
|
<img src="{{layout.logo}}" alt=""> {# #}
|
|
{% endif %}
|
|
</a> {# #}
|
|
{% endif %}
|
|
</nav>
|
|
{% 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}}</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"></div> {# #}
|
|
<main> {# #}
|
|
{% if page.css_class != "src" %}<div class="width-limiter">{% endif %}
|
|
{# defined in storage.js to avoid duplicating complex UI across every page #}
|
|
{# and because the search form only works if JS is enabled anyway #}
|
|
<rustdoc-search></rustdoc-search> {# #}
|
|
<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> {# #}
|