Jacky Zhao e374e3abd4 fix: jump to search for operand

2022-11-21 23:36:27 -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

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

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

Decode the heading id from split link (#214)

2022-10-12 08:21:28 -07:00

router.js

Fix width: auto for SPA routing (#156)

2022-07-02 19:40:18 -07:00

semantic-search.js

fix: jump to search for operand

2022-11-21 23:36:27 -08:00

util.js

fix: jump to search for operand

2022-11-21 23:36:27 -08:00