John Factotum 3c05d0a957 Reader: add footnote popovers ...

Lacks a "go to" button, but at least shows something instead of nothing

2022-10-21 18:57:26 +00:00

..

menu.js

Reader: add layout option

2022-10-21 09:53:00 +00:00

popover.js

Reader: add footnote popovers

2022-10-21 18:57:26 +00:00

tree.js

Reader: add sidebar and TOC

2022-10-20 12:50:37 +00:00