.site-document .badge-origins{list-style:none;margin:18px 0 14px;padding:0;border-top:1px solid var(--proof-rule)}.site-document .badge-origins li{display:flex;flex-wrap:wrap;align-items:center;gap:6px 14px;margin:0;padding:12px 0;border-bottom:1px solid var(--proof-rule)}.badge-origins code{font-size:var(--ug-text-md);overflow-wrap:anywhere}.badge-origins li span{padding:3px 10px;border-radius:var(--ug-radius-pill);background:var(--proof-green-wash);color:var(--ugt-ok-strong, #2f5139);font-size:var(--ug-text-sm);font-weight:500}.site-document .badge-note{font-size:var(--ug-text-md);color:var(--proof-muted)}.badge-models{max-width:980px;margin-top:18px}.site-document .badge-models small{display:block;margin-top:var(--ug-space-1);font-size:var(--ug-text-sm);line-height:1.6;color:var(--proof-muted);font-weight:400}.site-document .badge-models th[scope=row] code{font-size:var(--ug-text-xs);overflow-wrap:anywhere}.badge-route{display:inline-block;padding:3px 10px;border-radius:var(--ug-radius-pill);background:var(--ugt-wash-2, #ebede3);color:var(--ugt-site-text-2, #4f5a4c);font-size:var(--ug-text-sm);font-weight:500}.badge-route.is-enclave{background:var(--proof-green-wash);color:var(--ugt-ok-strong, #2f5139)}.badge-enclave{margin-bottom:var(--ug-space-2)}.proof-page .badge-enclave+h2,.proof-page .proof-result+h2{margin-top:56px}.badge-lookup{display:flex;flex-wrap:wrap;align-items:center;gap:10px var(--ug-space-3);margin:18px 0 8px}.badge-lookup label{flex-basis:100%;font-family:var(--ug-font-mono);font-size:var(--ug-text-2xs);letter-spacing:.1em;text-transform:uppercase;color:var(--proof-faint)}.badge-lookup input{flex:0 1 420px;min-width:0;height:44px;padding:0 14px;border:1px solid var(--ugt-line-control, #b9c1ab);border-radius:0;background:var(--ugt-surface, #fbfaf5);color:var(--site-ink);font-family:var(--ug-font-mono);font-size:var(--ug-text-base)}.badge-lookup input:focus-visible{outline:var(--ug-focus-ring);outline-offset:var(--ug-focus-offset)}.badge-snippets{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:28px;margin-top:18px}.badge-snippet-head{display:flex;align-items:baseline;justify-content:space-between;gap:var(--ug-space-3)}.site-document .badge-snippet-head h3{margin:0}.site-document .badge-snippets pre{margin:10px 0;white-space:pre-wrap;word-break:break-all}.site-document .badge-snippets p{font-size:var(--ug-text-md);color:var(--proof-muted)}@media(max-width:760px){.badge-snippets{grid-template-columns:minmax(0,1fr)}}@media(max-width:760px){.badge-lookup input{flex:1 1 100%}.badge-lookup .site-button{width:100%}}