{% if page %}
<script>
  // Current page data
  var mkdocs_page_name = "{{ page.title }}";
  var mkdocs_page_input_path = "{{ page.url }}";
  var mkdocs_page_url = "{{ page.abs_url }}";

 // configure UI components
 window.grvConfig = window.grvConfig || {
      docVersions:  ["3.1", "3.2", "4.0", "4.1", "4.2", "4.3"],
      docCurrentVer:  "{{ config.extra.version }}"
    };
 </script>
{% endif %}

<script src="{{ path|url }}/src/prettify.js"></script>
<script src="{{ path|url }}/src/prettify-yaml.js"></script>
<script src="{{ path|url }}/src/docs.js"></script>
<script>var base_url = '{{ base_url }}';</script>

{% for path in config['extra_javascript'] %}
<script src="{{ path|url }}"></script>
{%- endfor %}

<script src="{{ path|url }}/src/third-party.js"></script>
<script async defer src="https://buttons.github.io/buttons.js"></script>