From 7ba57f2e277ce103ff9a94b69678033fecf2eb0c Mon Sep 17 00:00:00 2001 From: Ben Harris Date: Sat, 4 Oct 2025 17:16:51 +0100 Subject: [PATCH] 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. --- webstead.xhtml | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/webstead.xhtml b/webstead.xhtml index a557527..98da8d5 100644 --- a/webstead.xhtml +++ b/webstead.xhtml @@ -5,16 +5,17 @@ Bedstead editor test