/* terminal: hidden takes no room, so the editor gets the whole height */
.panel { border-top: 1px solid var(--line); background: var(--panel); display: flex; flex-direction: column; height: 172px; min-height: 0; }
.panel-head { display: flex; align-items: center; gap: 2px; height: 30px; padding: 0 6px 0 8px; flex: none; }
.panel-tab { height: 30px; padding: 0 10px; font: 600 11px/1 var(--sans); letter-spacing: .09em; text-transform: uppercase; color: var(--fg-3); border-bottom: 1px solid transparent; }
.panel-tab[aria-selected="true"] { color: var(--fg); border-bottom-color: var(--accent); }
.panel-path { margin-left: 8px; font: 11px var(--mono); color: var(--fg-3); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; flex: 1; min-width: 0; }
.panel-body { overflow: auto; flex: 1; padding: 4px 0 8px; font: 12px/1.6 var(--mono); }

@media (max-width: 760px) {
  .panel { height: 150px; }
}