feat: terminal tabs a little wider by default

internal/server/web/static/terminal.js

@@ -251,7 +251,7 @@
   // a maximum; when they do not fit, all give way evenly down to a floor,
   // titles cut with "…", and below the floor the strip scrolls instead.
   const ruler = document.createElement('canvas').getContext('2d');
-  const W = touch ? { min: 76, base: 108, max: 170, font: 12 } : { min: 96, base: 150, max: 280, font: 13 };
+  const W = touch ? { min: 76, base: 124, max: 180, font: 12 } : { min: 96, base: 180, max: 300, font: 13 };
   const CHROME = touch ? 52 : 62; // padding, dot, gaps, close button, borders
   function fitTabs() {
     ruler.font = W.font + 'px ' + getComputedStyle(document.body).fontFamily;