Adrian Vollmer 70d3a54215 Monkeypatch more functions used by Sphinx ...

This also monkeypatches `URLSearchParams.delete`
and `window.history`.

2024-02-18 21:08:07 +01:00

..

bootstrap.js

Remove redundant source url pragma

2022-10-18 14:03:56 +02:00

init.css

Fix setup cfg, rename directory, add 3rd party licenses

2022-10-05 12:17:14 +02:00

init.html

Fix setup cfg, rename directory, add 3rd party licenses

2022-10-05 12:17:14 +02:00

inject_post.js

Process DOM of virtual HTML file before rendering

2024-02-18 21:05:51 +01:00

inject_pre.js

Monkeypatch more functions used by Sphinx

2024-02-18 21:08:07 +01:00

LICENSE

Update inline LICENSE

2022-10-11 14:34:52 +02:00

main.js

Process DOM of virtual HTML file before rendering

2024-02-18 21:05:51 +01:00

pako.min.js

Fix setup cfg, rename directory, add 3rd party licenses

2022-10-05 12:17:14 +02:00