diff --git a/web/kiri/index.css b/web/kiri/index.css index 945cf0e2..5f808d63 100644 --- a/web/kiri/index.css +++ b/web/kiri/index.css @@ -2432,11 +2432,17 @@ details[open] summary::after { justify-self: center; } .var-row input { + flex: 1 1 auto; + min-width: 0; + max-width: 7ch; margin-right: 0; margin-bottom: 1px; padding-bottom: 1px; padding-top: 1px; } +.var-row #tool-name{ + max-width: 15ch; +} .var-row button { margin-right: 0; margin-bottom: 1px; diff --git a/web/kiri/index.html b/web/kiri/index.html index a3ad1df7..cc2f87f8 100644 --- a/web/kiri/index.html +++ b/web/kiri/index.html @@ -555,7 +555,7 @@