9 commits

Author	SHA1	Message	Date
Jacky Zhao	9c88d5967f	fix: don't show popovers on heading anchors	2023-12-03 09:22:16 -08:00
Jacky Zhao	7db2eda76c	run prettier	2023-07-22 17:27:41 -07:00
Jacky Zhao	e0ebee5aa9	various polish	2023-07-02 13:08:29 -07:00
Jacky Zhao	352075ae81	refactor plugins to be functions instead of classes	2023-06-11 23:26:43 -07:00
Jacky Zhao	b8c011410d	toc	2023-06-09 23:06:02 -07:00
Jacky Zhao	700036e84c	callouts	2023-06-05 22:14:17 -07:00
Jacky Zhao	9ad89997a5	multi-core builds	2023-06-04 12:35:45 -04:00
Jacky Zhao	fcd81353f8	heading linking	2023-06-01 19:48:38 -04:00
Jacky Zhao	ad6ce0d73f	plugin integration round 2	2023-05-30 08:02:20 -07:00