diff options
| author | Peter Stone <thepeterstone@gmail.com> | 2026-03-08 21:03:50 +0000 |
|---|---|---|
| committer | Peter Stone <thepeterstone@gmail.com> | 2026-03-08 21:03:50 +0000 |
| commit | 632ea5a44731af94b6238f330a3b5440906c8ae7 (patch) | |
| tree | d8c780412598d66b89ef390b5729e379fdfd9d5b /web/style.css | |
| parent | 406247b14985ab57902e8e42898dc8cb8960290d (diff) | |
| parent | 93a4c852bf726b00e8014d385165f847763fa214 (diff) | |
merge: pull latest from master and resolve conflicts
- Resolve conflicts in API server, CLI, and executor.
- Maintain Gemini classification and assignment logic.
- Update UI to use generic agent config and project_dir.
- Fix ProjectDir/WorkingDir inconsistencies in Gemini runner.
- All tests passing after merge.
Diffstat (limited to 'web/style.css')
| -rw-r--r-- | web/style.css | 68 |
1 files changed, 68 insertions, 0 deletions
diff --git a/web/style.css b/web/style.css index 106ae04..9cfe140 100644 --- a/web/style.css +++ b/web/style.css @@ -1057,6 +1057,74 @@ dialog label select:focus { color: #94a3b8; } +/* ── Running tab ─────────────────────────────────────────────────────────────── */ + +.running-current { + margin-bottom: 2rem; +} + +.running-current h2 { + font-size: 1rem; + font-weight: 600; + color: var(--text-muted); + text-transform: uppercase; + letter-spacing: 0.05em; + margin-bottom: 1rem; +} + +.running-elapsed { + font-size: 0.85rem; + color: var(--state-running); + font-variant-numeric: tabular-nums; +} + +.running-log { + background: var(--bg-card); + border: 1px solid var(--border); + border-radius: 6px; + padding: 0.75rem; + font-family: monospace; + font-size: 0.8rem; + max-height: 300px; + overflow-y: auto; + white-space: pre-wrap; + word-break: break-word; +} + +.running-history { + margin-top: 1.5rem; + overflow-x: auto; +} + +.running-history h2 { + font-size: 1rem; + font-weight: 600; + color: var(--text-muted); + text-transform: uppercase; + letter-spacing: 0.05em; + margin-bottom: 1rem; +} + +.history-table { + width: 100%; + border-collapse: collapse; + font-size: 0.875rem; +} + +.history-table th { + text-align: left; + padding: 0.5rem 0.75rem; + border-bottom: 1px solid var(--border); + color: var(--text-muted); + font-weight: 500; +} + +.history-table td { + padding: 0.5rem 0.75rem; + border-bottom: 1px solid var(--border); + vertical-align: middle; +} + /* ── Task delete button ──────────────────────────────────────────────────── */ .task-card { |
