.react-flow{direction:ltr;--xy-edge-stroke-default: #b1b1b7;--xy-edge-stroke-width-default: 1;--xy-edge-stroke-selected-default: #555;--xy-connectionline-stroke-default: #b1b1b7;--xy-connectionline-stroke-width-default: 1;--xy-attribution-background-color-default: rgba(255, 255, 255, .5);--xy-minimap-background-color-default: #fff;--xy-minimap-mask-background-color-default: rgba(240, 240, 240, .6);--xy-minimap-mask-stroke-color-default: transparent;--xy-minimap-mask-stroke-width-default: 1;--xy-minimap-node-background-color-default: #e2e2e2;--xy-minimap-node-stroke-color-default: transparent;--xy-minimap-node-stroke-width-default: 2;--xy-background-color-default: transparent;--xy-background-pattern-dots-color-default: #91919a;--xy-background-pattern-lines-color-default: #eee;--xy-background-pattern-cross-color-default: #e2e2e2;background-color:var(--xy-background-color, var(--xy-background-color-default));--xy-node-color-default: inherit;--xy-node-border-default: 1px solid #1a192b;--xy-node-background-color-default: #fff;--xy-node-group-background-color-default: rgba(240, 240, 240, .25);--xy-node-boxshadow-hover-default: 0 1px 4px 1px rgba(0, 0, 0, .08);--xy-node-boxshadow-selected-default: 0 0 0 .5px #1a192b;--xy-node-border-radius-default: 3px;--xy-handle-background-color-default: #1a192b;--xy-handle-border-color-default: #fff;--xy-selection-background-color-default: rgba(0, 89, 220, .08);--xy-selection-border-default: 1px dotted rgba(0, 89, 220, .8);--xy-controls-button-background-color-default: #fefefe;--xy-controls-button-background-color-hover-default: #f4f4f4;--xy-controls-button-color-default: inherit;--xy-controls-button-color-hover-default: inherit;--xy-controls-button-border-color-default: #eee;--xy-controls-box-shadow-default: 0 0 2px 1px rgba(0, 0, 0, .08);--xy-edge-label-background-color-default: #ffffff;--xy-edge-label-color-default: inherit;--xy-resize-background-color-default: #3367d9}.react-flow.dark{--xy-edge-stroke-default: #3e3e3e;--xy-edge-stroke-width-default: 1;--xy-edge-stroke-selected-default: #727272;--xy-connectionline-stroke-default: #b1b1b7;--xy-connectionline-stroke-width-default: 1;--xy-attribution-background-color-default: rgba(150, 150, 150, .25);--xy-minimap-background-color-default: #141414;--xy-minimap-mask-background-color-default: rgba(60, 60, 60, .6);--xy-minimap-mask-stroke-color-default: transparent;--xy-minimap-mask-stroke-width-default: 1;--xy-minimap-node-background-color-default: #2b2b2b;--xy-minimap-node-stroke-color-default: transparent;--xy-minimap-node-stroke-width-default: 2;--xy-background-color-default: #141414;--xy-background-pattern-dots-color-default: #777;--xy-background-pattern-lines-color-default: #777;--xy-background-pattern-cross-color-default: #777;--xy-node-color-default: #f8f8f8;--xy-node-border-default: 1px solid #3c3c3c;--xy-node-background-color-default: #1e1e1e;--xy-node-group-background-color-default: rgba(240, 240, 240, .25);--xy-node-boxshadow-hover-default: 0 1px 4px 1px rgba(255, 255, 255, .08);--xy-node-boxshadow-selected-default: 0 0 0 .5px #999;--xy-handle-background-color-default: #bebebe;--xy-handle-border-color-default: #1e1e1e;--xy-selection-background-color-default: rgba(200, 200, 220, .08);--xy-selection-border-default: 1px dotted rgba(200, 200, 220, .8);--xy-controls-button-background-color-default: #2b2b2b;--xy-controls-button-background-color-hover-default: #3e3e3e;--xy-controls-button-color-default: #f8f8f8;--xy-controls-button-color-hover-default: #fff;--xy-controls-button-border-color-default: #5b5b5b;--xy-controls-box-shadow-default: 0 0 2px 1px rgba(0, 0, 0, .08);--xy-edge-label-background-color-default: #141414;--xy-edge-label-color-default: #f8f8f8}.react-flow__background{background-color:var(--xy-background-color-props, var(--xy-background-color, var(--xy-background-color-default)));pointer-events:none;z-index:-1}.react-flow__container{position:absolute;width:100%;height:100%;top:0;left:0}.react-flow__pane{z-index:1}.react-flow__pane.draggable{cursor:grab}.react-flow__pane.dragging{cursor:grabbing}.react-flow__pane.selection{cursor:pointer}.react-flow__viewport{transform-origin:0 0;z-index:2;pointer-events:none}.react-flow__renderer{z-index:4}.react-flow__selection{z-index:6}.react-flow__nodesselection-rect:focus,.react-flow__nodesselection-rect:focus-visible{outline:none}.react-flow__edge-path{stroke:var(--xy-edge-stroke, var(--xy-edge-stroke-default));stroke-width:var(--xy-edge-stroke-width, var(--xy-edge-stroke-width-default));fill:none}.react-flow__connection-path{stroke:var(--xy-connectionline-stroke, var(--xy-connectionline-stroke-default));stroke-width:var(--xy-connectionline-stroke-width, var(--xy-connectionline-stroke-width-default));fill:none}.react-flow .react-flow__edges{position:absolute}.react-flow .react-flow__edges svg{overflow:visible;position:absolute;pointer-events:none}.react-flow__edge{pointer-events:visibleStroke}.react-flow__edge.selectable{cursor:pointer}.react-flow__edge.animated path{stroke-dasharray:5;animation:dashdraw .5s linear infinite}.react-flow__edge.animated path.react-flow__edge-interaction{stroke-dasharray:none;animation:none}.react-flow__edge.inactive{pointer-events:none}.react-flow__edge.selected,.react-flow__edge:focus,.react-flow__edge:focus-visible{outline:none}.react-flow__edge.selected .react-flow__edge-path,.react-flow__edge.selectable:focus .react-flow__edge-path,.react-flow__edge.selectable:focus-visible .react-flow__edge-path{stroke:var(--xy-edge-stroke-selected, var(--xy-edge-stroke-selected-default))}.react-flow__edge-textwrapper{pointer-events:all}.react-flow__edge .react-flow__edge-text{pointer-events:none;-webkit-user-select:none;-moz-user-select:none;user-select:none}.react-flow__arrowhead polyline{stroke:var(--xy-edge-stroke, var(--xy-edge-stroke-default))}.react-flow__arrowhead polyline.arrowclosed{fill:var(--xy-edge-stroke, var(--xy-edge-stroke-default))}.react-flow__connection{pointer-events:none}.react-flow__connection .animated{stroke-dasharray:5;animation:dashdraw .5s linear infinite}svg.react-flow__connectionline{z-index:1001;overflow:visible;position:absolute}.react-flow__nodes{pointer-events:none;transform-origin:0 0}.react-flow__node{position:absolute;-webkit-user-select:none;-moz-user-select:none;user-select:none;pointer-events:all;transform-origin:0 0;box-sizing:border-box;cursor:default}.react-flow__node.selectable{cursor:pointer}.react-flow__node.draggable{cursor:grab;pointer-events:all}.react-flow__node.draggable.dragging{cursor:grabbing}.react-flow__nodesselection{z-index:3;transform-origin:left top;pointer-events:none}.react-flow__nodesselection-rect{position:absolute;pointer-events:all;cursor:grab}.react-flow__handle{position:absolute;pointer-events:none;min-width:5px;min-height:5px;width:6px;height:6px;background-color:var(--xy-handle-background-color, var(--xy-handle-background-color-default));border:1px solid var(--xy-handle-border-color, var(--xy-handle-border-color-default));border-radius:100%}.react-flow__handle.connectingfrom{pointer-events:all}.react-flow__handle.connectionindicator{pointer-events:all;cursor:crosshair}.react-flow__handle-bottom{top:auto;left:50%;bottom:0;transform:translate(-50%,50%)}.react-flow__handle-top{top:0;left:50%;transform:translate(-50%,-50%)}.react-flow__handle-left{top:50%;left:0;transform:translate(-50%,-50%)}.react-flow__handle-right{top:50%;right:0;transform:translate(50%,-50%)}.react-flow__edgeupdater{cursor:move;pointer-events:all}.react-flow__pane.selection .react-flow__panel{pointer-events:none}.react-flow__panel{position:absolute;z-index:5;margin:15px}.react-flow__panel.top{top:0}.react-flow__panel.bottom{bottom:0}.react-flow__panel.top.center,.react-flow__panel.bottom.center{left:50%;transform:translate(-15px) translate(-50%)}.react-flow__panel.left{left:0}.react-flow__panel.right{right:0}.react-flow__panel.left.center,.react-flow__panel.right.center{top:50%;transform:translateY(-15px) translateY(-50%)}.react-flow__attribution{font-size:10px;background:var(--xy-attribution-background-color, var(--xy-attribution-background-color-default));padding:2px 3px;margin:0}.react-flow__attribution a{text-decoration:none;color:#999}@keyframes dashdraw{0%{stroke-dashoffset:10}}.react-flow__edgelabel-renderer{position:absolute;width:100%;height:100%;pointer-events:none;-webkit-user-select:none;-moz-user-select:none;user-select:none;left:0;top:0}.react-flow__viewport-portal{position:absolute;width:100%;height:100%;left:0;top:0;-webkit-user-select:none;-moz-user-select:none;user-select:none}.react-flow__minimap{background:var( --xy-minimap-background-color-props, var(--xy-minimap-background-color, var(--xy-minimap-background-color-default)) )}.react-flow__minimap-svg{display:block}.react-flow__minimap-mask{fill:var( --xy-minimap-mask-background-color-props, var(--xy-minimap-mask-background-color, var(--xy-minimap-mask-background-color-default)) );stroke:var( --xy-minimap-mask-stroke-color-props, var(--xy-minimap-mask-stroke-color, var(--xy-minimap-mask-stroke-color-default)) );stroke-width:var( --xy-minimap-mask-stroke-width-props, var(--xy-minimap-mask-stroke-width, var(--xy-minimap-mask-stroke-width-default)) )}.react-flow__minimap-node{fill:var( --xy-minimap-node-background-color-props, var(--xy-minimap-node-background-color, var(--xy-minimap-node-background-color-default)) );stroke:var( --xy-minimap-node-stroke-color-props, var(--xy-minimap-node-stroke-color, var(--xy-minimap-node-stroke-color-default)) );stroke-width:var( --xy-minimap-node-stroke-width-props, var(--xy-minimap-node-stroke-width, var(--xy-minimap-node-stroke-width-default)) )}.react-flow__background-pattern.dots{fill:var( --xy-background-pattern-color-props, var(--xy-background-pattern-color, var(--xy-background-pattern-dots-color-default)) )}.react-flow__background-pattern.lines{stroke:var( --xy-background-pattern-color-props, var(--xy-background-pattern-color, var(--xy-background-pattern-lines-color-default)) )}.react-flow__background-pattern.cross{stroke:var( --xy-background-pattern-color-props, var(--xy-background-pattern-color, var(--xy-background-pattern-cross-color-default)) )}.react-flow__controls{display:flex;flex-direction:column;box-shadow:var(--xy-controls-box-shadow, var(--xy-controls-box-shadow-default))}.react-flow__controls.horizontal{flex-direction:row}.react-flow__controls-button{display:flex;justify-content:center;align-items:center;height:26px;width:26px;padding:4px;border:none;background:var(--xy-controls-button-background-color, var(--xy-controls-button-background-color-default));border-bottom:1px solid var( --xy-controls-button-border-color-props, var(--xy-controls-button-border-color, var(--xy-controls-button-border-color-default)) );color:var( --xy-controls-button-color-props, var(--xy-controls-button-color, var(--xy-controls-button-color-default)) );cursor:pointer;-webkit-user-select:none;-moz-user-select:none;user-select:none}.react-flow__controls-button svg{width:100%;max-width:12px;max-height:12px;fill:currentColor}.react-flow__edge.updating .react-flow__edge-path{stroke:#777}.react-flow__edge-text{font-size:10px}.react-flow__node.selectable:focus,.react-flow__node.selectable:focus-visible{outline:none}.react-flow__node-input,.react-flow__node-default,.react-flow__node-output,.react-flow__node-group{padding:10px;border-radius:var(--xy-node-border-radius, var(--xy-node-border-radius-default));width:150px;font-size:12px;color:var(--xy-node-color, var(--xy-node-color-default));text-align:center;border:var(--xy-node-border, var(--xy-node-border-default));background-color:var(--xy-node-background-color, var(--xy-node-background-color-default))}.react-flow__node-input.selectable:hover,.react-flow__node-default.selectable:hover,.react-flow__node-output.selectable:hover,.react-flow__node-group.selectable:hover{box-shadow:var(--xy-node-boxshadow-hover, var(--xy-node-boxshadow-hover-default))}.react-flow__node-input.selectable.selected,.react-flow__node-input.selectable:focus,.react-flow__node-input.selectable:focus-visible,.react-flow__node-default.selectable.selected,.react-flow__node-default.selectable:focus,.react-flow__node-default.selectable:focus-visible,.react-flow__node-output.selectable.selected,.react-flow__node-output.selectable:focus,.react-flow__node-output.selectable:focus-visible,.react-flow__node-group.selectable.selected,.react-flow__node-group.selectable:focus,.react-flow__node-group.selectable:focus-visible{box-shadow:var(--xy-node-boxshadow-selected, var(--xy-node-boxshadow-selected-default))}.react-flow__node-group{background-color:var(--xy-node-group-background-color, var(--xy-node-group-background-color-default))}.react-flow__nodesselection-rect,.react-flow__selection{background:var(--xy-selection-background-color, var(--xy-selection-background-color-default));border:var(--xy-selection-border, var(--xy-selection-border-default))}.react-flow__nodesselection-rect:focus,.react-flow__nodesselection-rect:focus-visible,.react-flow__selection:focus,.react-flow__selection:focus-visible{outline:none}.react-flow__controls-button:hover{background:var( --xy-controls-button-background-color-hover-props, var(--xy-controls-button-background-color-hover, var(--xy-controls-button-background-color-hover-default)) );color:var( --xy-controls-button-color-hover-props, var(--xy-controls-button-color-hover, var(--xy-controls-button-color-hover-default)) )}.react-flow__controls-button:disabled{pointer-events:none}.react-flow__controls-button:disabled svg{fill-opacity:.4}.react-flow__controls-button:last-child{border-bottom:none}.react-flow__controls.horizontal .react-flow__controls-button{border-bottom:none;border-right:1px solid var( --xy-controls-button-border-color-props, var(--xy-controls-button-border-color, var(--xy-controls-button-border-color-default)) )}.react-flow__controls.horizontal .react-flow__controls-button:last-child{border-right:none}.react-flow__resize-control{position:absolute}.react-flow__resize-control.left,.react-flow__resize-control.right{cursor:ew-resize}.react-flow__resize-control.top,.react-flow__resize-control.bottom{cursor:ns-resize}.react-flow__resize-control.top.left,.react-flow__resize-control.bottom.right{cursor:nwse-resize}.react-flow__resize-control.bottom.left,.react-flow__resize-control.top.right{cursor:nesw-resize}.react-flow__resize-control.handle{width:5px;height:5px;border:1px solid #fff;border-radius:1px;background-color:var(--xy-resize-background-color, var(--xy-resize-background-color-default));translate:-50% -50%}.react-flow__resize-control.handle.left{left:0;top:50%}.react-flow__resize-control.handle.right{left:100%;top:50%}.react-flow__resize-control.handle.top{left:50%;top:0}.react-flow__resize-control.handle.bottom{left:50%;top:100%}.react-flow__resize-control.handle.top.left,.react-flow__resize-control.handle.bottom.left{left:0}.react-flow__resize-control.handle.top.right,.react-flow__resize-control.handle.bottom.right{left:100%}.react-flow__resize-control.line{border-color:var(--xy-resize-background-color, var(--xy-resize-background-color-default));border-width:0;border-style:solid}.react-flow__resize-control.line.left,.react-flow__resize-control.line.right{width:1px;transform:translate(-50%);top:0;height:100%}.react-flow__resize-control.line.left{left:0;border-left-width:1px}.react-flow__resize-control.line.right{left:100%;border-right-width:1px}.react-flow__resize-control.line.top,.react-flow__resize-control.line.bottom{height:1px;transform:translateY(-50%);left:0;width:100%}.react-flow__resize-control.line.top{top:0;border-top-width:1px}.react-flow__resize-control.line.bottom{border-bottom-width:1px;top:100%}.react-flow__edge-textbg{fill:var(--xy-edge-label-background-color, var(--xy-edge-label-background-color-default))}.react-flow__edge-text{fill:var(--xy-edge-label-color, var(--xy-edge-label-color-default))}:root{--bg: #0d1117;--bg-secondary: #161b22;--bg-tertiary: #0a0e14;--panel: #161b22;--panel-2: #0f1318;--panel-hover: #1c2333;--border: #21293a;--border-muted: #1a2030;--border-active: #39d0ac;--text: #e6edf3;--text-2: #c9d1d9;--muted: #8b949e;--muted-2: #6e7681;--accent: #39d0ac;--accent-soft: rgba(57, 208, 172, .1);--accent-glow: rgba(57, 208, 172, .22);--success: #3fb950;--success-soft: rgba(63, 185, 80, .1);--warning: #e3b341;--warning-soft: rgba(227, 179, 65, .1);--danger: #f85149;--danger-soft: rgba(248, 81, 73, .1);--info: #58a6ff;--canvas-dot: rgba(139, 148, 158, .08);--canvas-grid: rgba(57, 208, 172, .025);--header-bg: #161b22;--header-border: #21293a;--header-height: 52px;--sidebar-width: 220px;--sidebar-bg: #0d1117;--font-sans: "IBM Plex Sans", sans-serif;--font-mono: "IBM Plex Mono", monospace}:root[data-theme=light]{--bg: #f5f7fa;--bg-secondary: #ffffff;--bg-tertiary: #edf0f4;--panel: #ffffff;--panel-2: #f5f7fa;--panel-hover: #eef2f7;--border: #dde1e8;--border-muted: #eceff4;--border-active: #0d7a5f;--text: #111827;--text-2: #374151;--muted: #6b7280;--muted-2: #9ca3af;--accent: #0d7a5f;--accent-soft: rgba(13, 122, 95, .08);--accent-glow: rgba(13, 122, 95, .14);--success: #15803d;--success-soft: rgba(21, 128, 61, .08);--warning: #b45309;--warning-soft: rgba(180, 83, 9, .08);--danger: #dc2626;--danger-soft: rgba(220, 38, 38, .08);--info: #1d4ed8;--canvas-dot: rgba(107, 114, 128, .1);--canvas-grid: transparent;--header-bg: #ffffff;--header-border: #e5e7eb;--sidebar-bg: #ffffff}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--text);font-family:var(--font-sans);font-size:14px;line-height:1.5;-webkit-font-smoothing:antialiased}body:before{content:"";position:fixed;top:0;right:0;bottom:0;left:0;pointer-events:none;background-image:linear-gradient(var(--canvas-grid) 1px,transparent 1px),linear-gradient(90deg,var(--canvas-grid) 1px,transparent 1px);background-size:40px 40px;z-index:0}:root[data-theme=light] body:before{display:none}::-webkit-scrollbar{width:5px;height:5px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:var(--border);border-radius:3px}::-webkit-scrollbar-thumb:hover{background:var(--muted-2)}h1,h2,h3,h4,label,button,input,textarea,select,th,td,.metric-value,.metric-label,.log-body,.status,strong,small{font-family:var(--font-mono)}h1,h2,h3,h4{margin:0}button{cursor:pointer}input,textarea,select{width:100%;padding:8px 10px;color:var(--text);border:1px solid var(--border);border-radius:6px;background:var(--panel-2);font-size:12px;transition:border-color .15s}input:focus,textarea:focus,select:focus{outline:none;border-color:var(--accent)}textarea{resize:vertical}input[type=range]{padding:0}label{display:grid;gap:5px;font-size:11px;color:var(--muted)}.app-root{display:grid;grid-template-rows:var(--header-height) 1fr;grid-template-columns:var(--sidebar-width) 1fr;min-height:100vh}.app-header{grid-column:1 / -1;grid-row:1;background:var(--header-bg);border-bottom:1px solid var(--header-border);display:flex;align-items:center;z-index:200;position:sticky;top:0}.header-brand{width:var(--sidebar-width);min-width:var(--sidebar-width);display:flex;align-items:center;gap:10px;padding:0 16px;border-right:1px solid var(--header-border);height:100%;flex-shrink:0}.brand-mark{width:30px;height:30px;background:linear-gradient(135deg,var(--accent) 0%,#1fa88a 100%);border-radius:7px;display:flex;align-items:center;justify-content:center;font-family:var(--font-mono);font-weight:700;font-size:12px;color:#0d1117;flex-shrink:0;letter-spacing:-.5px;-webkit-user-select:none;user-select:none}.header-brand-text{display:flex;flex-direction:column;gap:1px}.header-brand-name{font-family:var(--font-mono);font-size:14px;font-weight:700;color:var(--text);line-height:1;letter-spacing:.3px}.header-brand-sub{font-size:9px;color:var(--muted);font-family:var(--font-mono);letter-spacing:.5px}.header-breadcrumb{flex:1;display:flex;align-items:center;gap:8px;padding:0 20px}.header-sep{color:var(--border);font-size:20px;font-weight:200;font-family:var(--font-sans);line-height:1}.header-view-name{font-family:var(--font-mono);font-size:12px;font-weight:500;color:var(--muted);letter-spacing:.3px}.header-actions{display:flex;align-items:center;gap:10px;padding-right:20px;min-width:0}.header-status{display:inline-flex;align-items:center;gap:6px;padding:4px 12px;border-radius:20px;font-family:var(--font-mono);font-size:10px;font-weight:700;letter-spacing:1px}.header-status.running{background:#39d0ac1f;color:var(--accent);border:1px solid rgba(57,208,172,.28)}.header-status.complete{background:#3fb9501a;color:var(--success);border:1px solid rgba(63,185,80,.25)}.header-status.error{background:#f851491a;color:var(--danger);border:1px solid rgba(248,81,73,.25)}.header-session{display:inline-flex;align-items:center;gap:8px;padding:5px 12px;border:1px solid var(--border);border-radius:20px;background:var(--panel);box-shadow:0 1px 2px #0f172a0d;min-width:0;max-width:min(42vw,360px)}.header-session-user{font-family:var(--font-mono);font-size:11px;font-weight:500;color:var(--text-2);min-width:0;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.header-session-pqc{font-family:var(--font-mono);font-size:9px;font-weight:700;letter-spacing:1px;color:var(--accent);background:var(--accent-soft);border:1px solid rgba(57,208,172,.2);border-radius:3px;padding:1px 5px}.header-logout{width:28px;height:28px;border-radius:6px;border:1px solid var(--border);background:transparent;color:var(--muted);display:flex;align-items:center;justify-content:center;cursor:pointer;transition:all .12s;padding:0}.header-logout:hover{color:var(--danger);border-color:var(--danger);background:var(--danger-soft)}.pulse-dot{width:6px;height:6px;border-radius:50%;background:currentColor;animation:pulseDot 1.4s ease-in-out infinite}@keyframes pulseDot{0%,to{opacity:1}50%{opacity:.3}}.sidebar{grid-column:1;grid-row:2;background:var(--sidebar-bg);border-right:1px solid var(--border);display:flex;flex-direction:column;height:calc(100vh - var(--header-height));position:sticky;top:var(--header-height);overflow:hidden}.brand,.theme-toggle-legacy{display:none}.sidebar-nav{flex:1;padding:8px 0;overflow-y:auto}.nav-group{margin-bottom:2px}.nav-group-label,.nav-section-label{padding:10px 16px 4px;font-family:var(--font-mono);font-size:9px;font-weight:700;letter-spacing:2px;color:var(--muted-2);display:block}nav{display:flex;flex-direction:column;gap:1px;padding:0 8px}.nav-item{display:flex;align-items:center;gap:9px;padding:7px 10px;border-radius:6px;border:none;background:transparent;color:var(--muted);font-family:var(--font-mono);font-size:11px;font-weight:500;letter-spacing:.2px;cursor:pointer;transition:all .12s ease;text-align:left;width:100%;position:relative}.nav-item:hover{background:var(--panel-hover);color:var(--text)}.nav-item.active{background:var(--accent-soft);color:var(--accent)}.nav-item.active:before{content:"";position:absolute;left:-8px;top:6px;bottom:6px;width:3px;background:var(--accent);border-radius:0 2px 2px 0}.nav-item.nav-running{color:var(--accent)}@keyframes navPulse{0%,to{opacity:1}50%{opacity:.5}}.nav-badge{margin-left:auto;font-size:9px;animation:pulseDot 1.2s ease-in-out infinite}.sidebar-footer{padding:12px;border-top:1px solid var(--border);display:flex;flex-direction:column;gap:8px;flex-shrink:0}.run-pipeline-btn{display:flex;align-items:center;justify-content:center;gap:7px;width:100%;padding:10px 16px;background:var(--accent);color:#0d1117;border:none;border-radius:8px;font-family:var(--font-mono);font-size:11px;font-weight:700;letter-spacing:1px;cursor:pointer;transition:all .2s ease}.run-pipeline-btn:hover:not(:disabled){filter:brightness(1.08);box-shadow:0 0 20px var(--accent-glow)}.run-pipeline-btn:disabled{opacity:.75;cursor:not-allowed;animation:pipelineRunning 1.6s ease-in-out infinite}@keyframes pipelineRunning{0%,to{box-shadow:0 0 0 0 var(--accent-glow)}50%{box-shadow:0 0 14px 4px var(--accent-glow)}}.theme-toggle{display:flex;align-items:center;justify-content:center;gap:6px;width:100%;padding:6px;background:transparent;border:1px solid var(--border);border-radius:6px;color:var(--muted);font-family:var(--font-mono);font-size:10px;letter-spacing:.5px;cursor:pointer;transition:all .12s ease}.theme-toggle:hover{border-color:var(--accent);color:var(--accent)}.sidebar-actions{padding:10px;border-top:1px solid var(--border)}.sidebar-run{width:100%;justify-content:center}main{grid-column:2;grid-row:2;padding:16px;overflow-x:hidden;min-height:calc(100vh - var(--header-height))}.panel{background:var(--panel);border:1px solid var(--border);border-radius:10px}.run-btn{display:inline-flex;align-items:center;gap:7px;padding:9px 18px;background:var(--accent);color:#0d1117;border:none;border-radius:8px;font-family:var(--font-mono);font-size:12px;font-weight:700;letter-spacing:.5px;cursor:pointer;transition:all .18s ease}.run-btn:hover:not(:disabled){filter:brightness(1.08);box-shadow:0 4px 18px var(--accent-glow)}.run-btn:disabled{opacity:.5;cursor:not-allowed}.danger-btn{display:inline-flex;align-items:center;gap:7px;padding:9px 16px;background:var(--danger-soft);color:var(--danger);border:1px solid rgba(248,81,73,.28);border-radius:8px;font-family:var(--font-mono);font-size:12px;font-weight:600;cursor:pointer;transition:all .15s ease}.danger-btn:hover{filter:brightness(1.1)}.ghost{display:inline-flex;align-items:center;gap:7px;padding:7px 14px;background:transparent;color:var(--muted);border:1px solid var(--border);border-radius:8px;font-family:var(--font-mono);font-size:11px;cursor:pointer;transition:all .12s ease}.ghost:hover{border-color:var(--accent);color:var(--accent)}.mode-btn{display:inline-flex;align-items:center;gap:6px;padding:6px 12px;background:transparent;color:var(--muted);border:1px solid var(--border);border-radius:6px;font-family:var(--font-mono);font-size:11px;cursor:pointer;transition:all .12s ease}.mode-btn.active{background:var(--accent-soft);color:var(--accent);border-color:var(--accent)}.mode-btn:hover{border-color:var(--muted);color:var(--text)}.mode-btn.active:hover{border-color:var(--accent);color:var(--accent)}.tiny{padding:4px 10px;font-size:10px}.builder-view{display:block}.config-panel{padding:16px;display:grid;gap:12px;max-height:calc(100vh - var(--header-height) - 32px);overflow:auto;width:100%}.section-box{border:1px solid var(--border);border-radius:8px;padding:12px;background:var(--panel-2)}.section-title-row{display:flex;align-items:center;justify-content:space-between;gap:10px;margin-bottom:10px}.builder-chip{border:1px solid var(--accent);color:var(--accent);background:var(--accent-soft);border-radius:999px;padding:2px 10px;font-size:10px;font-family:var(--font-mono)}.label{color:var(--muted);margin-bottom:6px;font-size:11px;font-family:var(--font-mono)}.config-select{-webkit-appearance:none;-moz-appearance:none;appearance:none;cursor:pointer;background:var(--panel-2) url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='12' height='12' viewBox='0 0 24 24' fill='none' stroke='%236e7681' stroke-width='2'%3E%3Cpolyline points='6 9 12 15 18 9'%3E%3C/polyline%3E%3C/svg%3E") no-repeat right 10px center;padding-right:28px}.slider-grid{display:grid;gap:10px}.button-row{display:flex;gap:8px;flex-wrap:wrap}.checklist-grid{display:grid;grid-template-columns:1fr;gap:6px}.check-card{display:grid;grid-template-columns:16px 1fr;grid-template-rows:auto auto;column-gap:9px;row-gap:1px;border:1px solid var(--border);border-radius:7px;padding:8px;background:var(--panel-2);transition:border-color .15s,background .15s;cursor:pointer}.check-card input{width:14px;height:14px;margin-top:2px;grid-column:1;grid-row:1 / span 2}.check-card span{grid-column:2;grid-row:1;line-height:1.2;font-size:12px}.check-card small{grid-column:2;grid-row:2;color:var(--muted);font-size:10px}.check-card.selected{border-color:var(--accent);background:var(--accent-soft)}.check-inline{display:inline-flex;align-items:center;gap:8px;flex-direction:row}.check-inline input{width:14px;height:14px}.pipeline-editor-wrap{display:flex;gap:12px;min-height:calc(100vh - var(--header-height) - 32px);height:calc(100vh - var(--header-height) - 32px)}.pipeline-wrap{padding:12px;display:flex;flex-direction:column;min-width:0;min-height:0;gap:10px}.flow-legend{display:flex;gap:12px;color:var(--muted);font-size:11px;align-items:center}.flow-legend span{display:inline-flex;align-items:center;gap:4px}.pipeline-canvas{position:relative;flex:1;min-height:560px;border:1px solid var(--border);border-radius:10px;overflow:hidden;background:var(--bg)}.pipeline-node{border:1px solid var(--border);border-radius:10px;padding:10px 12px;min-width:180px;background:var(--panel);display:grid;gap:6px;transition:all .2s ease;box-shadow:0 2px 8px #00000040}.pipeline-node.selected{border-color:var(--accent);box-shadow:0 0 0 1px var(--accent),0 4px 20px var(--accent-glow)}.pipeline-node-head{display:inline-flex;align-items:center;gap:7px}.status-line{display:inline-flex;align-items:center;gap:6px;color:var(--muted);font-size:11px}.status-dot{width:8px;height:8px;border-radius:50%;background:var(--muted-2);transition:all .3s ease;flex-shrink:0}.status-dot.mini{width:6px;height:6px}.pipeline-node.running{border-color:var(--accent)}.pipeline-node.running .status-dot{background:var(--accent);box-shadow:0 0 10px var(--accent-glow);animation:pulseDot 1.2s ease-in-out infinite}.pipeline-node.success .status-dot,.pipeline-node.complete .status-dot{background:var(--success);box-shadow:0 0 8px #3fb95066}.pipeline-node.failed .status-dot,.pipeline-node.error .status-dot{background:var(--danger);box-shadow:0 0 8px #f8514966}.pipeline-node.non_compliant .status-dot{background:var(--warning);box-shadow:0 0 8px #e3b34166}.node-log-preview{border-top:1px solid var(--border);padding-top:5px}.node-log-preview small{color:var(--muted-2);font-size:10px;display:block;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;max-width:175px}.pipeline-editor-fullwidth{gap:12px}.palette-hamburger{width:32px;height:32px;border-radius:7px;border:1px solid var(--border);background:var(--panel-2);color:var(--muted);display:flex;align-items:center;justify-content:center;cursor:pointer;transition:all .15s ease;flex-shrink:0;padding:0}.palette-hamburger:hover{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}.palette-backdrop{position:absolute;top:0;right:0;bottom:0;left:0;z-index:49;background:#0003;-webkit-backdrop-filter:blur(1px);backdrop-filter:blur(1px)}.palette-drawer{position:absolute;top:52px;left:10px;z-index:50;width:260px;max-height:calc(100% - 62px);overflow:hidden;transform:translate(calc(-100% - 20px));opacity:0;transition:transform .22s cubic-bezier(.4,0,.2,1),opacity .18s ease;pointer-events:none;border-radius:10px;box-shadow:0 8px 32px #00000080}.palette-drawer-open{transform:translate(0);opacity:1;pointer-events:auto}.node-palette{width:260px;min-width:260px;background:var(--panel);border:1px solid var(--border);border-radius:10px;padding:10px;display:flex;flex-direction:column;gap:6px;max-height:calc(100vh - var(--header-height) - 32px);overflow-y:auto}.palette-title{display:flex;align-items:center;justify-content:space-between;gap:6px;font-size:9px;letter-spacing:2px;color:var(--muted);font-family:var(--font-mono);padding-bottom:8px;border-bottom:1px solid var(--border)}.palette-title-main{display:inline-flex;align-items:center;gap:6px}.palette-actions{display:inline-flex;gap:4px}.palette-action-btn{width:22px;height:22px;border:1px solid var(--border);border-radius:5px;background:transparent;color:var(--muted);display:inline-flex;align-items:center;justify-content:center;padding:0;cursor:pointer;transition:all .12s}.palette-action-btn:hover{color:var(--accent);border-color:var(--accent)}.palette-list{display:flex;flex-direction:column;gap:4px}.palette-item{display:flex;align-items:center;gap:8px;padding:7px 8px;border:1px solid var(--border);border-radius:7px;background:var(--panel-2);cursor:grab;transition:all .12s ease;-webkit-user-select:none;user-select:none}.palette-item:hover{border-color:var(--accent);background:var(--accent-soft)}.palette-item:active{cursor:grabbing;opacity:.6}.palette-item-icon{color:var(--accent);display:flex;align-items:center;flex-shrink:0}.palette-item-text{display:flex;flex-direction:column;gap:1px;min-width:0}.palette-item-label{font-size:11px;font-family:var(--font-mono);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.palette-item-desc{color:var(--muted);font-size:10px}.palette-hint{margin-top:auto;text-align:center;color:var(--muted-2);padding-top:6px;border-top:1px solid var(--border)}.palette-hint small{font-size:10px}.node-palette.collapsed{width:50px;min-width:50px;padding:8px 4px;overflow:hidden}.node-palette.collapsed .palette-actions{flex-direction:column}.node-palette.collapsed .palette-title{border-bottom:0;padding-bottom:0}.palette-collapsed-hint{margin-top:auto;display:grid;gap:6px;justify-items:center;color:var(--muted-2);font-size:10px;letter-spacing:1px}.palette-group-label{font-size:9px;letter-spacing:2px;font-weight:700;color:var(--muted-2);font-family:var(--font-mono);padding:10px 2px 4px}.palette-group-label:not(:first-child){border-top:1px solid var(--border);margin-top:4px;padding-top:10px}.canvas-empty-hint{position:absolute;top:50%;left:50%;transform:translate(-50%,-50%);display:flex;flex-direction:column;align-items:center;gap:8px;color:var(--muted);font-family:var(--font-mono);text-align:center;pointer-events:none;z-index:5}.canvas-empty-icon{font-size:48px;color:var(--accent);opacity:.15;line-height:1}.canvas-empty-hint>div:nth-child(2){font-size:13px;color:var(--text);opacity:.5}.canvas-empty-hint small{font-size:11px;opacity:.35}.canvas-stats{position:absolute;bottom:8px;right:10px;display:flex;gap:8px;font-size:10px;font-family:var(--font-mono);color:var(--muted);background:color-mix(in srgb,var(--panel) 88%,transparent);border:1px solid var(--border);border-radius:5px;padding:3px 10px;z-index:5;-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px)}.quick-connect-hint{position:absolute;left:10px;top:10px;z-index:6;background:color-mix(in srgb,var(--panel) 92%,transparent);border:1px solid var(--accent);color:var(--text);border-radius:7px;padding:5px 10px;font-size:11px;font-family:var(--font-mono);-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px)}.quick-connect-hint strong{color:var(--accent)}.edge-delete-hint{position:absolute;left:10px;bottom:10px;z-index:6;background:color-mix(in srgb,var(--panel) 92%,transparent);border:1px solid var(--border);color:var(--muted);border-radius:7px;padding:4px 9px;font-size:10px;font-family:var(--font-mono);-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px)}.node-config-panel{width:400px;min-width:400px;background:var(--panel);border:1px solid var(--border);border-radius:10px;display:flex;flex-direction:column;max-height:calc(100vh - var(--header-height) - 32px);overflow:hidden}.config-panel-header{display:flex;align-items:flex-start;justify-content:space-between;padding:12px 14px;border-bottom:1px solid var(--border)}.config-panel-header h3{margin:0;font-size:12px;color:var(--accent);font-family:var(--font-mono)}.config-panel-body{padding:12px 14px 20px;overflow-y:auto;flex:1}.config-section{display:grid;gap:10px}.config-section-label{color:var(--accent);font-size:10px;letter-spacing:.5px;display:flex;align-items:center;gap:6px;font-family:var(--font-mono)}.config-sub{border:1px solid var(--border);border-radius:7px;padding:10px;background:var(--panel-2);display:grid;gap:9px}.security-mode-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(160px,1fr));gap:6px}.security-mode-card{border:1px solid var(--border);border-radius:7px;padding:9px;background:var(--panel-2);text-align:left;transition:all .12s ease;cursor:pointer;min-height:72px}.security-mode-card:hover{border-color:var(--muted)}.security-mode-card.active{border-color:var(--accent);background:var(--accent-soft)}.smc-label{font-size:11px;font-family:var(--font-mono);margin-bottom:3px;display:flex;align-items:center}.security-mode-card small{color:var(--muted);font-size:10px;line-height:1.3}.gateway-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:6px}.runner-view{display:grid;gap:12px}.aristotle-panel{padding:12px 14px;border-left:3px solid var(--accent)}.aristotle-grid{display:grid;grid-template-columns:repeat(3,minmax(160px,1fr));gap:6px;margin-top:8px}.aristotle-item{border:1px solid var(--border);background:var(--panel-2);border-radius:7px;padding:7px 10px;display:inline-flex;align-items:center;gap:7px;font-size:11px;min-width:0}.aristotle-item span{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.pipeline-runner-graph .pipeline-editor-wrap{min-height:unset;height:auto}.pipeline-runner-graph .pipeline-canvas{min-height:380px;height:380px;flex:none}.runner-header{padding:14px;display:flex;justify-content:space-between;align-items:center}.validation-evidence{padding:14px}.validation-evidence h4{margin-top:0}.live-view{display:grid;gap:12px}.live-top{padding:12px 16px;display:flex;justify-content:space-between;align-items:center}.status.running{color:var(--accent)}.status.complete{color:var(--success)}.status.error,.status.idle,.subtle{color:var(--muted)}.metric-grid{display:grid;grid-template-columns:repeat(4,1fr);gap:12px}.metric-tile{padding:16px;position:relative;overflow:hidden}.metric-tile:after{content:"";position:absolute;top:0;left:0;right:0;height:3px;background:var(--border);border-radius:10px 10px 0 0}.metric-tile.success:after{background:var(--success)}.metric-tile.warning:after{background:var(--warning)}.metric-tile.danger:after{background:var(--danger)}.metric-label{font-family:var(--font-mono);font-size:10px;font-weight:600;letter-spacing:1.5px;color:var(--muted);text-transform:uppercase;margin-bottom:10px;display:block}.metric-value{font-family:var(--font-mono);font-size:30px;font-weight:700;color:var(--text);letter-spacing:-.5px;line-height:1}.metric-tile.success .metric-value{color:var(--success)}.metric-tile.warning .metric-value{color:var(--warning)}.metric-tile.danger .metric-value{color:var(--danger)}.ok{color:var(--success)}.warn{color:var(--warning)}.bad{color:var(--danger)}.charts-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:12px}.chart-panel{padding:12px}.live-log{padding:10px}.log-body{background:var(--bg);border:1px solid var(--border);border-radius:6px;padding:10px;height:200px;overflow:auto;font-size:11px;font-family:var(--font-mono)}.log-line{padding:1px 0;font-family:var(--font-mono);font-size:11px;color:var(--text);line-height:1.6}.results-view,.lab-view{display:grid;gap:12px}.aristotle-console{padding:14px}.aristotle-console-header{display:flex;align-items:flex-start;justify-content:space-between;gap:10px}.aristotle-console-header h2{margin:0;display:inline-flex;align-items:center;gap:8px;font-size:16px}.aristotle-console-header small{color:var(--muted)}.aristotle-badges{display:inline-flex;align-items:center;gap:8px;flex-wrap:wrap}.aristotle-conn{display:inline-flex;align-items:center;gap:6px;border-radius:999px;padding:4px 10px;border:1px solid var(--border);font-size:11px;font-family:var(--font-mono)}.aristotle-conn.ok{border-color:#3fb95059;background:var(--success-soft);color:var(--success)}.aristotle-conn.bad{border-color:#f8514959;background:var(--danger-soft);color:var(--danger)}.aristotle-meta{margin-top:10px;display:flex;flex-wrap:wrap;gap:6px}.aristotle-meta span{border:1px solid var(--border);border-radius:5px;padding:4px 8px;color:var(--muted);font-size:11px}.aristotle-mode-grid{display:grid;gap:8px}.aristotle-mode-card{border:1px solid var(--border);background:var(--panel-2);border-radius:9px;padding:10px;display:grid;grid-template-columns:44px 1fr;gap:10px;align-items:center}.aristotle-mode-id{width:34px;height:34px;border-radius:8px;border:1px solid var(--accent);color:var(--accent);display:flex;align-items:center;justify-content:center;font-weight:700;font-size:14px}.aristotle-mode-content{display:grid;gap:3px}.aristotle-mode-content strong{display:inline-flex;align-items:center;gap:6px;font-size:13px}.aristotle-mode-content small{color:var(--muted);font-size:11px}.aristotle-actions{display:grid;gap:10px}.aristotle-actions label{display:grid;gap:5px}.aristotle-actions input[type=file]{border:1px solid var(--border);border-radius:7px;background:var(--panel-2);color:var(--text);padding:7px 8px}.aristotle-output{margin:0;max-height:280px;overflow:auto;border:1px solid var(--border);border-radius:7px;background:var(--bg);color:var(--text);font-size:11px;font-family:var(--font-mono);padding:10px;white-space:pre-wrap;word-break:break-word}.lab-health{padding:10px 14px;display:flex;justify-content:space-between;align-items:center;color:var(--muted);font-size:12px}.lab-health-left{display:inline-flex;gap:6px;align-items:center}.results-header,.sign-panel,.algo-tab,.tab-row{padding:12px 14px}.results-cards{display:grid;grid-template-columns:repeat(3,1fr);gap:10px}.result-card{padding:12px;display:grid;gap:4px}table{width:100%;border-collapse:collapse}th{border:1px solid var(--border);padding:8px 10px;text-align:left;background:var(--panel-2);font-size:10px;letter-spacing:.5px;color:var(--muted)}td{border:1px solid var(--border);padding:8px 10px;text-align:left;font-size:12px}.kv-grid{display:grid;gap:8px}.full-width{word-break:break-all}.nist-box{padding:10px}.verdict-badge{display:inline-flex;align-items:center;gap:6px;padding:5px 14px;border-radius:999px;font-family:var(--font-mono);font-size:12px;font-weight:700;letter-spacing:1px}.verdict-badge.pass{color:var(--success);background:var(--success-soft);border:1px solid rgba(63,185,80,.25)}.verdict-badge.fail{color:var(--danger);background:var(--danger-soft);border:1px solid rgba(248,81,73,.25)}.verdict-badge.small{padding:2px 8px;font-size:10px}.result-meta{display:flex;gap:16px;flex-wrap:wrap;color:var(--muted);font-size:11px;margin-top:8px}.node-results-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:10px;margin-top:10px}.node-result-card{border-left:3px solid var(--border)}.node-result-card.pass{border-left-color:var(--success)}.node-result-card.fail{border-left-color:var(--danger)}.node-result-card.warn{border-left-color:var(--warning)}.rh-view{display:flex;flex-direction:column;gap:0;min-height:calc(100vh - var(--header-height));margin:-16px;background:var(--bg)}.rh-header{display:flex;align-items:flex-start;justify-content:space-between;padding:32px 40px 20px;border-bottom:1px solid var(--border);background:var(--bg-secondary);flex-wrap:wrap;gap:12px}.rh-title{font-family:var(--font-sans);font-size:22px;font-weight:600;color:var(--text);margin:0 0 4px}.rh-subtitle{font-size:13px;color:var(--muted);margin:0}.rh-header-actions{display:flex;align-items:center;gap:12px;flex-wrap:wrap}.rh-auto-note{display:flex;align-items:center;gap:6px;font-family:var(--font-mono);font-size:11px;color:var(--muted)}.rh-live-dot{width:7px;height:7px;border-radius:50%;background:var(--success);box-shadow:0 0 6px var(--success)}.rh-filter-bar{display:flex;align-items:center;gap:6px;padding:14px 40px;border-bottom:1px solid var(--border);background:var(--bg-secondary);flex-wrap:wrap}.rh-filter-btn{padding:5px 14px;border:1px solid var(--border);border-radius:20px;background:transparent;color:var(--muted);font-family:var(--font-mono);font-size:11px;cursor:pointer;transition:all .12s}.rh-filter-btn:hover{color:var(--text);border-color:var(--muted)}.rh-filter-active{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}.rh-count{margin-left:auto;font-family:var(--font-mono);font-size:11px;color:var(--muted-2)}.rh-empty{display:flex;flex-direction:column;align-items:center;justify-content:center;padding:80px 24px;color:var(--muted);font-family:var(--font-mono);font-size:13px;text-align:center;gap:4px}.rh-empty small{color:var(--muted-2);font-size:11px}.rh-list{display:flex;flex-direction:column;padding:20px 40px;gap:12px}.rh-card{background:var(--panel);border:1px solid var(--border);border-radius:12px;overflow:hidden;transition:border-color .15s,box-shadow .15s;cursor:pointer}.rh-card:hover{border-color:var(--accent);box-shadow:0 2px 16px var(--accent-glow)}.rh-card-header{display:flex;align-items:flex-start;justify-content:space-between;padding:18px 20px 14px;gap:12px;flex-wrap:wrap}.rh-card-title-block{display:flex;flex-direction:column;gap:5px}.rh-card-title{font-family:var(--font-mono);font-size:14px;font-weight:700;color:var(--text);display:flex;align-items:center;gap:8px}.rh-mode-chip{font-size:10px;font-weight:600;letter-spacing:1px;padding:2px 8px;border-radius:4px;background:var(--accent-soft);color:var(--accent);border:1px solid rgba(57,208,172,.2)}.rh-card-meta{display:flex;gap:6px;font-family:var(--font-mono);font-size:11px;color:var(--muted)}.rh-card-actions{display:flex;align-items:center;gap:10px;flex-shrink:0}.rh-view-btn{white-space:nowrap}.rh-badge{display:inline-flex;align-items:center;gap:5px;padding:4px 10px;border-radius:20px;font-family:var(--font-mono);font-size:10px;font-weight:700;letter-spacing:.5px;white-space:nowrap}.rh-badge-pass{background:#3fb9501f;color:var(--success);border:1px solid rgba(63,185,80,.3)}.rh-badge-fail{background:#f851491f;color:var(--danger);border:1px solid rgba(248,81,73,.3)}.rh-badge-idle{background:var(--panel-2);color:var(--muted);border:1px solid var(--border)}.rh-tabs{display:flex;gap:0;padding:0 20px;border-top:1px solid var(--border);border-bottom:1px solid var(--border);background:var(--panel-2)}.rh-tab{display:inline-flex;align-items:center;gap:5px;padding:8px 14px;background:transparent;border:none;border-bottom:2px solid transparent;color:var(--muted);font-family:var(--font-mono);font-size:11px;cursor:pointer;transition:all .12s;margin-bottom:-1px}.rh-tab:hover{color:var(--text)}.rh-tab-active{color:var(--accent);border-bottom-color:var(--accent)}.rh-tab-body{padding:4px 0}.rh-file-list{display:flex;flex-direction:column}.rh-file-row{display:flex;align-items:center;gap:10px;padding:10px 20px;border-bottom:1px solid var(--border-muted);font-family:var(--font-mono);font-size:12px;color:var(--text);transition:background .1s}.rh-file-row:last-child{border-bottom:none}.rh-file-row:hover{background:var(--panel-hover)}.rh-file-dot{width:8px;height:8px;border-radius:50%;flex-shrink:0}.dot-pass{background:var(--success);box-shadow:0 0 6px #3fb95066}.dot-fail{background:var(--danger);box-shadow:0 0 6px #f8514966}.dot-warn{background:var(--warning);box-shadow:0 0 6px #e3b34166}.rh-file-name{flex:1;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.rh-file-meta{color:var(--muted);font-size:11px;white-space:nowrap}.rh-muted{color:var(--muted);font-size:12px}.history-list{display:grid;gap:8px}.history-card{padding:12px 14px;cursor:pointer;transition:all .15s ease}.history-card:hover{border-color:var(--accent)}.history-card-left{display:flex;align-items:center;gap:10px}.history-card-checks{display:flex;gap:6px;margin-top:8px;padding-top:8px;border-top:1px solid var(--border)}.history-check{width:20px;height:20px;border-radius:50%;display:flex;align-items:center;justify-content:center;font-size:10px;font-family:var(--font-mono)}.history-check.ok{background:var(--success-soft);color:var(--success)}.history-check.bad{background:var(--danger-soft);color:var(--danger)}.react-flow__controls{background:var(--panel);border:1px solid var(--border);border-radius:8px;box-shadow:none}.react-flow__controls-button{background:var(--panel);border-color:var(--border);fill:var(--muted)}.react-flow__controls-button:hover{background:var(--panel-hover)}.react-flow__minimap{border:1px solid var(--border);border-radius:8px}.react-flow__attribution{display:none}.react-flow__handle{width:10px;height:10px;border:2px solid var(--panel);background:var(--muted-2)}.react-flow__node:hover .react-flow__handle,.pipeline-node.selected .react-flow__handle{background:var(--accent)}.react-flow__edge-path{stroke-linecap:round}.react-flow__edge.selected .react-flow__edge-path{stroke:var(--accent);stroke-width:2.5;filter:drop-shadow(0 0 5px var(--accent-soft))}.login-page{min-height:100vh;background:var(--bg);display:flex;align-items:center;justify-content:center;position:relative;overflow:hidden}.login-glow{position:absolute;border-radius:50%;pointer-events:none}.login-glow-1{width:600px;height:600px;top:-200px;right:-100px;background:radial-gradient(circle,var(--accent-glow) 0%,transparent 70%)}.login-glow-2{width:400px;height:400px;bottom:-100px;left:-80px;background:radial-gradient(circle,rgba(57,208,172,.08) 0%,transparent 70%)}.login-card{position:relative;z-index:1;width:100%;max-width:420px;background:var(--panel);border:1px solid var(--border);border-radius:16px;padding:36px 32px 28px;box-shadow:0 24px 80px #00000080;display:flex;flex-direction:column;gap:20px}.login-brand{display:flex;flex-direction:column;align-items:center;gap:4px}.login-wordmark{font-family:var(--font-mono);font-size:28px;font-weight:700;letter-spacing:3px;color:var(--text);-webkit-user-select:none;user-select:none;line-height:1}.login-wm-special{color:var(--accent)}.login-wm-a{font-size:.9em;line-height:0;vertical-align:middle}.login-brand-sub{font-family:var(--font-mono);font-size:10px;letter-spacing:1.5px;color:var(--muted-2);text-transform:uppercase}.login-pqc-badge{display:flex;align-items:center;justify-content:center;gap:6px;padding:6px 14px;background:var(--accent-soft);border:1px solid rgba(57,208,172,.25);border-radius:8px;font-family:var(--font-mono);font-size:10px;color:var(--accent);letter-spacing:.5px}.login-title{font-family:var(--font-sans);font-size:18px;font-weight:600;color:var(--text);margin:0;text-align:center}.login-form{display:flex;flex-direction:column;gap:14px}.login-label{display:flex;flex-direction:column;gap:5px;font-family:var(--font-mono);font-size:11px;color:var(--muted);letter-spacing:.5px}.login-input{width:100%;padding:10px 12px;background:var(--panel-2);border:1px solid var(--border);border-radius:8px;color:var(--text);font-family:var(--font-mono);font-size:13px;transition:border-color .15s}.login-input:focus{border-color:var(--accent)}.login-input:disabled{opacity:.6;cursor:not-allowed}.login-pw-wrap{position:relative}.login-pw-wrap .login-input{padding-right:38px}.login-pw-eye{position:absolute;right:10px;top:50%;transform:translateY(-50%);background:transparent;border:none;color:var(--muted);cursor:pointer;padding:2px;display:flex;align-items:center}.login-pw-eye:hover{color:var(--accent)}.login-error{font-family:var(--font-mono);font-size:11px;color:var(--danger);background:var(--danger-soft);border:1px solid rgba(248,81,73,.25);border-radius:6px;padding:8px 12px}.login-btn{display:flex;align-items:center;justify-content:center;gap:8px;width:100%;padding:12px;background:var(--accent);color:#0d1117;border:none;border-radius:8px;font-family:var(--font-mono);font-size:13px;font-weight:700;letter-spacing:.5px;cursor:pointer;transition:all .2s;margin-top:4px}.login-btn:hover:not(:disabled){filter:brightness(1.1);box-shadow:0 0 24px var(--accent-glow)}.login-btn:disabled{opacity:.7;cursor:not-allowed}.login-google-btn{display:flex;align-items:center;justify-content:center;gap:10px;width:100%;padding:10px 16px;border-radius:8px;border:1px solid var(--border);background:var(--panel-2);color:var(--text);font-size:13px;font-family:inherit;text-decoration:none;cursor:pointer;transition:border-color .15s,background .15s;margin-bottom:4px}.login-google-btn:hover{border-color:var(--accent);background:var(--accent-soft)}.login-divider{display:flex;align-items:center;gap:10px;margin:14px 0 8px;color:var(--muted);font-size:11px}.login-divider:before,.login-divider:after{content:"";flex:1;height:1px;background:var(--border)}@keyframes loginSpin{0%{transform:rotate(0)}to{transform:rotate(360deg)}}.login-spin{animation:loginSpin .8s linear infinite}.login-pqc-log{background:var(--bg);border:1px solid var(--border);border-radius:8px;padding:10px 12px;display:flex;flex-direction:column;gap:4px}.login-pqc-log-title{display:flex;align-items:center;gap:6px;font-family:var(--font-mono);font-size:10px;font-weight:700;letter-spacing:1.5px;color:var(--muted);text-transform:uppercase;margin-bottom:4px}.login-pqc-ok{margin-left:auto;color:var(--success);font-size:9px;letter-spacing:1px}.login-pqc-err{margin-left:auto;color:var(--danger);font-size:9px;letter-spacing:1px}.login-pqc-line{font-family:var(--font-mono);font-size:10px;color:var(--muted);line-height:1.5}.login-demo-hint{text-align:center;font-size:11px;color:var(--muted-2)}.login-demo-hint code{background:var(--panel-2);border:1px solid var(--border);border-radius:4px;padding:1px 6px;font-family:var(--font-mono);color:var(--accent);font-size:11px}.landing-page{display:flex;flex-direction:column;gap:0;min-height:calc(100vh - var(--header-height));padding:0;margin:-16px;overflow-x:hidden}.landing-hero{position:relative;padding:80px 60px 60px;background:linear-gradient(160deg,var(--bg-secondary) 0%,var(--bg) 60%);border-bottom:1px solid var(--border);overflow:hidden}.landing-hero:before{content:"";position:absolute;top:-120px;right:-120px;width:500px;height:500px;border-radius:50%;background:radial-gradient(circle,var(--accent-glow) 0%,transparent 70%);pointer-events:none}.landing-hero:after{content:"";position:absolute;bottom:-80px;left:-80px;width:300px;height:300px;border-radius:50%;background:radial-gradient(circle,rgba(57,208,172,.06) 0%,transparent 70%);pointer-events:none}.landing-hero-inner{position:relative;z-index:1;max-width:700px}.landing-logo-wrap{margin-bottom:28px}.landing-wordmark{font-family:var(--font-mono);font-size:42px;font-weight:700;letter-spacing:4px;color:var(--text);line-height:1;-webkit-user-select:none;user-select:none}.landing-wordmark-sm{font-size:22px;letter-spacing:3px;margin-bottom:8px}.wm-special{color:var(--accent);font-style:normal;display:inline}.wm-a{font-size:.85em;vertical-align:.05em}.landing-headline{font-family:var(--font-sans);font-size:32px;font-weight:600;line-height:1.25;color:var(--text);margin:0 0 16px;letter-spacing:-.3px}.landing-sub{font-size:15px;line-height:1.6;color:var(--muted);margin:0 0 22px;max-width:560px}.landing-location{display:inline-flex;align-items:center;gap:7px;color:var(--muted-2);font-family:var(--font-mono);font-size:11px;letter-spacing:1px;margin-bottom:28px}.landing-location-sep{color:var(--accent)}.landing-hero-actions{display:flex;align-items:center;gap:12px;flex-wrap:wrap}.landing-cta{display:inline-flex;align-items:center;gap:8px;padding:12px 24px;background:var(--accent);color:#0d1117;border:none;border-radius:8px;font-family:var(--font-mono);font-size:13px;font-weight:700;letter-spacing:.5px;cursor:pointer;transition:all .2s ease;text-decoration:none}.landing-cta:hover{filter:brightness(1.1);box-shadow:0 0 28px var(--accent-glow)}.landing-cta-ghost{display:inline-flex;align-items:center;gap:7px;padding:11px 22px;background:transparent;color:var(--muted);border:1px solid var(--border);border-radius:8px;font-family:var(--font-mono);font-size:12px;cursor:pointer;transition:all .15s ease;text-decoration:none}.landing-cta-ghost:hover{color:var(--accent);border-color:var(--accent)}.landing-stats{position:absolute;top:80px;right:60px;display:grid;grid-template-columns:repeat(2,1fr);gap:10px;z-index:1}.landing-stat{background:var(--panel);border:1px solid var(--border);border-radius:10px;padding:14px 18px;display:flex;flex-direction:column;align-items:center;gap:4px;min-width:100px;-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px)}.landing-stat-value{font-family:var(--font-mono);font-size:28px;font-weight:700;color:var(--accent);line-height:1}.landing-stat-label{font-family:var(--font-mono);font-size:9px;color:var(--muted-2);letter-spacing:1px;text-align:center;text-transform:uppercase}.landing-section{padding:56px 60px;border-bottom:1px solid var(--border)}.landing-section:nth-child(2n){background:var(--bg-secondary)}.landing-section-header{margin-bottom:24px}.landing-section-label{display:inline-flex;align-items:center;gap:6px;font-family:var(--font-mono);font-size:10px;font-weight:700;letter-spacing:2.5px;color:var(--accent);text-transform:uppercase;margin-bottom:8px}.landing-section-title{font-family:var(--font-sans);font-size:22px;font-weight:600;color:var(--text);margin:0;letter-spacing:-.2px}.landing-caps{display:grid;grid-template-columns:repeat(4,1fr);gap:14px}.landing-cap-card{background:var(--panel);border:1px solid var(--border);border-radius:12px;padding:20px;transition:all .2s ease;display:flex;flex-direction:column;gap:10px}.landing-cap-card:hover{border-color:var(--accent);box-shadow:0 0 20px var(--accent-glow);transform:translateY(-2px)}.landing-cap-top{display:flex;align-items:center;justify-content:space-between}.landing-cap-icon{width:40px;height:40px;border-radius:10px;background:var(--accent-soft);border:1px solid rgba(57,208,172,.2);display:flex;align-items:center;justify-content:center;color:var(--accent);flex-shrink:0}.landing-cap-badge{font-family:var(--font-mono);font-size:9px;font-weight:700;letter-spacing:1.5px;color:var(--accent);background:var(--accent-soft);border:1px solid rgba(57,208,172,.2);border-radius:4px;padding:2px 7px}.landing-cap-title{font-family:var(--font-mono);font-size:13px;font-weight:700;color:var(--text);line-height:1.3}.landing-cap-desc{font-size:12px;color:var(--muted);line-height:1.55}.landing-partner-intro{font-size:14px;line-height:1.6;color:var(--muted);margin:0 0 20px;max-width:700px}.landing-partner-intro strong{color:var(--text)}.landing-partners{display:flex;flex-wrap:wrap;gap:8px}.landing-partner-chip{font-family:var(--font-mono);font-size:11px;padding:5px 12px;border:1px solid var(--border);border-radius:6px;background:var(--panel-2);color:var(--muted);transition:all .12s ease}.landing-partner-chip.lead{border-color:var(--accent);color:var(--accent);background:var(--accent-soft)}.landing-partner-chip:not(.lead):hover{border-color:var(--muted);color:var(--text)}.landing-team-text{font-size:14px;line-height:1.7;color:var(--muted);margin:0 0 20px;max-width:680px}.landing-team-tags{display:flex;flex-wrap:wrap;gap:8px}.landing-team-tag{font-family:var(--font-mono);font-size:11px;padding:4px 10px;border:1px solid var(--border-muted);border-radius:5px;color:var(--muted-2);background:transparent}.landing-cta-footer{padding:60px;background:linear-gradient(135deg,var(--bg-secondary) 0%,var(--bg) 100%);position:relative;overflow:hidden}.landing-cta-footer:before{content:"";position:absolute;top:0;right:0;bottom:0;left:0;background:radial-gradient(ellipse at 30% 50%,var(--accent-glow) 0%,transparent 60%);pointer-events:none}.landing-cta-footer-inner{position:relative;z-index:1;display:flex;align-items:center;justify-content:space-between;gap:24px;flex-wrap:wrap}.landing-cta-footer-text p{font-size:14px;color:var(--muted);margin:0}@media(max-width:1300px){.landing-stats{position:static;grid-template-columns:repeat(4,1fr);margin-top:32px}.landing-hero{padding:60px 40px 48px}.landing-caps{grid-template-columns:repeat(2,1fr)}}@media(max-width:900px){.landing-hero,.landing-section,.landing-cta-footer{padding:40px 24px}.landing-wordmark{font-size:28px;letter-spacing:2px}.landing-headline{font-size:24px}.landing-caps{grid-template-columns:1fr}.landing-stats{grid-template-columns:repeat(2,1fr)}}@media(max-width:1500px){.pipeline-canvas{min-height:460px}.node-results-grid{grid-template-columns:repeat(2,1fr)}}@media(max-width:1200px){.charts-grid,.results-cards{grid-template-columns:1fr}.metric-grid{grid-template-columns:repeat(2,1fr)}.pipeline-editor-wrap{flex-direction:column}.node-palette{width:100%;min-width:unset;max-height:none;flex-direction:row;flex-wrap:wrap;align-items:center}.palette-list{flex-direction:row;flex-wrap:wrap}.palette-hint{display:none}.node-config-panel{width:100%;min-width:unset;max-height:440px}.security-mode-grid,.gateway-grid{grid-template-columns:repeat(4,1fr)}.aristotle-grid{grid-template-columns:1fr}}@media(max-width:900px){.app-root{grid-template-columns:1fr;grid-template-rows:var(--header-height) auto 1fr}.app-header{grid-column:1}.sidebar{grid-column:1;grid-row:2;height:auto;position:static;border-right:none;border-bottom:1px solid var(--border)}main{grid-column:1;grid-row:3}nav{flex-direction:row;flex-wrap:wrap}.nav-item{width:auto}.node-results-grid{grid-template-columns:1fr}.security-mode-grid,.gateway-grid{grid-template-columns:repeat(2,1fr)}}.sidebar-collapse-btn{display:flex;align-items:center;justify-content:center;width:100%;padding:6px 0;background:transparent;border:none;border-bottom:1px solid var(--border);color:var(--muted);cursor:pointer;transition:color .12s;flex-shrink:0}.sidebar-collapse-btn:hover{color:var(--accent)}.nav-group-divider{height:1px;background:var(--border);margin:4px 12px}.sidebar.sidebar-collapsed{width:48px;min-width:48px}.app-root[data-sidebar-collapsed=true]{grid-template-columns:48px 1fr}.app-root[data-sidebar-collapsed=true] .header-brand{width:48px;min-width:48px;padding:0 9px;justify-content:center}.app-root[data-sidebar-collapsed=true] .header-brand-text{display:none}.sidebar.sidebar-collapsed .nav-item{justify-content:center;padding:8px 0;gap:0}.sidebar.sidebar-collapsed .nav-item.active:before{left:0;border-radius:0 2px 2px 0}.sidebar.sidebar-collapsed .sidebar-footer{padding:8px 6px}.ari-page{padding:24px;display:flex;flex-direction:column;gap:0;max-width:1100px}.ari-header{display:flex;align-items:flex-start;justify-content:space-between;gap:16px;margin-bottom:20px;flex-wrap:wrap}.ari-header-left{display:flex;align-items:center;gap:14px}.ari-header-icon{width:44px;height:44px;background:linear-gradient(135deg,#39d0ac26,#39d0ac0d);border:1px solid rgba(57,208,172,.3);border-radius:10px;display:flex;align-items:center;justify-content:center;color:var(--accent);flex-shrink:0}.ari-title{font-family:var(--font-mono);font-size:18px;font-weight:700;color:var(--text);margin:0 0 2px;letter-spacing:-.3px}.ari-subtitle{font-size:12px;color:var(--muted);margin:0}.ari-header-right{display:flex;align-items:center;gap:8px;flex-wrap:wrap}.ari-chip{display:inline-flex;align-items:center;gap:5px;padding:3px 9px;border-radius:20px;font-family:var(--font-mono);font-size:10px;font-weight:600;letter-spacing:.05em}.ari-chip-ok{background:#3adb911f;border:1px solid rgba(58,219,145,.4);color:var(--success)}.ari-chip-bad{background:#ff6b7a1f;border:1px solid rgba(255,107,122,.35);color:var(--danger)}.ari-chip-idle{background:#64788c1f;border:1px solid var(--border);color:var(--muted)}.ari-stats{display:flex;gap:0;background:var(--panel);border:1px solid var(--border);border-radius:10px;overflow:hidden;margin-bottom:20px}.ari-stat{flex:1;display:flex;flex-direction:column;align-items:center;padding:14px 12px;border-right:1px solid var(--border)}.ari-stat:last-child{border-right:none}.ari-stat-val{font-family:var(--font-mono);font-size:18px;font-weight:700;color:var(--text);line-height:1;margin-bottom:4px;letter-spacing:-.5px;word-break:break-all;text-align:center}.ari-stat-label{font-size:10px;color:var(--muted);letter-spacing:.05em;text-transform:uppercase;text-align:center}.ari-tabs{display:flex;gap:2px;border-bottom:1px solid var(--border);margin-bottom:20px}.ari-tab{display:inline-flex;align-items:center;gap:6px;padding:8px 16px;background:transparent;border:none;border-bottom:2px solid transparent;color:var(--muted);font-family:var(--font-mono);font-size:11px;cursor:pointer;transition:all .12s;margin-bottom:-1px}.ari-tab:hover{color:var(--text)}.ari-tab-active{color:var(--accent);border-bottom-color:var(--accent)}.ari-section-label{font-family:var(--font-mono);font-size:9px;font-weight:700;letter-spacing:2px;color:var(--muted-2);margin-bottom:10px}.ari-run-layout{display:grid;grid-template-columns:260px 1fr;gap:16px;align-items:start}.ari-modes{display:flex;flex-direction:column;gap:6px}.ari-mode-card{display:flex;align-items:center;gap:10px;padding:10px 12px;background:var(--panel);border:1px solid var(--border);border-radius:8px;cursor:pointer;transition:all .15s;text-align:left;position:relative}.ari-mode-card:hover{border-color:var(--accent);background:var(--panel-hover)}.ari-mode-active{border-color:var(--mc, var(--accent))!important;background:color-mix(in srgb,var(--mc, var(--accent)) 8%,var(--panel))!important}.ari-mode-num{width:20px;height:20px;border-radius:50%;background:var(--panel-2);border:1px solid var(--border);display:flex;align-items:center;justify-content:center;font-family:var(--font-mono);font-size:10px;font-weight:700;color:var(--muted);flex-shrink:0}.ari-mode-active .ari-mode-num{background:var(--mc, var(--accent));border-color:var(--mc, var(--accent));color:#0d1117}.ari-mode-icon{color:var(--mc, var(--accent));flex-shrink:0;display:flex}.ari-mode-text{flex:1;min-width:0}.ari-mode-title{font-family:var(--font-mono);font-size:11px;font-weight:600;color:var(--text);margin-bottom:2px}.ari-mode-desc{font-size:10px;color:var(--muted);line-height:1.3}.ari-mode-check{color:var(--mc, var(--accent));flex-shrink:0}.ari-run-form{display:flex;flex-direction:column;gap:14px;background:var(--panel);border:1px solid var(--border);border-radius:10px;padding:16px}.ari-label{display:flex;flex-direction:column;gap:6px;font-family:var(--font-mono);font-size:11px;color:var(--muted)}.ari-file-zone{position:relative;border:1px dashed var(--border);border-radius:7px;overflow:hidden;cursor:pointer;transition:border-color .15s}.ari-file-zone:hover{border-color:var(--accent)}.ari-file-input{position:absolute;top:0;right:0;bottom:0;left:0;opacity:0;cursor:pointer;z-index:2;width:100%;height:100%}.ari-file-inner{display:flex;flex-direction:column;align-items:center;gap:8px;padding:20px;color:var(--muted);font-size:11px;pointer-events:none}.ari-uploaded-path{font-size:10px;color:var(--accent);background:var(--accent-soft);border-radius:4px;padding:3px 8px;word-break:break-all}.ari-textarea{width:100%;background:var(--bg);border:1px solid var(--border);border-radius:6px;color:var(--text);font-family:var(--font-mono);font-size:12px;padding:9px 10px;resize:vertical;transition:border-color .15s;box-sizing:border-box}.ari-textarea:focus{outline:none;border-color:var(--accent)}.ari-error{display:flex;align-items:flex-start;gap:7px;padding:10px 12px;background:#ff6b7a14;border:1px solid rgba(255,107,122,.3);border-radius:7px;color:var(--danger);font-size:11px;line-height:1.4}.ari-run-btn{display:flex;align-items:center;justify-content:center;gap:7px;padding:10px 18px;background:var(--accent);color:#0d1117;border:none;border-radius:7px;font-family:var(--font-mono);font-size:12px;font-weight:700;cursor:pointer;transition:filter .15s,box-shadow .15s}.ari-run-btn:hover:not(:disabled){filter:brightness(1.08);box-shadow:0 0 16px var(--accent-glow)}.ari-run-btn:disabled{opacity:.7;cursor:not-allowed}.ari-spinner{width:12px;height:12px;border:2px solid rgba(13,17,23,.3);border-top-color:#0d1117;border-radius:50%;animation:spin .7s linear infinite;display:inline-block}@keyframes spin{to{transform:rotate(360deg)}}.ari-history-list{display:flex;flex-direction:column;gap:6px}.ari-hist-card{background:var(--panel);border:1px solid var(--border);border-radius:8px;overflow:hidden;transition:border-color .15s}.ari-hist-card:hover{border-color:var(--accent-soft)}.ari-hist-row{display:flex;align-items:center;gap:10px;padding:10px 14px;cursor:pointer;flex-wrap:wrap}.ari-hist-mode{font-family:var(--font-mono);font-size:11px;font-weight:600;color:var(--text)}.ari-hist-id{font-family:var(--font-mono);font-size:10px;color:var(--muted);background:var(--panel-2);padding:2px 6px;border-radius:4px}.ari-hist-ts{display:inline-flex;align-items:center;gap:4px;font-size:10px;color:var(--muted);margin-left:auto}.ari-hist-chevron{color:var(--muted);flex-shrink:0}.ari-hist-body{padding:0 14px 14px;border-top:1px solid var(--border)}.ari-hist-actions{display:flex;gap:8px;margin-top:10px;flex-wrap:wrap}.ari-output-block{background:var(--panel-2);border:1px solid var(--border);border-radius:7px;padding:12px 14px;max-height:320px;overflow-y:auto;font-family:var(--font-mono);font-size:11px;line-height:1.6;margin-top:10px}.ari-output-full{max-height:600px}.ari-out-line{white-space:pre-wrap;word-break:break-word}.ari-out-line:empty{height:1em}.ari-output-tab{display:flex;flex-direction:column;gap:4px}.ari-empty{display:flex;flex-direction:column;align-items:center;justify-content:center;gap:12px;padding:60px 20px;color:var(--muted);text-align:center;font-size:13px}.ari-empty svg{opacity:.2}@media(max-width:900px){.ari-run-layout{grid-template-columns:1fr}.ari-stats{flex-wrap:wrap}.ari-stat{min-width:80px}}.tv-root{border:1px solid var(--border);border-radius:10px;background:var(--panel);overflow:hidden;margin-top:14px}.tv-header{display:flex;align-items:flex-start;justify-content:space-between;gap:12px;padding:14px 18px;border-bottom:1px solid var(--border);background:var(--panel-2);flex-wrap:wrap}.tv-header-left{display:flex;align-items:flex-start;gap:10px}.tv-header-icon{color:var(--accent);margin-top:1px;flex-shrink:0}.tv-header-title{font-family:var(--font-mono);font-size:11px;font-weight:700;letter-spacing:.09em;color:var(--text)}.tv-header-sub{font-size:11px;color:var(--muted);margin-top:2px;display:flex;align-items:center;gap:8px;flex-wrap:wrap}.tv-cached-chip{display:inline-flex;align-items:center;gap:4px;font-size:10px;background:var(--warning-soft);color:var(--warning);border:1px solid rgba(227,179,65,.25);border-radius:4px;padding:1px 7px}.tv-skip-reason{font-size:11px;color:var(--muted);margin-top:4px;max-width:400px}.tv-header-right{display:flex;align-items:center;gap:10px;flex-wrap:wrap}.tv-header-btns{display:flex;gap:6px}.tv-btn-ghost{display:inline-flex;align-items:center;gap:5px;font-size:11px;font-family:var(--font-mono);padding:4px 10px;border-radius:5px;border:1px solid var(--border);background:var(--panel);color:var(--muted);cursor:pointer;transition:border-color .15s,color .15s}.tv-btn-ghost:hover{border-color:var(--accent);color:var(--accent)}.tv-badge{display:inline-flex;align-items:center;gap:5px;font-size:10px;font-family:var(--font-mono);font-weight:700;letter-spacing:.07em;padding:4px 12px;border-radius:20px;border:1px solid;white-space:nowrap}.tv-badge-verified{background:var(--success-soft);border-color:var(--success);color:var(--success)}.tv-badge-falsified{background:var(--danger-soft);border-color:var(--danger);color:var(--danger)}.tv-badge-proving{background:var(--accent-soft);border-color:var(--accent);color:var(--accent);animation:tvPulse 1.6s ease-in-out infinite}.tv-badge-cached{background:var(--warning-soft);border-color:var(--warning);color:var(--warning)}.tv-badge-error{background:var(--danger-soft);border-color:var(--danger);color:var(--danger)}.tv-badge-idle{background:var(--panel-2);border-color:var(--border);color:var(--muted)}@keyframes tvPulse{0%,to{opacity:1}50%{opacity:.65}}.tv-stats-row{display:flex;align-items:center;gap:0;padding:10px 18px;border-bottom:1px solid var(--border);background:var(--panel);flex-wrap:wrap;gap:8px}.tv-stat{display:flex;flex-direction:column;align-items:center;padding:0 14px}.tv-stat-num{font-family:var(--font-mono);font-size:22px;font-weight:700;line-height:1;color:var(--text)}.tv-stat-label{font-size:9px;letter-spacing:.1em;color:var(--muted);margin-top:2px;font-family:var(--font-mono)}.tv-stat-green{color:var(--success)}.tv-stat-red{color:var(--danger)}.tv-stat-accent{color:var(--accent)}.tv-stat-muted{color:var(--muted)}.tv-stat-div{width:1px;height:28px;background:var(--border);flex-shrink:0}.tv-verdict-chip{display:inline-flex;align-items:center;gap:5px;font-size:11px;font-family:var(--font-mono);padding:4px 12px;border-radius:6px;border:1px solid;margin-left:6px}.tv-verdict-pass{background:var(--success-soft);border-color:var(--success);color:var(--success)}.tv-verdict-fail{background:var(--danger-soft);border-color:var(--danger);color:var(--danger)}.tv-lemma-section{padding:14px 18px 0}.tv-section-label{font-size:9px;letter-spacing:.12em;color:var(--muted);font-family:var(--font-mono);font-weight:700;margin-bottom:8px}.tv-lemma-wrap{border-bottom:1px solid var(--border)}.tv-lemma-wrap:last-child{border-bottom:none}.tv-lemma-row{display:grid;grid-template-columns:32px 160px 1fr 130px 22px;align-items:center;gap:12px;cursor:pointer;border-left:3px solid transparent;padding:10px 0 10px 6px;transition:background .15s,border-left-color .2s;border-radius:0 4px 4px 0}.tv-lemma-row:hover{background:var(--panel-hover)}.tv-lemma-active{border-left-color:var(--accent)!important;animation:tvRowGlow 1.2s ease-in-out infinite}.tv-lemma-proved:not(.tv-lemma-active){border-left-color:#3fb95059}.tv-lemma-failed{border-left-color:#f8514980!important;background:#f8514908}@keyframes tvRowGlow{0%,to{background:#39d0ac08;border-left-color:#39d0ac66}50%{background:#39d0ac12;border-left-color:#39d0ace6}}.tv-lemma-icon{display:flex;align-items:center;justify-content:center}.tv-lemma-spin{display:inline-block;width:14px;height:14px;border-radius:50%;border:2px solid var(--accent);border-top-color:transparent;animation:tvSpin .75s linear infinite}@keyframes tvSpin{to{transform:rotate(360deg)}}.tv-lemma-name-col{min-width:0}.tv-lemma-name{font-family:var(--font-mono);font-size:12px;font-weight:600;color:var(--text);white-space:nowrap}.tv-lemma-cat{display:flex;gap:4px;margin-top:3px;flex-wrap:wrap}.tv-cat-chip{font-size:9px;letter-spacing:.05em;background:var(--accent-soft);color:var(--accent);border-radius:3px;padding:1px 5px;font-family:var(--font-mono)}.tv-severity-chip{font-size:9px;letter-spacing:.05em;border-radius:3px;padding:1px 5px;font-family:var(--font-mono);text-transform:uppercase}.tv-severity-chip[data-sev=critical]{background:#f851491a;color:var(--danger)}.tv-severity-chip[data-sev=high]{background:#e3b3411a;color:var(--warning)}.tv-severity-chip[data-sev=medium]{background:#58a6ff1a;color:var(--info)}.tv-lemma-formula-col{min-width:0}.tv-lemma-formula{font-family:var(--font-mono);font-size:11px;color:var(--text-2);white-space:nowrap;overflow:hidden;text-overflow:ellipsis;letter-spacing:.02em}.tv-lemma-formula-desc{font-size:10px;color:var(--muted);margin-top:2px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.tv-lemma-result-col{text-align:right}.tv-result-badge{display:inline-block;font-size:10px;font-family:var(--font-mono);font-weight:700;letter-spacing:.05em;padding:2px 8px;border-radius:4px;border:1px solid;white-space:nowrap}.tv-result-verified{background:var(--success-soft);border-color:var(--success);color:var(--success)}.tv-result-falsified{background:var(--danger-soft);border-color:var(--danger);color:var(--danger)}.tv-result-active{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}.tv-result-pending{background:transparent;border-color:var(--border);color:var(--muted)}.tv-lemma-time{font-size:10px;color:var(--muted);font-family:var(--font-mono);margin-top:3px}.tv-lemma-expand{color:var(--muted);display:flex;align-items:center;justify-content:center}.tv-lemma-detail{background:var(--panel-2);border-top:1px solid var(--border);padding:14px 18px 16px}.tv-detail-grid{display:grid;grid-template-columns:1fr 1fr;gap:12px}.tv-detail-wide{grid-column:1 / -1}.tv-detail-block{display:flex;flex-direction:column;gap:5px}.tv-detail-label{font-size:9px;letter-spacing:.1em;color:var(--muted);font-family:var(--font-mono);font-weight:700}.tv-detail-value{font-size:12px;color:var(--text-2)}.tv-axiom-code{font-family:var(--font-mono);font-size:11px;color:var(--accent);background:var(--accent-soft);border:1px solid rgba(57,208,172,.2);border-radius:4px;padding:3px 8px;display:inline-block}.tv-detail-explanation{font-size:12px;line-height:1.55;color:var(--text-2);padding:8px 12px;border-radius:5px;border-left:3px solid var(--border)}.tv-expl-pass{border-left-color:var(--success);background:var(--success-soft);color:var(--text)}.tv-expl-fail{border-left-color:var(--danger);background:var(--danger-soft);color:var(--text)}.tv-formula-block{font-family:var(--font-mono);font-size:12px;color:var(--text);background:var(--bg-tertiary);border:1px solid var(--border);border-radius:5px;padding:8px 12px;letter-spacing:.03em}.tv-attack-section{margin:0 18px 14px;border-radius:8px;border:1px solid rgba(248,81,73,.3);background:#f851490a;padding:12px 14px}.tv-attack-header{display:flex;align-items:center;gap:8px;margin-bottom:6px;font-family:var(--font-mono);font-size:11px;font-weight:700;letter-spacing:.07em;color:var(--danger);flex-wrap:wrap}.tv-attack-icon{color:var(--danger);flex-shrink:0}.tv-attack-lemma-chip{font-size:10px;font-weight:400;background:#f851491f;border:1px solid rgba(248,81,73,.3);border-radius:4px;padding:1px 7px;color:var(--danger)}.tv-attack-desc{font-size:11px;color:var(--muted);margin-bottom:12px;line-height:1.5}.tv-trace-list{position:relative;padding-left:28px}.tv-trace-line{position:absolute;left:7px;top:8px;bottom:8px;width:2px;background:#f8514940;border-radius:1px}.tv-trace-step{position:relative;margin-bottom:7px}.tv-trace-dot{position:absolute;left:-22px;top:50%;transform:translateY(-50%);width:10px;height:10px;border-radius:50%;background:var(--danger);border:2px solid rgba(248,81,73,.2);z-index:1}.tv-trace-card{display:flex;align-items:center;gap:6px;flex-wrap:wrap;background:#f851490d;border:1px solid rgba(248,81,73,.2);border-radius:5px;padding:6px 10px;font-family:var(--font-mono);font-size:11px}.tv-trace-step-num{color:var(--danger);font-weight:700}.tv-trace-actor,.tv-trace-target{background:#f851491f;border:1px solid rgba(248,81,73,.28);border-radius:3px;padding:1px 6px;color:var(--danger)}.tv-trace-action{color:var(--text)}.tv-trace-arrow{color:var(--muted)}.tv-attack-verdict{display:flex;align-items:center;gap:6px;font-family:var(--font-mono);font-size:11px;font-weight:700;color:var(--danger);background:#f851491a;border:1px solid rgba(248,81,73,.4);border-radius:5px;padding:7px 12px;margin-top:8px;text-align:center;justify-content:center}.tv-source-section{border-top:1px solid var(--border);padding:12px 18px 14px}.tv-source-toggle{display:flex;align-items:center;gap:6px;background:none;border:none;padding:0;cursor:pointer;color:var(--muted);font-size:11px;font-family:var(--font-mono);transition:color .15s}.tv-source-toggle:hover{color:var(--text)}.tv-source-chip{font-size:9px;letter-spacing:.07em;background:var(--panel-2);border:1px solid var(--border);border-radius:3px;padding:1px 6px;color:var(--muted);font-family:var(--font-mono)}.tv-source-viewer{margin-top:8px;border:1px solid var(--border);border-radius:6px;overflow:hidden;background:var(--panel-2)}.tv-source-toolbar{display:flex;align-items:center;justify-content:space-between;padding:6px 12px;border-bottom:1px solid var(--border);background:var(--bg-tertiary)}.tv-source-filename{font-family:var(--font-mono);font-size:10px;color:var(--muted)}.tv-source-legend{display:flex;gap:10px;font-size:9px;font-family:var(--font-mono)}.tv-source-body{max-height:320px;overflow-y:auto;padding:8px 0}.tv-source-line{display:flex;align-items:baseline;gap:0;min-height:18px;font-family:var(--font-mono);font-size:11px;line-height:1.6;padding:0 8px}.tv-source-line:hover{background:#ffffff05}.tv-source-lineno{min-width:36px;color:var(--muted-2);text-align:right;padding-right:14px;-webkit-user-select:none;user-select:none;font-size:10px;flex-shrink:0}.tv-source-code{white-space:pre-wrap;word-break:break-word}.tv-source-empty{color:var(--muted);font-size:11px;padding:12px}.tv-idle-state{padding:32px 24px;text-align:center;display:flex;flex-direction:column;align-items:center}.tv-idle-title{font-family:var(--font-mono);font-size:13px;font-weight:600;color:var(--muted);margin-bottom:8px}.tv-idle-desc{font-size:12px;color:var(--muted-2);max-width:440px;line-height:1.6;margin-bottom:16px}.tv-idle-lemmas{display:flex;flex-wrap:wrap;gap:8px;justify-content:center}.tv-idle-lemma-chip{display:flex;align-items:center;gap:6px;border:1px solid var(--border);border-radius:6px;padding:5px 10px;background:var(--panel-2)}.tv-idle-chip-name{font-family:var(--font-mono);font-size:10px;font-weight:700;letter-spacing:.06em;color:var(--accent)}.tv-idle-chip-desc{font-size:10px;color:var(--muted)}:root[data-theme=light] .tv-root{background:#fff;border-color:#e2e8f0}:root[data-theme=light] .tv-header{background:#f8fafc;border-color:#e2e8f0}:root[data-theme=light] .tv-lemma-detail{background:#f8fafc}:root[data-theme=light] .tv-source-viewer{background:#1e2433;border-color:#334155}:root[data-theme=light] .tv-source-toolbar{background:#161e2e;border-color:#334155}:root[data-theme=light] .tv-source-filename{color:#94a3b8}:root[data-theme=light] .tv-source-lineno{color:#475569}:root[data-theme=light] .tv-formula-block{background:#f1f5f9;border-color:#e2e8f0;color:#0f172a}:root[data-theme=light] .tv-lemma-row:hover{background:#f8fafc}.tp-root{padding:24px 28px;max-width:1100px}.tp-page-header{display:flex;align-items:flex-start;justify-content:space-between;gap:12px;margin-bottom:20px;flex-wrap:wrap}.tp-page-header-left{display:flex;align-items:flex-start;gap:12px}.tp-header-icon{color:var(--accent);margin-top:4px;flex-shrink:0}.tp-page-title{font-family:var(--font-sans);font-size:22px;font-weight:700;color:var(--text);margin:0 0 3px;letter-spacing:-.01em}.tp-page-sub{font-size:13px;color:var(--muted);margin:0}.tp-refresh-btn{display:inline-flex;align-items:center;gap:6px;font-size:12px;font-family:var(--font-mono);padding:6px 14px;border:1px solid var(--border);border-radius:6px;background:var(--panel);color:var(--muted);cursor:pointer;transition:border-color .15s,color .15s}.tp-refresh-btn:hover:not(:disabled){border-color:var(--accent);color:var(--accent)}.tp-refresh-btn:disabled{opacity:.5;cursor:default}@keyframes tpSpin{to{transform:rotate(360deg)}}.tp-spin{animation:tpSpin .8s linear infinite}.tp-info-card{border:1px solid var(--border);border-radius:8px;background:var(--panel);margin-bottom:18px;overflow:hidden}.tp-info-toggle{display:flex;align-items:center;gap:8px;width:100%;padding:12px 16px;background:none;border:none;cursor:pointer;color:var(--text);transition:background .15s}.tp-info-toggle:hover{background:var(--panel-hover)}.tp-info-icon{color:var(--accent);flex-shrink:0}.tp-info-title{font-family:var(--font-sans);font-size:14px;font-weight:600;flex:1;text-align:left}.tp-info-body{padding:0 16px 16px;border-top:1px solid var(--border)}.tp-info-intro{font-size:13px;color:var(--text-2);line-height:1.65;margin:14px 0 16px;white-space:pre-line}.tp-feature-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:10px;margin-bottom:18px}.tp-feature-card{display:flex;gap:10px;align-items:flex-start;background:var(--panel-2);border:1px solid var(--border);border-radius:7px;padding:10px 12px}.tp-feature-icon{color:var(--accent);flex-shrink:0;margin-top:1px}.tp-feature-title{font-size:12px;font-weight:600;color:var(--text);margin-bottom:3px}.tp-feature-desc{font-size:11px;color:var(--muted);line-height:1.55}.tp-lemmas-table-wrap{margin-top:4px}.tp-lemmas-table{width:100%;border-collapse:collapse;font-size:11px;border:1px solid var(--border);border-radius:6px;overflow:hidden}.tp-lemmas-table thead tr{background:var(--bg-tertiary)}.tp-lemmas-table th{text-align:left;padding:7px 12px;font-size:9px;letter-spacing:.08em;color:var(--muted);font-family:var(--font-mono);font-weight:700;border-bottom:1px solid var(--border)}.tp-lemmas-table td{padding:8px 12px;border-bottom:1px solid var(--border);vertical-align:top}.tp-lemmas-table tr:last-child td{border-bottom:none}.tp-lemma-name-cell{font-weight:600;color:var(--text);white-space:nowrap}.tp-formula-cell{font-family:var(--font-mono);font-size:11px;color:var(--accent)}.tp-meaning-cell{color:var(--muted)}.tp-section-label{font-size:9px;letter-spacing:.12em;color:var(--muted);font-family:var(--font-mono);font-weight:700}.tp-section-header{margin-bottom:10px}.tp-section-sub{font-size:11px;color:var(--muted-2);margin-top:2px}.tp-stats-row{display:grid;grid-template-columns:repeat(4,1fr);gap:12px;margin-bottom:20px}.tp-stat-card{background:var(--panel);border:1px solid var(--border);border-radius:8px;padding:14px 18px}.tp-stat-num{font-family:var(--font-sans);font-size:28px;font-weight:700;line-height:1;color:var(--text);margin-bottom:5px}.tp-stat-label{font-size:9px;letter-spacing:.1em;color:var(--muted);font-family:var(--font-mono)}.tp-green{color:var(--success)!important}.tp-red{color:var(--danger)!important}.tp-accent{color:var(--accent)!important}.tp-history-section{background:var(--panel);border:1px solid var(--border);border-radius:8px;padding:16px 18px;margin-bottom:20px}.tp-error{display:flex;align-items:center;gap:8px;font-size:12px;color:var(--danger);background:var(--danger-soft);border:1px solid rgba(248,81,73,.25);border-radius:6px;padding:10px 14px}.tp-empty{text-align:center;padding:32px 0;display:flex;flex-direction:column;align-items:center}.tp-empty-title{font-size:14px;font-weight:600;color:var(--muted);margin-bottom:8px}.tp-empty-desc{font-size:12px;color:var(--muted-2);max-width:400px;line-height:1.6}.tp-table-wrap{overflow-x:auto}.tp-history-table{width:100%;border-collapse:collapse;font-size:12px}.tp-history-table thead tr{border-bottom:1px solid var(--border)}.tp-history-table th{text-align:left;padding:6px 10px 8px;font-size:9px;letter-spacing:.08em;color:var(--muted);font-family:var(--font-mono);font-weight:700;white-space:nowrap}.tp-history-row{border-bottom:1px solid var(--border);cursor:pointer;transition:background .15s}.tp-history-row:hover{background:var(--panel-hover)}.tp-history-row:last-child{border-bottom:none}.tp-row-selected{background:var(--accent-soft)!important}.tp-history-table td{padding:10px;vertical-align:middle}.tp-row-name{display:flex;align-items:center;gap:6px;font-weight:600;color:var(--text);white-space:nowrap}.tp-row-topo,.tp-row-nodes,.tp-row-date{font-family:var(--font-mono);font-size:11px;color:var(--muted)}.tp-row-actions{text-align:right}.tp-action-btn{display:inline-flex;align-items:center;justify-content:center;width:26px;height:26px;border:1px solid var(--border);border-radius:5px;background:var(--panel);color:var(--muted);cursor:pointer;transition:border-color .15s,color .15s}.tp-action-btn:hover{border-color:var(--accent);color:var(--accent)}.tp-verdict-chip{display:inline-flex;align-items:center;gap:4px;font-size:10px;font-family:var(--font-mono);font-weight:700;padding:2px 8px;border-radius:4px;border:1px solid;white-space:nowrap}.tp-pass{background:var(--success-soft);border-color:var(--success);color:var(--success)}.tp-fail{background:var(--danger-soft);border-color:var(--danger);color:var(--danger)}.tp-cached{background:var(--warning-soft);border-color:var(--warning);color:var(--warning)}.tp-idle{background:var(--panel-2);border-color:var(--border);color:var(--muted)}.tp-cached-dot,.tp-live-dot{display:inline-flex;align-items:center;gap:4px;font-size:10px;font-family:var(--font-mono);color:var(--muted)}.tp-live-dot:before{content:"";display:inline-block;width:6px;height:6px;border-radius:50%;background:var(--success)}.tp-detail-row{background:var(--panel-2)}.tp-detail-cell{padding:0!important}.tp-detail-inner{padding:16px 18px}.tp-lemma-summary{margin-bottom:10px}.tp-lemma-chips{display:flex;flex-wrap:wrap;gap:6px}.tp-lemma-chip{display:inline-flex;align-items:center;gap:4px;font-size:10px;font-family:var(--font-mono);padding:3px 8px;border-radius:4px;border:1px solid}.tp-chip-pass{background:var(--success-soft);border-color:#3fb9504d;color:var(--success)}.tp-chip-fail{background:var(--danger-soft);border-color:#f851494d;color:var(--danger)}.tp-no-lemmas{font-size:11px;color:var(--muted-2);font-style:italic}.tp-live-section{background:var(--panel);border:1px solid var(--accent);border-radius:8px;padding:16px 18px;margin-bottom:20px}:root[data-theme=light] .tp-info-card,:root[data-theme=light] .tp-stat-card,:root[data-theme=light] .tp-history-section{background:#fff;border-color:#e2e8f0}:root[data-theme=light] .tp-info-toggle:hover{background:#f8fafc}:root[data-theme=light] .tp-info-body{border-top-color:#e2e8f0}:root[data-theme=light] .tp-feature-card{background:#f8fafc;border-color:#e2e8f0}:root[data-theme=light] .tp-lemmas-table{border-color:#e2e8f0}:root[data-theme=light] .tp-lemmas-table th{background:#f1f5f9;border-color:#e2e8f0}:root[data-theme=light] .tp-lemmas-table td{border-color:#e2e8f0}:root[data-theme=light] .tp-history-row:hover{background:#f8fafc}:root[data-theme=light] .tp-row-selected{background:#39d0ac0f!important}:root[data-theme=light] .tp-detail-row{background:#f8fafc}:root[data-theme=light] .tp-live-section{background:#fff}@media(max-width:768px){.tp-stats-row{grid-template-columns:repeat(2,1fr)}.tp-feature-grid{grid-template-columns:1fr}.tp-root{padding:16px}}.tdash-root{padding:22px 28px;max-width:1080px;display:flex;flex-direction:column;gap:16px}.tdash-page-header{display:flex;align-items:flex-start;justify-content:space-between;gap:12px;flex-wrap:wrap}.tdash-page-title-block{display:flex;align-items:flex-start;gap:12px}.tdash-header-icon{color:var(--accent);margin-top:4px;flex-shrink:0}.tdash-title{font-size:22px;font-weight:700;color:var(--text);margin:0 0 3px;letter-spacing:-.01em}.tdash-subtitle{font-size:12px;color:var(--muted);margin:0}.tdash-header-actions{display:flex;gap:8px;align-items:center}.tdash-tab-btn,.tdash-refresh-btn{display:inline-flex;align-items:center;gap:5px;font-size:11px;font-family:var(--font-mono);padding:5px 12px;border-radius:5px;border:1px solid var(--border);background:var(--panel);color:var(--muted);cursor:pointer;transition:border-color .15s,color .15s}.tdash-tab-btn:hover,.tdash-refresh-btn:hover:not(:disabled){border-color:var(--accent);color:var(--accent)}.tdash-refresh-btn:disabled{opacity:.5;cursor:default}@keyframes tdashSpin{to{transform:rotate(360deg)}}.tdash-spin{animation:tdashSpin .8s linear infinite}.tdash-about-card{background:var(--panel);border:1px solid var(--border);border-radius:8px;padding:16px 18px}.tdash-about-intro{font-size:13px;color:var(--text-2);line-height:1.65;margin-bottom:16px}.tdash-about-section-label{font-size:9px;letter-spacing:.12em;color:var(--muted);font-family:var(--font-mono);font-weight:700;margin-bottom:10px}.tdash-about-lemma-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:10px}.tdash-about-lemma{background:var(--panel-2);border:1px solid var(--border);border-radius:6px;padding:10px 12px}.tdash-about-lemma-name{font-size:12px;font-weight:700;font-family:var(--font-mono);margin-bottom:3px}.tdash-about-lemma-formula{font-size:11px;color:var(--text-2);font-family:var(--font-mono);margin-bottom:4px}.tdash-about-lemma-desc{font-size:11px;color:var(--muted)}.tdash-stats-row{display:flex;align-items:center;gap:0;background:var(--panel);border:1px solid var(--border);border-radius:8px;padding:12px 20px;margin-bottom:16px;flex-wrap:wrap;gap:8px}.tdash-stat{display:flex;flex-direction:column;align-items:center;padding:0 16px}.tdash-stat-n{font-size:26px;font-weight:700;line-height:1;color:var(--text);font-family:var(--font-sans)}.tdash-stat-l{font-size:9px;letter-spacing:.1em;color:var(--muted);font-family:var(--font-mono);margin-top:2px}.tdash-stat-div{width:1px;height:32px;background:var(--border);flex-shrink:0}.tdash-green{color:var(--success)!important}.tdash-red{color:var(--danger)!important}.tdash-accent{color:var(--accent)!important}.tdash-view-tabs{display:flex;gap:0;border-bottom:1px solid var(--border)}.tdash-vtab{display:inline-flex;align-items:center;gap:6px;font-size:12px;padding:9px 16px;background:none;border:none;border-bottom:2px solid transparent;color:var(--muted);cursor:pointer;transition:color .15s,border-color .15s}.tdash-vtab:hover{color:var(--text)}.tdash-vtab-active{color:var(--text)!important;border-bottom-color:var(--accent)!important}.tdash-live-dot{width:7px;height:7px;border-radius:50%;background:var(--success);animation:tdashPulse 1.5s ease-in-out infinite}@keyframes tdashPulse{0%,to{opacity:1}50%{opacity:.4}}.tdash-count-badge{background:var(--accent-soft);color:var(--accent);border-radius:10px;font-size:10px;padding:0 6px;font-family:var(--font-mono)}.tdash-idle-panel{text-align:center;padding:40px 24px;display:flex;flex-direction:column;align-items:center;background:var(--panel);border:1px solid var(--border);border-radius:8px}.tdash-idle-title{font-size:14px;font-weight:600;color:var(--muted);margin-bottom:8px}.tdash-idle-desc{font-size:12px;color:var(--muted-2);max-width:420px;line-height:1.65;margin-bottom:18px}.tdash-idle-lemma-row{display:flex;flex-wrap:wrap;gap:8px;justify-content:center}.tdash-idle-lemma{display:flex;align-items:center;gap:8px;border:1px solid;border-radius:6px;padding:6px 12px;background:var(--panel-2)}.tdash-dashboard{display:flex;flex-direction:column;gap:16px}.tdash-top-row{display:grid;grid-template-columns:240px 1fr;gap:16px;align-items:stretch}.tdash-gauge-panel{background:var(--panel);border:1px solid var(--border);border-radius:8px;padding:16px 14px;display:flex;flex-direction:column;align-items:center;gap:10px;min-height:0}.tdash-panel-label{font-size:9px;letter-spacing:.12em;color:var(--muted);font-family:var(--font-mono);font-weight:700;align-self:flex-start;width:100%}.tdash-gauge-center{display:flex;justify-content:center;flex:1;align-items:center}.tdash-gauge-verdict{display:flex;flex-direction:column;align-items:center;gap:4px;width:100%}.tdash-verdict-pass{display:flex;align-items:center;gap:5px;color:var(--success);font-size:12px;font-weight:600}.tdash-verdict-fail{display:flex;align-items:center;gap:5px;color:var(--danger);font-size:12px;font-weight:600}.tdash-verdict-proving{color:var(--accent);font-size:11px;font-family:var(--font-mono);animation:tdashPulse 1.5s infinite}.tdash-verdict-cached{display:flex;align-items:center;gap:4px;color:var(--warning);font-size:10px}.tdash-rerun-btn,.tdash-dl-btn{display:inline-flex;align-items:center;gap:4px;font-size:10px;font-family:var(--font-mono);padding:4px 10px;border-radius:5px;border:1px solid var(--border);background:var(--panel-2);color:var(--muted);cursor:pointer;width:100%;justify-content:center;transition:border-color .15s,color .15s}.tdash-rerun-btn:hover,.tdash-dl-btn:hover{border-color:var(--accent);color:var(--accent)}.tdash-matrix-panel{background:var(--panel);border:1px solid var(--border);border-radius:8px;padding:16px;display:flex;flex-direction:column;gap:14px}.tdash-matrix-bars{display:grid;grid-template-columns:repeat(4,1fr);gap:10px}.tdash-lemma-bar{display:flex;flex-direction:column;align-items:center;gap:6px;border:1px solid;border-radius:6px;padding:12px 10px;background:var(--panel-2);cursor:default;transition:background .15s}.tdash-lemma-bar:hover{background:var(--panel-hover)}.tdash-lemma-bar-top{width:100%;height:3px;border-radius:2px;margin-bottom:4px}.tdash-lemma-bar-icon{display:flex;align-items:center;justify-content:center;height:20px}.tdash-lemma-bar-name{font-size:9px;font-family:var(--font-mono);font-weight:700;letter-spacing:.08em;text-align:center}.tdash-spin{display:inline-block;width:13px;height:13px;border-radius:50%;border:2px solid;animation:tdashSpin .75s linear infinite}.tdash-matrix-summary{display:flex;gap:12px;justify-content:center;flex-wrap:wrap}.tdash-ms-item{display:flex;align-items:center;gap:4px;font-size:11px}.tdash-ms-pass{color:var(--success)}.tdash-ms-fail{color:var(--danger)}.tdash-ms-pending{color:var(--muted)}.tdash-attack-diagram{background:#f851490a;border:1px solid rgba(248,81,73,.3);border-radius:8px;padding:14px 16px}.tdash-attack-header{display:flex;align-items:center;gap:8px;font-family:var(--font-mono);font-size:11px;font-weight:700;color:var(--danger);letter-spacing:.06em;margin-bottom:10px}.tdash-attack-scroll{overflow-x:auto}.tdash-lemma-cards-section{display:flex;flex-direction:column;gap:0}.tdash-lemma-cards{display:flex;flex-direction:column;gap:0;border:1px solid var(--border);border-radius:8px;overflow:hidden}.tdash-lemma-card{border-bottom:1px solid var(--border);background:var(--panel);transition:background .15s}.tdash-lemma-card:last-child{border-bottom:none}.tdash-lc-fail{border-left:3px solid var(--danger)}.tdash-lc-pass{border-left:3px solid rgba(63,185,80,.4)}.tdash-lc-active{border-left:3px solid var(--accent);animation:tdashRowGlow 1.2s ease-in-out infinite}@keyframes tdashRowGlow{0%,to{background:#39d0ac05}50%{background:#39d0ac0f}}.tdash-lc-header{display:flex;align-items:center;justify-content:space-between;padding:11px 14px;cursor:pointer;gap:12px}.tdash-lc-header:hover{background:var(--panel-hover)}.tdash-lc-left{display:flex;align-items:center;gap:10px}.tdash-lc-dot{width:8px;height:8px;border-radius:50%;flex-shrink:0}.tdash-lc-name{font-family:var(--font-mono);font-size:13px;font-weight:700;color:var(--text)}.tdash-lc-cat{display:flex;gap:5px;margin-top:3px}.tdash-lc-chip{font-size:9px;background:var(--accent-soft);color:var(--accent);border-radius:3px;padding:1px 6px;font-family:var(--font-mono)}.tdash-lc-sev{font-size:9px;border-radius:3px;padding:1px 6px;font-family:var(--font-mono);text-transform:uppercase}.tdash-sev-critical{background:#f851491a;color:var(--danger)}.tdash-sev-high{background:#e3b3411a;color:var(--warning)}.tdash-lc-right{display:flex;align-items:center;gap:10px;flex-shrink:0}.tdash-lc-badge{font-size:10px;font-family:var(--font-mono);font-weight:700;padding:2px 9px;border-radius:4px;border:1px solid;white-space:nowrap}.tdash-badge-pass{background:var(--success-soft);border-color:var(--success);color:var(--success)}.tdash-badge-fail{background:var(--danger-soft);border-color:var(--danger);color:var(--danger)}.tdash-badge-active{background:var(--accent-soft);border-color:var(--accent);color:var(--accent)}.tdash-badge-idle{background:transparent;border-color:var(--border);color:var(--muted)}.tdash-lc-time{font-size:10px;color:var(--muted);font-family:var(--font-mono)}.tdash-lc-formula{font-family:var(--font-mono);font-size:11px;color:var(--muted);padding:0 14px 8px 32px;letter-spacing:.02em}.tdash-lc-detail{background:var(--panel-2);padding:12px 14px 14px;border-top:1px solid var(--border)}.tdash-lc-detail-row{display:grid;grid-template-columns:1fr 1fr;gap:12px}.tdash-lc-detail-block{display:flex;flex-direction:column;gap:5px}.tdash-detail-label{font-size:9px;letter-spacing:.1em;color:var(--muted);font-family:var(--font-mono);font-weight:700}.tdash-detail-val{font-size:12px;color:var(--text-2)}.tdash-axiom{font-family:var(--font-mono);font-size:11px;color:var(--accent);background:var(--accent-soft);border:1px solid rgba(57,208,172,.2);border-radius:4px;padding:2px 8px;display:inline-block}.tdash-expl{font-size:12px;color:var(--text-2);padding:8px 12px;border-radius:5px;border-left:3px solid var(--border);line-height:1.6}.tdash-expl-pass{border-left-color:var(--success);background:var(--success-soft);color:var(--text)}.tdash-expl-fail{border-left-color:var(--danger);background:var(--danger-soft);color:var(--text)}.tdash-formula-block{font-family:var(--font-mono);font-size:12px;color:var(--text);background:var(--bg-tertiary);border:1px solid var(--border);border-radius:5px;padding:8px 12px;letter-spacing:.03em}.tdash-history-view{display:flex;flex-direction:column;gap:0}.tdash-error{display:flex;align-items:center;gap:8px;font-size:12px;color:var(--danger);background:var(--danger-soft);border:1px solid rgba(248,81,73,.25);border-radius:6px;padding:10px 14px;margin-bottom:12px}.tdash-history-table{width:100%;border-collapse:collapse;font-size:12px;background:var(--panel);border:1px solid var(--border);border-radius:8px;overflow:hidden}.tdash-history-table thead tr{background:var(--panel-2);border-bottom:1px solid var(--border)}.tdash-history-table th{text-align:left;padding:8px 12px;font-size:9px;letter-spacing:.08em;color:var(--muted);font-family:var(--font-mono);font-weight:700}.tdash-hr{border-bottom:1px solid var(--border);cursor:pointer;transition:background .15s}.tdash-hr:hover{background:var(--panel-hover)}.tdash-hr:last-child{border-bottom:none}.tdash-hr-sel{background:var(--accent-soft)!important}.tdash-history-table td{padding:10px 12px;vertical-align:middle}.tdash-hr-name{display:flex;align-items:center;gap:6px;font-weight:600;color:var(--text)}.tdash-hr-mono{font-family:var(--font-mono);font-size:11px;color:var(--muted)}.tdash-chip-pass{display:inline-flex;align-items:center;gap:4px;font-size:10px;font-family:var(--font-mono);font-weight:700;padding:2px 8px;border-radius:4px;background:var(--success-soft);border:1px solid var(--success);color:var(--success)}.tdash-chip-fail{display:inline-flex;align-items:center;gap:4px;font-size:10px;font-family:var(--font-mono);font-weight:700;padding:2px 8px;border-radius:4px;background:var(--danger-soft);border:1px solid var(--danger);color:var(--danger)}.tdash-chip-cached{display:inline-flex;align-items:center;gap:4px;font-size:10px;font-family:var(--font-mono);font-weight:700;padding:2px 8px;border-radius:4px;background:var(--warning-soft);border:1px solid var(--warning);color:var(--warning)}.tdash-chip-idle{color:var(--muted);font-size:11px}.tdash-cache-yes{display:inline-flex;align-items:center;gap:4px;font-size:10px;color:var(--warning);font-family:var(--font-mono)}.tdash-cache-live:before{content:"";display:inline-block;width:6px;height:6px;border-radius:50%;background:var(--success);margin-right:4px}.tdash-cache-live{font-size:10px;color:var(--success);font-family:var(--font-mono)}.tdash-dl-icon{display:inline-flex;align-items:center;justify-content:center;width:26px;height:26px;border:1px solid var(--border);border-radius:5px;background:var(--panel);color:var(--muted);cursor:pointer;transition:border-color .15s,color .15s}.tdash-dl-icon:hover{border-color:var(--accent);color:var(--accent)}.tdash-history-detail{background:var(--panel-2);border:1px solid var(--border);border-top:none;border-radius:0 0 8px 8px;padding:16px 18px}.tdash-history-lemma-chips{display:flex;flex-wrap:wrap;gap:6px;margin-bottom:14px}.tdash-lemma-chip{display:inline-flex;align-items:center;gap:4px;font-size:10px;font-family:var(--font-mono);padding:3px 9px;border-radius:4px;border:1px solid}.tdash-lchip-pass{background:var(--success-soft);border-color:#3fb9504d;color:var(--success)}.tdash-lchip-fail{background:var(--danger-soft);border-color:#f851494d;color:var(--danger)}.tdash-history-gauge-row{display:flex;align-items:center;gap:20px;margin-bottom:14px;flex-wrap:wrap}.tdash-history-verdict-block{display:flex;flex-direction:column;gap:8px}.tdash-history-meta{display:flex;flex-direction:column;gap:3px;font-size:11px;color:var(--muted);font-family:var(--font-mono)}:root[data-theme=light] .tdash-about-card,:root[data-theme=light] .tdash-stats-row,:root[data-theme=light] .tdash-idle-panel,:root[data-theme=light] .tdash-gauge-panel,:root[data-theme=light] .tdash-matrix-panel,:root[data-theme=light] .tdash-lemma-card,:root[data-theme=light] .tdash-history-table{background:#fff;border-color:#e2e8f0}:root[data-theme=light] .tdash-about-lemma,:root[data-theme=light] .tdash-lc-detail,:root[data-theme=light] .tdash-history-detail{background:#f8fafc;border-color:#e2e8f0}:root[data-theme=light] .tdash-lc-header:hover,:root[data-theme=light] .tdash-hr:hover{background:#f1f5f9}:root[data-theme=light] .tdash-hr-sel{background:#39d0ac0f!important}:root[data-theme=light] .tdash-formula-block{background:#f1f5f9;border-color:#e2e8f0;color:#0f172a}@media(max-width:768px){.tdash-root{padding:14px}.tdash-top-row,.tdash-about-lemma-grid{grid-template-columns:1fr}.tdash-matrix-bars{gap:8px}.tdash-lc-detail-row{grid-template-columns:1fr}}