{#- Extend the Read the Docs theme with a link to the GitHub repository at the
    top of the sidebar, on every page: the repo name plus its live star and fork
    counts, instead of a "please star" button. The counts come from the public
    GitHub API; if that fails (offline, rate limit) only the name is shown. -#}
{% extends "!layout.html" %}

{% block menu %}
  <a class="repo-link"
     href="https://github.com/{{ github_user }}/{{ github_repo }}"
     target="_blank" rel="noopener noreferrer"
     title="Source code on GitHub">
    <svg class="repo-link__icon" aria-hidden="true" viewBox="0 0 16 16" width="22" height="22">
      <path fill="currentColor" fill-rule="evenodd" d="M8 0C3.58 0 0 3.58 0 8c0 3.54 2.29 6.53 5.47 7.59.4.07.55-.17.55-.38 0-.19-.01-.82-.01-1.49-2.01.37-2.53-.49-2.69-.94-.09-.23-.48-.94-.82-1.13-.28-.15-.68-.52-.01-.53.63-.01 1.08.58 1.23.82.72 1.21 1.87.87 2.33.66.07-.52.28-.87.51-1.07-1.78-.2-3.64-.89-3.64-3.95 0-.87.31-1.59.82-2.15-.08-.2-.36-1.02.08-2.12 0 0 .67-.21 2.2.82.64-.18 1.32-.27 2-.27.68 0 1.36.09 2 .27 1.53-1.04 2.2-.82 2.2-.82.44 1.1.16 1.92.08 2.12.51.56.82 1.27.82 2.15 0 3.07-1.87 3.75-3.65 3.95.29.25.54.73.54 1.48 0 1.07-.01 1.93-.01 2.2 0 .21.15.46.55.38A8.013 8.013 0 0016 8c0-4.42-3.58-8-8-8z"></path>
    </svg>
    <span class="repo-link__text">
      <span class="repo-link__name">{{ github_user }}/{{ github_repo }}</span>
      <span class="repo-link__stats" hidden>
        <span class="repo-link__stat" title="Stars">
          <svg aria-hidden="true" viewBox="0 0 16 16" width="12" height="12"><path fill="currentColor" d="M8 .25a.75.75 0 0 1 .673.418l1.882 3.815 4.21.612a.75.75 0 0 1 .416 1.279l-3.046 2.97.719 4.192a.751.751 0 0 1-1.088.791L8 12.347l-3.766 1.98a.75.75 0 0 1-1.088-.79l.72-4.194L.818 6.374a.75.75 0 0 1 .416-1.28l4.21-.611L7.327.668A.75.75 0 0 1 8 .25Z"></path></svg>
          <span data-repo-stars></span>
        </span>
        <span class="repo-link__stat" title="Forks">
          <svg aria-hidden="true" viewBox="0 0 16 16" width="12" height="12"><path fill="currentColor" d="M5 5.372v.878c0 .414.336.75.75.75h4.5a.75.75 0 0 0 .75-.75v-.878a2.25 2.25 0 1 1 1.5 0v.878a2.25 2.25 0 0 1-2.25 2.25h-1.5v2.128a2.251 2.251 0 1 1-1.5 0V8.5h-1.5A2.25 2.25 0 0 1 3.5 6.25v-.878a2.25 2.25 0 1 1 1.5 0ZM5 3.25a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Zm6.75.75a.75.75 0 1 0 0-1.5.75.75 0 0 0 0 1.5Zm-3 8.75a.75.75 0 1 0-1.5 0 .75.75 0 0 0 1.5 0Z"></path></svg>
          <span data-repo-forks></span>
        </span>
      </span>
    </span>
  </a>
  <script>
    (function () {
      var repo = "{{ github_user }}/{{ github_repo }}";
      var key = "repo-stats:" + repo;

      function show(data) {
        var stats = document.querySelector(".repo-link__stats");
        if (!stats || typeof data.stars !== "number") return;
        stats.querySelector("[data-repo-stars]").textContent = data.stars.toLocaleString();
        stats.querySelector("[data-repo-forks]").textContent = data.forks.toLocaleString();
        stats.hidden = false;
      }

      // Cache per browser session: GitHub allows 60 unauthenticated requests
      // an hour per IP, and every page view would otherwise spend one.
      try {
        var cached = sessionStorage.getItem(key);
        if (cached) { show(JSON.parse(cached)); return; }
      } catch (e) {}

      fetch("https://api.github.com/repos/" + repo)
        .then(function (response) { return response.ok ? response.json() : Promise.reject(); })
        .then(function (json) {
          var data = { stars: json.stargazers_count, forks: json.forks_count };
          try { sessionStorage.setItem(key, JSON.stringify(data)); } catch (e) {}
          show(data);
        })
        .catch(function () {});
    })();
  </script>
  {{ super() }}
{% endblock %}