35 Commits (master)

Author SHA1 Message Date
Rapptz acb0302403 Fix "to top" string not being exported in .pot files 3 years ago
Rapptz a106201ad3 Fix certain HTML and JS strings not being exposed to .pot files 3 years ago
Rapptz af311bff09 Change .pot files to only contain at most 5 context lines 3 years ago
Myst(MysterialPy) 68b0759637
Add sidebar search and support for search bar middle clicking 3 years ago
Rapptz 039bb9f871 Move documentation CSS after CSS block 4 years ago
Josh f78f135505
[matrix] Add scroll to top button 4 years ago
Rapptz c793737e64 Fix search not working on mobile 4 years ago
Rapptz b778171188 Fix 404 in search pages. 4 years ago
Rapptz 66ede7c5a0 Fix search highlighting not working 4 years ago
Josh 4b82785e10 [matrix] Hide hamburger menu on pages without sidebar 5 years ago
Rapptz 94cc151ebf Fix tooltips in settings and make strings translatable 5 years ago
Josh c2e5b734ad [matrix] Refactor JS & add searchbar to mobile. 5 years ago
Josh ffdddb0fe5 [matrix] Set theme to system preferred by default 5 years ago
Josh 0d58691561 Default to sans-serif font 5 years ago
Josh 29103c08ab [matrix] Display navbar links on mobile 5 years ago
Rapptz 407d7bee1a Switch icon set over to Material Icons intead of FontAwesome 5 years ago
Rapptz 1253a372d9 Various RTD related fixes. 5 years ago
Rapptz 33a4388e6e First pass at double header display 5 years ago
Josh B 16740623a3 Create settings icon for mobile 5 years ago
Jens Reidel e46a854463 [matrix] Search to top, icon 5 years ago
Rapptz 0e75a21a67 Add dark theme for codeblocks 5 years ago
Josh 9653ec5188 [matrix] Modal cleanup 5 years ago
Josh e7c6643730 [matrix] Dark Theme 5 years ago
Rapptz 385657179d Reverse the related links 5 years ago
Rapptz 7607d3628d Rewrite the DOM to use CSS grids 5 years ago
Josh c21919cee5 [matrix] Add sans-serif font toggle to settings modal 5 years ago
Josh 8be9ef38db [matrix] Create settings modal 5 years ago
Rapptz 4dcf4bc6f4 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