Maruan 17329fca3a Fix distill dark mode again (#517)		2021-12-31 11:47:19 -05:00
..
distillpub	Fix distill dark mode again (#517)	2021-12-31 11:47:19 -05:00
common.js	Minor fixes of the dark mode + automatic equation numbering (#160)	2020-12-27 00:24:25 -05:00
dark_mode.js	Remove theming dependence on jquery	2021-10-30 19:53:39 -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