• file
• latest
• revisions
• annotate
• diff
• comparison
• raw

misc/katex-header.html@a848c2c5a2e4 (annotated)

misc/katex-header.html

Mon, 05 Dec 2022 23:50:22 +0200

author

Tuomo Valkonen <tuomov@iki.fi>

date

Mon, 05 Dec 2022 23:50:22 +0200

changeset 27

a848c2c5a2e4

parent 0

eb3c7813b67a

permissions

-rw-r--r--

Zenodo packaging hacks

0 eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	1	<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/katex.min.css" integrity="sha384-Xi8rHCmBmhbuyyhbI88391ZKP2dmfnOl4rT9ZfRI7mLTdk1wblIUnrIq35nqwEvC" crossorigin="anonymous">
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	2	<script defer src="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/katex.min.js" integrity="sha384-X/XCfMm41VSsqRNQgDerQczD69XqmjOOOwYQvr/uuC+j4OPoNhVgjdGFwhvN02Ja" crossorigin="anonymous"></script>
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	3	<script defer src="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/contrib/auto-render.min.js" integrity="sha384-+XBljXPPiv+OzfbB3cVmLHf4hdUFHlWNZN5spNQ7rmHTXpd7WvJum6fIACpNNfIR" crossorigin="anonymous" onload="renderMathInElement(document.body);"></script>
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	4	<script>
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	5	document.addEventListener("DOMContentLoaded", function() {
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	6	renderMathInElement(document.body, {
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	7	delimiters: [
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	8	{left: "$$", right: "$$", display: true},
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	9	{left: "\\(", right: "\\)", display: false},
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	10	{left: "$", right: "$", display: false},
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	11	{left: "\\[", right: "\\]", display: true}
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	12	]
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	13	});
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	14	});
eb3c7813b67a Initial version Tuomo Valkonen <tuomov@iki.fi> parents: diff changeset	15	</script>