zadam 52cfd138d1 load force-graph from node_modules

2023-11-22 20:02:35 +01:00

..

app

load force-graph from node_modules

2023-11-22 20:02:35 +01:00

fonts

added missing font files #3933

2023-05-13 16:29:18 +02:00

stylesheets

refactored TOC and Highlights close buttons and added a button to quickly access options

2023-11-03 10:44:14 +01:00

manifest.webmanifest

Update manifest for wider compatibility

2023-11-01 12:30:01 -04:00

robots.txt

add allow robots.txt tag for /share

2022-03-22 21:02:32 +01:00