Maruan 9c8bd1a945 Correctly update medium-zoom background when switching theme (#332)		2021-07-05 14:18:41 -04:00
..
distillpub	Fix distill darkmode (#299)	2021-07-04 20:27:39 -04:00
common.js	Minor fixes of the dark mode + automatic equation numbering (#160)	2020-12-27 00:24:25 -05:00
dark_mode.js	Correctly update medium-zoom background when switching theme (#332)	2021-07-05 14:18:41 -04:00
mansory.js	Fix issues with loading scripts (#117)	2020-09-26 12:26:28 -04:00
theme.js	Correctly update medium-zoom background when switching theme (#332)	2021-07-05 14:18:41 -04:00
zoom.js	Correctly update medium-zoom background when switching theme (#332)	2021-07-05 14:18:41 -04:00