ar.falsy.cat/assets/js
2022-06-01 13:49:27 +01:00
..
darkmode.js Move css and js to appropriate files 2022-03-04 02:07:51 +00:00
graph.js Improve graph display, options and ability to have a global graph on the home page, local graphs on subpage. 2022-06-01 13:49:27 +01:00
popover.js fix inline link highlighting, safer latex render 2022-05-05 21:11:23 -04:00
router.js Bump to 1.9.6 2022-05-27 16:14:17 -07:00
search.js Add prefetch to graph 2022-05-27 08:40:00 -07:00