/* Detail panel's "select an agent" empty state. `FilterableView` (`ui/filterable-view/`) has its own equivalent for its two empty cases — colocated there instead of shared with this one, since the two components have no other reason to depend on each other's CSS. */ .ui-agents-empty { color: var(--muted); text-align: center; padding: 1.25em 0.75em; } /* Two-way view switcher in the Panel's title-row actions — same visual weight as `RefreshIntervalPicker` next to it (quiet until touched), but a segmented pair rather than a select since there's no listbox worth opening for a two-option choice. */ .ui-agents-view-toggle { display: inline-flex; border: 1px solid var(--border); border-radius: 0.4em; overflow: hidden; } .ui-agents-view-toggle button { border: none; background: none; color: var(--muted); padding: 0.45em 0.75em; font: inherit; font-size: 0.9em; cursor: pointer; } .ui-agents-view-toggle button + button { border-left: 1px solid var(--border); } .ui-agents-view-toggle button.active { background: var(--bg-elev); color: var(--fg); } .ui-agents-view-toggle button:not(.active):hover { color: var(--fg); } /* Detail panel body — its own `Panel`, title supplied by the panel's `title` prop (the agent's name), not repeated in here. */ .ui-agent-detail-fields { display: grid; grid-template-columns: auto 1fr; gap: 0.4em 1em; margin: 0 0 1em; } .ui-agent-detail-fields dt { color: var(--muted); } .ui-agent-detail-fields dd { margin: 0; } .ui-agent-detail-actions { display: flex; align-items: center; gap: 0.75em; }