:root{color:#15181d;background:#eef2f0;--accent: #0b5b75;--accent-dark: #003e52;--accent-rgb: 11, 91, 117;--app-bg: #eef2f0;--app-bg-layer: #eef2f0;--text: #15181d;--border: #dfe7ec;--border-soft: #edf2f5;--drop-border: #b9c8d1;--row-border: #edf0f2;--card-bg: rgba(255, 255, 255, .92);--card-border: rgba(213, 223, 230, .9);--header-bg: rgba(255, 255, 255, .82);--header-border: rgba(210, 220, 226, .78);--button-bg: linear-gradient(#ffffff, #f5f8fa);--button-text: #0c4e64;--scrollbar-track: #f1f5f7;--scrollbar-thumb: #8d979f;--panel: #ffffff;--panel-soft: #f8fbfc;--text-muted: #6f7784;--input-bg: #ffffff;--model-bg: linear-gradient(145deg, #f9fafb, #f3f6f7);--success-bg: #d9f1df;--success-text: #27613e;--danger-bg: #f7ded8;--danger-soft-bg: #fff8f7;--danger-border: #efc7c1;--danger-text: #8b3b2f;--skip-bg: #eceff3;--skip-text: #69717d;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif;font-synthesis:none;text-rendering:optimizeLegibility}*{box-sizing:border-box}body{margin:0;min-width:1024px;overflow:hidden}button,input,select{font:inherit}button{cursor:pointer}.app-shell[data-theme=dark]{--accent: #66d9ef;--accent-dark: #b7f3ff;--accent-rgb: 102, 217, 239;--app-bg: #10161d;--app-bg-layer: #10161d;--text: #e7eef5;--border: #2c3a46;--border-soft: #25323d;--drop-border: #536879;--row-border: #26343f;--card-bg: rgba(22, 31, 40, .94);--card-border: rgba(58, 74, 87, .72);--header-bg: rgba(18, 27, 35, .9);--header-border: rgba(79, 96, 108, .55);--button-bg: linear-gradient(#1e2b35, #17232c);--button-text: #d8f8ff;--scrollbar-track: #101820;--scrollbar-thumb: #4a5d6b;--panel: #151f28;--panel-soft: #192530;--text-muted: #9aa8b5;--input-bg: #111a22;--model-bg: linear-gradient(145deg, #141d25, #101820);--success-bg: #153825;--success-text: #9be7b4;--danger-bg: #44211f;--danger-soft-bg: #271a1c;--danger-border: #7c3a36;--danger-text: #ffb3a8;--skip-bg: #2a3440;--skip-text: #bac6d1}.app-shell[data-theme=dark] .sidebar,.app-shell[data-theme=dark] .card{box-shadow:0 18px 45px #00000038,inset 0 1px #ffffff0a}.app-shell[data-theme=dark] .code-block{border-color:#1f2a34}.app-shell[data-theme=dark] .code-toolbar{border-bottom-color:#1f2a34}.app-shell{width:100vw;height:100vh;display:flex;flex-direction:column;overflow:hidden;color:var(--text);background:var(--app-bg)}.app-shell *{scrollbar-color:var(--scrollbar-thumb) var(--scrollbar-track)}.app-shell *::-webkit-scrollbar{width:12px;height:12px}.app-shell *::-webkit-scrollbar-track{background:var(--scrollbar-track)}.app-shell *::-webkit-scrollbar-thumb{background:var(--scrollbar-thumb);border:3px solid var(--scrollbar-track);border-radius:999px}.app-shell *::-webkit-scrollbar-corner{background:var(--scrollbar-track)}.app-header{height:68px;flex:0 0 68px;display:flex;align-items:center;justify-content:space-between;padding:0 36px;background:var(--header-bg);border-bottom:1px solid var(--header-border);box-shadow:0 8px 30px #12232c0f;-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px)}.app-header h1{margin:0;font-size:26px;line-height:1;letter-spacing:0}.theme-toggle{width:40px;height:40px;display:grid;place-items:center;border:1px solid var(--border);border-radius:50%;background:var(--button-bg);color:var(--button-text);padding:0;box-shadow:0 1px 2px #12232c14}.theme-toggle svg{width:20px;height:20px;fill:none;stroke:currentColor;stroke-linecap:round;stroke-linejoin:round;stroke-width:2}.theme-toggle:hover,.theme-toggle:focus-visible{border-color:rgba(var(--accent-rgb),.5);outline:none}.workspace{flex:1;min-height:0;display:grid;grid-template-columns:400px minmax(0,1fr);gap:24px;padding:22px 20px 14px;background:transparent;overflow:hidden}.sidebar,.card{background:var(--card-bg);border:1px solid var(--card-border);border-radius:12px;box-shadow:0 18px 45px #1f2f3714,inset 0 1px #ffffffc7}.sidebar{position:relative;min-height:0;padding:24px 22px;display:flex;flex-direction:column;overflow:hidden;-webkit-backdrop-filter:blur(10px);backdrop-filter:blur(10px);transition:border-color .16s ease,background .16s ease,box-shadow .16s ease}.sidebar.is-dragging{border-color:var(--accent);background:color-mix(in srgb,var(--panel-soft) 84%,var(--accent) 16%);box-shadow:0 18px 45px #1f2f3714,0 0 0 4px rgba(var(--accent-rgb),.12)}.sidebar.is-dragging .drop-zone{border-color:var(--accent);background:color-mix(in srgb,var(--panel) 84%,var(--accent) 16%);box-shadow:inset 0 0 0 1px rgba(var(--accent-rgb),.18),0 8px 22px rgba(var(--accent-rgb),.12)}.sidebar.is-dragging .drop-icon{background:var(--accent);color:#fff}.drop-overlay{position:absolute;inset:14px;z-index:5;display:grid;place-items:center;border:2px dashed var(--accent);border-radius:12px;background:color-mix(in srgb,var(--panel) 82%,var(--accent) 18%);box-shadow:inset 0 0 0 999px color-mix(in srgb,var(--panel) 34%,transparent),0 18px 42px rgba(var(--accent-rgb),.18);-webkit-backdrop-filter:blur(4px);backdrop-filter:blur(4px);pointer-events:none}.drop-overlay-box{display:grid;place-items:center;gap:10px;padding:26px 32px;border:1px solid rgba(var(--accent-rgb),.2);border-radius:12px;background:var(--panel);color:var(--accent-dark);box-shadow:0 12px 28px #12232c1f}.drop-overlay-icon{width:52px;height:52px;display:grid;place-items:center;border-radius:50%;background:var(--accent);color:#fff;font-size:36px;line-height:1}.drop-overlay-box strong{font-size:18px}.field-label{display:block;margin:0 0 8px;color:var(--text-muted);font-size:16px}.small-button{border:1px solid var(--border);background:var(--button-bg);color:var(--button-text);border-radius:12px;padding:8px 14px;box-shadow:0 1px 2px #12232c0f;transition:border-color .14s ease,box-shadow .14s ease,transform .14s ease}.small-button:hover,.sample-nav button:hover:not(:disabled){border-color:rgba(var(--accent-rgb),.35);box-shadow:0 3px 10px #12232c14}.hidden-input{display:none}.preset-row{display:grid;grid-template-columns:minmax(0,1fr) 74px;gap:10px;margin-bottom:18px}.preset-row select,.preset-row button{height:42px;border:1px solid var(--border);border-radius:12px;background:var(--button-bg);color:var(--button-text);padding:0 12px}.preset-row select{background:var(--input-bg);color:var(--text)}.preset-row button:disabled,.preset-row select:disabled{cursor:not-allowed;opacity:.58}.folder-label{margin-top:2px}.drop-zone{display:grid;grid-template-columns:36px minmax(0,1fr);align-items:center;gap:12px;width:100%;margin-top:10px;padding:14px;border:1.5px dashed var(--drop-border);border-radius:12px;background:var(--panel-soft);color:var(--text);text-align:left;transition:border-color .16s ease,background .16s ease,box-shadow .16s ease}.drop-zone:has(.load-progress){align-items:start}.drop-zone:hover,.drop-zone:focus-visible{border-color:rgba(var(--accent-rgb),.52);background:color-mix(in srgb,var(--panel-soft) 88%,var(--accent) 12%);box-shadow:0 6px 18px #12232c14;outline:none}.drop-icon{width:36px;height:36px;display:grid;place-items:center;border-radius:50%;background:color-mix(in srgb,var(--panel-soft) 78%,var(--accent) 22%);color:var(--accent);font-size:26px;line-height:1;transition:background .16s ease,color .16s ease}.drop-icon.loading{border:3px solid rgba(var(--accent-rgb),.18);border-top-color:var(--accent);background:transparent;animation:spin .85s linear infinite}.drop-zone strong,.drop-zone span{display:block}.drop-zone strong{color:var(--accent-dark);font-size:15px}.drop-zone span{margin-top:2px;color:var(--text-muted);font-size:13px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.load-progress{margin-top:10px}.load-progress-meta{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-bottom:6px}.load-progress-meta span{margin:0;color:var(--text-muted);font-size:12px}.load-progress-meta b{color:var(--accent-dark);font-size:12px}.load-progress-track{height:8px;overflow:hidden;border-radius:999px;background:var(--border)}.load-progress-fill{height:100%;border-radius:inherit;background:linear-gradient(90deg,var(--accent),#2e91aa),var(--accent);transition:width .18s ease}@keyframes spin{to{transform:rotate(360deg)}}.status-line{display:grid;grid-template-columns:12px 1fr;gap:12px;margin-top:16px;color:var(--text-muted);line-height:1.3}.status-line .dot{width:12px;height:12px;margin-top:5px;border-radius:50%;background:var(--text-muted)}.status-line.success{color:var(--success-text)}.status-line.success .dot{background:var(--success-text)}.status-line.error{color:var(--danger-text)}.status-line.error .dot{background:var(--danger-text)}.search-block{margin:28px 0 20px}.search-block input{width:100%;height:50px;border:1px solid var(--border);border-radius:12px;background:var(--input-bg);color:var(--text);padding:0 14px;font-size:16px;outline:none}.search-block input:focus{border-color:var(--accent);box-shadow:0 0 0 3px rgba(var(--accent-rgb),.12)}.samples-title{display:flex;align-items:baseline;justify-content:space-between;gap:16px}.samples-title h2{margin:0 0 16px;font-size:22px}.samples-title span{color:var(--text-muted)}.sample-nav{display:grid;grid-template-columns:42px minmax(0,1fr) 42px;align-items:center;gap:10px;margin:0 0 14px}.sample-nav button{width:42px;height:38px;border:1px solid var(--border);border-radius:12px;background:var(--button-bg);color:var(--button-text);font-size:30px;line-height:1}.sample-nav button:disabled{cursor:not-allowed;opacity:.45}.sample-nav span{color:var(--text-muted);text-align:center;font-size:15px}.sample-list{flex:1;min-height:0;overflow-y:auto;border:1px solid var(--border);border-radius:12px;background:var(--panel)}.sample-list button{width:100%;height:42px;display:block;border:0;border-bottom:1px solid var(--row-border);background:var(--panel);color:var(--text);text-align:left;padding:0 14px;font-size:16px}.sample-list button:hover{background:var(--panel-soft)}.sample-list button.selected{background:color-mix(in srgb,var(--panel-soft) 82%,var(--accent) 18%);color:var(--accent-dark);font-weight:700;border-left:4px solid var(--accent)}.content-grid{min-width:0;min-height:0;display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);grid-template-rows:minmax(300px,1fr) minmax(260px,.95fr);grid-template-areas:"generated assertions" "sample assertions";gap:20px;background:transparent;border:0;box-shadow:none;overflow:hidden}.generated-card{grid-area:generated}.sample-card{grid-area:sample}.assertions-card{grid-area:assertions}.card{min-width:0;min-height:0;overflow:hidden}.model-card{display:flex;flex-direction:column}.card-header{min-height:74px;flex:0 0 auto;padding:14px 16px 12px;border-bottom:1px solid var(--border);background:var(--panel)}.card-header h2{margin:0 0 4px;color:var(--accent-dark);font-size:15px;text-transform:uppercase;letter-spacing:.1em}.card-header p,.source-line{margin:0;color:var(--text-muted);font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:13px;line-height:1.35;word-break:break-word}.card-header span{font-weight:700}.stl-stage{position:relative;flex:1;min-height:0;background:var(--model-bg)}.stl-stage canvas{display:block;width:100%;height:100%}.empty-state{position:absolute;inset:0;display:grid;place-items:center;color:var(--text-muted);font-size:16px}.scroll-card{overflow:hidden}.scroll-content{height:100%;overflow-y:auto;padding:20px}.scroll-content h2{margin:0 0 12px;color:var(--accent-dark);font-size:22px}.sample-summary,.info-section,.code-panel{margin-top:18px;padding:16px;border:1px solid var(--border-soft);border-radius:12px;background:var(--panel-soft)}.metric-strip,.pill-row{display:flex;align-items:center;flex-wrap:wrap;gap:12px 16px;margin-top:12px}.metric-strip{margin-top:0}.metric-strip strong{color:var(--accent-dark)}.pill{border-radius:999px;padding:4px 12px;font-size:13px}.pill.pass{background:var(--success-bg);color:var(--success-text)}.pill.fail{background:var(--danger-bg);color:var(--danger-text)}.pill.skip{background:var(--skip-bg);color:var(--skip-text)}.sample-summary h3,.info-section h3,.subheading{margin:0 0 10px;color:var(--accent-dark);font-size:18px}.info-section p{margin:8px 0;color:var(--text);line-height:1.45}.code-block{margin-top:12px;overflow:hidden;border:1px solid #26323d;border-radius:12px;background:#0d141d;box-shadow:inset 0 1px #ffffff0a}.code-toolbar{display:flex;align-items:center;justify-content:space-between;gap:14px;padding:8px 12px;border-bottom:1px solid #26323d;background:#151f2a;color:#b7c4cf;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:12px}.code-block pre{max-height:460px;margin:0;overflow:auto;background:transparent;color:#d7e1ea;font-family:SFMono-Regular,Consolas,Liberation Mono,monospace;font-size:12px;line-height:1.55;tab-size:4}.code-block code{display:table;min-width:100%;padding:10px 0}.code-line{display:table-row}.line-number,.line-code{display:table-cell;white-space:pre}.line-number{width:1%;min-width:42px;padding:0 12px;border-right:1px solid rgba(183,196,207,.16);color:#73808c;text-align:right;-webkit-user-select:none;user-select:none}.line-code{padding:0 14px}.token-keyword{color:#ff7ab2}.token-builtin{color:#82aaff}.token-string{color:#ecc48d}.token-number{color:#f78c6c}.token-comment{color:#6b7d8d;font-style:italic}.token-operator{color:#89ddff}.assertion-item{margin-top:16px;padding:16px;border:1px solid var(--border-soft);border-radius:12px;background:var(--panel-soft);box-shadow:0 1px 2px #12232c0a}.assertion-item.failed{border-color:var(--danger-border);background:var(--danger-soft-bg)}.assertion-item.unknown{border-color:var(--border)}.assertion-item h3{display:flex;align-items:center;gap:8px;margin:0 0 6px;color:var(--accent-dark);font-size:16px}.assertion-status{min-width:24px;height:24px;display:inline-grid;place-items:center;border-radius:50%;font-size:12px;font-weight:800}.assertion-status.passed{background:var(--success-bg);color:var(--success-text)}.assertion-status.failed{background:var(--danger-bg);color:var(--danger-text)}.assertion-status.unknown{background:var(--skip-bg);color:var(--skip-text)}.assertion-item p{margin:6px 0;line-height:1.4}.failure-reason{display:grid;gap:4px;margin:12px 0;padding:10px 12px;border:1px solid var(--danger-border);border-radius:12px;background:var(--panel);color:var(--danger-text)}.failure-reason strong{font-size:13px}.failure-reason span{color:var(--text);line-height:1.35}.assertion-meta{display:grid;grid-template-columns:130px minmax(0,1fr);gap:12px;margin:12px 0;padding:10px 12px;border-radius:12px;background:var(--panel);border:1px solid var(--border-soft);color:var(--text-muted)}.assertion-meta span{color:var(--text)}.justification{padding:10px 12px 10px 14px;border-left:3px solid rgba(var(--accent-rgb),.22);border-radius:0 8px 8px 0;background:var(--panel);color:var(--text)}.small-button{padding:6px 12px;color:var(--button-text)}.assertion-item .code-block pre{max-height:260px}@media(max-width:1200px){body{min-width:900px}.workspace{grid-template-columns:330px minmax(0,1fr);gap:16px}.content-grid{gap:16px}}