.hero-headline_operator__yrubO{position:relative;width:.9em;height:1em;overflow:visible}.hero-headline_operatorGlyph__UhW4N{display:block;line-height:1;transform:translateX(-.16em)}.hero-headline_attention__ljKls .hero-headline_operatorGlyph__UhW4N{animation:hero-headline_operator-glisten__dpqc0 .98s ease-out}.hero-headline_operatorTransforming__xr2kw{color:var(--color-primary);animation:hero-headline_operator-vanish__N3Web .42s ease-out forwards}.hero-headline_target__joAQ9{display:inline}.hero-headline_targetProven__uVlq1,.hero-headline_targetWrong__J4X36,.hero-headline_target__joAQ9{position:relative;vertical-align:baseline}.hero-headline_targetProven__uVlq1{display:inline-block}.hero-headline_targetWrong__J4X36{display:inline-block;transition:opacity .26s ease,color .26s ease,filter .26s ease}.hero-headline_targetProven__uVlq1:before,.hero-headline_targetWrong__J4X36:before{position:absolute;inset:-.05em -.1em;content:"";border-radius:.18em;opacity:0;background:linear-gradient(90deg,transparent 0,color-mix(in srgb,var(--color-primary) 18%,transparent) 35%,color-mix(in srgb,var(--color-primary) 44%,transparent) 50%,color-mix(in srgb,var(--color-primary) 18%,transparent) 65%,transparent 100%);transform:translateX(-85%);pointer-events:none}.hero-headline_targetTransforming__tqWov .hero-headline_targetProven__uVlq1:before,.hero-headline_targetTransforming__tqWov .hero-headline_targetWrong__J4X36:before{animation:hero-headline_phrase-energy__r2a4H .82s ease-out forwards}.hero-headline_targetReplacement__KudSB,.hero-headline_targetText__pUZQ9{transition:opacity .26s ease,color .26s ease,filter .26s ease}.hero-headline_targetReplacement__KudSB{position:absolute;top:0;left:0;white-space:nowrap}.hero-headline_targetReplacement__KudSB,.hero-headline_targetTransforming__tqWov .hero-headline_targetText__pUZQ9{color:var(--color-primary);opacity:0;filter:blur(.08em)}.hero-headline_targetTransforming__tqWov .hero-headline_targetReplacement__KudSB{opacity:1;filter:blur(0)}.hero-headline_targetTransforming__tqWov .hero-headline_targetWrong__J4X36{color:var(--color-primary);opacity:0;filter:blur(.08em)}@keyframes hero-headline_operator-glisten__dpqc0{0%{filter:brightness(1);text-shadow:none}35%{filter:brightness(1.45);text-shadow:0 0 .18em currentColor,0 0 .42em currentColor}to{filter:brightness(1);text-shadow:none}}@keyframes hero-headline_operator-vanish__N3Web{0%{opacity:1;transform:scale(1)}to{opacity:0;transform:scale(.64)}}@keyframes hero-headline_phrase-energy__r2a4H{0%{opacity:0;transform:translateX(-85%)}35%{opacity:1}to{opacity:0;transform:translateX(72%)}}@media (prefers-reduced-motion:reduce){.hero-headline_operator__yrubO,.hero-headline_operator__yrubO:after,.hero-headline_operator__yrubO:before,.hero-headline_targetProven__uVlq1:before,.hero-headline_targetReplacement__KudSB,.hero-headline_targetText__pUZQ9,.hero-headline_targetWrong__J4X36,.hero-headline_targetWrong__J4X36:before,.hero-headline_target__joAQ9{animation:none!important;transition:none!important}}.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,0.5);--xy-minimap-background-color-default:#fff;--xy-minimap-mask-background-color-default:rgba(240,240,240,0.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,0.25);--xy-node-boxshadow-hover-default:0 1px 4px 1px rgba(0,0,0,0.08);--xy-node-boxshadow-selected-default:0 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,0.08);--xy-selection-border-default:1px dotted rgba(0,89,220,0.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,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,0.25);--xy-minimap-background-color-default:#141414;--xy-minimap-mask-background-color-default:rgba(60,60,60,0.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,0.25);--xy-node-boxshadow-hover-default:0 1px 4px 1px rgba(255,255,255,0.08);--xy-node-boxshadow-selected-default:0 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,0.08);--xy-selection-border-default:1px dotted rgba(200,200,220,0.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,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;touch-action:none}.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.selectable:focus .react-flow__edge-path,.react-flow__edge.selectable:focus-visible .react-flow__edge-path,.react-flow__edge.selected .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.bottom.center,.react-flow__panel.top.center{left:50%;transform:translateX(-15px) translateX(-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{pointer-events:none}.react-flow__edgelabel-renderer,.react-flow__viewport-portal{position:absolute;width:100%;height:100%;-webkit-user-select:none;-moz-user-select:none;user-select:none;left:0;top:0}.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-default,.react-flow__node-group,.react-flow__node-input,.react-flow__node-output{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-default.selectable:hover,.react-flow__node-group.selectable:hover,.react-flow__node-input.selectable:hover,.react-flow__node-output.selectable:hover{box-shadow:var(--xy-node-boxshadow-hover,var(--xy-node-boxshadow-hover-default))}.react-flow__node-default.selectable.selected,.react-flow__node-default.selectable:focus,.react-flow__node-default.selectable:focus-visible,.react-flow__node-group.selectable.selected,.react-flow__node-group.selectable:focus,.react-flow__node-group.selectable:focus-visible,.react-flow__node-input.selectable.selected,.react-flow__node-input.selectable:focus,.react-flow__node-input.selectable:focus-visible,.react-flow__node-output.selectable.selected,.react-flow__node-output.selectable:focus,.react-flow__node-output.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.bottom,.react-flow__resize-control.top{cursor:ns-resize}.react-flow__resize-control.bottom.right,.react-flow__resize-control.top.left{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.bottom.left,.react-flow__resize-control.handle.top.left{left:0}.react-flow__resize-control.handle.bottom.right,.react-flow__resize-control.handle.top.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.bottom,.react-flow__resize-control.line.top{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))}.flowchart-rf_shell_____bi{width:100%;height:100%}.flowchart-rf_fadeBackground__FI6Vu .react-flow__background{mask-image:radial-gradient(ellipse at center,black 58%,rgb(0 0 0/.78) 72%,transparent 100%);-webkit-mask-image:radial-gradient(ellipse at center,black 58%,rgb(0 0 0/.78) 72%,transparent 100%)}.flowchart-rf_embeddedScroll__S1riW .react-flow__pane{touch-action:pan-y!important}.flowchart-rf_embeddedScroll__S1riW{position:relative}.flowchart-rf_tapShield__ianeQ{position:absolute;inset:0;z-index:6;display:flex;align-items:flex-end;justify-content:center;padding-bottom:.5rem;background:transparent;border:0;cursor:pointer;touch-action:pan-y;-webkit-tap-highlight-color:transparent}.flowchart-rf_tapShieldLabel__VxYvv{padding:.25rem .7rem;font-size:.72rem;line-height:1}.flowchart-rf_tapShieldLabel__VxYvv,.flowchart-rf_zoomHint__zB6gm{border-radius:999px;font-weight:500;white-space:nowrap;color:var(--base05);background-color:color-mix(in oklch,var(--base00) 82%,transparent);border:1px solid var(--base02);box-shadow:0 2px 10px color-mix(in oklch,var(--base05) 12%,transparent);pointer-events:none}.flowchart-rf_zoomHint__zB6gm{position:absolute;top:50%;left:50%;z-index:5;transform:translate(-50%,-50%);padding:.4rem .75rem;font-size:.75rem;opacity:0;transition:opacity .16s ease}.flowchart-rf_zoomHintVisible__GMPrJ{opacity:1}.flowchart-rf_shell_____bi .react-flow__controls{display:flex;flex-direction:column;gap:2px;padding:3px;border:1px solid var(--base02);border-radius:9px;background-color:var(--base00);box-shadow:0 1px 2px color-mix(in oklch,var(--base05) 10%,transparent),0 4px 12px color-mix(in oklch,var(--base05) 8%,transparent)}.flowchart-rf_shell_____bi .react-flow__controls-button{box-sizing:border-box;width:24px;height:24px;margin:0;padding:0;border:none;border-radius:6px;background-color:transparent;color:var(--base05)}.flowchart-rf_shell_____bi .react-flow__controls-button:hover{background-color:color-mix(in oklch,var(--base05) 9%,transparent)}.flowchart-rf_shell_____bi .react-flow__controls-button svg{width:13px;height:13px;max-width:13px;max-height:13px;fill:currentColor}.flowchart-rf_shell_____bi .react-flow__controls-button:focus-visible{outline:2px solid var(--base0D);outline-offset:-1px}.flowchart-rf_shell_____bi .react-flow__controls-button.flowchart-rf_controlActive__GqFZP{background-color:color-mix(in oklch,var(--base0D) 18%,transparent);color:var(--base0D)}.flowchart-rf_shell_____bi .react-flow__controls-button.flowchart-rf_controlActive__GqFZP:hover{background-color:color-mix(in oklch,var(--base0D) 26%,transparent)}.flowchart-rf_shell_____bi .react-flow__minimap{border:1px solid var(--base02);border-radius:8px;overflow:hidden;box-shadow:0 1px 2px color-mix(in oklch,var(--base05) 10%,transparent),0 2px 8px color-mix(in oklch,var(--base05) 8%,transparent)}[data-mode=dark] .flowchart-rf_shell_____bi,[data-mode=light] .flowchart-rf_shell_____bi{--xy-controls-button-background-color:transparent;--xy-controls-button-background-color-hover:color-mix(in oklch,var(--base05) 9%,transparent);--xy-controls-button-color:var(--base05);--xy-controls-button-color-hover:var(--base05);--xy-controls-button-border-color:transparent;--xy-controls-box-shadow:none;--xy-minimap-background-color:color-mix(in oklch,var(--base01) 85%,var(--base00));--xy-minimap-mask-background-color:color-mix(in oklch,var(--base05) 22%,transparent);--xy-minimap-mask-stroke-color:color-mix(in oklch,var(--base05) 30%,transparent);--xy-minimap-mask-stroke-width:1}@keyframes edges_edge-flow__kMCRl{to{stroke-dashoffset:-16}}@keyframes edges_edge-flow-reverse__53mSM{to{stroke-dashoffset:16}}@media (prefers-reduced-motion:no-preference){.edges_flowing__pE597{animation:edges_edge-flow__kMCRl .9s linear infinite}.edges_flowingReverse__K_Uvr{animation:edges_edge-flow-reverse__53mSM .9s linear infinite}}.theorem-syntax_syntax__ACdzk{margin:0;font-family:ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,monospace;font-size:1rem;line-height:1.6;white-space:pre-wrap;word-break:break-word;color:var(--base05);tab-size:4}.theorem-syntax_line__8S3MT{display:block}.theorem-syntax_firstLine__D8roZ{display:flex;align-items:flex-start;gap:.5rem}.theorem-syntax_firstLineText__upAju{flex:1 1 auto;min-width:0}.theorem-syntax_firstLineTruncate__yRnCC{white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.theorem-syntax_premise__iLUM2{padding-left:4ch}.theorem-syntax_conclusion__RMVX8{padding-left:2ch}.theorem-syntax_keyword__cWyLK{color:var(--base0E);font-weight:600}.theorem-syntax_name__lCXqY{color:var(--base0D);font-weight:600;cursor:pointer;border-radius:3px}.theorem-syntax_name__lCXqY:hover{text-decoration:underline;text-underline-offset:2px}.theorem-syntax_name__lCXqY:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:2px}.theorem-syntax_binder__1dv_9{color:var(--base0D)}.theorem-syntax_propLink__81HKs{cursor:pointer;border-radius:3px}.theorem-syntax_propLink__81HKs:hover{text-decoration:underline;text-underline-offset:2px}.theorem-syntax_propLink__81HKs:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:2px}.theorem-syntax_punct__IXCR8{color:var(--base04)}.theorem-syntax_conclusionLink__RuF19{cursor:pointer;border-radius:3px;padding:.25rem .35rem;margin:-.25rem -.35rem}.theorem-syntax_conclusionLink__RuF19:hover{color:var(--base0D)}.theorem-syntax_conclusionLink__RuF19:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:2px}.theorem-syntax_moreRow__z7EIM{padding-left:4ch;margin:.25rem 0}.theorem-syntax_moreChip__Xtb_j{appearance:none;display:inline-flex;align-items:center;gap:.35rem;padding:.15rem .6rem;border:1px solid var(--base02);border-radius:999px;background-color:var(--base01);color:var(--base04);font-family:system-ui,-apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif;font-size:.75rem;font-weight:600;line-height:1.4;cursor:pointer}.theorem-syntax_moreChip__Xtb_j:hover{background-color:var(--base02);color:var(--base05)}.theorem-syntax_moreChip__Xtb_j:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:2px}.theorem-syntax_unavailable__nJqLQ{color:var(--base04);font-style:italic}.theorem-syntax_syntax__ACdzk .shiki,.theorem-syntax_syntax__ACdzk .shiki .line,.theorem-syntax_syntax__ACdzk .shiki code{display:inline;background:transparent!important;padding:0;margin:0;font:inherit;white-space:pre-wrap}