/* GemmaForge · /repos visualizer — extends dashboard/style.css. * * Layout chain: html/body fill the viewport, body is a flex column, header * takes its natural height, ``main.repos-grid`` flexes to fill the rest with * ``min-height: 0`` so its grid children can shrink and scroll internally * instead of pushing the whole page taller (which kills the sidebar's * ``overflow-y: auto``). */ html, body { height: 100vh; min-height: 0; overflow: hidden; } body { display: flex; flex-direction: column; } header { flex: 0 0 auto; } .nav-link { color: var(--muted); text-decoration: none; font-size: 12px; } .nav-link:hover { color: var(--accent); } main.repos-grid { display: grid; grid-template-columns: 340px 1fr; gap: 16px; padding: 16px 24px 24px; flex: 1 1 auto; min-height: 0; } @media (max-width: 1100px) { main.repos-grid { grid-template-columns: 1fr; grid-auto-rows: minmax(0, 1fr); } } .sidebar { display: flex; flex-direction: column; min-height: 0; padding: 0; overflow: hidden; } .sidebar-controls { padding: 12px 14px; border-bottom: 1px solid var(--border); display: flex; flex-direction: column; gap: 8px; } .sidebar-controls input, .sidebar-controls select { background: var(--panel-2); border: 1px solid var(--border); color: var(--text); border-radius: 6px; padding: 6px 8px; font-size: 12px; font-family: inherit; } .sidebar-controls input:focus, .sidebar-controls select:focus { outline: none; border-color: var(--accent); } .filter-row { display: grid; grid-template-columns: 1fr 1fr 1fr; gap: 6px; } .counts { font-size: 11px; color: var(--muted); letter-spacing: 0.04em; } .repo-list { list-style: none; margin: 0; padding: 4px 0; overflow-y: auto; flex: 1; min-height: 0; } .repo-list li { padding: 8px 14px; border-bottom: 1px solid var(--panel-2); cursor: pointer; display: flex; flex-direction: column; gap: 3px; } .repo-list li:hover { background: rgba(245,180,0,0.06); } .repo-list li.active { background: rgba(245,180,0,0.1); border-left: 2px solid var(--accent); padding-left: 12px; } .repo-list .row1 { display: flex; justify-content: space-between; align-items: center; gap: 8px; } .repo-list .repo-id { font-family: ui-monospace, "SF Mono", Menlo, monospace; font-size: 11.5px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; } .repo-list .row2 { display: flex; gap: 8px; font-size: 10.5px; color: var(--muted); } .rank-badge { font-family: ui-monospace, "SF Mono", Menlo, monospace; font-size: 10px; padding: 1px 6px; border-radius: 4px; background: var(--panel-2); border: 1px solid var(--border); color: var(--muted); white-space: nowrap; } .rank-badge.hit-1 { color: #28a765; border-color: #28a76555; } .rank-badge.hit-5 { color: #a8d300; border-color: #a8d30055; } .rank-badge.hit-25 { color: var(--warn-solid); border-color: var(--warn-solid); } .rank-badge.miss { color: var(--danger-solid); border-color: var(--danger-solid); } .rank-badge.no-leads { color: var(--muted); border-style: dashed; } .tag { font-size: 10px; padding: 1px 5px; border-radius: 4px; background: var(--panel-2); border: 1px solid var(--border); font-family: ui-monospace, "SF Mono", Menlo, monospace; } .tag.cwe { color: var(--accent); border-color: rgba(245,180,0,0.4); } .tag.lang { color: #6ec1ff; border-color: rgba(110,193,255,0.3); } /* Viewer */ .viewer { display: flex; flex-direction: column; padding: 0; min-height: 0; overflow: hidden; } .empty-state { padding: 32px; color: var(--muted); max-width: 64ch; } .empty-state h2 { color: var(--text); font-weight: 600; } .empty-state code { color: var(--accent); } .legend { display: inline-block; padding: 1px 5px; border-radius: 3px; font-size: 12px; margin: 0 2px; } .legend.swatch-truth { background: rgba(40,167,101,0.18); color: #74e1a5; border: 1px solid #28a76555; } .legend.swatch-lead { background: rgba(239,68,68,0.18); color: #ffaaaa; border: 1px solid #ef444466; } .hidden { display: none !important; } .viewer-content { display: flex; flex-direction: column; flex: 1; min-height: 0; } .viewer-header { padding: 16px 20px 12px; border-bottom: 1px solid var(--border); display: flex; justify-content: space-between; align-items: flex-start; gap: 16px; flex-wrap: wrap; } .viewer-header h2 { font-family: ui-monospace, "SF Mono", Menlo, monospace; font-size: 14px; font-weight: 600; margin: 0 0 4px 0; word-break: break-all; } .repo-sub { margin: 0; font-size: 11.5px; color: var(--muted); display: flex; gap: 10px; flex-wrap: wrap; } .repo-metrics { display: flex; gap: 14px; } .repo-metrics .m { display: flex; flex-direction: column; align-items: flex-end; font-size: 10px; letter-spacing: 0.06em; color: var(--muted); text-transform: uppercase; } .repo-metrics .m .val { font-size: 16px; font-family: ui-monospace, "SF Mono", Menlo, monospace; color: var(--text); letter-spacing: 0; } .repo-metrics .m .val.miss { color: var(--danger-solid); } .repo-metrics .m .val.hit { color: #74e1a5; } .file-tabs { display: flex; gap: 4px; padding: 10px 16px 0; border-bottom: 1px solid var(--border); flex-wrap: wrap; } .file-tabs button { background: transparent; border: 1px solid transparent; border-bottom: none; color: var(--muted); font: inherit; font-size: 11.5px; padding: 6px 10px; border-radius: 6px 6px 0 0; cursor: pointer; font-family: ui-monospace, "SF Mono", Menlo, monospace; display: flex; align-items: center; gap: 6px; } .file-tabs button:hover { color: var(--text); } .file-tabs button.active { color: var(--text); background: var(--panel-2); border-color: var(--border); } .file-tabs .role { font-size: 9px; text-transform: uppercase; padding: 1px 5px; border-radius: 3px; background: var(--panel); border: 1px solid var(--border); } .file-tabs .role.vulnerable { color: var(--danger-solid); border-color: var(--danger-solid); } .file-tabs .role.fixed_counterpart { color: var(--safe-solid); border-color: var(--safe-solid); } .file-tabs .role.safe_decoy { color: var(--muted); } .file-tabs .has-leads { width: 6px; height: 6px; border-radius: 50%; background: var(--danger-solid); box-shadow: 0 0 4px var(--danger-solid); } .file-meta { padding: 8px 16px; font-size: 11px; color: var(--muted); border-bottom: 1px solid var(--border); display: flex; gap: 14px; flex-wrap: wrap; } .code-wrap { flex: 1; min-height: 0; overflow: auto; background: var(--panel-2); } pre.code { margin: 0; padding: 12px 0; font-family: ui-monospace, "SF Mono", Menlo, monospace; font-size: 12.5px; line-height: 1.55; white-space: pre; } .code .line { display: grid; grid-template-columns: 48px 60px 1fr; gap: 0; padding: 0 16px 0 0; border-left: 3px solid transparent; position: relative; --lead-alpha: 0; } .code .line.truth { border-left-color: var(--safe-solid); background: rgba(40,167,101,0.10); } /* Lead wash intensity comes from --lead-alpha set per-line in JS: alpha = 0.18 + 0.55 * rankFactor * confFactor. Rank-24 / conf=0.5 lead → ~0.18 (barely visible). Top-1 / conf≥0.99 lead → ~0.72 (bright wash). */ .code .line.lead { background: rgba(239, 68, 68, var(--lead-alpha)); } .code .line.lead.truth { background: linear-gradient(90deg, rgba(40,167,101,0.20), rgba(239,68,68, var(--lead-alpha))); } .code .line.lead.lead-top1 { border-left-color: var(--danger-solid); } .code .line.lead.lead-top5 { border-left-color: rgba(239,68,68,0.55); } .code .line.lead-start { box-shadow: inset 0 1px 0 rgba(239,68,68,0.5); } .code .line.lead-end { box-shadow: inset 0 -1px 0 rgba(239,68,68,0.5); } .code .ln { text-align: right; padding-right: 10px; color: var(--muted); user-select: none; font-size: 11px; } .code .badge-col { text-align: right; padding-right: 8px; user-select: none; font-size: 10px; color: var(--muted); white-space: nowrap; overflow: hidden; } .code .badge-col .b { display: inline-block; padding: 0 5px; border-radius: 3px; border: 1px solid var(--border); background: var(--panel); margin-right: 3px; } .code .badge-col .b.lead { border-color: var(--danger-solid); color: var(--danger-solid); } .code .badge-col .b.truth { border-color: var(--safe-solid); color: var(--safe-solid); } .code .src { white-space: pre; overflow-x: visible; } .leads-summary { border-top: 1px solid var(--border); padding: 12px 16px; max-height: 180px; overflow-y: auto; font-size: 11.5px; } .leads-summary table { width: 100%; border-collapse: collapse; } .leads-summary th, .leads-summary td { text-align: left; padding: 4px 8px; border-bottom: 1px solid var(--panel-2); font-family: ui-monospace, "SF Mono", Menlo, monospace; } .leads-summary th { color: var(--muted); font-weight: 500; font-size: 10px; text-transform: uppercase; letter-spacing: 0.06em; } .leads-summary tr.cwe-hit td { color: #74e1a5; } .leads-summary tr.lead-row { cursor: pointer; } .leads-summary tr.lead-row:hover { background: rgba(245,180,0,0.06); } .leads-summary tr.below-tau td { color: var(--muted); opacity: 0.55; } .leads-summary tr.below-tau td:first-child::before { content: "·"; margin-right: 4px; } .leads-summary .conf-bar { display: inline-block; height: 4px; background: var(--danger-solid); vertical-align: middle; border-radius: 2px; margin-left: 6px; }