CSS is broken on standard library documentation

coq / coq.github.io

Source files of the coq.inria.fr website

https://coq.inria.fr/

Other

15 stars 37 forks source link

Closed cryslith closed 9 months ago

cryslith commented 9 months ago

For instance https://coq.inria.fr/doc/V8.17.1/stdlib/ has no CSS because all of the CSS files return 404s.