.dir-d .maude-problems{gap:8px;margin:14px 0 0;font-size:14px;line-height:1.5;display:grid}.dir-d .maude-problems dt{color:var(--tool-muted);font-size:12px;font-weight:500}.dir-d .maude-problems dd{color:var(--tool-ink);margin:2px 0 0}.dir-d .maude-narrative{margin-top:14px}.dir-d .maude-narrative+.maude-narrative{margin-top:16px}.dir-d .maude-narrative-type{color:var(--tool-muted);font-size:12px;font-weight:500}.dir-d .maude-narrative .tool-result-body{margin-top:4px}.dir-d .maude-narrative-text{color:#3d4447;white-space:pre-line;overflow-wrap:anywhere;margin-top:4px;font-size:14px;line-height:1.6}.dir-d .maude-full{margin-top:12px;font-size:13px}.dir-d .maude-full summary{cursor:pointer;color:var(--tool-ink);text-underline-offset:3px;-webkit-text-decoration:underline #0f1a1c4d;text-decoration:underline #0f1a1c4d}.dir-d .maude-full[open] summary{margin-bottom:4px}.dir-d .maude-facts{gap:16px;margin-top:24px;display:grid}@media (min-width:720px){.dir-d .maude-facts{grid-template-columns:repeat(3,minmax(0,1fr))}}.dir-d .maude-fact{border:1px solid var(--tool-line);border-radius:var(--tool-radius);background:var(--tool-surface);padding:18px 20px}.dir-d .maude-fact-value{font-family:var(--home-display);letter-spacing:-.01em;color:var(--tool-ink);font-size:26px;font-weight:500;display:block}.dir-d .maude-fact-label{color:var(--tool-muted);margin-top:4px;font-size:13px;line-height:1.5;display:block}.dir-d .maude-data{margin-top:40px}.dir-d .maude-data h2{color:var(--tool-ink)}.dir-d .maude-data p{max-width:680px;color:var(--tool-muted);margin:12px 0 0;font-size:14px;line-height:1.6}.dir-d .maude-data .tool-table{min-width:0}.dir-d .maude-data .tool-table-wrap+.tool-table-wrap{margin-top:16px}.dir-d .maude-data-grid{gap:24px;display:grid}@media (min-width:900px){.dir-d .maude-data-grid{grid-template-columns:1fr 1fr;align-items:start}}.dir-d .maude-num{font-variant-numeric:tabular-nums;text-align:right;white-space:nowrap}.dir-d .tool-table th.maude-num{text-align:right}.dir-d .maude-guide .tool-table-wrap{margin-top:18px}.dir-d .maude-guide .tool-table{min-width:560px}.dir-d .maude-guide .tool-table td:first-child{white-space:nowrap;font-weight:500}.dir-d .maude-guide h3{color:var(--tool-ink);margin-top:28px;font-size:17px;font-weight:500}.dir-d .maude-guide ol{margin:14px 0 0;padding-left:22px}.dir-d .maude-guide ul{padding-left:22px;list-style:outside}.dir-d .maude-guide li+li{margin-top:6px}.dir-d .tool-prose.maude-guide{max-width:760px}.dir-d .tool-prose.maude-guide+.tool-prose.maude-guide{margin-top:52px}.dir-d .maude-guide .maude-quote{border-left:3px solid var(--tool-line-strong);color:#3d4447;overflow-wrap:anywhere;background:#f6f8f8;margin:18px 0 0;padding:14px 18px;font-size:14px;line-height:1.6}.dir-d .maude-latest-title{color:var(--tool-ink);margin-top:32px;font-size:17px;font-weight:500}.dir-d .maude-data a,.dir-d .maude-guide a{color:var(--tool-ink);text-underline-offset:3px;-webkit-text-decoration:underline #0f1a1c4d;text-decoration:underline #0f1a1c4d}.dir-d .maude-data a:hover,.dir-d .maude-guide a:hover{text-decoration-color:currentColor}