From 2b3dd28fed2bcec21815009ecd0628c4019fa8ec Mon Sep 17 00:00:00 2001 From: trotFunky Date: Thu, 25 Jul 2024 18:32:53 +0100 Subject: [PATCH] style: Fix edit box clipping the graph It looks like the width of the element is calculated *inside* the padding, so the outer width is really width+2*padding. This leads to the edit box going outside of the truth column and clipping the graph. Compute the width to take the padding into account. --- static_files/style.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/static_files/style.css b/static_files/style.css index 3de7065..2978081 100644 --- a/static_files/style.css +++ b/static_files/style.css @@ -24,7 +24,7 @@ } .editor { - width: 100%; + width: calc(100% - 1.25em); /* The width is calculated *inside* the padding, so adjust for it. */ height: 6eM; font-size: large; padding: 0.5em;