Francesco Tomaselli 9128fe46e3 Revert "fix: copy button position"		2025-04-01 12:06:34 +02:00
..
copy-code.js	Revert "fix: copy button position"	2025-04-01 12:06:34 +02:00
mermaid.js	make mermaid themes configurable	2025-02-21 08:57:59 +01:00
theme-switch.js	move inline JS to its own file	2025-02-20 20:59:17 +01:00