.ct-page{padding-top:calc(var(--top-h) + 72px)}.ct-crumbs{margin:0 0 20px;font-size:14px;color:var(--l-muted)}.ct-crumbs a{color:inherit}.ct-answer{margin:28px 0 40px;padding:20px 24px;background:var(--l-card);font-size:18px;line-height:1.6;--crop-off:-7px}.ct-answer code,.ct-body code{font-family:var(--mono);font-size:.88em;overflow-wrap:anywhere}.ct-proof{margin:0 0 48px}.ct-proof figcaption{display:flex;justify-content:space-between;gap:16px;margin-top:10px;font-size:13px;color:var(--l-muted)}.ct-proof figcaption span:last-child{font-family:var(--mono)}.ct-steps{padding-left:1.4em}.ct-steps li+li{margin-top:8px}.ct-qa h3{margin:24px 0 6px}.ct-related ul{padding-left:1.2em}.ct-checked{margin-top:48px;padding-top:16px;border-top:1px solid var(--l-line);font-size:13px;color:var(--l-muted)!important}.ct-tool{padding-top:0}.ct-tool .lg-doc{border-top:1px solid var(--l-line);padding-top:24px}.ct-index li{margin-top:14px}.ct-index p{margin:4px 0 0;font-size:14px;color:var(--l-muted)!important}@media (max-width:640px){.ct-page{padding-top:104px}.ct-answer{padding:16px;font-size:17px}.ct-proof figcaption{flex-direction:column;gap:2px}}