Pranav M 954ec4e9ea Edited the clipboard functionality to change border color on success. [Quality-of-life edit]		2022-07-15 07:52:07 -04:00
..
clipboard.js	Edited the clipboard functionality to change border color on success. [Quality-of-life edit]	2022-07-15 07:52:07 -04:00
code-title.js	Added optional rendering of code block titles (#148)	2022-07-01 11:03:52 -07:00
darkmode.js	Copy to clipboard feature for code block (#152)	2022-07-03 11:42:35 -07:00
graph.js	minor adjustment	2022-06-06 16:48:16 +01:00
popover.js	feat: css refactor for easy font change	2022-07-13 23:37:54 -07:00
router.js	Fix width: auto for SPA routing (#156)	2022-07-02 19:40:18 -07:00
search.js	Prerender latex	2022-05-29 20:40:44 -07:00