2023-12-23 21:24:41 +00:00
|
|
|
|
<!--
|
2024-05-03 14:50:22 +00:00
|
|
|
|
Copyright (C) 2024 - 2024:
|
|
|
|
|
|
The Trinitrix Project <bpeetz@b-peetz.de, antifallobst@systemausfall.org>
|
|
|
|
|
|
SPDX-License-Identifier: LGPL-3.0-or-later
|
2023-12-23 21:24:41 +00:00
|
|
|
|
|
|
|
|
|
|
This file is part of the Trinitry crate for Trinitrix.
|
|
|
|
|
|
|
|
|
|
|
|
Trinitry is free software: you can redistribute it and/or modify
|
|
|
|
|
|
it under the terms of the Lesser GNU General Public License as
|
|
|
|
|
|
published by the Free Software Foundation, either version 3 of
|
|
|
|
|
|
the License, or (at your option) any later version.
|
|
|
|
|
|
|
|
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
|
GNU General Public License for more details.
|
|
|
|
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
|
|
|
|
and the Lesser GNU General Public License along with this program.
|
|
|
|
|
|
If not, see <https://www.gnu.org/licenses/>.
|
|
|
|
|
|
-->
|
|
|
|
|
|
|
2023-12-23 21:24:14 +00:00
|
|
|
|
<!doctype html>
|
|
|
|
|
|
<!-- KaTeX requires the use of the HTML5 doctype. Without it, KaTeX may not render properly -->
|
|
|
|
|
|
<html>
|
|
|
|
|
|
<head>
|
|
|
|
|
|
<link
|
|
|
|
|
|
rel="stylesheet"
|
|
|
|
|
|
href="https://cdn.jsdelivr.net/npm/katex@0.16.9/dist/katex.min.css"
|
|
|
|
|
|
integrity="sha384-n8MVd4RsNIU0tAv4ct0nTaAbDJwPJzDEaqSD1odI+WdtXRGWt2kTvGFasHpSy3SV"
|
|
|
|
|
|
crossorigin="anonymous"
|
|
|
|
|
|
/>
|
|
|
|
|
|
|
|
|
|
|
|
<!-- The loading of KaTeX is deferred to speed up page rendering -->
|
|
|
|
|
|
<script
|
|
|
|
|
|
defer
|
|
|
|
|
|
src="https://cdn.jsdelivr.net/npm/katex@0.16.9/dist/katex.min.js"
|
|
|
|
|
|
integrity="sha384-XjKyOOlGwcjNTAIQHIpgOno0Hl1YQqzUOEleOLALmuqehneUG+vnGctmUb0ZY0l8"
|
|
|
|
|
|
crossorigin="anonymous"
|
|
|
|
|
|
></script>
|
|
|
|
|
|
|
|
|
|
|
|
<!-- To automatically render math in text elements, include the auto-render extension: -->
|
|
|
|
|
|
<script
|
|
|
|
|
|
defer
|
|
|
|
|
|
src="https://cdn.jsdelivr.net/npm/katex@0.16.9/dist/contrib/auto-render.min.js"
|
|
|
|
|
|
integrity="sha384-+VBxd3r6XgURycqtZ117nYw44OOcIax56Z4dCRWbxyPt0Koah1uHoK0o4+/RRE05"
|
|
|
|
|
|
crossorigin="anonymous"
|
|
|
|
|
|
></script>
|
|
|
|
|
|
<script>
|
2024-05-18 17:54:25 +00:00
|
|
|
|
// Workaround for rustdoc's "smart" quotation mark replacement feature
|
|
|
|
|
|
function normalize_quotes(math) {
|
|
|
|
|
|
// const orig = math;
|
|
|
|
|
|
|
|
|
|
|
|
math = math.replace(/”/g, "\"");
|
|
|
|
|
|
math = math.replace(/“/g, "\"");
|
|
|
|
|
|
|
|
|
|
|
|
math = math.replace(/’/g, "'");
|
|
|
|
|
|
math = math.replace(/‘/g, "'");
|
|
|
|
|
|
// console.log(`[\n${orig}\n] -> [\n${math}\n].`);
|
|
|
|
|
|
return math;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
2023-12-23 21:24:14 +00:00
|
|
|
|
document.addEventListener("DOMContentLoaded", function () {
|
|
|
|
|
|
renderMathInElement(document.body, {
|
|
|
|
|
|
delimiters: [
|
2024-05-18 17:54:25 +00:00
|
|
|
|
{ left: "\\(", right: "\\)", display: false},
|
|
|
|
|
|
{ left: "$", right: "$", display: false},
|
|
|
|
|
|
{ left: "\\[", right: "\\]", display: true},
|
|
|
|
|
|
],
|
|
|
|
|
|
preProcess: normalize_quotes,
|
2023-12-23 21:24:14 +00:00
|
|
|
|
});
|
|
|
|
|
|
});
|
|
|
|
|
|
</script>
|
|
|
|
|
|
</head>
|
|
|
|
|
|
</html>
|
