Deploy website - based on 1d3ffec

formal-land · May 21, 2024 · 90915cf · 90915cf
1 parent 3a7c08a
commit 90915cf
Show file tree

Hide file tree

Showing 99 changed files with 194 additions and 194 deletions.
diff --git a/404.html b/404.html
@@ -12,8 +12,8 @@
 <link rel="preconnect" href="https://www.googletagmanager.com">
 <script async src="https://www.googletagmanager.com/gtag/js?id=G-MQLHF4EV4J"></script>
 <script>function gtag(){dataLayer.push(arguments)}window.dataLayer=window.dataLayer||[],gtag("js",new Date),gtag("config","G-MQLHF4EV4J",{anonymize_ip:!0})</script>
-<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" integrity="sha384-odtC+0UGzzFL/6PNoE8rX/SPcQDXBJ+uRepguP4QkPCm2LBxH3FA3y+fKSiJ+AmM" crossorigin="anonymous"><link rel="stylesheet" href="/assets/css/styles.efafda87.css">
-<script src="/assets/js/runtime~main.f69b3421.js" defer="defer"></script>
+<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/[email protected]/dist/katex.min.css" integrity="sha384-odtC+0UGzzFL/6PNoE8rX/SPcQDXBJ+uRepguP4QkPCm2LBxH3FA3y+fKSiJ+AmM" crossorigin="anonymous"><link rel="stylesheet" href="/assets/css/styles.de2555b7.css">
+<script src="/assets/js/runtime~main.9af6f7a5.js" defer="defer"></script>
 <script src="/assets/js/main.ebf14120.js" defer="defer"></script>
 </head>
 <body class="navigation-with-keyboard">

diff --git a/assets/css/styles.efafda87.css → assets/css/styles.de2555b7.css b/assets/css/styles.efafda87.css → assets/css/styles.de2555b7.css
diff --git a/assets/js/1df93b7f.63bbec6d.js b/assets/js/1df93b7f.63bbec6d.js
diff --git a/assets/js/1df93b7f.b99febc2.js b/assets/js/1df93b7f.b99febc2.js