genindex.html

{%- extends "basic/genindex.html" %}

{% block body %}
  {{ super() }}
  <!-- Inject some JavaScript to convert the index names into something useful. -->
  <script>
    let elements = document.querySelectorAll("table.indextable a");

    // this is pretty finicky but it should work.
    for(let el of elements) {
      let key = el.getAttribute('href').split('#', 2)[1]
      if(!key.startsWith('discord.')) {
        continue;
      }

      if(key.startsWith('discord.ext.')) {
        key = key.substr(12); // discord.ext.
      }

      if(el.textContent.indexOf('()') !== -1) {
        key = key + '()'
      }
      el.textContent = key;
    }
    document.querySelectorAll("td").forEach(el => el.style.width = 'auto');
  </script>
{% endblock %}

<!--this stuff uses a couple of themes copy pasted from Rapptz -->