Initial curated DockDeck source from 26772208f608782e88c736dc70878e7b5abd3916

browser-extension/dockdeck-new-tab/options.html

@@ -0,0 +1,45 @@
+<!doctype html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8" />
+    <meta name="viewport" content="width=device-width, initial-scale=1" />
+    <title>DockDeck New Tab settings</title>
+    <style>
+      body {
+        max-width: 42rem;
+        margin: 3rem auto;
+        padding: 0 1rem;
+        font:
+          16px system-ui,
+          sans-serif;
+      }
+      label,
+      input,
+      button {
+        display: block;
+      }
+      input {
+        box-sizing: border-box;
+        width: 100%;
+        margin: 0.5rem 0 1rem;
+        padding: 0.65rem;
+      }
+      #status {
+        min-height: 1.5rem;
+      }
+    </style>
+  </head>
+  <body>
+    <h1>DockDeck New Tab</h1>
+    <label for="dockdeck-url">DockDeck URL</label>
+    <input
+      id="dockdeck-url"
+      type="url"
+      required
+      placeholder="http://127.0.0.1:1218/"
+    />
+    <button id="save" type="button">Save</button>
+    <p id="status" role="status"></p>
+    <script src="options.js"></script>
+  </body>
+</html>