Compare commits

..

No commits in common. "9a19e55533f3520536af49e2dbc0017703c840d8" and "2cf4ce1495e0dee223541c4306886e9878d4a379" have entirely different histories.

View File

@ -196,12 +196,10 @@
color: var(--status-danger); color: var(--status-danger);
} }
/* Tasks Terminal the scroll viewport. It fills the remaining height and /* Tasks Terminal */
scrolls when the list overflows, so the panel inside can hug its content
instead of stretching to the bottom of the page. */
.tasks-terminal { .tasks-terminal {
flex: 1; flex: 1;
overflow-y: auto; overflow: hidden;
display: flex; display: flex;
flex-direction: column; flex-direction: column;
} }
@ -209,9 +207,10 @@
/* Recessed dark panel holding the task list same recipe as the fleet /* Recessed dark panel holding the task list same recipe as the fleet
Overview's .ov-tab-body / the per-app .tasks-container, so the list reads Overview's .ov-tab-body / the per-app .tasks-container, so the list reads
as a contained box under the status-bar strip rather than floating on the as a contained box under the status-bar strip rather than floating on the
page gradient. Sizes to its content (no flex-grow) so the box ends at the page gradient. */
last task rather than overhanging past it. */
.tasks-list { .tasks-list {
flex: 1;
overflow-y: auto;
padding: 16px; padding: 16px;
margin: 16px; margin: 16px;
background: rgba(var(--bg-rgb), 0.2); background: rgba(var(--bg-rgb), 0.2);
@ -219,20 +218,20 @@
} }
/* Hide scrollbar when not needed, show only when scrolling */ /* Hide scrollbar when not needed, show only when scrolling */
.tasks-terminal::-webkit-scrollbar { .tasks-list::-webkit-scrollbar {
width: 8px; width: 8px;
} }
.tasks-terminal::-webkit-scrollbar-track { .tasks-list::-webkit-scrollbar-track {
background: transparent; background: transparent;
} }
.tasks-terminal::-webkit-scrollbar-thumb { .tasks-list::-webkit-scrollbar-thumb {
background: var(--border); background: var(--border);
border-radius: 4px; border-radius: 4px;
} }
.tasks-terminal::-webkit-scrollbar-thumb:hover { .tasks-list::-webkit-scrollbar-thumb:hover {
background: var(--border-strong); background: var(--border-strong);
} }