Sören Weber 7ee2023bff print: make it nice #822 ... now the user can use <mark> aswell as the theme, when marking search results in the page; to only print users <mark> with color, we had to adjust the serach highlighting		2024-04-05 00:22:12 +02: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: add mathjax rendering #235	2022-07-02 14:00:23 +02:00
swagger-ui	openapi: update swagger-ui to 5.11.10 #798	2024-03-11 22:04:43 +01:00
auto-complete.js	a11y: improve search box #821	2024-04-04 17:49:28 +02:00
clipboard.min.js	theme: remove typos and superflous whitespace	2021-08-23 23:51:52 +02: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 10.9.0 #797	2024-03-11 21:56:35 +01:00
perfect-scrollbar.min.js	scrollbar: another day, another try #808	2024-04-02 20:31:53 +02:00
search.js	a11y: improve search box #821	2024-04-04 17:49:28 +02:00
theme.js	print: make it nice #822	2024-04-05 00:22:12 +02:00
url.js	#search: IE11 compatibility #386	2022-11-18 09:02:39 +01:00
variant.js	[theme] rename baseUriFull to absBaseUri #813	2024-03-18 21:58:26 +01:00