Rapptz
|
4c917d10de
|
Use the standard way of detecting RTD
|
2019-07-01 00:37:35 -04:00 |
|
Rapptz
|
ac00fcad77
|
Flatten genindex to not group names.
Also better width in the tables.
|
2019-06-30 18:59:19 -04:00 |
|
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 |
|