<commit_before><!--
  Copyright (c) 2016-2019 <NAME> <<EMAIL>>

  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 %}

<!-- Theme options -->
{% set feature = config.theme.feature %}
{% set palette = config.theme.palette %}
{% set font = config.theme.font %}

<!doctype html>
<html lang="{{ lang.t('language') }}" class="no-js">
  <head>

    <!-- 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 %}

      <!-- Redirect -->
      {% if page and page.meta and page.meta.redirect %}
        <script>
          var anchor = window.location.hash.substr(1)
          location.href = '{{ page.meta.redirect }}' +
            (anchor ? '#' + anchor : '')
        </script>

        <!-- no-js fallback -->
        <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 %}

      <!-- Localization -->
      {% for key in [
        "clipboard.copy",
        "clipboard.copied",
        "search.language",
        "search.pipeline.stopwords",
        "search.pipeline.trimmer",
        "search.result.none",
        "search.result.one",
        "search.result.other",
        "search.tokenizer"
      ] %}
        <meta name="lang:{{ key }}" content="{{ lang.t(key) }}" />
      {% endfor %}

      <!-- Favicon -->
      <link rel="shortcut icon"
          href="{{ config.theme.favicon | url }}">

      <!-- Generator banner -->
      <meta name="generator"
          content="mkdocs-{{ mkdocs_version }}, $md-name$-$md-version$" />
    {% endblock %}

    <!-- 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 %}

    <!-- Stylesheets -->
    {% block styles %}

      <!-- Theme-related stylesheets -->
      <link rel="stylesheet" type="text/css"
          href="{{ 'assets/stylesheets/application.css' | url }}" />

      <!-- Extra color palette -->
      {% if palette.primary or palette.accent %}
        <link rel="stylesheet" type="text/css"
            href="{{ 'assets/stylesheets/application-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 %}

    <!-- JavaScript libraries -->
    {% block libs %}
      <script src="{{ 'assets/javascripts/modernizr.js' | url }}"></script>
    {% endblock %}

    <!-- 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" />
        <style>
          body, input {
            font-family: "{{ font.text }}", "Helvetica Neue",
              Helvetica, Arial, sans-serif;
          }
          pre, code, kbd {
            font-family: "{{ font.code }}", "Courier New",
              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" type="application/manifest+json" href="{{ config.extra.manifest | url }}" crossorigin="use-credentials">
    {% endif %}

    <!-- Custom stylesheets -->
    {% for path in config["extra_css"] %}
      <link rel="stylesheet" type="text/css" href="{{ path | url }}" />
    {% endfor %}

    <!-- Analytic scripts -->
    {% block analytics %}
      {% if config.google_analytics %}
        {% include "partials/integrations/analytics.html" %}
      {% endif %}
    {% endblock %}

    <!-- Custom front matter -->
    {% block extrahead %}{% endblock %}
  </head>

  <!-- 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 %}
    <body dir="{{ lang.t('direction') }}">
  {% endif %}

    <!-- Hidden container for inline SVGs -->
    <svg class="md-svg">
      <defs>

        <!--
          Check whether the repository is hosted on one of the supported code
          hosting platforms (GitHub, GitLab or Bitbucket) to show icon.
        -->
        {% 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 %}
      </defs>
    </svg>

    <!--
      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" />

    <!-- Overlay for expanded drawer -->
    <label class="md-overlay" data-md-component="overlay" for="__drawer"></label>

    <!-- Render "skip to content" link -->
    {% if page.toc | first is defined %}
      <a href="{{ (page.toc | first).url }}" tabindex="1"
          class="md-skip">
        {{ lang.t('skip.link.title') }}
      </a>
    {% endif %}

    <!-- Application header -->
    {% block header %}
      {% include "partials/header.html" %}
    {% endblock %}

    <!-- Container, necessary for web-application context -->
    <div class="md-container">

      <!-- Hero teaser -->
      {% block hero %}
        {% if page and page.meta and page.meta.hero %}
          {% include "partials/hero.html" with context %}<commit_msg>Set `tabindex` to `0` for skip to content link (#1393)<commit_after><!--
  Copyright (c) 2016-2019 <NAME> <<EMAIL>>

  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 %}

