:root{font-family:'DM Sans','Noto Sans KR',sans-serif;color:#1d2932;background:#f3f4f1;font-synthesis:none}*{box-sizing:border-box}body{margin:0}.shell{max-width:1120px;margin:auto;padding:0 28px}.hero{padding:72px 0 48px;border-bottom:1px solid #cfd8d3}.eyebrow,.step,.hero-meta,footer,.tabs,.symbols{font-family:'DM Mono',monospace}.eyebrow{color:#32816d;letter-spacing:.16em;font-size:12px;font-weight:500}.hero h1{font-size:clamp(40px,6vw,68px);line-height:1.18;letter-spacing:-.055em;margin:20px 0 24px;font-weight:700}.hero h1 em{color:#32816d;font-style:normal}.hero p{max-width:650px;line-height:1.8;color:#627077;font-size:16px;margin:0}.hero-meta{display:flex;gap:12px;margin-top:32px;font-size:12px}.hero-meta span{border:1px solid #bed0c6;border-radius:30px;padding:8px 12px;color:#32816d}.hero-meta span+span{border-color:#dadfdb;color:#919d9a}.tabs{display:flex;gap:8px;padding:25px 0}.tab{padding:15px 20px;border:1px solid #d7dfd9;background:transparent;color:#81908d;border-radius:9px;font-size:13px;cursor:pointer}.tab strong{font-family:'Noto Sans KR',sans-serif;margin-left:8px;font-size:14px}.tab.active{background:#173c36;color:white;border-color:#173c36}.tab small{margin-left:9px;font-size:11px}.workspace{background:#fff;border:1px solid #dfe5df;border-radius:15px;padding:35px 39px;box-shadow:0 12px 32px #233b3210}.topline{display:flex;justify-content:space-between;align-items:center;gap:15px}.topline>div{display:flex;align-items:center;gap:15px}.step{color:#3c977c;font-size:14px}.topline h2,.guide h2{font-size:21px;letter-spacing:-.04em;margin:0}.text-button{border:0;background:none;color:#32816d;font-weight:700;cursor:pointer}.argument-grid{display:grid;grid-template-columns:1fr 1fr;gap:20px;margin-top:25px}label{font-weight:700;font-size:14px;display:block}label small{font-weight:400;color:#9ba6a3;margin-left:8px}input:not([type=checkbox]),textarea{display:block;width:100%;border:1px solid #d6e0d9;background:#fafbf9;border-radius:9px;padding:15px 16px;margin-top:11px;font:15px/1.7 'DM Mono',monospace;color:#233b33;resize:vertical;outline:none}input:not([type=checkbox]):focus,textarea:focus{border-color:#53a388;box-shadow:0 0 0 3px #53a38822}input:not([type=checkbox]){height:59px}.divider{height:1px;background:#e5ebe6;margin:35px 0}.toggle{display:flex;align-items:center;gap:8px;color:#60736a;font-weight:500;cursor:pointer}.toggle input{accent-color:#32816d}.help{margin:16px 0 10px;color:#708078;font-size:14px;line-height:1.8}code{font:13px 'DM Mono',monospace;background:#ecf2ed;border-radius:4px;padding:2px 5px;color:#2f6f5f}.proof-wrap textarea{min-height:278px;line-height:1.9;font-size:14px}.symbols{display:flex;align-items:center;gap:7px;flex-wrap:wrap;margin-top:15px}.symbols span{font-size:11px;color:#8a9991;margin-right:5px}.symbols button{border:1px solid #d5e0d7;background:white;border-radius:6px;padding:5px 10px;min-width:31px;color:#2f6f5f;font-size:15px;cursor:pointer}.actions{display:flex;gap:12px;margin-top:30px}.actions button{border-radius:8px;font-weight:700;font-size:14px;padding:14px 20px;cursor:pointer}.primary{background:#287b64;border:1px solid #287b64;color:white;min-width:210px;display:flex;justify-content:space-between}.primary:hover{background:#1c6853}.secondary{background:white;border:1px solid #d4ddd6;color:#66776c}.result{display:flex;gap:15px;align-items:flex-start;padding:20px;margin-top:23px;border-radius:9px}.result.success{background:#e9f5ec;color:#1c6b46}.result.error{background:#fff0e9;color:#a44e2f}.result-icon{font:bold 18px 'DM Mono',monospace;width:28px;height:28px;display:grid;place-items:center;border:1px solid currentColor;border-radius:50%}.result strong{display:block;margin-bottom:4px}.result p{margin:0;line-height:1.65;font-size:14px}.guide{display:grid;grid-template-columns:1fr 1fr;gap:60px;padding:55px 5px 65px}.guide h2{display:inline-block;margin-left:12px}.guide h3{margin:0 0 19px;font-size:20px}.guide p,.guide li{font-size:14px;line-height:1.9;color:#60716a}.guide ul{padding-left:18px;margin-top:0}.guide .fine{font-size:12px;color:#8a9690}footer{border-top:1px solid #d6ded6;padding:25px 0 35px;display:flex;justify-content:space-between;gap:20px;color:#95a19b;font-size:11px}@media(max-width:720px){.shell{padding:0 18px}.hero{padding-top:48px}.hero-meta{flex-wrap:wrap}.workspace{padding:24px 20px}.argument-grid,.guide{grid-template-columns:1fr}.guide{gap:20px}.topline{align-items:flex-start}.topline h2{font-size:18px}.toggle{font-size:11px}.actions{flex-wrap:wrap}footer{flex-direction:column}}
.tab:disabled{cursor:default;opacity:.7}.example-picker{flex-wrap:wrap;gap:8px!important}select{max-width:100%;border:1px solid #d5e0d7;border-radius:6px;padding:8px;background:#fafbf9;color:#2f6f5f;font:inherit;font-size:13px}.rule-reference{padding:0 5px 45px}.rule-reference h2{font-size:23px;letter-spacing:-.04em}.rule-reference p{font-size:14px;line-height:1.9;color:#60716a}.rule-reference details{margin-top:18px;border:1px solid #d6dfd8;border-radius:10px;background:white;overflow:hidden}.rule-reference summary{cursor:pointer;padding:18px;font-weight:700;font-size:16px}.table-scroll{overflow-x:auto}table{width:100%;border-collapse:collapse;text-align:left;font-size:13px}th,td{padding:12px 18px;border-top:1px solid #e4ebe5;line-height:1.8;vertical-align:top}th{background:#f4f7f3;color:#60716a;font-weight:600}td:first-child{min-width:135px}td:last-child{min-width:160px}td code{white-space:nowrap}@media(max-width:720px){.topline{flex-wrap:wrap}.example-picker{width:100%}.rule-reference{padding-bottom:35px}th,td{padding:10px 13px}footer{padding-bottom:25px}}
.proof-grid{margin-top:16px;border:1px solid #d6e0d9;border-radius:9px;overflow-x:auto}.proof-table{table-layout:fixed;min-width:610px}.proof-table th:nth-child(1){width:70px}.proof-table th:nth-child(2){width:43%}.proof-table th:nth-child(3){width:27%}.proof-table th:nth-child(4){width:20%}.proof-table th,.proof-table td{padding:10px 8px}.proof-table td:first-child,.proof-table td:last-child{min-width:0}.proof-table input{height:43px;margin:0;padding:7px 8px;font-size:14px;min-width:0}.proof-table .formula-cell{white-space:nowrap}.proof-table .formula-cell input{display:inline-block;vertical-align:middle}.indent-guides{display:inline-block;height:43px;vertical-align:middle;background:repeating-linear-gradient(to right,transparent 0 3px,#4b9c7e 3px 5px,transparent 5px 10px)}.row-number{text-align:center;color:#60716a}.row-controls{display:flex;justify-content:center;gap:2px}.row-controls button{border:0;background:transparent;color:#8a9b91;padding:0 3px;font-size:17px;cursor:pointer}.row-controls button:disabled{opacity:.25;cursor:default}.proof-table .row-error{background:#fff0e9}.proof-tools{display:flex;flex-wrap:wrap;gap:8px;margin-top:15px}.proof-tools button{border:1px solid #cfdcd2;background:#f4f8f3;color:#2f6f5f;padding:9px 12px;border-radius:7px;font:inherit;font-size:12px;cursor:pointer}.proof-tools button:hover{background:#e8f0e7}@media(max-width:720px){.proof-table{min-width:0;table-layout:auto}.proof-table thead{display:none}.proof-table,.proof-table tbody{display:block}.proof-table tr{display:grid;grid-template-columns:55px minmax(0,1.3fr) minmax(0,1fr);padding:7px 0;border-bottom:1px solid #e4ebe5}.proof-table td{display:block;padding:4px;border:0;min-width:0!important}.proof-table .row-number{grid-row:1 / span 2;padding-top:12px}.proof-table .formula-cell{grid-column:2 / 4}.proof-table td:nth-child(3){grid-column:2}.proof-table td:nth-child(4){grid-column:3}.proof-table input{font-size:13px}.proof-table tr:last-child{border-bottom:0}.proof-tools button{font-size:11px;padding:8px}}

.result[hidden]{display:none}

.derived-badge{display:inline-block;margin-top:5px;padding:1px 7px;border:1px solid #b8d8c9;border-radius:5px;background:#edf6ef;color:#286b52;font-size:11px;font-weight:700;white-space:nowrap}.derived-badge[hidden]{display:none}

.result.warning{background:#fff8df;color:#805f15}

.proof-table .row-warning{background:#fff8df}

[hidden]{display:none!important}