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