externalise the webmanifest

Bubobubobubobubo · Nov 18, 2023 · 3627e1f · 3627e1f
1 parent 6b8e682
commit 3627e1f
Show file tree

Hide file tree

Showing 4 changed files with 2,959 additions and 5 deletions.
diff --git a/index.html b/index.html
@@ -70,12 +70,10 @@
   <body id="all" class="z-0 bg-neutral-800 overflow-y-hidden">
 
 		<!-- The header is hidden on smaller devices -->
-    <header class="py-2 block text-white bg-neutral-900">
+    <header class="py-0 block text-white bg-neutral-900">
       <div class="mx-auto flex flex-wrap pl-2 py-1 flex-row items-center">
         <a class="flex title-font font-medium items-center text-black mb-0">
-          <svg id="topos-logo" xmlns="http://www.w3.org/2000/svg" fill="none" stroke="currentColor" stroke-linecap="round" stroke-linejoin="round" stroke-width="2" class="w-10 h-10 text-black p-2 bg-white rounded-full" viewBox="0 0 24 24">
-              <path stroke-linecap="round" stroke-linejoin="round" d="M12 6.042A8.967 8.967 0 006 3.75c-1.052 0-2.062.18-3 .512v14.25A8.987 8.987 0 016 18c2.305 0 4.408.867 6 2.292m0-14.25a8.966 8.966 0 016-2.292c1.052 0 2.062.18 3 .512v14.25A8.987 8.987 0 0018 18a8.967 8.967 0 00-6 2.292m0-14.25v14.25" />
-          </svg>
+          <img id="topos-logo" src="topos_frog.svg" class="w-12 h-12 text-black p-2 bg-white rounded-full" alt="Topos Frog Logo" />
          <input id="universe-viewer" class="hidden bg-transparent xl:block ml-4 text-2xl text-white placeholder-white" id="renamer" type="text" placeholder="Topos">
 
         </a>

diff --git a/manifest.webmanifest b/manifest.webmanifest
@@ -0,0 +1,24 @@
+{
+  "name": "Topos",
+  "short_name": "Topos",
+  "description": "Live coding environment",
+  "theme_color": "#ffffff",
+  "background_color": "#ffffff",
+  "display": "standalone",
+  "scope": "/",
+  "start_url": "/",
+  "icons": [
+    {
+      "src": "./favicon/android-chrome-192x192.png",
+      "sizes": "192x192",
+      "type": "image/png",
+      "purpose": "any maskable"
+    },
+    {
+      "src": "./favicon/android-chrome-512x512.png",
+      "sizes": "512x512",
+      "type": "image/png",
+      "purpose": "any maskable"
+    }
+  ]
+}