25 Commits (575435b4c95cea0ee272f063c3645c8985ecacc6)

Author SHA1 Message Date
Rapptz 575435b4c9 Fix tooltips in settings and make strings translatable 5 years ago
Josh 3ce7ab2fc4
[matrix] Refactor JS & add searchbar to mobile. 5 years ago
Josh 42498d26f7
[matrix] Set theme to system preferred by default 5 years ago
Josh b2b2d5ac96 Default to sans-serif font 5 years ago
Josh a53bf2660b
[matrix] Display navbar links on mobile 5 years ago
Rapptz 597af3a582 Switch icon set over to Material Icons intead of FontAwesome 5 years ago
Rapptz 8abd4e1357 Various RTD related fixes. 5 years ago
Rapptz 90596485a2 First pass at double header display 5 years ago
Josh B b78f6a310b Create settings icon for mobile 5 years ago
Jens Reidel f03ecdbc69
[matrix] Search to top, icon 5 years ago
Rapptz 742b14a705 Add dark theme for codeblocks 5 years ago
Josh dc545f570e
[matrix] Modal cleanup 5 years ago
Josh 24c9e7b5fc
[matrix] Dark Theme 5 years ago
Rapptz 439081081c Reverse the related links 5 years ago
Rapptz 4e9fdc6e4f Rewrite the DOM to use CSS grids 5 years ago
Josh 38a7cbb6a5
[matrix] Add sans-serif font toggle to settings modal 5 years ago
Josh e6712d76d1
[matrix] Create settings modal 5 years ago
Rapptz 04cec0ec10 Use actual viewport tag with initial-scale set to 1 5 years ago
Rapptz 4c917d10de Use the standard way of detecting RTD 6 years ago
Rapptz ac00fcad77 Flatten genindex to not group names. 6 years ago
Rapptz c26797d808 Proper RTD detection. 6 years ago
Rapptz 1652539d40 Disable RTD search. 6 years ago
Rapptz ab00bc0686 Strip discord.ext in genindex page and unbreak PEP links. 6 years ago
Rapptz acda808803 Make the generated index page more useful for Ctrl + F. 6 years ago
Rapptz db3bc4076a Completely new theme separate from alabaster. 8 years ago