11 Commits

Author	SHA1	Message	Date
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.	2020-12-18 21:18:51 -05:00
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 <ryaneft@gmail.com> * Update checkbox title Co-authored-by: slice <ryaneft@gmail.com> * General cleanup of settings system * Apply overflow hidden to modal Co-authored-by: slice <ryaneft@gmail.com>	2020-12-18 21:18:50 -05:00
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	2020-12-18 21:18:50 -05:00
Rapptz	4dcf4bc6f4	Use actual viewport tag with initial-scale set to 1	2020-12-18 21:18:50 -05: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