Jacky Zhao ce5df837f5 feat: latex in search results		2022-12-03 21:03:12 -08:00
..
callouts.js	Support Admonition callouts (#166) (closes #88)	2022-07-30 17:29:26 -07:00
clipboard.js	feat: edit the clipboard button to change border colour on success (#162)	2022-07-18 08:45:36 -07:00
code-title.js
darkmode.js
full-text-search.js	fix: jump to search for operand	2022-11-21 23:36:27 -08:00
graph.js	feat: better graph scaling (closes #170)	2022-08-05 11:04:01 -07:00
popover.js	feat: latex in search results	2022-12-03 21:03:12 -08:00
router.js
semantic-search.js	fix: jump to search for operand	2022-11-21 23:36:27 -08:00
util.js	feat: latex in search results	2022-12-03 21:03:12 -08:00