Description
Hi, I'm trying to set up jsCoq to produce a static website based on a Coq development. I'm following the instructions at https://github.com/jscoq/jscoq/blob/v8.17%2Blsp/docs/embedding.md. Running npm i jscoq grabs jscoq@0.17.1. When I get to here
And you have installed jsCoq in your project! You will find it under
node_modules/jscoq.
This directory exists. However,
To test your new setup, serve your project root directory over HTTP(S), and navigate to
node_modules/jscoq/index.html.
When serve up the root using python -m http.server (CPython 3.11.6) and navigate to localhost:8000/node_modules/jscoq/index.html, this path exists, but the page is missing styling.
Screenshot of node_modules/jscoq/index.html at 0.17.1
Here is the network tab from devtools
On the other hand, if I explicitly install jscoq@0.16 and follow the same instructions, that page loads correctly.
Screenshot of node_modules/jscoq/index.html at 0.16
And the loaded resources are much longer
Have I misunderstood something in the embedding.md instructions? For now, 0.16 seems to be working fine, so I can just stick with that if there's no obvious PEBKAC.