Sören Weber 34db6f0dd7 children: only set anchors on headings if they contain an id #1015		2025-02-11 17:22:27 +01:00
..
d3	mermaid: remove jQuery #452	2023-02-04 01:54:13 +01:00
lunr	search: apply dependency scripts for Hindi and Japanese #427	2022-12-30 01:09:07 +01:00
mathjax	math: update MathJax to 3.2.2 #880	2024-08-02 11:12:12 +02:00
swagger-ui	openapi: update swagger-ui to 5.17.14 #879	2024-08-02 11:01:23 +02:00
auto-complete.js	theme: end support for Internet Explorer 11 #584	2024-04-18 23:32:19 +02:00
clipboard.min.js	task: update clipboard.js to 2.0.11 #983	2025-01-01 21:57:44 +01:00
js-yaml.min.js	feat: use yaml instead of directive for new mermaid diagram types	2023-07-28 21:13:56 +02:00
mermaid.min.js	mermaid: update to 11.4.1 #951	2024-11-27 19:24:09 +01:00
perfect-scrollbar.min.js	scrollbar: another day, another try #808	2024-04-02 20:31:53 +02:00
search.js	theme: fix flash of non-default variant, part I #757	2024-12-06 07:38:05 +01:00
theme.js	children: only set anchors on headings if they contain an id #1015	2025-02-11 17:22:27 +01:00
variant.js	logo: make header color configurable #1012	2025-02-11 08:01:45 +01:00