Skip to content

Commit 8c89c5a

Browse files
authored
Merge pull request #16 from LFDT-Lockness/fix-double-header
Try to fix double-header issue
2 parents a7e3770 + d8d34ef commit 8c89c5a

File tree

2 files changed

+32
-44
lines changed

2 files changed

+32
-44
lines changed

Cargo.lock

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

katex-header.html

Lines changed: 31 additions & 43 deletions
Original file line numberDiff line numberDiff line change
@@ -1,50 +1,38 @@
1-
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN">
2-
3-
<html>
4-
<head>
5-
<link rel="stylesheet" href=
6-
"https://cdn.jsdelivr.net/npm/katex@0.13.13/dist/katex.min.css"
7-
integrity=
8-
"sha384-RZU/ijkSsFbcmivfdRBQDtwuwVqK7GMOw6IMvKyeWL2K5UAlyp6WonmB8m7Jd0Hn"
1+
<link rel="stylesheet"
2+
href="https://cdn.jsdelivr.net/npm/katex@0.13.13/dist/katex.min.css"
3+
integrity="sha384-RZU/ijkSsFbcmivfdRBQDtwuwVqK7GMOw6IMvKyeWL2K5UAlyp6WonmB8m7Jd0Hn"
94
crossorigin="anonymous" type="text/css">
10-
<script defer src=
11-
"https://cdn.jsdelivr.net/npm/katex@0.13.13/dist/katex.min.js"
12-
integrity=
13-
"sha384-pK1WpvzWVBQiP0/GjnvRxV4mOb0oxFuyRxJlk6vVw146n3egcN5C925NCP7a7BY8"
5+
<script defer
6+
src="https://cdn.jsdelivr.net/npm/katex@0.13.13/dist/katex.min.js"
7+
integrity="sha384-pK1WpvzWVBQiP0/GjnvRxV4mOb0oxFuyRxJlk6vVw146n3egcN5C925NCP7a7BY8"
148
crossorigin="anonymous" type="text/javascript">
159
</script>
16-
<script defer src=
17-
"https://cdn.jsdelivr.net/npm/katex@0.13.13/dist/contrib/auto-render.min.js"
18-
integrity=
19-
"sha384-vZTG03m+2yp6N6BNi5iM4rW4oIwk5DfcNdFfxkk9ZWpDriOkXX8voJBFrAO7MpVl"
10+
<script defer
11+
src="https://cdn.jsdelivr.net/npm/katex@0.13.13/dist/contrib/auto-render.min.js"
12+
integrity="sha384-vZTG03m+2yp6N6BNi5iM4rW4oIwk5DfcNdFfxkk9ZWpDriOkXX8voJBFrAO7MpVl"
2013
crossorigin="anonymous" type="text/javascript">
2114
</script>
22-
<script type="text/javascript">
23-
document.addEventListener("DOMContentLoaded", function() {
24-
renderMathInElement(document.body, {
25-
delimiters: [
26-
{left: "$$", right: "$$", display: true},
27-
{left: "\\(", right: "\\)", display: false},
28-
{left: "$", right: "$", display: false},
29-
{left: "\\[", right: "\\]", display: true}
30-
],
31-
macros: {
32-
"\\Zq": "\\mathbb{Z}_q",
33-
"\\G": "\\mathbb{G}",
34-
"\\T": "\\mathbb{T}",
35-
"\\O": "\\mathcal{O}",
36-
"\\P": "\\mathcal{P}",
37-
"\\V": "\\mathcal{V}",
38-
"\\H": "\\mathcal{H}",
39-
"\\?": "\\stackrel{?}{=}",
40-
},
41-
});
42-
});
43-
</script>
4415

45-
<title></title>
46-
</head>
16+
<script type="text/javascript">
17+
document.addEventListener("DOMContentLoaded", function() {
18+
renderMathInElement(document.body, {
19+
delimiters: [
20+
{left: "$$", right: "$$", display: true},
21+
{left: "\\(", right: "\\)", display: false},
22+
{left: "$", right: "$", display: false},
23+
{left: "\\[", right: "\\]", display: true}
24+
],
25+
macros: {
26+
"\\Zq": "\\mathbb{Z}_q",
27+
"\\G": "\\mathbb{G}",
28+
"\\T": "\\mathbb{T}",
29+
"\\O": "\\mathcal{O}",
30+
"\\P": "\\mathcal{P}",
31+
"\\V": "\\mathcal{V}",
32+
"\\H": "\\mathcal{H}",
33+
"\\?": "\\stackrel{?}{=}",
34+
},
35+
});
36+
});
37+
</script>
4738

48-
<body>
49-
</body>
50-
</html>

0 commit comments

Comments
 (0)