constants.js
|
MathJax v3 tex-svg.js (#1333)
|
2023-02-12 18:21:19 +01:00 |
file-guard.js
|
Just code style (JS)
|
2021-02-17 07:01:08 +01:00 |
manipulate-dom.js
|
Check HTML filter improved
|
2022-07-10 07:10:26 +02:00 |
mappings.js
|
Mapping jsdelivr.net -> docsearch.js (#1416)
|
2023-05-09 06:05:18 +02:00 |
messenger.js
|
Toggle button for Google Fonts (#620)
|
2021-08-13 06:15:10 +02:00 |
resources.js
|
Removed: findify (#1283)
|
2023-01-05 18:12:11 +01:00 |
state-manager.js
|
HTML filter active by default (#1249)
|
2022-12-13 06:08:31 +01:00 |