.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: #555;--xy-background-pattern-lines-color-default: #333;--xy-background-pattern-cross-color-default: #333;--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;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.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))}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(./KaTeX_AMS-Regular-BQhdFMY1.woff2) format("woff2"),url(./KaTeX_AMS-Regular-DMm9YOAa.woff) format("woff"),url(./KaTeX_AMS-Regular-DRggAlZN.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(./KaTeX_Caligraphic-Bold-Dq_IR9rO.woff2) format("woff2"),url(./KaTeX_Caligraphic-Bold-BEiXGLvX.woff) format("woff"),url(./KaTeX_Caligraphic-Bold-ATXxdsX0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(./KaTeX_Caligraphic-Regular-Di6jR-x-.woff2) format("woff2"),url(./KaTeX_Caligraphic-Regular-CTRA-rTL.woff) format("woff"),url(./KaTeX_Caligraphic-Regular-wX97UBjC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(./KaTeX_Fraktur-Bold-CL6g_b3V.woff2) format("woff2"),url(./KaTeX_Fraktur-Bold-BsDP51OF.woff) format("woff"),url(./KaTeX_Fraktur-Bold-BdnERNNW.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(./KaTeX_Fraktur-Regular-CTYiF6lA.woff2) format("woff2"),url(./KaTeX_Fraktur-Regular-Dxdc4cR9.woff) format("woff"),url(./KaTeX_Fraktur-Regular-CB_wures.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(./KaTeX_Main-Bold-Cx986IdX.woff2) format("woff2"),url(./KaTeX_Main-Bold-Jm3AIy58.woff) format("woff"),url(./KaTeX_Main-Bold-waoOVXN0.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(./KaTeX_Main-BoldItalic-DxDJ3AOS.woff2) format("woff2"),url(./KaTeX_Main-BoldItalic-SpSLRI95.woff) format("woff"),url(./KaTeX_Main-BoldItalic-DzxPMmG6.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(./KaTeX_Main-Italic-NWA7e6Wa.woff2) format("woff2"),url(./KaTeX_Main-Italic-BMLOBm91.woff) format("woff"),url(./KaTeX_Main-Italic-3WenGoN9.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(./KaTeX_Main-Regular-B22Nviop.woff2) format("woff2"),url(./KaTeX_Main-Regular-Dr94JaBh.woff) format("woff"),url(./KaTeX_Main-Regular-ypZvNtVU.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(./KaTeX_Math-BoldItalic-CZnvNsCZ.woff2) format("woff2"),url(./KaTeX_Math-BoldItalic-iY-2wyZ7.woff) format("woff"),url(./KaTeX_Math-BoldItalic-B3XSjfu4.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(./KaTeX_Math-Italic-t53AETM-.woff2) format("woff2"),url(./KaTeX_Math-Italic-DA0__PXp.woff) format("woff"),url(./KaTeX_Math-Italic-flOr_0UB.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(./KaTeX_SansSerif-Bold-D1sUS0GD.woff2) format("woff2"),url(./KaTeX_SansSerif-Bold-DbIhKOiC.woff) format("woff"),url(./KaTeX_SansSerif-Bold-CFMepnvq.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(./KaTeX_SansSerif-Italic-C3H0VqGB.woff2) format("woff2"),url(./KaTeX_SansSerif-Italic-DN2j7dab.woff) format("woff"),url(./KaTeX_SansSerif-Italic-YYjJ1zSn.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(./KaTeX_SansSerif-Regular-DDBCnlJ7.woff2) format("woff2"),url(./KaTeX_SansSerif-Regular-CS6fqUqJ.woff) format("woff"),url(./KaTeX_SansSerif-Regular-BNo7hRIc.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(./KaTeX_Script-Regular-D3wIWfF6.woff2) format("woff2"),url(./KaTeX_Script-Regular-D5yQViql.woff) format("woff"),url(./KaTeX_Script-Regular-C5JkGWo-.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(./KaTeX_Size1-Regular-mCD8mA8B.woff2) format("woff2"),url(./KaTeX_Size1-Regular-C195tn64.woff) format("woff"),url(./KaTeX_Size1-Regular-Dbsnue_I.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(./KaTeX_Size2-Regular-Dy4dx90m.woff2) format("woff2"),url(./KaTeX_Size2-Regular-oD1tc_U0.woff) format("woff"),url(./KaTeX_Size2-Regular-B7gKUWhC.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC) format("woff2"),url(./KaTeX_Size3-Regular-CTq5MqoE.woff) format("woff"),url(./KaTeX_Size3-Regular-DgpXs0kz.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(./KaTeX_Size4-Regular-Dl5lxZxV.woff2) format("woff2"),url(./KaTeX_Size4-Regular-BF-4gkZK.woff) format("woff"),url(./KaTeX_Size4-Regular-DWFBv043.ttf) format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(./KaTeX_Typewriter-Regular-CO6r4hn1.woff2) format("woff2"),url(./KaTeX_Typewriter-Regular-C0xS9mPB.woff) format("woff"),url(./KaTeX_Typewriter-Regular-D3Ib7_Hf.ttf) format("truetype")}.katex{font: 1.21em KaTeX_Main,Times New Roman,serif;line-height:1.2;position:relative;text-indent:0;text-rendering:auto}.katex *{-ms-high-contrast-adjust:none!important;border-color:currentColor}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{border:0;-webkit-clip-path:inset(50%);clip-path:inset(50%);height:1px;overflow:hidden;padding:0;position:absolute;width:1px}.katex .katex-html>.newline{display:block}.katex .base{position:relative;white-space:nowrap;width:-webkit-min-content;width:-moz-min-content;width:min-content}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;display:inline-table;table-layout:fixed}.katex .vlist-r{display:table-row}.katex .vlist{display:table-cell;position:relative;vertical-align:bottom}.katex .vlist>span{display:block;height:0;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{overflow:hidden;width:0}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{display:table-cell;font-size:1px;min-width:2px;vertical-align:bottom;width:2px}.katex .vbox{align-items:baseline;display:inline-flex;flex-direction:column}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{display:inline-flex;flex-direction:row}.katex .thinbox{max-width:0;width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{display:inline;line-height:0}.katex .clap,.katex .llap,.katex .rlap{position:relative;width:0}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;display:inline-block;width:100%}.katex .hdashline{border-bottom-style:dashed;display:inline-block;width:100%}.katex .sqrt>.root{margin-left:.2777777778em;margin-right:-.5555555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.1666666667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.6666666667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.4566666667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.1466666667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.7142857143em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.8571428571em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.1428571429em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.2857142857em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.4285714286em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.7142857143em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.0571428571em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.4685714286em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.9628571429em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.5542857143em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.7777777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.8888888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.1111111111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.3333333333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.3044444444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.7644444444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.5833333333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.6666666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.7283333333em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.0733333333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.4166666667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.4861111111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.5555555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.4402777778em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.7277777778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.2893518519em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.3472222222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.4050925926em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462962963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.5208333333em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.5787037037em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.6944444444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.8333333333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.2002314815em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.4398148148em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.2410800386em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.2892960463em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512054em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.3857280617em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.4339440694em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.4821600771em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.5785920926em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.6943105111em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.8331726133em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.1996142719em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.2009646302em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.2411575563em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.2813504823em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.3215434084em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.3617363344em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.4019292605em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.4823151125em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778135em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.6945337621em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.8336012862em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{display:inline-block;width:.12em}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{display:inline-block;min-width:1px}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;display:block;height:inherit;position:absolute;width:100%}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;max-height:none;max-width:none;min-height:0;min-width:0}.katex .stretchy{display:block;overflow:hidden;position:relative;width:100%}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{overflow:hidden;position:relative;width:100%}.katex .halfarrow-left{left:0;overflow:hidden;position:absolute;width:50.2%}.katex .halfarrow-right{overflow:hidden;position:absolute;right:0;width:50.2%}.katex .brace-left{left:0;overflow:hidden;position:absolute;width:25.1%}.katex .brace-center{left:25%;overflow:hidden;position:absolute;width:50%}.katex .brace-right{overflow:hidden;position:absolute;right:0;width:25.1%}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{border:.04em solid;box-sizing:border-box}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{border-right:.049em solid;border-top:.049em solid;box-sizing:border-box;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{display:inline-block;position:absolute;right:calc(50% + .3em);text-align:left}.katex .cd-label-right{display:inline-block;left:calc(50% + .3em);position:absolute;text-align:right}.katex-display{display:block;margin:1em 0;text-align:center}.katex-display>.katex{display:block;text-align:center;white-space:nowrap}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{padding-left:2em;text-align:left}body{counter-reset:katexEqnNo mmlEqnNo}:root{--paper: #fbfaf7;--surface: #ffffff;--surface-sunken: #f3f1ec;--ink: #1b1c1e;--ink-muted: #5c6066;--ink-faint: #8a8f96;--line: #ddd9d1;--line-strong: #c3bdb1;--accent: #1f5c8b;--accent-soft: #e3edf5;--assertion: #2f6f9f;--decision: #a2681a;--terminal: #2f7d52;--continuation: #7a52a0;--open: #c0392b;--code-keyword: #8a3b6b;--code-comment: #6f7a6a;--code-string: #2f7d52;--code-name: #1f5c8b;--code-sort: #a2681a;--ok: #2f7d52;--warn: #a2681a;--bad: #a83a32;--shadow: 0 1px 2px rgb(27 28 30 / 6%), 0 8px 24px rgb(27 28 30 / 6%);--radius: 10px;--serif: "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;--sans: ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;--mono: ui-monospace, "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;color-scheme:light}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--paper: #131416;--surface: #1a1c1f;--surface-sunken: #101113;--ink: #eceef1;--ink-muted: #a4abb4;--ink-faint: #767d86;--line: #2c2f34;--line-strong: #3d424a;--accent: #7fb6e0;--accent-soft: #1d2b36;--assertion: #79aed6;--decision: #d9a86a;--terminal: #71c295;--continuation: #b393d8;--open: #ef6f63;--code-keyword: #d98cc0;--code-comment: #8b9587;--code-string: #71c295;--code-name: #7fb6e0;--code-sort: #d9a86a;--ok: #71c295;--warn: #d9a86a;--bad: #e07b73;--shadow: 0 1px 2px rgb(0 0 0 / 40%), 0 10px 30px rgb(0 0 0 / 35%);color-scheme:dark}}*{box-sizing:border-box}html,body,#root{height:100%}body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--sans);font-size:15px;line-height:1.6;-webkit-font-smoothing:antialiased}a{color:var(--accent)}code{font-family:var(--mono);font-size:.88em;background:var(--surface-sunken);padding:.1em .34em;border-radius:4px}.app{display:flex;flex-direction:column;min-height:100%}.app-header{display:flex;align-items:center;justify-content:space-between;gap:24px;padding:12px clamp(16px,4vw,40px);border-bottom:1px solid var(--line);background:var(--surface);position:sticky;top:0;z-index:20}.app-mark{display:flex;align-items:center;gap:12px;text-decoration:none;color:inherit}.app-mark-glyph{display:grid;place-items:center;width:34px;height:34px;border-radius:9px;background:var(--accent);color:#fff;font-family:var(--serif);font-size:15px}.app-mark strong{display:block;font-size:15px;line-height:1.2}.app-mark small{display:block;color:var(--ink-faint);font-size:12px}.app-header nav,.app-sections{display:flex;gap:4px;flex-wrap:wrap}.app-header nav a{padding:6px 12px;border-radius:999px;text-decoration:none;color:var(--ink-muted);font-size:14px}.app-header nav a:hover{background:var(--surface-sunken);color:var(--ink)}.app-header nav a.active{background:var(--accent-soft);color:var(--accent);font-weight:600}.app-header-end{display:flex;align-items:center;gap:12px;flex-wrap:wrap}.framework-link a{font-weight:600}.paper-download{display:inline-flex;align-items:center;gap:6px;padding:6px 12px;border-radius:999px;color:var(--ink-muted);font-size:14px;text-decoration:none;cursor:pointer;list-style:none;white-space:nowrap}.paper-download::-webkit-details-marker{display:none}.paper-download:hover,.paper-downloads[open]>.paper-download{background:var(--surface-sunken);color:var(--ink)}.paper-downloads{position:relative}.paper-downloads ul{position:absolute;top:calc(100% + 6px);left:0;z-index:30;min-width:220px;margin:0;padding:6px;list-style:none;background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);box-shadow:var(--shadow)}.app-header .paper-downloads ul a{display:flex;justify-content:space-between;align-items:baseline;gap:16px;padding:8px 10px;border-radius:6px;color:var(--ink);white-space:nowrap}.app-header .paper-downloads ul a small{font-family:var(--mono);font-size:11px;color:var(--ink-faint)}.app-main{flex:1;min-height:0;display:flex;flex-direction:column}.page{flex:1;min-height:0}.page-overview,.page-notation{max-width:1040px;width:100%;margin:0 auto;padding:clamp(24px,5vw,56px) clamp(16px,4vw,40px) 72px}@property --rail-width{syntax: "<length>"; inherits: true; initial-value: 260px;}@property --rail-gap{syntax: "<length>"; inherits: true; initial-value: 32px;}.rail-shell{position:sticky;top:76px;max-height:calc(100vh - 100px);max-height:calc(100dvh - 100px);display:flex;flex-direction:column;gap:8px;min-width:0}.rail-toggle{display:inline-flex;align-items:center;gap:6px;align-self:flex-start;min-height:32px;padding:6px 8px;border:0;border-radius:7px;background:none;color:var(--ink-faint);font:inherit;font-size:11px;letter-spacing:.07em;text-transform:uppercase;font-weight:600;cursor:pointer}.rail-toggle:hover{background:var(--surface-sunken);color:var(--ink)}.rail-toggle:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.rail-panel{flex:1;min-height:0;overflow-y:auto;overscroll-behavior:contain}.is-rail-collapsed .rail-panel{visibility:hidden;overflow:hidden}.is-rail-collapsed .rail-toggle-label{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%)}.rail-scrim,.rail-close{display:none}body.has-rail-open{overflow:hidden}@media(max-width:900px){.rail-shell{display:contents}.rail-toggle{min-height:40px;padding:8px 14px;margin-bottom:4px;justify-self:start;border:1px solid var(--line);border-radius:999px;background:var(--surface);color:var(--ink-muted);font-size:12px}.is-rail-collapsed .rail-toggle-label{position:static;width:auto;height:auto;clip-path:none}.rail-scrim{display:block;position:fixed;inset:0;z-index:39;background:#00000073;opacity:0;visibility:hidden;transition:opacity .2s ease,visibility 0s linear .2s}.is-rail-open .rail-scrim{opacity:1;visibility:visible;transition:opacity .2s ease}.rail-panel{position:fixed;top:0;left:0;bottom:0;z-index:40;width:min(320px,84vw);max-height:none;padding:20px 16px calc(24px + env(safe-area-inset-bottom));background:var(--surface);border-right:1px solid var(--line);box-shadow:var(--shadow);transform:translate(-100%);visibility:hidden;transition:transform .2s ease,visibility 0s linear .2s}.is-rail-open .rail-panel{transform:none;visibility:visible;transition:transform .2s ease}.is-rail-collapsed .rail-panel{visibility:inherit;overflow-y:auto}.rail-close{display:flex;align-items:center;justify-content:center;position:absolute;top:10px;right:10px;width:40px;height:40px;border:0;border-radius:8px;background:none;color:var(--ink-muted);cursor:pointer}.rail-close:hover{background:var(--surface-sunken);color:var(--ink)}.rail-panel .docs-rail-lead,.rail-panel .table-rail-lead{padding-right:40px}.rail-panel a,.rail-panel ul button{display:flex;align-items:center;min-height:44px;padding:8px 12px;font-size:15px}.rail-panel.table-rail ul button{justify-content:space-between}}.hero{margin-bottom:44px}.hero-eyebrow{margin:0 0 8px;font-size:13px;letter-spacing:.08em;text-transform:uppercase;color:var(--ink-faint)}.hero h1{margin:0 0 18px;font-family:var(--serif);font-size:clamp(28px,4.4vw,44px);line-height:1.18;font-weight:600;letter-spacing:-.01em}.hero-compact h1{font-size:clamp(24px,3.4vw,34px)}.hero-lead{margin:0;max-width:62ch;font-size:17px;color:var(--ink-muted)}.hero-actions{display:flex;gap:10px;flex-wrap:wrap;margin-top:26px}.button{display:inline-block;padding:10px 18px;border:0;border-radius:999px;font:inherit;line-height:normal;cursor:pointer;background:var(--accent);color:#fff;text-decoration:none;font-weight:600;font-size:14px}.button-quiet{background:var(--surface);color:var(--ink);border:1px solid var(--line-strong)}.panel{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);padding:clamp(20px,3vw,32px);margin-bottom:28px;box-shadow:var(--shadow)}.panel h2{margin:0 0 14px;font-family:var(--serif);font-size:24px;font-weight:600}.panel p{max-width:72ch}.panel-lead{color:var(--ink-muted)}.stat-row{display:flex;flex-wrap:wrap;gap:12px;margin:24px 0 0}.stat-row>div{flex:1 1 130px;background:var(--surface-sunken);border-radius:8px;padding:12px 14px}.stat-row dt{font-size:12px;color:var(--ink-faint);text-transform:uppercase;letter-spacing:.05em}.stat-row dd{margin:4px 0 0;font-family:var(--serif);font-size:26px;font-weight:600}.panel-grid{list-style:none;margin:20px 0 0;padding:0;display:grid;gap:12px;grid-template-columns:repeat(auto-fill,minmax(min(280px,100%),1fr))}.panel-grid a{display:block;height:100%;padding:16px;border:1px solid var(--line);border-radius:8px;text-decoration:none;color:inherit;background:var(--surface-sunken)}.panel-grid a:hover{border-color:var(--accent)}.panel-range{font-family:var(--mono);font-size:12px;color:var(--ink-faint)}.panel-grid h3{margin:4px 0 8px;font-size:16px;font-family:var(--serif)}.panel-grid p{margin:0;font-size:13px;line-height:1.55;color:var(--ink-muted)}.panel-grid{align-items:stretch}.page-footer{color:var(--ink-faint);font-size:13px}.data-table{width:100%;border-collapse:collapse;margin-top:16px;font-size:14px;display:block;overflow-x:auto}.data-table th,.data-table td{text-align:left;vertical-align:top;padding:9px 12px;border-bottom:1px solid var(--line)}.data-table thead th{font-size:12px;text-transform:uppercase;letter-spacing:.05em;color:var(--ink-faint);border-bottom-color:var(--line-strong)}.data-table tbody th{white-space:nowrap;font-weight:600}.data-table .numeric{font-variant-numeric:tabular-nums;white-space:nowrap}.step-links{display:flex;flex-wrap:wrap;gap:4px}.page-explore{display:flex;flex-direction:column;min-height:0}.explorer{display:flex;flex-direction:column;flex:1;min-height:0}.explorer-toolbar{display:flex;flex-wrap:wrap;align-items:flex-end;gap:16px;padding:14px clamp(16px,3vw,28px);border-bottom:1px solid var(--line);background:var(--surface)}.field{display:flex;flex-direction:column;gap:5px;border:0;padding:0;margin:0;min-width:0}.field>span,.field legend{font-size:11px;letter-spacing:.06em;text-transform:uppercase;color:var(--ink-faint);padding:0}.field input,.field select{font:inherit;font-size:14px;padding:7px 10px;border:1px solid var(--line-strong);border-radius:7px;background:var(--paper);color:var(--ink);min-width:0}@media(max-width:900px){.field input,.field select{font-size:16px}}.field-search{flex:1 1 240px;max-width:340px}.segmented{display:flex;border:1px solid var(--line-strong);border-radius:7px;overflow:hidden}.segmented button{font:inherit;font-size:13px;padding:7px 11px;border:0;border-right:1px solid var(--line);background:var(--paper);color:var(--ink-muted);cursor:pointer;white-space:nowrap}.segmented button:last-child{border-right:0}.segmented button.is-active{background:var(--accent-soft);color:var(--accent);font-weight:600}.explorer-status{margin-left:auto;font-size:13px;color:var(--ink-muted)}.explorer-caption{margin:0;padding:10px clamp(16px,3vw,28px);background:var(--surface-sunken);border-bottom:1px solid var(--line);font-size:13px;color:var(--ink-muted)}.explorer-body{--detail-width: 420px;flex:1;min-height:0;display:grid;grid-template-columns:minmax(0,1fr) auto var(--detail-width)}.explorer-body.is-resizing{-webkit-user-select:none;user-select:none;cursor:col-resize}.explorer-body.is-resizing .explorer-canvas,.explorer-body.is-resizing .explorer-detail{pointer-events:none}.explorer-resizer{width:9px;cursor:col-resize;background:var(--surface);border-left:1px solid var(--line);display:flex;align-items:center;justify-content:center;touch-action:none}.explorer-resizer span{width:2px;height:34px;border-radius:2px;background:var(--line-strong)}.explorer-resizer:hover span,.explorer-body.is-resizing .explorer-resizer span{background:var(--accent);height:64px}.explorer-resizer:focus-visible{outline:2px solid var(--accent);outline-offset:-2px}.explorer-canvas{position:relative;min-height:460px;background:var(--surface-sunken)}.explorer-detail{min-width:0;background:var(--surface);overflow-y:auto;max-height:calc(100vh - 60px);max-height:calc(100dvh - 60px)}.explorer-empty{padding:28px}.explorer-empty h2{font-family:var(--serif);margin-top:0}.explorer-empty p{color:var(--ink-muted)}.explorer-outline{border-top:1px solid var(--line);background:var(--surface);padding:10px clamp(16px,3vw,28px);font-size:13px}.explorer-outline summary{cursor:pointer;color:var(--ink-muted)}.explorer-outline ol{max-height:300px;overflow-y:auto;margin:12px 0 6px;padding:0;list-style:none;display:grid;gap:2px;grid-template-columns:repeat(auto-fill,minmax(min(300px,100%),1fr))}.explorer-outline button{display:flex;gap:8px;align-items:baseline;width:100%;text-align:left;font:inherit;background:none;border:0;padding:4px 6px;border-radius:5px;cursor:pointer;color:inherit}.explorer-outline button:hover{background:var(--surface-sunken)}.shape-key{position:absolute;left:12px;bottom:12px;z-index:5;display:flex;flex-wrap:wrap;gap:12px;margin:0;padding:8px 12px;list-style:none;background:color-mix(in srgb,var(--surface) 88%,transparent);border:1px solid var(--line);border-radius:8px;font-size:12px;color:var(--ink-muted)}.shape-key li{display:flex;align-items:center;gap:6px}.shape-swatch{width:18px;height:12px;border:1.5px solid currentcolor;display:inline-block}.shape-assertion{color:var(--assertion);border-radius:3px}.shape-decision{color:var(--decision);clip-path:polygon(12% 0,88% 0,100% 50%,88% 100%,12% 100%,0 50%)}.shape-terminal{color:var(--terminal);border-radius:999px}.shape-open{color:var(--open);border-width:2px;border-radius:999px}.shape-continuation{color:var(--continuation);border-style:dashed;border-radius:3px}.proof-node{position:relative;width:236px;height:100%;min-height:68px;display:flex;align-items:center;padding:10px 12px;cursor:pointer;transition:opacity .14s ease}.proof-node-decision{padding:12px 26px}.proof-node-shape{position:absolute;inset:0;background:var(--surface);border:1.5px solid var(--assertion);border-radius:8px}.proof-node-decision .proof-node-shape{border-color:var(--decision);border-radius:0;clip-path:polygon(9% 0,91% 0,100% 50%,91% 100%,9% 100%,0 50%);background:color-mix(in srgb,var(--decision) 8%,var(--surface))}.proof-node-terminal .proof-node-shape{border-color:var(--terminal);border-radius:999px;background:color-mix(in srgb,var(--terminal) 9%,var(--surface))}.proof-node-open .proof-node-shape{border-color:var(--open);border-width:2px;background:color-mix(in srgb,var(--open) 9%,var(--surface))}.proof-node-open .proof-node-label{color:var(--open)}.proof-node-open-tag{display:inline-block;margin-left:6px;padding:0 5px;border:1px solid var(--open);border-radius:999px;font-family:var(--mono);font-size:9px;line-height:1.5;text-transform:uppercase;letter-spacing:.04em;color:var(--open);vertical-align:1px}.proof-node-verified{position:absolute;top:4px;right:6px;z-index:1;width:14px;height:14px;display:flex;align-items:center;justify-content:center;border-radius:50%;background:var(--ok);color:#fff;font-size:9px;font-weight:700;line-height:1;pointer-events:none}.proof-node-decision .proof-node-verified{right:22px}.proof-node-body{position:relative;display:flex;gap:8px;align-items:flex-start;width:100%}.proof-node-number{flex:none;font-family:var(--mono);font-size:10px;line-height:1.5;padding:1px 5px;border-radius:4px;background:var(--assertion);color:#fff}.proof-node-decision .proof-node-number{background:var(--decision)}.proof-node-terminal .proof-node-number{background:var(--terminal)}.proof-node-open .proof-node-number{background:var(--open)}.proof-node-label{font-size:11px;line-height:1.35;color:var(--ink);overflow:hidden}.proof-node.is-selected .proof-node-shape{border-width:2.5px;box-shadow:0 0 0 4px color-mix(in srgb,var(--accent) 22%,transparent)}.proof-node.is-matched .proof-node-shape{box-shadow:0 0 0 4px color-mix(in srgb,var(--decision) 26%,transparent)}.proof-node.is-dimmed{opacity:.16}.react-flow__edge.proof-edge path{stroke:var(--line-strong);stroke-width:1.4}.react-flow__edge.proof-edge-continuation path{stroke:var(--continuation);stroke-dasharray:5 4}.react-flow__edge.proof-edge.is-traced path{stroke:var(--accent);stroke-width:2.2}.react-flow__edge.proof-edge.is-dimmed{opacity:.12}.react-flow__edge-text{font-size:10px;fill:var(--ink-muted)}.react-flow__edge-textbg{fill:var(--surface-sunken)}.react-flow__handle{opacity:0;pointer-events:none}.react-flow__controls button{background:var(--surface);border-bottom:1px solid var(--line);fill:var(--ink)}.react-flow__minimap{background:var(--surface);border:1px solid var(--line);border-radius:8px}.react-flow__background path,.react-flow__background circle{fill:var(--line)}.node-detail{padding:22px clamp(16px,2vw,24px) 40px}.node-detail-header{padding-bottom:16px;border-bottom:1px solid var(--line)}.node-detail-badges{display:flex;flex-wrap:wrap;gap:6px;margin-bottom:10px}.badge{font-size:11px;padding:2px 8px;border-radius:999px;border:1px solid var(--line-strong);color:var(--ink-muted);white-space:nowrap}.badge-number{font-family:var(--mono);background:var(--ink);color:var(--paper);border-color:var(--ink)}.badge-assertion{color:var(--assertion);border-color:var(--assertion)}.badge-decision{color:var(--decision);border-color:var(--decision)}.badge-terminal{color:var(--terminal);border-color:var(--terminal)}.badge-open{color:var(--open);border-color:var(--open);background:color-mix(in srgb,var(--open) 9%,var(--surface))}.node-detail-statement{margin:0;font-family:var(--serif);font-size:20px;line-height:1.35;font-weight:600}.node-detail-topics{display:flex;flex-wrap:wrap;gap:5px;margin:12px 0 0}.node-detail-section{padding:18px 0;border-bottom:1px solid var(--line)}.node-detail-section:last-of-type{border-bottom:0}.node-detail-section h3{margin:0 0 10px;font-size:12px;letter-spacing:.07em;text-transform:uppercase;color:var(--ink-faint);display:flex;align-items:center;gap:8px}.node-detail-section h3 .count{font-family:var(--mono);letter-spacing:0;background:var(--surface-sunken);border-radius:999px;padding:1px 7px}.node-detail-section>p{margin:0 0 10px}.node-detail-hint{color:var(--ink-faint);font-size:13px}.node-detail-note{font-size:14px;color:var(--ink-muted)}.node-detail-note-label{display:inline-block;font-size:11px;text-transform:uppercase;letter-spacing:.05em;color:var(--ink-faint);margin-right:8px}.node-detail-footer{padding-top:16px;font-size:12px;color:var(--ink-faint)}.node-detail-dossier dl{margin:0;display:grid;gap:2px 14px;grid-template-columns:minmax(110px,auto) 1fr;font-size:14px}.node-detail-dossier dt{color:var(--ink-faint);font-size:12px;padding-top:3px}.node-detail-dossier dd{margin:0 0 8px}.chip{display:inline-flex;align-items:center;gap:4px;font:inherit;font-size:12px;padding:2px 9px;border-radius:999px;border:1px solid var(--line-strong);background:var(--surface-sunken);color:var(--ink-muted);text-decoration:none;cursor:pointer}.chip-quiet{cursor:default}.chip-node{font-family:var(--mono);background:var(--accent-soft);border-color:transparent;color:var(--accent);font-weight:600}.chip-invariant{font-family:var(--mono);flex:none;align-self:flex-start}.chip-invariant.is-active{background:color-mix(in srgb,var(--decision) 22%,var(--surface-sunken));border-color:var(--decision);color:var(--ink)}.chip-clear{color:var(--accent);border-color:var(--accent)}.branch-row{display:flex;gap:10px;align-items:flex-start;margin:0 0 10px}.branch-title{flex:none;width:88px;font-size:11px;text-transform:uppercase;letter-spacing:.05em;color:var(--ink-faint);padding-top:5px}.branch-none{font-size:13px;color:var(--ink-faint)}.branch-row.is-empty{align-items:baseline;gap:6px}.branch-row.is-empty .branch-title{width:auto;padding-top:0}.branch-items{display:flex;flex-direction:column;gap:5px;min-width:0;flex:1}.branch-chip{display:grid;grid-template-columns:auto 1fr;gap:3px 8px;align-items:baseline;width:100%;text-align:left;font:inherit;font-size:13px;padding:6px 10px;border:1px solid var(--line);border-radius:7px;background:var(--surface-sunken);color:inherit;cursor:pointer}.branch-chip:hover{border-color:var(--accent)}.branch-continuation{border-style:dashed;border-color:var(--continuation)}.branch-chip-number{font-family:var(--mono);font-size:11px;padding:1px 6px;border-radius:4px;background:var(--accent-soft);color:var(--accent)}.branch-chip-condition{font-size:11px;text-transform:uppercase;letter-spacing:.05em;color:var(--decision);font-weight:600}.branch-chip-label{grid-column:1 / -1;color:var(--ink-muted);font-size:12.5px;line-height:1.4}.item-group{margin-bottom:14px}.item-group h4{margin:0 0 6px;font-size:12px;color:var(--ink);font-weight:600}.item{border:1px solid var(--line);border-radius:8px;margin-bottom:5px;background:var(--surface-sunken)}.item[open]{background:var(--surface);border-color:var(--line-strong)}.item summary{display:flex;align-items:baseline;gap:8px;padding:8px 11px;cursor:pointer;font-size:13.5px;list-style:none}.item summary::-webkit-details-marker{display:none}.item summary:before{content:"▸";color:var(--ink-faint);font-size:10px}.item[open] summary:before{content:"▾"}.item-kind{font-size:10px;text-transform:uppercase;letter-spacing:.06em;color:var(--ink-faint);flex:none}.item-title{flex:1;min-width:0}.item-stage{font-family:var(--mono);font-size:10px;color:var(--ink-faint);border:1px solid var(--line);border-radius:4px;padding:0 4px}.item-body{padding:4px 12px 14px;border-top:1px solid var(--line)}.item-statement{margin:12px 0;padding:10px 14px;border-left:3px solid var(--accent);background:var(--surface-sunken);border-radius:0 6px 6px 0;font-family:var(--serif);font-size:14.5px;line-height:1.6;overflow-x:auto}.item-note{margin-top:12px}.item-note h5{margin:0 0 3px;font-size:11px;text-transform:uppercase;letter-spacing:.05em;color:var(--ink-faint);font-weight:600}.item-note p{margin:0;font-size:13.5px;color:var(--ink-muted)}.item-chips{display:flex;flex-wrap:wrap;gap:4px}.item-source{margin:14px 0 0;font-family:var(--mono);font-size:11px;color:var(--ink-faint)}.item-source a{color:var(--accent);text-decoration:underline dotted;text-underline-offset:2px}.item-source-line{color:var(--ink-faint)}.constant-list{margin:0;display:grid;gap:8px}.constant-list>div{display:grid;grid-template-columns:minmax(70px,auto) 1fr;gap:12px;align-items:baseline}.constant-list dt{font-family:var(--serif)}.constant-list dd{margin:0;display:flex;flex-direction:column;gap:2px;font-size:13.5px}.constant-list dd span{color:var(--ink-muted);font-size:13px}.invariant-list{list-style:none;margin:0;padding:0;display:grid;gap:9px}.invariant-list li{display:flex;gap:9px}.invariant-list strong{font-size:13.5px}.invariant-list p{margin:1px 0 0;font-size:13px;color:var(--ink-muted)}.latex-math{overflow-x:auto;overflow-y:hidden;max-width:100%}.latex-math.is-display{display:block;margin:8px 0}.latex-ref{font:inherit;font-size:.94em;padding:0 3px;border:0;border-bottom:1px dotted currentcolor;background:none;color:var(--accent);cursor:pointer}.latex-item:before{content:"• ";color:var(--ink-faint)}.katex-display{margin:8px 0}.request-panel{margin:64px auto;max-width:460px;text-align:center;padding:28px;color:var(--ink-muted)}.request-panel.is-error{border:1px solid var(--line-strong);border-radius:var(--radius);background:var(--surface)}.request-panel h2{font-family:var(--serif);color:var(--ink)}.request-panel-hint{font-size:13px}.spinner{display:inline-block;width:22px;height:22px;border:2px solid var(--line-strong);border-top-color:var(--accent);border-radius:50%;animation:spin .7s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}@media(max-width:1080px){.explorer-body{grid-template-columns:1fr}.explorer-resizer{display:none}.explorer-canvas{min-height:62vh;min-height:62dvh}.explorer-detail{border-left:0;border-top:1px solid var(--line);max-height:none}}@media(max-width:640px){.app-header{position:static;flex-wrap:wrap;align-items:flex-start;gap:10px}.app-header>nav,.app-header-end{width:100%}.app-sections,.app-header-end{flex:1;min-width:0;flex-wrap:nowrap;overflow-x:auto;scrollbar-width:none}.app-sections::-webkit-scrollbar,.app-header-end::-webkit-scrollbar{display:none}.app-sections a,.app-header-end a{white-space:nowrap}.app-header-end .framework-link,.app-header-end .proof-switcher{flex:none}.app-mark small{display:none}.app-header nav a,.paper-download{min-height:40px;display:inline-flex;align-items:center}.explorer-status{margin-left:0}.branch-row{flex-direction:column;gap:4px}.branch-title{width:auto}}.latex-ref.is-plain{color:var(--ink-muted);border-bottom-style:none;cursor:default}.proof-switcher{display:flex;gap:4px;padding:3px;border-radius:999px;background:var(--surface-sunken)}.proof-switcher a{padding:5px 12px;border-radius:999px;font-size:13px;text-decoration:none;color:var(--ink-muted);white-space:nowrap}.proof-switcher a.active{background:var(--surface);color:var(--ink);font-weight:600;box-shadow:var(--shadow)}.page-landing{max-width:1040px;width:100%;margin:0 auto;padding:clamp(24px,5vw,56px) clamp(16px,4vw,40px) 72px}.proof-grid{list-style:none;margin:0;padding:0;display:grid;gap:16px;grid-template-columns:repeat(auto-fit,minmax(min(320px,100%),1fr))}.proof-grid a{display:block;height:100%;padding:26px;border:1px solid var(--line);border-radius:var(--radius);background:var(--surface);box-shadow:var(--shadow);text-decoration:none;color:inherit}.proof-grid a:hover{border-color:var(--accent)}.proof-grid-glyph{display:inline-grid;place-items:center;min-width:46px;height:46px;padding:0 10px;border-radius:12px;background:var(--accent);color:#fff;font-family:var(--serif);font-size:18px}.proof-grid h2{margin:14px 0 8px;font-family:var(--serif);font-size:22px}.proof-grid-question{margin:0 0 10px;font-size:15px}.proof-grid-tagline{margin:0;font-size:13.5px;color:var(--ink-muted)}.methodology{margin-top:72px;padding-top:48px;border-top:1px solid var(--line)}.methodology-header{margin-bottom:40px}.methodology-header h2{margin:0 0 16px;font-family:var(--serif);font-size:clamp(26px,3.6vw,36px);line-height:1.2;font-weight:600;letter-spacing:-.01em}.methodology-lead{margin:0 0 14px;max-width:64ch;font-size:17px;line-height:1.6;color:var(--ink-muted)}.methodology-layout{position:relative}.methodology-rail{position:absolute;top:0;bottom:0;right:100%;width:220px;margin-right:40px}.methodology-rail-inner{position:sticky;top:84px;max-height:calc(100vh - 108px);max-height:calc(100dvh - 108px);overflow-y:auto}.methodology-rail-lead{margin:0 0 14px;font-size:13px;color:var(--ink-faint)}.methodology-rail ul{list-style:none;margin:0;padding:0}.methodology-rail button{display:block;width:100%;text-align:left;font:inherit;font-size:13.5px;line-height:1.4;padding:6px 10px;margin-bottom:1px;border:0;border-radius:7px;background:none;color:var(--ink-muted);cursor:pointer}.methodology-rail button:hover{background:var(--surface-sunken);color:var(--ink)}.methodology-rail button.is-current{background:var(--accent-soft);color:var(--accent);font-weight:600}@media(max-width:1499px){.methodology-rail{position:static;width:auto;margin:0 0 32px}.methodology-rail-inner{position:static;max-height:none;overflow:visible}.methodology-rail-lead{margin-bottom:8px}.methodology-rail ul{display:flex;flex-wrap:wrap;gap:6px}.methodology-rail button{width:auto;margin:0;padding:5px 12px;border:1px solid var(--line);border-radius:999px;background:var(--surface)}.methodology-rail button.is-current{border-color:var(--accent)}}.methodology-part{scroll-margin-top:84px}.methodology-body{display:grid;gap:36px}.methodology-body>*{min-width:0}.methodology-part h3{margin:0 0 12px;font-family:var(--serif);font-size:21px;font-weight:600}.methodology-part h4{margin:0 0 10px;font-family:var(--serif);font-size:17.5px;font-weight:600}.methodology-part .methodology-part{margin-top:30px}.methodology-rail ul ul{margin:1px 0 6px 12px}.methodology-rail ul ul button{font-size:13px}.methodology-part p{margin:0 0 12px;max-width:72ch;font-size:15.5px;line-height:1.65}.methodology-part p:last-child{margin-bottom:0}.methodology-display{display:block;max-width:72ch;margin:4px 0 14px;overflow-x:auto;overflow-y:hidden}.methodology-state{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(300px,100%),1fr));gap:8px 22px;margin:4px 0 16px}.methodology-state>div{display:grid;grid-template-columns:34px minmax(0,1fr);gap:10px;align-items:baseline;padding:6px 0;border-bottom:1px solid var(--line)}.methodology-state dt{font-size:15px}.methodology-state dd{margin:0;font-size:13.5px;line-height:1.5;color:var(--ink-muted)}.methodology-cycle{margin:4px 0 16px;padding-left:0;max-width:72ch;counter-reset:cycle;list-style:none}.methodology-cycle li{position:relative;padding:8px 0 8px 44px;border-top:1px solid var(--line);font-size:15px;line-height:1.55;counter-increment:cycle}.methodology-cycle li:last-child{border-bottom:1px solid var(--line)}.methodology-cycle li:before{content:counter(cycle);position:absolute;left:0;top:8px;display:grid;place-items:center;width:28px;height:28px;border-radius:999px;background:var(--accent-soft);color:var(--accent);font-family:var(--mono);font-size:13px;font-weight:600}.methodology-costs{display:grid;gap:14px;grid-template-columns:repeat(3,minmax(0,1fr));margin:8px 0 20px}@media(max-width:760px){.methodology-costs{grid-template-columns:1fr}}.methodology-costs>div{padding:14px 16px;border-left:3px solid var(--accent);border-radius:0 8px 8px 0;background:var(--surface-sunken)}.methodology-costs dt{font-family:var(--serif);font-weight:600;font-size:16px}.methodology-costs dd{margin:6px 0 0;font-size:13.5px;line-height:1.5;color:var(--ink-muted)}.methodology-table-wrap{margin:4px 0 16px;overflow-x:auto}.methodology-map{width:100%;border-collapse:collapse;font-size:14px;line-height:1.55}.methodology-map th{text-align:left;padding:0 12px 8px 0;font-size:11.5px;letter-spacing:.06em;text-transform:uppercase;color:var(--ink-faint);border-bottom:1px solid var(--line-strong)}.methodology-map td{vertical-align:top;padding:12px 12px 12px 0;border-bottom:1px solid var(--line)}.methodology-map td:first-child{width:58%}.methodology-map td:last-child{color:var(--ink-muted)}.methodology-moves{min-width:880px;font-size:13.5px;line-height:1.5}.methodology-moves td:first-child{width:16%}.methodology-moves td:nth-child(2){width:27%}.methodology-moves td:last-child{color:inherit}.methodology-steps{display:inline-flex;flex-wrap:wrap;gap:4px;vertical-align:middle;margin-left:2px}.methodology-steps .chip{text-decoration:none;padding:1px 7px;font-size:11px}.methodology-figure{margin:8px 0 22px;overflow-x:auto}.methodology-figure svg{display:block;width:100%;min-width:620px;max-width:780px;height:auto}.methodology-figure figcaption{margin-top:8px;max-width:72ch;font-size:13px;line-height:1.5;color:var(--ink-muted)}.methodology-repairs .methodology-steps{margin-top:8px}.methodology-move-origin{display:block;margin-top:3px;font-family:var(--mono);font-size:11px;color:var(--ink-faint)}.methodology-controls{display:grid;gap:12px 24px;grid-template-columns:repeat(auto-fit,minmax(min(280px,100%),1fr));margin:4px 0 18px}.methodology-controls>div{padding:12px 14px;border-radius:8px;background:var(--surface-sunken)}.methodology-controls dt{font-weight:600;font-size:14.5px}.methodology-controls dd{margin:4px 0 0;font-size:13.5px;line-height:1.5;color:var(--ink-muted)}.methodology-controls-wide{grid-template-columns:repeat(auto-fit,minmax(min(380px,100%),1fr));gap:14px}.methodology-controls-wide>div{padding:16px 18px}.methodology-controls-wide dt{font-family:var(--serif);font-size:16px}.methodology-part .methodology-controls-wide dd p{margin:6px 0 0;font-size:13.5px;line-height:1.55;color:var(--ink-muted)}.methodology-controls-wide dd em{font-style:normal;font-weight:600;color:var(--ink)}.methodology-cases{list-style:none;margin:4px 0 0;padding:0;display:grid;gap:16px;grid-template-columns:repeat(auto-fit,minmax(min(300px,100%),1fr))}.methodology-cases a{display:block;height:100%;padding:22px;border:1px solid var(--line);border-radius:var(--radius);background:var(--surface);box-shadow:var(--shadow);text-decoration:none;color:inherit}.methodology-cases a:hover{border-color:var(--accent)}.methodology-cases h4{margin:12px 0 8px;font-family:var(--serif);font-size:19px;font-weight:600}.methodology-cases p{margin:0;font-size:14px;line-height:1.55;color:var(--ink-muted)}.panel-count{font-family:var(--mono);font-size:13px;font-weight:400;color:var(--ink-faint)}.badge-chapter{color:var(--continuation);border-color:var(--continuation)}.item-block>summary .item-kind{font-family:var(--mono);text-transform:none;letter-spacing:0}.item-block .item-body{padding-top:10px}.item-proof{margin-top:10px;border-left:3px solid var(--line-strong);padding-left:12px}.item-proof>summary{cursor:pointer;font-size:11px;text-transform:uppercase;letter-spacing:.06em;color:var(--ink-faint);font-weight:600}.item-proof>div{margin-top:8px;font-family:var(--serif);font-size:14px;line-height:1.6;color:var(--ink-muted);overflow-x:auto}.latex-ref.is-open{background:var(--accent-soft);border-radius:4px;border-bottom-color:transparent}.latex-inline-reference{display:block;margin:8px 0;padding:8px 12px;border-left:3px solid var(--accent);background:var(--surface-sunken);border-radius:0 6px 6px 0}.row-chapter{display:block;font-size:10px;font-weight:400;color:var(--ink-faint);text-transform:uppercase;letter-spacing:.04em}.latex-inline-statement{display:block;font-size:13px;line-height:1.5}.latex-inline-reference small{display:block;margin-top:4px;font-family:var(--mono);font-size:10.5px;color:var(--ink-faint)}.explorer-caption strong{display:block;color:var(--ink);font-size:13px;margin-bottom:2px}.explorer-empty-summary{font-size:15px;color:var(--ink)}.page-tables{--rail-width: clamp(230px, 22vw, 280px);--rail-gap: clamp(16px, 3vw, 36px);display:grid;grid-template-columns:var(--rail-width) minmax(0,1fr);column-gap:var(--rail-gap);max-width:1440px;width:100%;margin:0 auto;padding:clamp(20px,3vw,36px) clamp(16px,3vw,32px) 64px;align-items:start;transition:--rail-width .18s ease,--rail-gap .18s ease}.table-rail-lead{margin:0 0 18px;font-size:13px;color:var(--ink-faint)}.table-rail h2{margin:18px 0 6px;font-size:11px;letter-spacing:.07em;text-transform:uppercase;color:var(--ink-faint);font-weight:600}.table-rail ul{list-style:none;margin:0;padding:0}.table-rail ul button{display:flex;align-items:baseline;justify-content:space-between;gap:8px;width:100%;text-align:left;font:inherit;font-size:13.5px;padding:6px 10px;margin-bottom:1px;border:0;border-radius:7px;background:none;color:var(--ink-muted);cursor:pointer}.table-rail ul button:hover{background:var(--surface-sunken);color:var(--ink)}.table-rail ul button.is-current{background:var(--accent-soft);color:var(--accent);font-weight:600}.table-rail ul button small{flex:none;font-family:var(--mono);font-size:10.5px;color:var(--ink-faint)}.table-view{min-width:0;background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);padding:clamp(18px,2.4vw,28px);box-shadow:var(--shadow)}.table-view-header{display:flex;flex-wrap:wrap;align-items:flex-end;justify-content:space-between;gap:16px}.table-view-group{margin:0 0 2px;font-size:11px;letter-spacing:.06em;text-transform:uppercase;color:var(--ink-faint)}.table-view h2{margin:0;font-family:var(--serif);font-size:22px;font-weight:600}.table-view-count{margin:10px 0 0;font-size:12px;color:var(--ink-faint)}.table-view-scroll{margin-top:8px;overflow-x:auto}.table-view-scroll .data-table{display:table;width:100%;overflow:visible;font-size:13px}.table-view-scroll thead th{position:sticky;top:0;background:var(--surface);z-index:1}.table-view-scroll td{vertical-align:top;line-height:1.5}.table-view-scroll td .chip-node{margin:0 2px 2px 0}.table-view-empty{margin:16px 0 0;color:var(--ink-faint);font-size:14px}.framework-callout{display:flex;align-items:center;gap:18px;margin:28px 0 0;padding:18px 22px;border:1px solid var(--line);border-radius:var(--radius);background:var(--surface);box-shadow:var(--shadow)}.framework-callout>div{flex:1;min-width:0}.framework-callout h2{margin:0 0 4px;font-family:var(--serif);font-size:20px;font-weight:600}.framework-callout p{margin:0;color:var(--ink-muted);font-size:14px;max-width:64ch}.framework-callout .button{flex:none}.page-docs{--rail-width: clamp(220px, 20vw, 260px);--rail-gap: clamp(20px, 3vw, 44px);display:grid;grid-template-columns:var(--rail-width) minmax(0,1fr);column-gap:var(--rail-gap);max-width:1280px;width:100%;margin:0 auto;padding:clamp(20px,3vw,36px) clamp(16px,3vw,32px) 64px;align-items:start;transition:--rail-width .18s ease,--rail-gap .18s ease}.page-docs.is-rail-collapsed,.page-tables.is-rail-collapsed{--rail-width: 34px;--rail-gap: clamp(12px, 2vw, 20px)}.docs-rail-lead{margin:0 0 18px;font-size:13px;color:var(--ink-faint)}.docs-rail h2{margin:18px 0 6px;font-size:11px;letter-spacing:.07em;text-transform:uppercase;color:var(--ink-faint);font-weight:600}.docs-rail ul{list-style:none;margin:0;padding:0}.docs-rail a{display:block;font-size:13.5px;padding:6px 10px;margin-bottom:1px;border-radius:7px;text-decoration:none;color:var(--ink-muted)}.docs-rail a:hover{background:var(--surface-sunken);color:var(--ink)}.docs-rail a.is-current{background:var(--accent-soft);color:var(--accent);font-weight:600}.docs-content{min-width:0}.docs-article{max-width:78ch}.docs-article .hero{padding-top:0}.docs-header{margin:0 0 28px;padding-bottom:20px;border-bottom:1px solid var(--line)}.docs-header h1,.docs-home .hero h1{font-family:var(--serif);font-weight:600;font-size:clamp(28px,4vw,38px);line-height:1.15;margin:4px 0 12px}.docs-lead{margin:0;font-size:17px;line-height:1.6;color:var(--ink-muted)}.docs-article section{margin:0 0 36px}.docs-article h2{font-family:var(--serif);font-weight:600;font-size:23px;line-height:1.25;margin:32px 0 10px}.docs-article h3{font-size:15.5px;font-weight:600;margin:22px 0 8px}.docs-article p,.docs-article li{font-size:15px;line-height:1.68}.docs-article p{margin:0 0 12px}.docs-article ul,.docs-article ol{padding-left:22px;margin:0 0 12px}.docs-article li{margin-bottom:6px}.docs-article li strong{font-weight:600}.lean-inline{white-space:nowrap}@media(max-width:900px){.lean-inline{white-space:normal;overflow-wrap:anywhere}}.lean-code{margin:12px 0 16px}.lean-code pre{margin:0;padding:14px 16px;overflow-x:auto;border:1px solid var(--line);border-radius:var(--radius);background:var(--surface-sunken);font-family:var(--mono);font-size:12.75px;line-height:1.55;tab-size:2}.lean-code pre code{background:none;padding:0;font-size:inherit;color:var(--ink)}.lean-code figcaption{margin:5px 2px 0;font-family:var(--mono);font-size:11px;color:var(--ink-faint);overflow-wrap:anywhere}.tok-keyword{color:var(--code-keyword);font-weight:600}.tok-comment{color:var(--code-comment);font-style:italic}.tok-string{color:var(--code-string)}.tok-name{color:var(--code-name)}.tok-attribute,.tok-sort{color:var(--code-sort)}.tok-hole{color:var(--decision);font-weight:600}.docs-properties{margin:12px 0 16px;display:grid;gap:10px}.docs-properties>div{padding:12px 16px;border-left:3px solid var(--accent-soft);background:var(--surface);border-radius:0 var(--radius) var(--radius) 0}.docs-properties dt{font-weight:600;margin-bottom:2px}.docs-properties dd{margin:0;color:var(--ink-muted);font-size:14.5px;line-height:1.6}.docs-cards{list-style:none;margin:12px 0 0;padding:0;display:grid;grid-template-columns:repeat(auto-fill,minmax(min(240px,100%),1fr));gap:12px}.docs-cards a{display:block;height:100%;padding:16px 18px;border:1px solid var(--line);border-radius:var(--radius);background:var(--surface);text-decoration:none;color:inherit;transition:border-color .12s ease,box-shadow .12s ease}.docs-cards a:hover{border-color:var(--line-strong);box-shadow:var(--shadow)}.docs-card-group h3{margin:20px 0 8px;font-size:11px;letter-spacing:.07em;text-transform:uppercase;color:var(--ink-faint);font-weight:600}.docs-cards h4{margin:0 0 6px;font-family:var(--serif);font-size:18px;font-weight:600;color:var(--accent)}.docs-cards p{margin:0;font-size:13.5px;color:var(--ink-muted)}.docs-badge{display:inline-block;padding:1px 8px;border-radius:999px;font-family:var(--sans);font-size:11px;font-weight:600;letter-spacing:.03em;vertical-align:middle;background:var(--accent-soft);color:var(--accent)}.docs-badge.is-framework{background:color-mix(in srgb,var(--decision) 16%,transparent);color:var(--decision)}.docs-legend{font-size:14px;color:var(--ink-muted)}.docs-toc ul{list-style:none;margin:0 0 24px;padding:0;display:grid;gap:4px}.docs-toc li{display:flex;align-items:baseline;justify-content:space-between;gap:12px}.docs-toc button{font:inherit;font-size:14.5px;border:0;padding:0;background:none;color:var(--accent);text-decoration:underline;text-underline-offset:2px;cursor:pointer;text-align:left}.docs-toc small{font-family:var(--mono);font-size:11px;color:var(--ink-faint);white-space:nowrap}.docs-module{scroll-margin-top:84px}.docs-module-path{margin:-6px 0 10px}.docs-module-path code{font-size:12px;color:var(--ink-faint);background:none;padding:0}.docs-entry{margin:0 0 22px;padding:0 0 6px;scroll-margin-top:84px}.docs-entry h3{display:flex;align-items:center;flex-wrap:wrap;gap:8px;margin:18px 0 6px}.docs-entry h3 code{font-size:14px;background:none;padding:0}.docs-entry-kind{font-family:var(--mono);font-size:11px;color:var(--code-keyword);font-weight:600}.docs-entry .lean-code{margin:6px 0 8px}.docs-entry p{color:var(--ink-muted);font-size:14px}.docs-pager{display:flex;justify-content:space-between;gap:16px;margin-top:40px;padding-top:20px;border-top:1px solid var(--line)}.docs-pager a{display:flex;flex-direction:column;gap:2px;padding:10px 14px;border:1px solid var(--line);border-radius:var(--radius);text-decoration:none;font-weight:600;min-width:160px}.docs-pager a:hover{background:var(--surface-sunken)}.docs-pager a.is-next{margin-left:auto;text-align:right}.docs-pager small{font-size:11px;font-weight:500;letter-spacing:.06em;text-transform:uppercase;color:var(--ink-faint)}@media(max-width:900px){.page-docs,.page-tables{grid-template-columns:minmax(0,1fr);transition:none}.framework-callout{flex-direction:column;align-items:flex-start}.docs-pager{flex-direction:column}.docs-pager a{min-width:0}.docs-pager a.is-next{margin-left:0;text-align:left}}@media(prefers-reduced-motion:reduce){.spinner{animation:none}.page-docs,.page-tables,.rail-panel,.rail-scrim{transition:none}}.review-strip{list-style:none;margin:12px 0 0;padding:0;display:flex;flex-wrap:wrap;gap:6px 10px}.review-check{display:inline-flex;align-items:center;gap:6px;font-size:12px;color:var(--ink-muted);padding:2px 8px 2px 6px;border-radius:999px;border:1px solid var(--line);background:var(--surface)}.review-mark{width:8px;height:8px;border-radius:50%;background:var(--ink-faint);flex:none}.review-label{font-weight:600;color:var(--ink)}.review-value{color:var(--ink-faint)}.review-check.is-yes .review-mark{background:var(--ok)}.review-check.is-partial .review-mark{background:var(--warn)}.review-check.is-no .review-mark{background:var(--bad)}.review-check.is-unrecorded{border-style:dashed}.review-check.is-unrecorded .review-mark{background:transparent;box-shadow:inset 0 0 0 1.5px var(--ink-faint)}.review-check.is-unrecorded .review-label{color:var(--ink-muted)}.referee-claim>p{font-size:15px;line-height:1.55}.referee-state-row{display:flex;gap:10px;align-items:flex-start;margin:0 0 8px}.referee-state-row .branch-items{flex-direction:row;flex-wrap:wrap;gap:5px}.referee-state-row.is-empty{align-items:baseline}.chip-invariant-name{font-family:var(--sans);font-weight:400;color:var(--ink-muted)}.referee-flag{margin:4px 0 0;padding:8px 10px;border-left:3px solid var(--warn);background:var(--surface-sunken);border-radius:0 var(--radius) var(--radius) 0;font-size:13px;color:var(--ink);display:flex;flex-wrap:wrap;gap:5px;align-items:center}.referee-cases table{width:100%;border-collapse:collapse;font-size:13px;margin:0 0 8px}.referee-cases th{text-align:left;font-size:11px;text-transform:uppercase;letter-spacing:.05em;color:var(--ink-faint);font-weight:600;padding:0 8px 6px 0;border-bottom:1px solid var(--line)}.referee-cases td{padding:7px 8px 7px 0;border-bottom:1px solid var(--line);vertical-align:top}.referee-cases td em{color:var(--ink-faint)}.chip-node-label{font-family:var(--sans);font-weight:400;color:var(--ink-muted);text-align:left}.referee-impact-summary{font-size:13px;color:var(--ink-muted);display:flex;flex-wrap:wrap;gap:5px;align-items:center;margin:8px 0}.referee-blocks{margin-top:10px}.referee-sources ul{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:8px}.referee-sources li{font-size:13px;display:flex;flex-wrap:wrap;gap:4px 8px;align-items:baseline}.referee-sources a{color:var(--accent);font-weight:600}.referee-source-items{display:inline-flex;flex-wrap:wrap;gap:4px}