From: Ben Harris <bjh21@bjh21.me.uk>
Date: Sat, 4 Oct 2025 16:16:51 +0000 (+0100)
Subject: webstead: scale input and output better with window size
X-Git-Tag: bedstead-3.261~55
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~bjharris/git?a=commitdiff_plain;h=7ba57f2e277ce103ff9a94b69678033fecf2eb0c;p=bedstead.git

webstead: scale input and output better with window size

It turns out that setting --pix to 7vmin, while rather unprincipled,
does actually work quite adequately.
---

diff --git a/webstead.xhtml b/webstead.xhtml
index a557527..98da8d5 100644
--- a/webstead.xhtml
+++ b/webstead.xhtml
@@ -5,16 +5,17 @@
     <title>Bedstead editor test</title>
     <style>
       :root {
-          --pix: 50px;
+          --pix: 7vmin;
+      }
+      body {
+          max-width: none;
       }
       #inout {
           display: flex;
       }
-      #inout > * {
-          margin-left: var(--pix);
-          margin-top: var(--pix);
-      }
-      #outpane {
+      #inpane, #outpane {
+          padding-left: var(--pix);
+          padding-top: var(--pix);
           width: calc(5 * var(--pix));
           height: calc(9 * var(--pix));
       }