<!-- Theme options -->
{% set feature = config.theme.feature %}
{% set palette = config.theme.palette %}
{% set font = config.theme.font %}

<!doctype html>
<html lang="{{ lang.t('language') }}" class="no-js">
  <head>

    <!-- 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 %}

      <!-- Redirect -->
      {% if page and page.meta and page.meta.redirect %}
        <script>
          var anchor = window.location.hash.substr(1)
          location.href = '{{ page.meta.redirect }}' +
            (anchor ? '#' + anchor : '')
        </script>

        <!-- no-js fallback -->
        <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 %}

      <!-- Localization -->
      {% for key in [
        "clipboard.copy",
        "clipboard.copied",
        "search.language",
        "search.pipeline.stopwords",
        "search.pipeline.trimmer",
        "search.result.none",
        "search.result.one",
        "search.result.other",
        "search.tokenizer"
      ] %}
        <meta name="lang:{{ key }}" content="{{ lang.t(key) }}" />
      {% endfor %}

      <!-- Favicon -->
      <link rel="shortcut icon"
          href="{{ config.theme.favicon | url }}">

      <!-- Generator banner -->
      <meta name="generator"
          content="mkdocs-{{ mkdocs_version }}, $md-name$-$md-version$" />
    {% endblock %}

    <!-- 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 %}

    <!-- Stylesheets -->
    {% block styles %}

      <!-- Theme-related stylesheets -->
      <link rel="stylesheet" type="text/css"
          href="{{ 'assets/stylesheets/application.css' | url }}" />

      <!-- Extra color palette -->
      {% if palette.primary or palette.accent %}
        <link rel="stylesheet" type="text/css"
            href="{{ 'assets/stylesheets/application-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 %}

    <!-- JavaScript libraries -->
    {% block libs %}
      <script src="{{ 'assets/javascripts/modernizr.js' | url }}"></script>
    {% endblock %}

    <!-- 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" />
        <style>
          body, input {
            font-family: "{{ font.text }}", "Helvetica Neue",
              Helvetica, Arial, sans-serif;
          }
          pre, code, kbd {
            font-family: "{{ font.code }}", "Courier New",
              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" type="application/manifest+json" href="{{ config.extra.manifest | url }}" crossorigin="use-credentials">
    {% endif %}

    <!-- Custom stylesheets -->
    {% for path in config["extra_css"] %}
      <link rel="stylesheet" type="text/css" href="{{ path | url }}" />
    {% endfor %}

    <!-- Analytic scripts -->
    {% block analytics %}
      {% if config.google_analytics %}
        {% include "partials/integrations/analytics.html" %}
      {% endif %}
    {% endblock %}

    <!-- Custom front matter -->
    {% block extrahead %}{% endblock %}
  </head>

  <!-- 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 %}
    <body dir="{{ lang.t('direction') }}">
  {% endif %}

    <!-- Hidden container for inline SVGs -->
    <svg class="md-svg">
      <defs>

        <!--
          Check whether the repository is hosted on one of the supported code
          hosting platforms (GitHub, GitLab or Bitbucket) to show icon.
        -->
        {% 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 %}
      </defs>
    </svg>

    <!--
      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" />

    <!-- Overlay for expanded drawer -->
    <label class="md-overlay" data-md-component="overlay" for="__drawer"></label>

    <!-- Render "skip to content" link -->
    {% if page.toc | first is defined %}
      <a href="{{ (page.toc | first).url }}" tabindex="0"
          class="md-skip">
        {{ lang.t('skip.link.title') }}
      </a>
    {% endif %}

    <!-- Application header -->
    {% block header %}
      {% include "partials/header.html" %}
    {% endblock %}

    <!-- Container, necessary for web-application context -->
    <div class="md-container">

      <!-- Hero teaser -->
      {% block hero %}
        {% if page and page.meta and page.meta.hero %}
          {% include "partials/hero.html" with context %}
{'fraction_non_alphanumeric': 0.1692027127144241, 'fraction_numerical': 0.003476377728386619, 'mean_word_length': 2.283682634730539, 'pattern_counts': {'":': 0, '<': 179, '<?xml version=': 0, '>': 179, 'https://': 4, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3655659', 'n_tokens_mistral': 5401, 'n_tokens_neox': 4878, 'n_words': 1377}