Adrian Vollmer e798b329a9 Copy missing functions to inject_pre.js ...

This should fix #6.

(Code duplication should be avoided though...)

2024-03-26 18:29:33 +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

Copy missing functions to inject_pre.js

2024-03-26 18:29:33 +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

Fix HTML entities inside style elements

2024-03-26 18:25:19 +01:00

pako.min.js

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

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