ui: move workers list to page

web/workspace/src/app.css

@@ -349,6 +349,17 @@
         margin: 0;
     }
 
+    .section-heading-link {
+        color: inherit;
+        text-decoration: none;
+    }
+
+    .section-heading-link:hover,
+    .section-heading-link:focus-visible,
+    .section-heading-link.active {
+        color: var(--accent);
+    }
+
     .eyebrow {
         color: var(--accent-muted);
         margin: 0;
@@ -635,6 +646,44 @@
         text-transform: uppercase;
     }
 
+    .workers-page {
+        display: grid;
+        gap: var(--space-4);
+    }
+
+    .workers-page-header {
+        display: flex;
+        justify-content: space-between;
+        align-items: flex-start;
+        gap: var(--space-4);
+    }
+
+    .workers-page-header h1,
+    .workers-page-header p {
+        margin: 0;
+    }
+
+    .workers-page-header h1 {
+        color: var(--text-strong);
+        font-size: clamp(1.6rem, 4vw, 2.4rem);
+        line-height: 1.05;
+    }
+
+    .workers-page-header p {
+        margin-top: var(--space-2);
+        color: var(--text-muted);
+    }
+
+    .workers-table-wrap {
+        border-top: 1px solid var(--line);
+    }
+
+    .workers-table td small {
+        display: block;
+        margin-top: 0.2rem;
+        color: var(--text-muted);
+    }
+
     .diagnostics {
         margin-top: var(--space-4);
     }