Aiden Bai 683cb53cbd

Bump million to 1.9.5

2022-05-27 13:19:19 -07:00

..

darkmode.js

Move css and js to appropriate files

2022-03-04 02:07:51 +00:00

graph.js

Add prefetch to graph

2022-05-27 08:40:00 -07:00

popover.js

fix inline link highlighting, safer latex render

2022-05-05 21:11:23 -04:00

router.js

Bump million to 1.9.5

2022-05-27 13:19:19 -07:00

search.js

Add prefetch to graph

2022-05-27 08:40:00 -07:00