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.
This commit is contained in:
trotFunky 2024-07-25 18:32:53 +01:00
parent f7e1218f21
commit 2b3dd28fed

View file

@ -24,7 +24,7 @@
} }
.editor { .editor {
width: 100%; width: calc(100% - 1.25em); /* The width is calculated *inside* the padding, so adjust for it. */
height: 6eM; height: 6eM;
font-size: large; font-size: large;
padding: 0.5em; padding: 0.5em;