.react-flow{--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:#ffffff80;--xy-minimap-background-color-default:#fff;--xy-minimap-mask-background-color-default:#f0f0f099;--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:#f0f0f040;--xy-node-boxshadow-hover-default:0 1px 4px 1px #00000014;--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:#0059dc14;--xy-selection-border-default:1px dotted #0059dccc;--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 #00000014;--xy-edge-label-background-color-default:#fff;--xy-edge-label-color-default:inherit;--xy-resize-background-color-default:#3367d9;direction:ltr}.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:#96969640;--xy-minimap-background-color-default:#141414;--xy-minimap-mask-background-color-default:#3c3c3c99;--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:#f0f0f040;--xy-node-boxshadow-hover-default:0 1px 4px 1px #ffffff14;--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:#c8c8dc14;--xy-selection-border-default:1px dotted #c8c8dccc;--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 #00000014;--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{width:100%;height:100%;position:absolute;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{pointer-events:none;position:absolute;overflow:visible}.react-flow__edge{pointer-events:visibleStroke}.react-flow__edge.selectable{cursor:pointer}.react-flow__edge.animated path{stroke-dasharray:5;animation:.5s linear infinite dashdraw}.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;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:.5s linear infinite dashdraw}svg.react-flow__connectionline{z-index:1001;position:absolute;overflow:visible}.react-flow__nodes{pointer-events:none;transform-origin:0 0}.react-flow__node{-webkit-user-select:none;user-select:none;pointer-events:all;transform-origin:0 0;box-sizing:border-box;cursor:default;position:absolute}.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:0 0;pointer-events:none}.react-flow__nodesselection-rect{pointer-events:all;cursor:grab;position:absolute}.react-flow__handle{pointer-events:none;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%;width:6px;min-width:5px;height:6px;min-height:5px;position:absolute}.react-flow__handle.connectingfrom{pointer-events:all}.react-flow__handle.connectionindicator{pointer-events:all;cursor:crosshair}.react-flow__handle-bottom{top:auto;bottom:0;left:50%;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{z-index:5;margin:15px;position:absolute}.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{background:var(--xy-attribution-background-color,var(--xy-attribution-background-color-default));margin:0;padding:2px 3px;font-size:10px}.react-flow__attribution a{color:#999;text-decoration:none}@keyframes dashdraw{0%{stroke-dashoffset:10px}}.react-flow__edgelabel-renderer{pointer-events:none;-webkit-user-select:none;user-select:none;width:100%;height:100%;position:absolute;top:0;left:0}.react-flow__viewport-portal{-webkit-user-select:none;user-select:none;width:100%;height:100%;position:absolute;top:0;left: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{box-shadow:var(--xy-controls-box-shadow,var(--xy-controls-box-shadow-default));flex-direction:column;display:flex}.react-flow__controls.horizontal{flex-direction:row}.react-flow__controls-button{background:var(--xy-controls-button-background-color,var(--xy-controls-button-background-color-default));border:none;border-bottom:1px solid var(--xy-controls-button-border-color-props,var(--xy-controls-button-border-color,var(--xy-controls-button-border-color-default)));width:26px;height:26px;color:var(--xy-controls-button-color-props,var(--xy-controls-button-color,var(--xy-controls-button-color-default)));cursor:pointer;-webkit-user-select:none;user-select:none;justify-content:center;align-items:center;padding:4px;display:flex}.react-flow__controls-button svg{fill:currentColor;width:100%;max-width:12px;max-height:12px}.react-flow__edge.updating .react-flow__edge-path{stroke:#777}.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{border-radius:var(--xy-node-border-radius,var(--xy-node-border-radius-default));width:150px;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));padding:10px;font-size:12px}.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{background-color:var(--xy-resize-background-color,var(--xy-resize-background-color-default));border:1px solid #fff;border-radius:1px;width:5px;height:5px;translate:-50% -50%}.react-flow__resize-control.handle.left{top:50%;left:0}.react-flow__resize-control.handle.right{top:50%;left:100%}.react-flow__resize-control.handle.top{top:0;left:50%}.react-flow__resize-control.handle.bottom{top:100%;left:50%}.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-style:solid;border-width:0}.react-flow__resize-control.line.left,.react-flow__resize-control.line.right{width:1px;height:100%;top:0;transform:translate(-50%)}.react-flow__resize-control.line.left{border-left-width:1px;left:0}.react-flow__resize-control.line.right{border-right-width:1px;left:100%}.react-flow__resize-control.line.top,.react-flow__resize-control.line.bottom{width:100%;height:1px;left:0;transform:translateY(-50%)}.react-flow__resize-control.line.top{border-top-width:1px;top:0}.react-flow__resize-control.line.bottom{border-bottom-width:1px;top:100%}.react-flow__edge-text{fill:var(--xy-edge-label-color,var(--xy-edge-label-color-default))}:root{color:#242520;font-synthesis:none;background:#f7f7f5;font-family:Inter,Noto Sans JP,system-ui,sans-serif}*{box-sizing:border-box}body{min-width:320px;min-height:100vh;margin:0}button,input,textarea,select{font:inherit}button{cursor:pointer}button:focus-visible,input:focus-visible,textarea:focus-visible,select:focus-visible,[role=button]:focus-visible{outline-offset:2px;outline:3px solid #5b4bea73}.app-shell,.workspace{width:100vw;height:100vh}.board-header,.tool-dock,.history-dock,.action-dock,.react-flow__controls{background:#fffffff5;border:1px solid #dededb;border-radius:10px;box-shadow:0 2px 8px #1c1e1c21}.board-header{align-items:center;padding:10px 13px;display:flex}.board-title-trigger{border-radius:5px;padding:2px 3px}.board-header p,.board-header strong{margin:0;display:block}.board-header p{color:#777773;letter-spacing:.08em;text-transform:uppercase;font-size:.63rem}.board-header strong{margin-top:1px;font-size:.82rem}.board-title-input{border:1px solid #7768ee;border-radius:5px;outline:3px solid #5b4bea24;width:220px;padding:4px 6px;font-size:.82rem;font-weight:700}.tool-dock{gap:3px;padding:5px;display:grid}.tool-dock svg{overflow:visible}.tool-dock button,.history-dock button,.node-toolbar button{color:#292a28;background:0 0;border:0;border-radius:7px;place-items:center;width:38px;height:38px;display:grid}.tool-dock button:hover,.history-dock button:hover,.node-toolbar button:hover{color:#4939d3;background:#eeecff}.history-dock{gap:3px;padding:5px;display:flex}.history-dock button:disabled{color:#bbbcb8;cursor:not-allowed;background:0 0}.action-dock{gap:3px;padding:5px;display:flex}.action-dock button{color:#292a28;background:0 0;border:0;border-radius:7px;justify-content:center;align-items:center;gap:2px;min-width:38px;height:38px;padding:0 7px;display:flex}.action-dock button:hover{color:#4939d3;background:#eeecff}.action-dock button span{font-size:.55rem;font-weight:800}.export-panel{background:#fff;border:1px solid #dededb;border-radius:10px;gap:4px;width:150px;margin-top:54px;padding:7px;display:grid;box-shadow:0 4px 18px #1c1e1c29}.export-panel button{text-align:left;background:0 0;border:0;border-radius:7px;padding:8px 10px}.export-panel button:hover{color:#4939d3;background:#eeecff}.search-panel{background:#fff;border:1px solid #dededb;border-radius:10px;width:280px;margin-top:54px;padding:10px;box-shadow:0 4px 18px #1c1e1c29}.search-panel>input{border:1px solid #c9c7c0;border-radius:7px;outline:none;width:100%;padding:8px 10px}.search-panel>input:focus{border-color:#5b4bea;box-shadow:0 0 0 3px #5b4bea21}.search-results{gap:4px;max-height:260px;margin-top:8px;display:grid;overflow:auto}.search-results>button{text-align:left;background:#f5f5f1;border:0;border-radius:7px;gap:2px;padding:8px 10px;display:grid}.search-results>button:hover{background:#eeecff}.search-results span,.search-results p{color:#777773;margin:0;font-size:.7rem}.relationship-label{color:#454541;pointer-events:all;background:#fff;border-radius:4px;padding:3px 7px;font-size:.78rem;position:absolute}.react-flow__edgelabel-renderer{z-index:3;pointer-events:none}.react-flow__edges>svg{pointer-events:none}.react-flow__edge-path,.react-flow__edge-interaction{pointer-events:stroke}.relationship-endpoint-hit{fill:#0000;pointer-events:all}.relationship-edge-toolbar{pointer-events:all;white-space:nowrap;background:#fff;border:1px solid #dededb;border-radius:8px;align-items:center;gap:4px;padding:4px;display:flex;position:absolute;box-shadow:0 4px 14px #1c1e1c29}.relationship-edge-toolbar label{color:#66645e;align-items:center;gap:3px;font-size:.66rem;display:flex}.relationship-edge-toolbar label.color-control{flex:0 0 32px;place-items:center;width:32px;height:32px;display:grid}.relationship-edge-toolbar select{background:#fff;border:1px solid #d2d1cc;border-radius:5px;padding:3px;font-size:.68rem}.relationship-edge-toolbar button{color:#292a28;background:0 0;border:0;border-radius:6px;place-items:center;width:28px;height:28px;display:grid}.relationship-edge-toolbar button:hover{color:#a94336;background:#fff0ee}.relationship-edge-toolbar .relationship-endpoint-switch{color:#292a28;width:28px;min-width:28px;height:28px;padding:0;font-size:1rem}.relationship-edge-toolbar .relationship-endpoint-switch:hover{color:#4939d3;background:#eeecff}.relationship-edge-toolbar svg{width:16px;height:16px}.element-node{background:#fff;border:1px solid #8f8b7d;grid-template-columns:auto 1fr;align-items:center;gap:8px;min-width:164px;padding:12px 16px;display:grid;box-shadow:0 3px 10px #2d2c261a}.element-node--person{border-radius:50px}.element-node strong{text-align:left;text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.node-kind-icon{color:#69675f;place-items:center;display:grid}.node-description{color:#777469;text-align:left;text-overflow:ellipsis;white-space:nowrap;grid-column:1/-1;max-width:200px;font-size:.7rem;overflow:hidden}.element-node.is-selected{border-color:#5b4bea;outline:3px solid #5b4bea2e}.inline-label{border:1px solid #7768ee;border-radius:4px;outline:3px solid #5b4bea24;min-width:100px;padding:4px 6px}.inline-element-editor{grid-column:1/-1;gap:7px;min-width:180px;display:grid}.inline-element-editor textarea{resize:vertical;border:1px solid #7768ee;border-radius:4px;outline:3px solid #5b4bea24;width:100%;padding:5px 6px}.element-node--person:has(.inline-element-editor){border-radius:24px;padding-bottom:18px}.react-flow__handle{background:#5b4bea;border:2px solid #fff;width:10px;height:10px}.react-flow__node-group{background:#6e9ee517;border:2px solid #557ebfa6;border-radius:14px}.react-flow__node:not(.react-flow__node-group){z-index:2!important}.group-node-label{color:#355d97;align-items:flex-start;gap:7px;padding:11px 14px;display:flex;position:absolute;inset:0}.group-node-label.is-selected{color:#214d8e}.element-node .node-description{color:inherit;opacity:.68}.group-node-label .inline-label{max-width:180px}.node-toolbar{background:#fff;border:1px solid #dededb;border-radius:8px;gap:2px;padding:3px;display:flex;box-shadow:0 2px 8px #1c1e1c26;z-index:1000!important}.node-toolbar button{width:30px;height:30px}.node-toolbar svg{width:17px;height:17px}.color-control{cursor:pointer;border-radius:7px;place-items:center;width:32px;height:32px;display:grid;position:relative}.color-control:hover{background:#eeecff}.color-control:focus-within{outline-offset:2px;outline:3px solid #5b4bea73}.color-control svg{width:19px;height:19px}.color-control input{opacity:0;cursor:pointer;width:100%;height:100%;position:absolute;inset:0}.color-control span{pointer-events:none;border:1px solid #0000002e;border-radius:2px;height:3px;position:absolute;bottom:3px;left:5px;right:5px}.react-flow__edge path{stroke-width:2px}.react-flow__edge.selected path{stroke-width:3px}.react-flow__resize-control.handle{border-width:2px;width:18px;height:18px}.react-flow__resize-control.line{border-width:8px;border-color:#0000}.group-resize-control:not(.is-visible){opacity:0;pointer-events:none}.react-flow__edge-text{font-size:11px}.react-flow__edge-textbg{fill:#f7f7f5}.error-notice{color:#fff;background:#a94336;border-radius:8px;padding:8px 12px;font-size:.76rem;box-shadow:0 2px 8px #1c1e1c26}.react-flow__controls{overflow:hidden}.react-flow__controls-button{border-bottom:0!important;border-right:1px solid #e3e3df!important}.react-flow__controls-button:last-child{border-right:0!important}.formal-review-shell{background:#f5f5f1;min-height:100vh;padding:38px clamp(20px,5vw,72px) 80px}.formal-review-header{justify-content:space-between;align-items:flex-start;gap:24px;max-width:1180px;margin:0 auto 22px;display:flex}.formal-review-header h1{letter-spacing:-.05em;margin:4px 0 8px;font-size:clamp(2rem,4vw,3.6rem)}.formal-review-header p{color:#65665f;max-width:620px;margin:0}.formal-eyebrow{color:#5b4bea;letter-spacing:.14em;text-transform:uppercase;font-size:.72rem;font-weight:800}.formal-model-tabs{gap:6px;max-width:1180px;margin:0 auto 18px;display:flex}.formal-model-tabs button{color:#60615a;background:#fff;border:1px solid #d8d8d2;border-radius:8px;padding:8px 14px}.formal-model-tabs button.is-active{color:#fff;background:#5b4bea;border-color:#5b4bea}.formal-summary{background:#deded8;border:1px solid #deded8;border-radius:12px;grid-template-columns:repeat(6,minmax(0,1fr));gap:1px;max-width:1180px;margin:0 auto 18px;display:grid;overflow:hidden}.formal-summary div{background:#fff;gap:5px;padding:14px;display:grid}.formal-summary span{color:#74756e;font-size:.66rem}.formal-summary strong{text-overflow:ellipsis;font-size:.92rem;overflow:hidden}.formal-section{background:#fff;border:1px solid #deded8;border-radius:14px;max-width:1180px;margin:0 auto 18px;padding:22px;box-shadow:0 3px 12px #2627220a}.formal-section>h2{margin:0 0 16px;font-size:1rem}.formal-overview>p{color:#5f6059;font-size:.84rem;line-height:1.7}.formal-overview>h2{margin-top:7px;font-size:1.35rem}.formal-status{color:#4e477d;background:#efedff;border-radius:999px;padding:4px 8px;font-size:.65rem;font-weight:800;display:inline-block}.formal-overview dl{flex-wrap:wrap;gap:8px;margin:14px 0 0;display:flex}.formal-overview dl div{background:#f5f5f1;border-radius:7px;min-width:180px;padding:9px 11px}.formal-overview dt{color:#777870;font-size:.65rem}.formal-overview dd{margin:3px 0 0;font-size:.78rem;font-weight:700}.formal-warnings{background:#fbfff8;border-color:#d5dfcd}.formal-warnings.has-warnings{background:#fffaf2;border-color:#e1c8a1}.formal-warnings ul{gap:7px;margin:0;padding:0;list-style:none;display:grid}.formal-warnings li{border-top:1px solid #78643229;grid-template-columns:minmax(160px,.35fr) 1fr;gap:12px;padding-top:7px;font-size:.76rem;display:grid}.formal-warnings li span{color:#69675d}.formal-section-intro{color:#73746c;margin:-7px 0 15px;font-size:.78rem}.formal-table-scroll{overflow-x:auto}.formal-review-table{border-collapse:collapse;width:100%;font-size:.72rem;line-height:1.55}.formal-review-table th{color:#55564f;text-align:left;white-space:nowrap;background:#f1f1ed;padding:9px 10px}.formal-review-table td{color:#62635c;vertical-align:top;border-top:1px solid #e3e3de;min-width:130px;padding:10px}.formal-review-table td:first-child{color:#4f43b5;white-space:nowrap;min-width:120px;font-weight:800}.formal-coverage-summary{flex-wrap:wrap;gap:8px;margin:0 0 14px;display:flex}.formal-coverage-summary div{background:#f5f5f1;border-radius:7px;min-width:120px;padding:9px 11px}.formal-coverage-summary dt{color:#777870;font-size:.65rem}.formal-coverage-summary dd{margin:3px 0 0;font-size:.8rem;font-weight:800}.formal-subheading{margin:20px 0 10px;font-size:.85rem}.formal-human-grid{grid-template-columns:repeat(auto-fit,minmax(270px,1fr));gap:10px;display:grid}.formal-human-card{background:#fafaf8;border:1px solid #e1e1dc;border-radius:10px;padding:16px}.formal-human-card h3{margin:8px 0;font-size:.96rem}.formal-human-card>p{color:#62635c;margin:0;font-size:.78rem;line-height:1.7}.formal-check-result{border-top:1px solid #e2e2dd;gap:6px;margin:13px 0 0;padding-top:10px;display:grid}.formal-check-result div{grid-template-columns:85px 1fr;gap:8px;font-size:.7rem;display:grid}.formal-check-result dt{color:#7a7b73}.formal-check-result dd{color:#4f504a;margin:0;font-weight:700}.formal-technical{background:#fff;border:1px solid #deded8;border-radius:12px;max-width:1180px;margin:0 auto 18px}.formal-technical>summary{cursor:pointer;color:#66675f;padding:14px 18px;font-size:.76rem;font-weight:700}.formal-technical-content{border-top:1px solid #deded8;gap:24px;padding:20px;display:grid}.formal-technical-content section>h2{margin:0 0 12px;font-size:.9rem}.formal-diagnostic-list{gap:7px;margin:0;padding:0;list-style:none;display:grid}.formal-diagnostic-list li{grid-template-columns:170px 1fr;gap:10px;font-size:.74rem;display:grid}.formal-diagnostic-list span{color:#696a62}.formal-card-grid,.formal-command-grid{grid-template-columns:repeat(auto-fit,minmax(230px,1fr));gap:10px;display:grid}.formal-card,.formal-command-grid article,.formal-statement-list article{background:#fafaf8;border:1px solid #e3e3de;border-radius:10px;padding:15px}.formal-card h3,.formal-command-grid h3,.formal-statement-list h3{margin:7px 0;font-size:.94rem}.formal-card p,.formal-command-grid p,.formal-statement-list p{color:#6b6c65;font-size:.76rem;line-height:1.6}.formal-card a,.formal-statement-list a{color:#5b4bea;font-size:.7rem}.formal-card dl{gap:4px;margin:10px 0;display:grid}.formal-card dl div{border-top:1px solid #e7e7e2;justify-content:space-between;gap:12px;padding-top:5px;font-size:.72rem;display:flex}.formal-card dd{color:#66675f;margin:0}.formal-kind{color:#4b4774;letter-spacing:.06em;text-transform:uppercase;background:#eeecff;border-radius:4px;padding:3px 6px;font-size:.6rem;font-weight:800;display:inline-block}.formal-kind--fact{color:#75531d;background:#fff1d5}.formal-kind--assertion,.formal-kind--check{color:#8a3434;background:#ffe5e5}.formal-kind--run{color:#286341;background:#e0f5e8}.formal-parent,.formal-muted,.formal-empty{color:#777870;font-size:.78rem}.formal-relations,.formal-statement-list{gap:8px;display:grid}.formal-relation{background:#fafaf8;border:1px solid #e2e2dd;border-radius:8px;grid-template-columns:minmax(100px,.8fr) minmax(180px,1.5fr) minmax(100px,.8fr);align-items:center;gap:12px;padding:10px 13px;font-size:.78rem;display:grid}.formal-relation a{color:#5042c2;font-weight:800;text-decoration:none}.formal-relation span{color:#74756d;text-align:center}.formal-unmodeled{color:#62635c;gap:7px;margin:0;padding-left:20px;font-size:.8rem;display:grid}.formal-source{color:#e6e7e1;tab-size:4;background:#20211e;border-radius:8px;max-height:520px;margin:0;padding:15px;font:.74rem/1.65 Cascadia Code,Consolas,monospace;overflow:auto}.formal-source span{scroll-margin-top:20px;display:block}.formal-source span:target{background:#433d79;margin:0 -8px;padding:0 8px}.formal-source b{color:#777a71;-webkit-user-select:none;user-select:none;font-weight:400}.formal-json{background:#fafaf8;border:1px solid #deded8;border-radius:8px;margin:12px 0}.formal-json summary{cursor:pointer;padding:10px 12px;font-size:.78rem;font-weight:700}.formal-json pre{border-top:1px solid #deded8;max-height:420px;margin:0;padding:12px;font:.7rem/1.55 Cascadia Code,Consolas,monospace;overflow:auto}.formal-download{color:#fff;background:#5b4bea;border:0;border-radius:7px;padding:8px 12px;font-size:.75rem;font-weight:700}@media (width<=520px){.board-header{padding:6px 8px}.brand-mark{width:30px;height:30px}.tool-dock button,.history-dock button{width:34px;height:34px}.formal-review-header{display:grid}.formal-summary{grid-template-columns:repeat(2,1fr)}.formal-relation{grid-template-columns:1fr}.formal-relation span{text-align:left}}