Pool-Badge links neben den Projektnamen

Das Badge stand rechts vor den Fensterknöpfen. Jetzt folgt es direkt auf
den Titel, abgesetzt durch denselben Akzent-Trenner wie die Tab-Leiste;
ohne zugeordneten Pool verschwinden Badge und Trenner zusammen. Die Tabs
bleiben rechtsbündig.

src/terminal-window.css

@@ -71,9 +71,11 @@ header .panel-tabs {
 header .panel-tabs[hidden] {
   display: none;
 }
-/* Ohne Tabs (Panel abgelöst) rückt das Pool-Badge selbst nach rechts. */
+/* Pool-Badge steht links beim Titel, durch die Pipe abgesetzt; ohne Pool
-header .panel-tabs[hidden] + #pool {
+   verschwindet auch der Trenner. */
-  margin-left: auto;
+#pool:empty,
+#pool-sep:has(+ #pool:empty) {
+  display: none;
 }
 .tab-sep {
   width: 2px;
@@ -91,18 +93,13 @@ header .panel-tabs[hidden] + #pool {
   padding: 4px 12px;
   font-size: 11px;
 }
-#pool:empty {
-  display: none;
-}
 /* Eigene Fensterknöpfe (Linux): rechtsbündig, volle Header-Höhe. */
 #winbtns {
   margin-left: 8px;
   display: flex;
   align-self: stretch;
 }
-#pool:empty + #winbtns {
+
-  margin-left: auto;
-}
 .winbtn {
   width: 44px;
   height: 100%;

terminal.html

@@ -8,9 +8,10 @@
     <header data-tauri-drag-region>
       <img id="project-icon" hidden data-tauri-drag-region />
       <span id="project-name" data-tauri-drag-region></span>
+      <span class="tab-sep" id="pool-sep"></span>
+      <span id="pool"></span>
       <!-- Tabs kommen aus der Modul-Registry (panel-wiring). -->
       <div class="panel-tabs" id="panel-tabs"></div>
-      <span id="pool"></span>
       <div id="winbtns">
         <button class="winbtn" id="win-min" data-i18n-aria="panel.minimize">
           <svg width="12" height="12" viewBox="0 0 12 12"><line x1="2" y1="6.5" x2="10" y2="6.5" /></svg>