3 Commits

Author SHA1 Message Date
Rapptz
ac00fcad77 Flatten genindex to not group names.
Also better width in the tables.
2019-06-30 18:59:19 -04:00
Rapptz
ab00bc0686 Strip discord.ext in genindex page and unbreak PEP links. 2019-06-28 21:29:43 -04:00
Rapptz
acda808803 Make the generated index page more useful for Ctrl + F. 2019-06-28 21:04:43 -04:00