Commit Graph
5 Commits
Author SHA1 Message Date
Rapptz c26797d808 Proper RTD detection. 2019-06-29 02:34:11 -04:00
Rapptz 1652539d40 Disable RTD search.
It's completely broken anyway.
2019-06-29 01:31:00 -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
Rapptz db3bc4076a Completely new theme separate from alabaster. 2017-05-15 01:22:00 -04:00