mkdocs-material/src/base.html

448 lines
15 KiB
HTML
Raw Normal View History

2016-08-07 19:01:56 +03:00
<!--
2019-01-01 20:42:00 +03:00
Copyright (c) 2016-2019 Martin Donath <martin.donath@squidfunk.com>
2016-08-07 19:01:56 +03:00
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to
deal in the Software without restriction, including without limitation the
rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
sell copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in
all copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
IN THE SOFTWARE.
-->
{% import "partials/language.html" as lang with context %}
2017-01-06 21:18:17 +03:00
2017-10-31 19:03:42 +03:00
<!-- Theme options -->
{% set feature = config.theme.feature %}
{% set palette = config.theme.palette %}
{% set font = config.theme.font %}
2017-10-31 19:03:42 +03:00
<!doctype html>
<html lang="{{ lang.t('language') }}" class="no-js">
2016-01-29 01:27:15 +03:00
<head>
2017-09-01 11:07:29 +03:00
<!-- Metatags -->
{% block site_meta %}
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<!-- Keep for compatibility, see http://bit.ly/2tMB6ag -->
<meta http-equiv="x-ua-compatible" content="ie=edge" />
<!-- Page description -->
{% if page and page.meta and page.meta.description %}
<meta name="description" content="{{ page.meta.description }}" />
{% elif config.site_description %}
<meta name="description" content="{{ config.site_description }}" />
{% endif %}
2018-12-28 17:09:11 +03:00
<!-- Redirect -->
{% if page and page.meta and page.meta.redirect %}
2018-12-28 17:09:11 +03:00
<script>
var anchor = window.location.hash.substr(1)
location.href = '{{ page.meta.redirect }}' +
(anchor ? '#' + anchor : '')
</script>
2019-11-26 12:36:04 +03:00
<!-- Fallback in case JavaScript is not available -->
2018-12-28 17:09:11 +03:00
<meta http-equiv="refresh" content="0; url={{ page.meta.redirect }}" />
<meta name="robots" content="noindex" />
<link rel="canonical" href="{{ page.meta.redirect }}" />
<!-- Canonical -->
{% elif page.canonical_url %}
<link rel="canonical" href="{{ page.canonical_url }}" />
{% endif %}
<!-- Page author -->
{% if page and page.meta and page.meta.author %}
<meta name="author" content="{{ page.meta.author | first }}" />
{% elif config.site_author %}
<meta name="author" content="{{ config.site_author }}" />
{% endif %}
<!-- Favicon -->
<link rel="shortcut icon" href="{{ config.theme.favicon | url }}">
<!-- Generator banner -->
<meta
name="generator"
content="mkdocs-{{ mkdocs_version }}, $md-name$-$md-version$"
/>
{% endblock %}
2017-09-01 11:07:29 +03:00
<!-- Site title -->
{% block htmltitle %}
{% if page and page.meta and page.meta.title %}
<title>{{ page.meta.title }}</title>
{% elif page and page.title and not page.is_homepage %}
<title>{{ page.title | striptags }} - {{ config.site_name }}</title>
{% else %}
<title>{{ config.site_name }}</title>
{% endif %}
{% endblock %}
2019-11-26 12:36:04 +03:00
<!-- Theme-related stylesheets -->
{% block styles %}
<link
rel="stylesheet"
type="text/css"
href="{{ 'assets/stylesheets/app.css' | url }}"
/>
2017-02-10 18:43:32 +03:00
<!-- Extra color palette -->
{% if palette.primary or palette.accent %}
<link
rel="stylesheet"
type="text/css"
href="{{ 'assets/stylesheets/app-palette.css' | url }}"
/>
{% endif %}
<!-- Theme-color meta tag for Android -->
{% if palette.primary %}
{% import "partials/palette.html" as map %}
{% set primary = map.primary(
palette.primary | replace(" ", "-") | lower
) %}
<meta name="theme-color" content="{{ primary }}" />
{% endif %}
{% endblock %}
2017-02-10 18:43:32 +03:00
2017-11-01 20:25:08 +03:00
<!-- JavaScript libraries -->
2019-09-28 21:39:07 +03:00
{% block libs %}{% endblock %}
2017-11-01 20:25:08 +03:00
2017-09-01 11:07:29 +03:00
<!-- Webfonts -->
{% block fonts %}
<!-- Load fonts from Google -->
{% if font != false %}
<link href="https://fonts.gstatic.com" rel="preconnect" crossorigin />
<link
rel="stylesheet"
type="text/css"
href="https://fonts.googleapis.com/css?family={{
font.text | replace(' ', '+') + ':300,400,400i,700%7C' +
font.code | replace(' ', '+')
}}&display=fallback"
/>
2017-01-13 02:31:37 +03:00
<style>
body, input {
2017-10-31 20:21:09 +03:00
font-family: "{{ font.text }}", "Helvetica Neue",
2017-01-13 02:31:37 +03:00
Helvetica, Arial, sans-serif;
}
pre, code, kbd {
2017-10-31 20:21:09 +03:00
font-family: "{{ font.code }}", "Courier New",
2017-01-13 02:31:37 +03:00
Courier, monospace;
}
</style>
{% endif %}
{% endblock %}
<!-- Material icons as iconset -->
<link
rel="stylesheet"
type="text/css"
href="{{ 'assets/fonts/material-icons.css' | url }}"
/>
<!-- Progressive Web App Manifest -->
{% if config.extra.manifest %}
<link rel="manifest" href="{{ config.extra.manifest | url }}">
{% endif %}
2017-02-10 18:43:32 +03:00
<!-- Custom stylesheets -->
{% for path in config["extra_css"] %}
2018-08-04 20:53:13 +03:00
<link rel="stylesheet" type="text/css" href="{{ path | url }}" />
{% endfor %}
2019-11-26 12:36:04 +03:00
<!-- Analytics -->
{% block analytics %}
{% if config.google_analytics %}
{% include "partials/integrations/analytics.html" %}
{% endif %}
{% endblock %}
2019-01-28 13:18:22 +03:00
2017-09-01 11:07:29 +03:00
<!-- Custom front matter -->
{% block extrahead %}{% endblock %}
2016-01-29 01:27:15 +03:00
</head>
2016-12-17 14:53:24 +03:00
<!-- Text direction and color palette, if defined -->
{% if palette.primary or palette.accent %}
{% set primary = palette.primary | replace(" ", "-") | lower %}
{% set accent = palette.accent | replace(" ", "-") | lower %}
<body
dir="{{ lang.t('direction') }}"
data-md-color-primary="{{ primary }}"
data-md-color-accent="{{ accent }}"
>
{% else %}
2018-02-02 00:57:00 +03:00
<body dir="{{ lang.t('direction') }}">
{% endif %}
2016-01-29 01:27:15 +03:00
2017-01-13 02:31:37 +03:00
<!-- Hidden container for inline SVGs -->
<svg class="md-svg">
<defs>
<!--
Check whether the repository is hosted on one of the supported code
2018-02-02 02:25:24 +03:00
hosting platforms (GitHub, GitLab or Bitbucket) to show icon.
2017-01-13 02:31:37 +03:00
-->
{% set platform = config.extra.repo_icon or config.repo_url %}
{% if "github" in platform %}
{% include "assets/images/icons/github.svg" %}
{% elif "gitlab" in platform %}
{% include "assets/images/icons/gitlab.svg" %}
{% elif "bitbucket" in platform %}
{% include "assets/images/icons/bitbucket.svg" %}
{% endif %}
2017-01-13 02:31:37 +03:00
</defs>
</svg>
2016-12-28 16:47:53 +03:00
<!--
State toggles - we need to set autocomplete="off" in order to reset the
drawer on back button invocation in some browsers
-->
<input
class="md-toggle"
data-md-toggle="drawer"
type="checkbox"
id="__drawer"
autocomplete="off"
/>
<input
class="md-toggle"
data-md-toggle="search"
type="checkbox"
id="__search"
autocomplete="off"
/>
2016-01-29 01:27:15 +03:00
<!-- Overlay for expanded drawer -->
2019-12-22 19:30:55 +03:00
<label class="md-overlay" for="__drawer"></label>
2016-01-29 01:27:15 +03:00
2019-11-26 12:36:04 +03:00
<!-- Link to skip to content -->
{% if page.toc | first is defined %}
<a href="{{ (page.toc | first).url }}" tabindex="1" class="md-skip">
2018-01-18 23:19:10 +03:00
{{ lang.t('skip.link.title') }}
</a>
{% endif %}
2018-01-18 23:19:10 +03:00
2016-08-07 19:01:56 +03:00
<!-- Application header -->
{% block header %}
{% include "partials/header.html" %}
{% endblock %}
2016-01-29 01:27:15 +03:00
2016-08-07 19:01:56 +03:00
<!-- Container, necessary for web-application context -->
2019-11-22 19:53:12 +03:00
<div class="md-container" data-md-component="container">
2017-11-22 02:13:56 +03:00
<!-- Hero teaser -->
{% block hero %}
{% if page and page.meta and page.meta.hero %}
{% include "partials/hero.html" with context %}
{% endif %}
{% endblock %}
2017-11-22 02:13:56 +03:00
<!-- Tabs with outline -->
{% if feature.tabs %}
{% include "partials/tabs.html" %}
{% endif %}
2019-11-26 12:36:04 +03:00
<!-- Main area -->
<main class="md-main" data-md-component="main">
<div class="md-main__inner md-grid">
2016-01-29 01:27:15 +03:00
2017-09-01 11:07:29 +03:00
<!-- Navigation -->
{% block site_nav %}
<!-- Main navigation -->
{% if nav %}
<div
class="md-sidebar md-sidebar--primary"
data-md-component="navigation"
>
<div class="md-sidebar__scrollwrap">
<div class="md-sidebar__inner">
{% include "partials/nav.html" %}
</div>
2016-09-23 12:56:25 +03:00
</div>
</div>
{% endif %}
<!-- Table of contents -->
{% if page.toc %}
<div
class="md-sidebar md-sidebar--secondary"
data-md-component="toc"
>
<div class="md-sidebar__scrollwrap">
<div class="md-sidebar__inner">
{% include "partials/toc.html" %}
</div>
2016-09-23 12:56:25 +03:00
</div>
</div>
{% endif %}
{% endblock %}
2016-01-29 01:27:15 +03:00
2016-08-07 19:01:56 +03:00
<!-- Article -->
2016-09-23 21:26:27 +03:00
<div class="md-content">
<article class="md-content__inner md-typeset">
2017-09-01 11:07:29 +03:00
<!-- Content -->
{% block content %}
2017-03-01 17:43:49 +03:00
<!-- Edit button, if URL was defined -->
{% if page.edit_url %}
<a
href="{{ page.edit_url }}"
title="{{ lang.t('edit.link.title') }}"
class="md-icon md-content__icon"
>&#xE3C9;<!-- edit --></a>
{% endif %}
2017-03-01 17:43:49 +03:00
<!--
Hack: check whether the content contains a h1 headline. If it
doesn't, the page title (or respectively site name) is used
as the main headline.
-->
{% if not "\x3ch1" in page.content %}
<h1>{{ page.title | default(config.site_name, true)}}</h1>
{% endif %}
2016-09-23 12:56:25 +03:00
<!-- Content -->
{{ page.content }}
<!-- Source files -->
{% block source %}
{% if page and page.meta and page.meta.source %}
<h2 id="__source">{{ lang.t("meta.source") }}</h2>
{% set repo = config.repo_url %}
{% if repo | last == "/" %}
{% set repo = repo[:-1] %}
{% endif %}
{% set path = page.meta.path | default([""]) %}
{% set file = page.meta.source %}
<a
href="{{ [repo, path, file] | join('/') }}"
title="{{ file }}"
class="md-source-file"
>
{{ file }}
</a>
{% endif %}
{% endblock %}
<!-- Support for mkdocs-git-revision-date-localized-plugin -->
{% if page and page.meta and (
page.meta.git_revision_date_localized or
page.meta.revision_date
) %}
{% set label = lang.t("source.revision.date") %}
<hr />
<div class="md-source-date">
<small>
<!-- mkdocs-git-revision-date-localized-plugin -->
{% if page.meta.git_revision_date_localized %}
{{ label }}: {{ page.meta.git_revision_date_localized }}
<!-- mkdocs-git-revision-date-plugin -->
{% elif page.meta.revision_date %}
{{ label }}: {{ page.meta.revision_date }}
{% endif %}
</small>
</div>
{% endif %}
{% endblock %}
2017-02-25 00:53:12 +03:00
<!-- Disqus integration -->
{% block disqus %}
{% include "partials/integrations/disqus.html" %}
{% endblock %}
2016-08-07 19:01:56 +03:00
</article>
2016-01-29 01:27:15 +03:00
</div>
</div>
2016-08-07 19:01:56 +03:00
</main>
<!-- Application footer -->
{% block footer %}
{% include "partials/footer.html" %}
{% endblock %}
2016-08-07 19:01:56 +03:00
</div>
2016-01-29 01:27:15 +03:00
2017-09-01 11:07:29 +03:00
<!-- Theme-related JavaScript -->
{% block scripts %}
<script src="{{ 'assets/javascripts/bundle.js' | url }}"></script>
2017-06-01 01:40:10 +03:00
<!-- Load additional languages for search -->
{% if lang.t("search.language") != "en" %}
{% set languages = lang.t("search.language").split(",") %}
{% if languages | length and languages[0] != "" %}
{% set path = "assets/javascripts/lunr/" %}
2018-08-06 10:37:43 +03:00
<script src="{{ (path ~ 'lunr.stemmer.support.js') | url }}"></script>
{% for language in languages | map("trim") %}
{% if language != "en" %}
{% if language == "ja" %}
2018-08-06 10:37:43 +03:00
<script src="{{ (path ~ 'tinyseg.js') | url }}"></script>
{% endif %}
{% if language in ($md-lunr-languages$) %}
2018-08-06 10:37:43 +03:00
<script src="{{ (path ~ 'lunr.' ~ language ~ '.js') | url }}">
2018-08-04 20:53:13 +03:00
</script>
{% endif %}
{% endif %}
{% endfor %}
{% if languages | length > 1 %}
2018-08-06 10:37:43 +03:00
<script src="{{ (path ~ 'lunr.multi.js') | url }}"></script>
{% endif %}
{% endif %}
{% endif %}
2017-06-01 01:40:10 +03:00
<!-- Translations -->
<script id="__lang" type="application/json">
2019-11-26 12:19:10 +03:00
{%- set translations = {} -%}
{%- for key in [
"clipboard.copy",
"clipboard.copied",
"search.language",
"search.pipeline.stopwords",
"search.pipeline.trimmer",
"search.result.placeholder",
2019-11-26 12:19:10 +03:00
"search.result.none",
"search.result.one",
"search.result.other",
"search.tokenizer"
] -%}
{%- set _ = translations.update({ key: lang.t(key) }) -%}
{%- endfor -%}
{{ translations | tojson }}
</script>
2019-11-26 12:36:04 +03:00
<!-- Application initialization -->
<script>
2019-11-27 21:12:49 +03:00
app = initialize({
base: "{{ base_url }}",
worker: {
2019-12-22 19:18:20 +03:00
search: "{{ 'assets/javascripts/worker/search.js' | url }}",
packer: "{{ 'assets/javascripts/worker/packer.js' | url }}"
}
2017-10-22 22:22:25 +03:00
});
</script>
2019-11-26 12:36:04 +03:00
<!-- Custom JavaScript -->
{% for path in config["extra_javascript"] %}
2018-08-04 20:53:13 +03:00
<script src="{{ path | url }}"></script>
{% endfor %}
{% endblock %}
2016-01-29 01:27:15 +03:00
</body>
2016-09-23 12:56:25 +03:00
</html>