John Factotum 4def05e741 Reader: fix popover arrow when space is limited ...

Also make the arrow aria-hidden

2022-10-22 10:14:13 +00:00

..

menu.js

Reader: add layout option

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

popover.js

Reader: fix popover arrow when space is limited

2022-10-22 10:14:13 +00:00

tree.js

Reader: add sidebar and TOC

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