teleport/docs/theme/scripts.html

{% 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:  ["1.3", "2.0", "2.3", "2.4", "2.5", "2.7", "3.0", "3.1", "3.2", "4.0", "4.1", "4.2"],
      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>