deploy

index.html

@@ -24,6 +24,7 @@
       :root{--md-text-font:"Noto Sans SC";--md-code-font:"JetBrains Mono"}
     </style>
     <link href="./stylesheets/extra.css" rel="stylesheet"/>
+    <link href="./stylesheets/animation_player.css" rel="stylesheet"/>
     <script>
       __md_scope=new URL(".",location),__md_hash=e=>[...e].reduce(((e,t)=>(e<<5)-e+t.charCodeAt(0)),0),__md_get=(e,t=localStorage,a=__md_scope)=>JSON.parse(t.getItem(("__palette"===e?"/":a.pathname)+"."+e)),__md_set=(e,t,a=localStorage,_=__md_scope)=>{try{a.setItem(("__palette"===e?"/":_.pathname)+"."+e,JSON.stringify(t))}catch(e){}},document.documentElement.setAttribute("data-platform",navigator.platform)
     </script>
@@ -1862,6 +1863,8 @@
     </script>
     <script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/3.2.2/es5/tex-mml-chtml.min.js">
     </script>
+    <script src="./javascripts/animation_player.js">
+    </script>
     <script>
       (() => {
                 const applyLandingPalette = () => {