diff --git a/ui/client/src/components/LogEntryLine.module.css b/ui/client/src/components/LogEntryLine.module.css index 1e161cc..1e1916c 100644 --- a/ui/client/src/components/LogEntryLine.module.css +++ b/ui/client/src/components/LogEntryLine.module.css @@ -7,3 +7,9 @@ .expandable { cursor: pointer; } .expandable:hover { color: var(--text-primary); } .expandHint { color: var(--text-muted); font-size: 10px; } + +@media (max-width: 768px) { + .line { gap: 6px; font-size: 12px; } + .event { min-width: 60px; font-size: 11px; } + .ts { font-size: 11px; } +} diff --git a/ui/client/src/components/NodeDetail.module.css b/ui/client/src/components/NodeDetail.module.css index 74d1f61..a6ff68c 100644 --- a/ui/client/src/components/NodeDetail.module.css +++ b/ui/client/src/components/NodeDetail.module.css @@ -320,3 +320,48 @@ details[open] > summary.sectionLabel { margin-bottom: 6px; } .runStatus.error { background: rgba(203,36,49,0.12); color: var(--red); } .runMeta { color: var(--text-muted); font-size: 10px; margin-top: 2px; font-variant-numeric: tabular-nums; } .runHint { color: var(--text-secondary); font-size: 10px; font-family: var(--font-mono); margin-top: 2px; word-break: break-all; } + +@media (max-width: 768px) { + /* Keep the node id + close button visible while the user scrolls through + long Lean source / NL bodies on a small screen. */ + .header { + position: sticky; + top: 0; + z-index: 5; + padding: 12px 12px 8px; + } + .id { font-size: 14px; } + + .section { padding: 10px 12px; } + + /* Two-column flag grid keeps each cell wide enough to read on a 375px + viewport. */ + .flagsGrid { grid-template-columns: repeat(2, 1fr); } + + /* Stack the "Reviewing as" label + input vertically so the input gets the + full row width. */ + .reviewerLabel { + flex-direction: column; + align-items: stretch; + gap: 4px; + } + /* font-size ≥ 16px on the actual /