Panel-Feinschliff: Fensterrahmen, Live-Suche, Min/Max im gelösten Fenster

- 1-px-Fensterrahmen in Theme-Rahmenfarbe für die rahmenlosen Fenster (Linux)
- Suchfeld: Live-Suche ab 3 Zeichen mit 300-ms-Debounce, letztes Wort als
  Präfix (arch → arch*); Enter sucht wörtlich (exakte FTS-Syntax)
- Gelöstes Fenster: Minimieren/Maximieren neben Andocken/Schließen

src/terminal.ts

@@ -93,6 +93,7 @@ const theme = picked.xterm;
 // Seitenfarben ans Theme anpassen (Defaults in terminal.html sind Mocha).
 document.documentElement.style.background = theme.background;
 document.body.style.background = theme.background;
+document.body.style.borderColor = picked.border;
 const header = document.querySelector("header") as HTMLElement;
 header.style.background = picked.header;
 header.style.borderBottomColor = picked.border;