Josh
e6712d76d1
[matrix] Create settings modal
...
* Create settings modal
* Fix issue with spacing after settings button
* Fix issue with modal background on mobile devices
* Add close button to modal
* Add tooltip to close button
* Support closing modal with escape key
* Add missing semicolon to keydown event listener
2020-05-27 02:22:21 -04:00
Rapptz
04cec0ec10
Use actual viewport tag with initial-scale set to 1
2020-05-26 07:04:58 -04:00
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
