.provably-fair code{display:block;font:var(--body-xs-regular);color:var(--text-light);border-radius:var(--main-border-radius);padding:var(--main-spacing);background-color:var(--surface-l1);margin-bottom:1.5em}.provably-fair code .comment{font-style:italic;color:var(--text-body-darker)}.provably-fair code .param,.provably-fair mark{color:var(--text-body)}.provably-fair mark{background:unset}.provably-fair__verification{border-top:1px solid var(--border-primary);padding-top:var(--spacing-lg);margin-top:var(--spacing-lg)}