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
Crowdin did not like having many comments which caused the upload to
fail.
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.
Fix #6210
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
* Search bar to top, magnifying glass
* Remove old file
* Remove empty style directive
5 years ago
Rapptz
0e75a21a67
Add dark theme for codeblocks
5 years ago
Josh
9653ec5188
[matrix] Modal cleanup
* General modal cleanup
* Remove second scrollbar caused by modal
5 years ago
Josh
e7c6643730
[matrix] Dark Theme
* Apply width restructions to modals and images
* Dark theme 2.0
* Add webkit scrollbar
* Use Object.keys instead of Object.entries where applicable
5 years ago
Rapptz
385657179d
Reverse the related links
5 years ago
Rapptz
7607d3628d
Rewrite the DOM to use CSS grids
This also rewrites the CSS to use CSS variables. Currently this isn't
done to codeblocks however.
5 years ago
Josh
c21919cee5
[matrix] Add sans-serif font toggle to settings modal
* Add sans serif font toggle
* remove unnecessary boolean comparison from setFont
Co-authored-by: slice <[email protected] >
* Update checkbox title
Co-authored-by: slice <[email protected] >
* General cleanup of settings system
* Apply overflow hidden to modal
Co-authored-by: slice <[email protected] >
5 years ago
Josh
8be9ef38db
[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
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.
Also better width in the tables.
6 years ago
Rapptz
c26797d808
Proper RTD detection.
6 years ago
Rapptz
1652539d40
Disable RTD search.
It's completely broken anyway.
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