.fx-proof{background:var(--card);border:1px solid var(--home-border);min-width:0;box-shadow:var(--home-rest);border-radius:8px;overflow:hidden}.fx-proof__bar{border-bottom:1px solid var(--home-border);justify-content:space-between;align-items:center;gap:1rem;padding:.875rem 1.25rem;font-size:.8125rem;display:flex}.fx-proof__bar code{font-family:var(--font-mono)}.fx-proof figcaption{border-top:1px solid var(--home-border);color:var(--muted-foreground);padding:1rem 1.25rem;font-size:.8125rem;line-height:1.6}.fx-proof>.v2j-code-example{border:0;border-radius:0}.fx-proof__footer{border-top:1px solid var(--home-border);justify-content:space-between;align-items:center;gap:1rem;padding:.75rem 1.25rem;font-size:.8125rem;display:flex}.fx-proof-controls{flex-wrap:wrap;gap:.5rem;padding:.75rem 1rem;display:flex}.fx-gate-proof .v2j-term{border-top:1px solid var(--home-border)}.fx-gate-proof .v2j-term__body{min-height:12rem;font-family:var(--font-mono);padding:1.25rem;overflow-x:auto}.fx-gate-proof .v2j-term__line{white-space:pre-wrap;overflow-wrap:anywhere;font-size:.8125rem;line-height:1.8}.fx-gate-proof .v2j-term__head{padding:.875rem 1.25rem;font-size:.8125rem}.fx-schema-tables{grid-template-columns:repeat(3,minmax(0,1fr));gap:.75rem;padding:1.5rem 1rem;display:grid}.fx-schema-table{border:1px solid var(--home-border);border-radius:6px;min-width:0}.fx-schema-table[data-focus]{border-color:var(--primary)}.fx-schema-table>strong{border-bottom:1px solid var(--home-border);font-family:var(--font-mono);padding:.75rem;font-size:.8125rem;font-weight:600;display:block}.fx-schema-table ul{margin:0;padding:0;list-style:none}.fx-schema-table li{overflow-wrap:anywhere;justify-content:space-between;align-items:baseline;gap:.5rem;padding:.5rem .75rem;font-size:.75rem;display:flex}.fx-schema-table li+li{border-top:1px solid var(--home-border)}.fx-schema-table li small{color:var(--muted-foreground);font-size:.625rem}.fx-schema-table li[data-linked]{font-weight:650}.fx-agent-tools{border-top:1px solid var(--home-border);padding:1rem 1.25rem 1.25rem}.fx-agent-tools p{font-size:.875rem}.fx-agent-tools dl{margin:1rem 0 0}.fx-agent-tools dl>div{grid-template-columns:10rem 1fr;gap:.75rem;margin-top:.75rem;font-size:.8125rem;display:grid}.fx-agent-tools dd{color:var(--muted-foreground);margin:0}.v2j .fx-package-tools button{text-align:left;overflow-wrap:anywhere;justify-content:flex-start;min-height:52px}.fx-tool-detail{min-height:12rem;padding:1.5rem 1.25rem}.fx-tool-detail strong{font-size:1.125rem;font-weight:600}.fx-tool-detail p{margin-top:.75rem;font-size:.9375rem}.fx-cloud-content{padding:1.5rem 1.25rem}.fx-cloud-content>strong{overflow-wrap:anywhere;font-size:1.125rem}.fx-cloud-content>p{margin-top:1rem;font-size:.9375rem}.fx-cloud-content .fx-proof-controls{padding:.75rem 0}.fx-cloud-content dl{margin:.75rem 0 0}.fx-cloud-content dl>div{border-top:1px solid var(--home-border);grid-template-columns:1fr 1.5fr;gap:1rem;padding:.875rem 0;font-size:.875rem;display:grid}.fx-cloud-content dt{color:var(--muted-foreground)}.fx-cloud-content dd{margin:0}.fx-map-proof .iris-code-map-demo{box-shadow:none;border:0}.fx-map-proof .iris-code-map-demo__legend{flex-wrap:wrap}@media (max-width:700px){.fx-proof__bar{padding:.75rem 1rem}.fx-proof figcaption{padding:1rem}.fx-proof__footer{padding:.75rem 1rem}.fx-schema-tables{grid-template-columns:1fr;padding:1rem}.fx-schema-table li{font-size:.8125rem}.fx-schema-table li small{font-size:.75rem}.fx-agent-tools dl>div{grid-template-columns:1fr;gap:.25rem}.fx-cloud-content dl>div{grid-template-columns:1fr;gap:.375rem}.fx-proof__footer{flex-direction:column;align-items:flex-start}.fx-gate-proof .v2j-term__body{padding:1rem}}