minor ui improvements

2023-02-21 22:24:49 +02:00
parent 4fdc8feafc
commit 0db6c783cd
40 changed files with 358 additions and 295 deletions
@@ -44,8 +44,8 @@
        window.Prism = window.Prism || {};
        window.Prism.manual = true;
    </script>
-  <script type="module" crossorigin src="./assets/index-9ae69ad1.js"></script>
-  <link rel="stylesheet" href="./assets/index-b8b82b53.css">
+  <script type="module" crossorigin src="./assets/index-18c8e39b.js"></script>
+  <link rel="stylesheet" href="./assets/index-a6da4c00.css">
 </head>
 <body>
    <div id="app"></div>