.zks-file-tree{display:flex;flex-direction:column;height:100%}.zks-tree-toolbar{display:flex;align-items:center;gap:var(--space-xs);padding:var(--space-xs);border-bottom:1px solid var(--color-border)}.zks-tree-search{flex:1;height:var(--component-height-sm);padding:var(--component-padding-sm);font-size:var(--component-font-sm);font-family:var(--font-sans);background:var(--color-bg-tertiary);color:var(--color-text-primary);border:1px solid var(--color-border);border-radius:var(--radius-sm)}.zks-tree-search:focus{outline:none;border-color:var(--color-accent)}.zks-tree-content{flex:1;overflow-y:auto;padding:var(--space-xs) 0}.zks-tree-item{display:flex;align-items:center;gap:var(--space-xs);width:100%;padding:3px var(--space-sm);background:transparent;border:none;color:var(--color-text-secondary);font-size:var(--text-caption);font-family:var(--font-sans);cursor:pointer;text-align:left;transition:background var(--transition-fast)}.zks-tree-item:hover{background:var(--color-bg-tertiary)}.zks-tree-file.active{background:var(--color-accent-subtle);color:var(--color-text-primary)}.zks-tree-name{flex:1;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.zks-tree-dirty{width:6px;height:6px;border-radius:var(--radius-full);background:var(--color-accent);flex-shrink:0}.zks-tree-chevron{display:inline-flex;width:14px;justify-content:center;color:var(--color-text-muted);transition:transform var(--transition-fast)}.zks-tree-chevron.open{transform:rotate(90deg)}.zks-tree-empty{padding:var(--space-lg);text-align:center;color:var(--color-text-muted);font-size:var(--text-caption)}.zks-tab-bar{display:flex;align-items:stretch;background:var(--color-bg-secondary);border-bottom:1px solid var(--color-border);overflow-x:auto;min-height:32px}.zks-tab{display:flex;align-items:center;gap:var(--space-xs);padding:0 var(--space-md);background:transparent;border:none;border-bottom:2px solid transparent;color:var(--color-text-muted);font-size:var(--text-caption);font-family:var(--font-sans);cursor:pointer;white-space:nowrap;transition:all var(--transition-fast)}.zks-tab:hover{color:var(--color-text-secondary);background:var(--color-bg-tertiary)}.zks-tab.active{color:var(--color-text-primary);border-bottom-color:var(--color-accent);background:var(--color-bg-primary)}.zks-tab-indicator{width:6px;height:6px;border-radius:var(--radius-full);flex-shrink:0}.zks-tab-name{font-family:var(--font-mono);font-size:var(--text-caption)}.zks-tab-dirty{width:6px;height:6px;border-radius:var(--radius-full);background:var(--color-accent)}.zks-tab-close{display:flex;align-items:center;padding:2px;background:transparent;border:none;color:var(--color-text-muted);cursor:pointer;border-radius:var(--radius-xs);opacity:0;transition:all var(--transition-fast)}.zks-tab:hover .zks-tab-close{opacity:1}.zks-tab-close:hover{background:var(--color-bg-elevated);color:var(--color-text-primary)}.zks-annotations{display:flex;flex-direction:column;height:100%}.zks-ann-toolbar{display:flex;align-items:center;gap:var(--space-xs);padding:var(--space-xs);border-bottom:1px solid var(--color-border)}.zks-ann-actions{display:flex;gap:2px}.zks-ann-form{display:flex;flex-direction:column;gap:var(--space-xs);padding:var(--space-sm);background:var(--color-bg-tertiary);border-bottom:1px solid var(--color-border)}.zks-ann-form-row{display:flex;gap:var(--space-xs)}.zks-ann-line-input{width:60px;height:var(--component-height-sm);padding:var(--component-padding-sm);font-size:var(--component-font-sm);font-family:var(--font-mono);background:var(--color-bg-primary);color:var(--color-text-primary);border:1px solid var(--color-border);border-radius:var(--radius-sm)}.zks-ann-textarea{width:100%;padding:var(--space-sm);font-size:var(--text-caption);font-family:var(--font-sans);background:var(--color-bg-primary);color:var(--color-text-primary);border:1px solid var(--color-border);border-radius:var(--radius-sm);resize:vertical}.zks-ann-tags-input{width:100%;height:var(--component-height-sm);padding:var(--component-padding-sm);font-size:var(--component-font-sm);font-family:var(--font-sans);background:var(--color-bg-primary);color:var(--color-text-primary);border:1px solid var(--color-border);border-radius:var(--radius-sm)}.zks-ann-form-actions{display:flex;gap:var(--space-xs);justify-content:flex-end}.zks-ann-list{flex:1;overflow-y:auto;padding:var(--space-xs)}.zks-ann-empty{padding:var(--space-lg);text-align:center;color:var(--color-text-muted);font-size:var(--text-caption)}.zks-ann-item{padding:var(--space-sm);margin-bottom:var(--space-xs);background:var(--color-bg-tertiary);border-radius:var(--radius-sm);border:1px solid var(--color-border)}.zks-ann-item-header{display:flex;align-items:center;gap:var(--space-xs);margin-bottom:var(--space-xs)}.zks-ann-type-dot{width:8px;height:8px;border-radius:var(--radius-full);flex-shrink:0}.zks-ann-type-label{font-size:var(--text-caption);color:var(--color-text-muted);flex:1}.zks-ann-item-actions{display:flex;gap:2px;opacity:0;transition:opacity var(--transition-fast)}.zks-ann-item:hover .zks-ann-item-actions{opacity:1}.zks-ann-content{font-size:var(--text-caption);color:var(--color-text-secondary);margin:0;line-height:var(--line-height-relaxed)}.zks-ann-tags{display:flex;gap:var(--space-xs);margin-top:var(--space-xs);flex-wrap:wrap}.zks-ann-tag{font-size:10px;padding:1px var(--space-xs);background:var(--color-bg-primary);color:var(--color-text-muted);border-radius:var(--radius-xs)}.zks-acir-view{display:flex;flex-direction:column;height:100%}.zks-acir-toolbar{display:flex;justify-content:space-between;align-items:center;padding:var(--space-xs) var(--space-sm);background:var(--color-bg-secondary);border-bottom:1px solid var(--color-border);flex-wrap:wrap;gap:var(--space-xs)}.zks-acir-stats{display:flex;gap:var(--space-md);align-items:center}.zks-acir-stat{font-size:var(--text-caption);font-weight:var(--font-weight-semibold);font-family:var(--font-mono)}.zks-acir-stat-total{font-size:var(--text-caption);color:var(--color-text-muted);padding-left:var(--space-sm);border-left:1px solid var(--color-border)}.zks-acir-actions{display:flex;gap:var(--space-xs);align-items:center}.zks-acir-editor{flex:1;min-height:200px}.zks-diff-view{display:flex;flex-direction:column;height:100%}.zks-diff-empty{display:flex;align-items:center;justify-content:center;height:100%;color:var(--color-text-muted);font-size:var(--text-body)}.zks-diff-toolbar{display:flex;align-items:center;gap:var(--space-lg);padding:var(--space-xs) var(--space-sm);background:var(--color-bg-secondary);border-bottom:1px solid var(--color-border);flex-wrap:wrap}.zks-diff-selector{display:flex;align-items:center;gap:var(--space-xs)}.zks-diff-selector label{font-size:var(--text-caption);color:var(--color-text-muted)}.zks-diff-stats{display:flex;gap:var(--space-sm);font-family:var(--font-mono);font-size:var(--text-caption);font-weight:var(--font-weight-semibold)}.zks-diff-impacts{display:flex;flex-direction:column;gap:var(--space-xs);padding:var(--space-sm);background:var(--color-bg-tertiary);border-bottom:1px solid var(--color-border)}.zks-diff-impact{display:flex;align-items:center;gap:var(--space-sm);padding:var(--space-xs) var(--space-sm);font-size:var(--text-caption);color:var(--color-text-secondary);border-radius:var(--radius-sm)}.zks-diff-editor{flex:1;min-height:200px}.zks-complexity{padding:var(--space-sm);display:flex;flex-direction:column;gap:var(--space-sm)}.zks-panel-title{font-size:var(--text-body-sm);font-weight:var(--font-weight-semibold);color:var(--color-text-primary);margin:0}.zks-panel-empty{color:var(--color-text-muted);font-size:var(--text-caption);text-align:center;padding:var(--space-lg) 0;margin:0}.zks-complexity-selector{display:flex;gap:2px;background:var(--color-bg-tertiary);border-radius:var(--radius-sm);padding:2px}.zks-system-btn{flex:1;padding:var(--space-xs) var(--space-sm);background:transparent;border:none;color:var(--color-text-muted);font-size:var(--text-caption);font-family:var(--font-sans);cursor:pointer;border-radius:var(--radius-xs);transition:all var(--transition-fast)}.zks-system-btn:hover{color:var(--color-text-secondary)}.zks-system-btn.active{background:var(--color-accent-subtle);color:var(--color-accent);font-weight:var(--font-weight-semibold)}.zks-complexity-metrics{display:grid;grid-template-columns:1fr 1fr;gap:var(--space-xs)}.zks-cmetric{display:flex;flex-direction:column;padding:var(--space-sm);background:var(--color-bg-tertiary);border-radius:var(--radius-sm);border:1px solid var(--color-border)}.zks-cmetric-label{font-size:10px;color:var(--color-text-muted);text-transform:uppercase;letter-spacing:.04em}.zks-cmetric-value{font-size:var(--text-body);font-weight:var(--font-weight-bold);font-family:var(--font-mono);color:var(--color-text-primary)}.zks-complexity-chart{padding:var(--space-sm);background:var(--color-bg-tertiary);border-radius:var(--radius-sm);border:1px solid var(--color-border);overflow:hidden}.zks-chart-canvas-wrap{position:relative;max-width:180px;max-height:180px;margin:0 auto}.zks-chart-title{font-size:var(--text-caption);color:var(--color-text-muted);margin:0 0 var(--space-sm);text-transform:uppercase;letter-spacing:.04em}.zks-complexity-table{background:var(--color-bg-tertiary);border-radius:var(--radius-sm);border:1px solid var(--color-border);padding:var(--space-sm)}.zks-table{width:100%;border-collapse:collapse;font-size:var(--text-caption)}.zks-table th{text-align:left;padding:var(--space-xs);color:var(--color-text-muted);font-weight:var(--font-weight-semibold);text-transform:uppercase;font-size:10px;letter-spacing:.04em;border-bottom:1px solid var(--color-border)}.zks-table td{padding:var(--space-xs);font-family:var(--font-mono);color:var(--color-text-secondary)}.zks-table tr.active td{color:var(--color-accent);font-weight:var(--font-weight-semibold)}.zks-witness{padding:var(--space-sm);display:flex;flex-direction:column;gap:var(--space-sm)}.zks-witness-status{display:flex;align-items:center;gap:var(--space-sm);font-size:var(--text-caption);padding:var(--space-xs) var(--space-sm);background:var(--color-bg-tertiary);border-radius:var(--radius-sm)}.zks-witness-vuln,.zks-witness-secure{font-size:10px!important}.zks-witness-error{color:var(--severity-critical)}.zks-witness-inputs{display:flex;flex-direction:column;gap:var(--space-sm)}.zks-witness-field{display:flex;flex-direction:column;gap:2px}.zks-witness-label{display:flex;align-items:center;gap:var(--space-xs);font-size:var(--text-caption)}.zks-witness-name{font-family:var(--font-mono);color:var(--color-text-primary);font-weight:var(--font-weight-semibold)}.zks-witness-type{color:var(--color-text-muted);font-family:var(--font-mono);font-size:var(--text-micro)}.zks-witness-input{width:100%;height:var(--component-height-sm);padding:var(--component-padding-sm);font-size:var(--component-font-sm);font-family:var(--font-mono);background:var(--color-bg-primary);color:var(--color-text-primary);border:1px solid var(--color-border);border-radius:var(--radius-sm);transition:border-color var(--transition-fast)}.zks-witness-input:focus{outline:none;border-color:var(--color-accent)}.zks-witness-input.error{border-color:var(--severity-critical)}.zks-witness-validation{font-size:10px;color:var(--severity-critical)}.zks-witness-actions{display:flex;gap:var(--space-sm)}.zks-witness-proof{background:var(--color-bg-tertiary);border-radius:var(--radius-sm);border:1px solid var(--color-border);padding:var(--space-sm)}.zks-witness-proof-hex{display:block;font-family:var(--font-mono);font-size:var(--text-micro);color:var(--color-text-muted);word-break:break-all;margin-top:var(--space-xs)}.zks-witness-loading{display:flex;align-items:center;gap:var(--space-sm);font-size:var(--text-caption);color:var(--color-text-muted)}.zks-witness-tabs{display:flex;gap:2px;background:var(--color-bg-tertiary);border-radius:var(--radius-sm);padding:2px}.zks-wtab{flex:1;padding:var(--space-xs) var(--space-sm);background:transparent;border:none;color:var(--color-text-muted);font-size:var(--text-caption);font-family:var(--font-sans);cursor:pointer;border-radius:var(--radius-xs);transition:all var(--transition-fast);text-align:center}.zks-wtab:hover{color:var(--color-text-secondary)}.zks-wtab.active{background:var(--color-accent-subtle);color:var(--color-accent);font-weight:var(--font-weight-semibold)}.zks-fuzz-controls{display:flex;align-items:center;gap:var(--space-sm);flex-wrap:wrap}.zks-fuzz-hint{font-size:var(--text-caption);color:var(--color-text-muted);font-style:italic}.zks-fuzz-progress{display:flex;flex-direction:column;gap:var(--space-xs)}.zks-fuzz-bar-wrap{height:6px;background:var(--color-bg-tertiary);border-radius:var(--radius-full);overflow:hidden}.zks-fuzz-bar{height:100%;border-radius:var(--radius-full);transition:width var(--transition-base)}.zks-fuzz-stats{display:flex;justify-content:space-between;font-size:10px;color:var(--color-text-muted);font-family:var(--font-mono)}.zks-fuzz-summary{display:grid;grid-template-columns:1fr 1fr 1fr;gap:var(--space-xs)}.zks-fuzz-metric{display:flex;flex-direction:column;align-items:center;padding:var(--space-sm);background:var(--color-bg-tertiary);border-radius:var(--radius-sm);border:1px solid var(--color-border)}.zks-fuzz-metric.danger{border-color:var(--severity-critical);background:color-mix(in srgb,var(--severity-critical) 8%,var(--color-bg-tertiary))}.zks-fuzz-metric.safe{border-color:var(--color-success)}.zks-fuzz-metric-val{font-size:var(--text-body);font-weight:var(--font-weight-bold);font-family:var(--font-mono);color:var(--color-text-primary)}.zks-fuzz-metric.danger .zks-fuzz-metric-val{color:var(--severity-critical)}.zks-fuzz-metric.safe .zks-fuzz-metric-val{color:var(--color-success)}.zks-fuzz-metric-lbl{font-size:10px;color:var(--color-text-muted);text-transform:uppercase;letter-spacing:.04em}.zks-fuzz-verdict{display:flex;align-items:center;gap:var(--space-sm);padding:var(--space-sm);border-radius:var(--radius-sm);font-size:var(--text-caption);color:var(--color-text-secondary)}.zks-fuzz-verdict.vuln{background:color-mix(in srgb,var(--severity-critical) 10%,var(--color-bg-tertiary));border:1px solid var(--severity-critical)}.zks-fuzz-verdict.safe{background:color-mix(in srgb,var(--color-success) 10%,var(--color-bg-tertiary));border:1px solid var(--color-success)}.zks-fuzz-cases{display:flex;flex-direction:column;gap:var(--space-xs)}.zks-fuzz-case-list{display:flex;flex-direction:column;gap:2px;max-height:240px;overflow-y:auto}.zks-fuzz-case{display:flex;align-items:center;gap:var(--space-sm);padding:var(--space-xs) var(--space-sm);background:var(--color-bg-tertiary);border-radius:var(--radius-xs);font-size:var(--text-caption);border-left:3px solid var(--color-border)}.zks-fuzz-case.bug{border-left-color:var(--severity-critical);background:color-mix(in srgb,var(--severity-critical) 6%,var(--color-bg-tertiary))}.zks-fuzz-case.gen{border-left-color:var(--severity-high)}.zks-fuzz-case.rej{border-left-color:var(--color-success)}.zks-fuzz-case-strategy{flex:1;font-family:var(--font-mono);font-weight:var(--font-weight-semibold);font-size:var(--text-micro)}.zks-fuzz-case-result{flex-shrink:0}.zks-fuzz-rejected{color:var(--color-success);font-size:var(--text-caption)}.zks-fuzz-case-time{font-family:var(--font-mono);font-size:10px;color:var(--color-text-muted);min-width:36px;text-align:right}.zks-proof-selector{display:flex;align-items:center;gap:var(--space-sm)}.zks-proof-selector .zk-select{flex:1}.zks-proof-count{font-size:var(--text-caption);color:var(--color-text-muted);white-space:nowrap}.zks-proof-meta{display:flex;flex-direction:column;gap:2px;background:var(--color-bg-tertiary);border-radius:var(--radius-sm);border:1px solid var(--color-border);padding:var(--space-sm)}.zks-proof-meta-row{display:flex;justify-content:space-between;align-items:center;font-size:var(--text-caption)}.zks-proof-meta-lbl{color:var(--color-text-muted);text-transform:uppercase;font-size:10px;letter-spacing:.04em}.zks-proof-meta-val{font-family:var(--font-mono);color:var(--color-text-secondary);font-size:var(--text-micro)}.zks-proof-witness{background:var(--color-bg-tertiary);border-radius:var(--radius-sm);border:1px solid var(--color-border);padding:var(--space-sm)}.zks-proof-witness-row{display:flex;justify-content:space-between;align-items:center;padding:2px 0;font-size:var(--text-caption);border-bottom:1px solid var(--color-border)}.zks-proof-witness-row:last-child{border-bottom:none}.zks-proof-witness-val{font-family:var(--font-mono);font-size:var(--text-micro);color:var(--color-text-secondary);max-width:140px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.zks-proof-view-modes{display:flex;gap:2px;background:var(--color-bg-tertiary);border-radius:var(--radius-sm);padding:2px}.zks-proof-output{background:var(--color-bg-primary);border:1px solid var(--color-border);border-radius:var(--radius-sm);overflow:auto;max-height:280px}.zks-proof-pre{margin:0;padding:var(--space-sm);font-family:var(--font-mono);font-size:var(--text-micro);line-height:1.5;color:var(--color-text-secondary);white-space:pre;tab-size:4}.zks-artifact-selector{display:flex;flex-wrap:wrap;gap:var(--space-xxs)}.zks-artifact-pill{display:flex;align-items:center;gap:var(--space-xs);padding:4px var(--space-sm);background:var(--color-bg-tertiary);border:1px solid var(--color-border);border-radius:var(--radius-full);color:var(--color-text-muted);font-size:var(--text-micro);font-family:var(--font-sans);cursor:pointer;transition:all var(--transition-fast)}.zks-artifact-pill:hover{border-color:var(--color-accent);color:var(--color-text-secondary)}.zks-artifact-pill.active{background:var(--color-accent-subtle);border-color:var(--color-accent);color:var(--color-accent)}.zks-artifact-pill-label{font-weight:var(--font-weight-semibold)}.zks-artifact-pill-size{font-family:var(--font-mono);font-size:10px;opacity:.7}.zks-report{padding:var(--space-md);display:flex;flex-direction:column;gap:var(--space-md);overflow-y:auto;max-height:100%}.zks-report-header{display:flex;justify-content:space-between;align-items:center}.zks-report-export{display:flex;gap:var(--space-xs)}.zks-report-section{background:var(--color-bg-card);background-image:var(--gradient-card);border:1px solid var(--color-border);border-radius:var(--radius-md);padding:var(--space-md)}.zks-report-section h4{font-size:var(--text-body-sm);color:var(--color-text-primary);margin:0 0 var(--space-sm);font-weight:var(--font-weight-semibold)}.zks-report-summary{display:flex;justify-content:space-between;align-items:center;gap:var(--space-md);flex-wrap:wrap}.zks-report-meta{display:flex;flex-direction:column;gap:var(--space-xs);font-size:var(--text-caption);color:var(--color-text-secondary)}.zks-report-risk{display:flex;flex-direction:column;align-items:center;gap:var(--space-xs);padding:var(--space-md);border:2px solid;border-radius:var(--radius-md);min-width:100px}.zks-report-risk-label{font-size:var(--text-caption);color:var(--color-text-muted);text-transform:uppercase;letter-spacing:.04em}.zks-report-risk-value{font-size:var(--text-h3);font-weight:var(--font-weight-bold);text-transform:uppercase}.zks-report-chart{overflow:hidden}.zks-report-checklist{list-style:none;padding:0;margin:0}.zks-report-checklist li{padding:var(--space-xs) 0;color:var(--color-text-secondary);font-size:var(--text-body-sm);border-bottom:1px solid var(--color-border)}.zks-report-checklist li:before{content:"☐";color:var(--color-text-muted);margin-right:var(--space-xs)}.zks-report-checklist li:last-child{border-bottom:none}.zk-cgraph-container{display:flex;flex-direction:column;height:100%;background:var(--color-bg-primary);color:var(--color-text-primary);font-family:var(--font-mono);overflow:hidden;position:relative;border-radius:var(--radius-sm);border:1px solid var(--color-border)}.zk-cgraph-toolbar{display:flex;justify-content:space-between;align-items:center;padding:6px 12px;background:var(--color-bg-secondary);border-bottom:1px solid var(--color-border);z-index:10;gap:12px;flex-shrink:0;overflow:visible}.zk-cgraph-toolbar-left,.zk-cgraph-toolbar-right{display:flex;align-items:center;gap:var(--space-sm);overflow:visible}.zk-cgraph-toolbar-label{font-weight:600;font-size:var(--text-caption);color:var(--color-text-secondary)}.zk-cgraph-toolbar-info{font-size:10px;color:var(--color-text-muted)}.zk-cgraph-search{padding:var(--space-xs) var(--space-sm);background:var(--color-bg-tertiary);border:1px solid var(--color-border);border-radius:var(--radius-sm);color:var(--color-text-primary);font-size:var(--text-micro);font-family:var(--font-mono);width:140px;outline:none;transition:border-color var(--transition-fast),width var(--transition-fast)}.zk-cgraph-search:focus{border-color:var(--color-accent);width:180px}.zk-cgraph-search::placeholder{color:var(--color-text-muted)}.zk-cgraph-select{padding:4px 6px;background:var(--color-bg-tertiary);border:1px solid var(--color-border);border-radius:var(--radius-sm);color:var(--color-text-primary);font-size:10px;cursor:pointer}.zk-cgraph-divider{width:1px;height:16px;background:var(--color-border)}.zk-cgraph-btn-group{display:flex;background:var(--color-bg-tertiary);border-radius:var(--radius-sm);padding:2px;gap:2px}.zk-cgraph-btn-group .btn{border-radius:var(--radius-xs)}.zk-cgraph-canvas-container{flex:1;position:relative;overflow:hidden;min-height:200px}.zk-cgraph-canvas{width:100%;height:100%;cursor:grab}.zk-cgraph-canvas:active{cursor:grabbing}.zk-cgraph-loading{position:absolute;inset:0;display:flex;align-items:center;justify-content:center;background:#0000004d;color:var(--color-text-muted);font-size:var(--text-caption);z-index:5}.zk-cgraph-tooltip{position:absolute;bottom:8px;left:50%;transform:translate(-50%);padding:6px 12px;background:var(--color-bg-tertiary);border:1px solid var(--color-border);border-radius:var(--radius-sm);font-size:var(--text-micro);color:var(--color-text-primary);pointer-events:none;z-index:100;max-width:300px;white-space:nowrap;box-shadow:var(--shadow-md)}.zk-cgraph-empty{flex:1;display:flex;flex-direction:column;align-items:center;justify-content:center;gap:12px;color:var(--color-text-muted);background:var(--color-bg-primary);min-height:200px}.zk-cgraph-empty-hint{font-size:var(--text-micro);opacity:.7}.zk-cgraph-legend{display:flex;gap:20px;padding:6px 12px;background:var(--color-bg-secondary);border-top:1px solid var(--color-border);font-size:10px;flex-shrink:0}.zk-cgraph-legend-section{display:flex;align-items:center;gap:10px}.zk-cgraph-legend-title{font-weight:600;color:var(--color-text-secondary);margin-right:var(--space-xxs)}.zk-cgraph-legend-item{display:flex;align-items:center;gap:var(--space-xxs);color:var(--color-text-muted)}.zk-cgraph-legend-dot{width:10px;height:10px;border-radius:var(--radius-full)}.zk-cgraph-dot-public{background:var(--color-success)}.zk-cgraph-dot-private{background:var(--severity-info)}.zk-cgraph-dot-output{background:var(--color-accent-base)}.zk-cgraph-dot-intermediate{background:var(--color-text-muted)}.zk-cgraph-dot-flagged{background:var(--severity-critical);border:1px solid var(--severity-critical-dark, var(--severity-critical))}.zk-cgraph-legend-line{width:16px;height:2px;border-radius:1px;background:var(--color-text-muted)}.zk-cgraph-line-flagged{background:var(--severity-critical);border-top:1px dashed var(--severity-critical);height:0}.studio-container{font-family:var(--font-sans)}.studio-container,.studio-container *{--bg-primary: var(--color-bg-primary);--bg-secondary: var(--color-bg-secondary);--bg-tertiary: var(--color-bg-tertiary);--border-color: var(--color-border);--text-primary: var(--color-text-primary);--text-secondary: var(--color-text-secondary);--text-muted: var(--color-text-muted);--accent-color: var(--color-accent);--color-surface: var(--color-bg-secondary);--color-surface-elevated: var(--color-bg-tertiary)}.zk-info-bar{display:flex;align-items:center;justify-content:space-between;padding:var(--space-xs) var(--space-md);background:var(--color-bg-secondary);border-bottom:1px solid var(--color-border);flex-shrink:0}.zk-info-left{display:flex;align-items:center;gap:var(--space-sm)}.zk-language-badge{display:inline-flex;align-items:center;padding:var(--space-xs) var(--space-sm);background:color-mix(in srgb,var(--color-zk) 10%,transparent);border-radius:var(--radius-full);font-size:var(--text-caption);font-weight:500;color:var(--color-zk)}.zk-circuit-name{font-family:var(--font-mono);font-size:var(--text-label);color:var(--color-text-secondary);background:var(--color-bg-tertiary);padding:var(--space-xs) var(--space-sm);border-radius:var(--radius-sm)}.zk-info-right{display:flex;align-items:center;gap:var(--space-sm)}.sidebar{flex-shrink:0;background:var(--color-bg-secondary);transition:none}.sidebar.left{width:280px}.sidebar-tabs{width:40px;background:var(--color-bg-tertiary);padding:var(--space-xs) 0;gap:2px;flex-shrink:0}.sidebar-tab{width:40px;height:36px;border-radius:0}.sidebar-tab:hover{color:var(--color-text-secondary);background:var(--color-bg-secondary)}.sidebar-content{display:flex;flex-direction:column;width:auto}.sidebar-panel{flex:1;height:auto;overflow-y:auto}.sidebar-panel.active{display:flex;flex-direction:column}.editor-area{flex:1 1 55%;display:flex;flex-direction:column;overflow:hidden;min-height:120px}.split-handle{height:4px;background:var(--color-border);cursor:row-resize;flex-shrink:0;transition:background var(--transition-fast)}.split-handle:hover{background:var(--color-accent)}.bottom-panel{display:flex;flex-direction:column;flex:1 1 45%;min-height:180px;overflow:hidden;background:var(--color-bg-secondary)}.bottom-tabs{display:flex;background:var(--color-bg-tertiary);border-bottom:1px solid var(--color-border);overflow-x:auto;flex-shrink:0;gap:1px;padding:0 var(--space-xs)}.bottom-tab{display:flex;align-items:center;gap:var(--space-xs);padding:var(--space-xs) var(--space-md);background:transparent;border:none;border-bottom:2px solid transparent;color:var(--color-text-muted);font-size:var(--text-caption);font-family:var(--font-sans);cursor:pointer;white-space:nowrap;transition:all var(--transition-fast)}.bottom-tab:hover{color:var(--color-text-secondary);background:var(--color-bg-secondary)}.bottom-tab.active{color:var(--color-text-primary);border-bottom-color:var(--color-accent);background:var(--color-bg-secondary)}.bottom-tab-badge{display:inline-flex;align-items:center;justify-content:center;min-width:18px;height:16px;padding:0 var(--space-xs);border-radius:var(--radius-full);background:var(--severity-critical);color:var(--color-bg-primary);font-size:var(--text-micro);font-weight:600;font-family:var(--font-mono)}.bottom-tab-badge:empty{display:none}.bottom-content{flex:1;overflow:hidden;position:relative}.bottom-panel-view{display:none;position:absolute;inset:0;overflow:auto;padding:var(--space-sm)}.bottom-panel-view.active{display:flex;flex-direction:column}.zks-findings-list{display:flex;flex-direction:column;gap:var(--space-xs);overflow-y:auto}.zks-findings-empty{display:flex;align-items:center;justify-content:center;padding:var(--space-xl);color:var(--color-success);font-size:var(--text-body)}.zks-finding-card{display:flex;flex-direction:column;gap:var(--space-xs);padding:var(--space-sm) var(--space-md);background:var(--color-bg-primary);border-radius:var(--radius-sm);border-left:3px solid var(--color-border);cursor:pointer;transition:background var(--transition-fast)}.zks-finding-card:hover{background:var(--color-bg-tertiary)}.zks-finding-critical{border-left-color:var(--severity-critical)}.zks-finding-high{border-left-color:var(--severity-high)}.zks-finding-medium{border-left-color:var(--severity-medium)}.zks-finding-low{border-left-color:var(--severity-low)}.zks-finding-header{display:flex;align-items:center;gap:var(--space-sm)}.zks-finding-title{font-size:var(--text-label);font-weight:600;color:var(--color-text-primary);flex:1}.zks-finding-line{font-size:var(--text-micro);font-family:var(--font-mono);color:var(--color-text-muted);background:var(--color-bg-tertiary);padding:var(--space-xxs) var(--space-xs);border-radius:var(--radius-xs)}.zks-finding-desc{font-size:var(--text-caption);color:var(--color-text-secondary);line-height:1.5}.zks-finding-rec{font-size:var(--text-caption);color:var(--color-accent);padding:var(--space-xs) var(--space-sm);background:var(--color-accent-subtle);border-radius:var(--radius-xs);line-height:1.5}.zks-panel-empty{display:flex;align-items:center;justify-content:center;padding:var(--space-xl);color:var(--color-text-muted);font-size:var(--text-body)}.view-tabs{flex-shrink:0;padding:0}.view-tab{font-size:var(--text-caption);font-family:var(--font-sans);font-weight:400}.view-tab:hover{color:var(--color-text-secondary)}.view-content{position:relative;background:transparent}.view-panel{position:absolute;inset:0;height:auto;overflow:auto}.zks-studio-editor{flex:1;min-height:0}.studio-footer{padding:0 var(--space-md);font-size:var(--text-caption)}.footer-badge{padding:0 var(--space-sm);border-radius:var(--radius-xs);font-family:var(--font-mono)}