.rules-page { padding-top: 16px; }
.rules-layout { display: grid; grid-template-columns: 190px minmax(0,1fr); gap: 58px; align-items: start; }
.rules-toc { position: sticky; top: 30px; display: grid; gap: 2px; padding: 34px 0; }
.rules-toc a { padding: 6px 0 6px 10px; border-left: 2px solid transparent; color: var(--secondary); font-size: 13px; }
.rules-toc a:hover { color: var(--blue-dark); }
.rules-toc a[aria-current="location"] { border-left-color: var(--blue); color: var(--blue-dark); background: #eaf3fc; font-weight: 700; }
.rules-content { min-width: 0; }
.rules-content [id] { scroll-margin-top: 32px; }
#score-s, #score-w, #score-c { scroll-margin-top: 30vh; }
.rule-ref-flash { background-color: #f1f7ff; box-shadow: 0 0 0 3px rgba(40, 110, 196, .10); border-radius: 3px; }
.rule-section h2.rule-ref-flash { width: fit-content; }
.rule-ref-flash > td { background-color: #f1f7ff; }
.rule-section { padding: 34px 0 42px; border-bottom: 1px solid var(--line); scroll-margin-top: 25px; }
.rule-section:last-child { border-bottom: 0; padding-bottom: 0; }
.rule-section h2 { margin: 8px 0 16px; font-size: 30px; line-height: 1.2; }
.rule-section h3 { margin: 30px 0 10px; font-size: 18px; line-height: 1.3; letter-spacing: -.02em; }
.rule-section p { margin: 12px 0; color: var(--secondary); }
.rule-section p:first-of-type { margin-top: 0; }
.rule-math { vertical-align: middle; }
.rule-math[display="block"] { margin: 9px 0 2px; font-size: 1.16em; }
.rule-section code { color: #20364b; font: .93em/1.45 ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; overflow-wrap: anywhere; }
.rule-table-wrap { max-width: 100%; border: 1px solid var(--line); border-radius: 9px; background: var(--surface); }
.rule-table-wrap table { width: 100%; border-collapse: collapse; font-size: 13px; line-height: 1.45; }
.rule-table-wrap caption { padding: 13px 15px 9px; text-align: left; font-size: 13px; font-weight: 700; }
.rule-table-wrap th { padding: 9px 13px; background: #f4f6f7; color: var(--muted); text-align: left; font-size: 10px; font-weight: 700; letter-spacing: .1em; text-transform: uppercase; white-space: nowrap; }
.rule-table-wrap td { padding: 9px 13px; border-top: 1px solid var(--line); vertical-align: top; }
.rule-table-wrap td:last-child { white-space: nowrap; }
.table-grid { display: grid; grid-template-columns: minmax(0, 1.3fr) minmax(0, 1fr); gap: 14px; align-items: start; }
.table-grid .rule-table-wrap td { padding-top: 7px; padding-bottom: 7px; }
.constants-table td:last-child { white-space: normal; }
#proofs { counter-reset: claim; }
.claim-list { display: grid; gap: 8px; padding: 0; margin: 16px 0; list-style: none; }
.claim-list li, #proofs .callout { display: grid; grid-template-columns: 210px minmax(0,1fr); gap: 16px; padding: 13px 15px; border: 1px solid var(--blue); border-radius: 8px; background: #eaf3fc; font-size: 13px; }
.claim-list li { counter-increment: claim; }
.claim-list b { font-size: 13px; white-space: nowrap; }
.claim-list b:before, #proofs .callout b:before { content: counter(claim,decimal-leading-zero) ' / '; margin-right: 4px; color: var(--blue); font-size: 11px; }
#proofs .callout { counter-increment: claim; }
.claim-list span, #proofs .callout span { color: #334f6d; font-size: 13px; }
.lean-ref { display: block; width: fit-content; margin-top: 4px; font-size: 12px; font-weight: 400; }
.fine-print { font-size: 12px; }
.step-list { margin: 10px 0 14px; padding-left: 26px; color: var(--secondary); }
.step-list li { margin: 6px 0; padding-left: 4px; }
.step-list li::marker { color: var(--blue); font-weight: 700; }
.step-list .two-cards { margin: 10px 0 6px; }
.two-cards { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; margin: 14px 0 20px; }
.detail-card { padding: 16px 17px; border: 1px solid var(--line); border-radius: 8px; background: var(--surface); font-size: 13px; }
.detail-card b { font-size: 13px; }
.detail-card b code { color: var(--ink); font-weight: 750; font-size: 14px; }
.detail-card p { margin: 8px 0 0; }
.detail-card ul { margin: 6px 0 0; padding-left: 18px; }
.detail-card li { margin: 4px 0; }
#proofs .callout { margin: 18px 0; }
.detail-list { margin: 14px 0 0; }
.detail-list > div { display: grid; grid-template-columns: 150px minmax(0,1fr); gap: 18px; padding: 12px 0; border-top: 1px solid var(--line); font-size: 13px; }
.detail-list dt { font-weight: 700; }
.detail-list dd { margin: 0; color: var(--secondary); }
@media (max-width: 900px) {
  .rules-layout { grid-template-columns: 150px minmax(0,1fr); gap: 30px; }
  .table-grid, .two-cards { grid-template-columns: 1fr; }
}
@media (max-width: 680px) {
  .rules-page { padding-top: 10px; }
  .rules-layout { display: block; }
  .rules-toc { position: static; display: flex; flex-wrap: wrap; gap: 4px 14px; padding: 22px 0 3px; }
  .rules-toc a { padding: 4px 0; }
  .rule-section { padding: 26px 0 31px; }
  .rule-section h2 { font-size: 26px; }
  .claim-list li, #proofs .callout, .detail-list > div { grid-template-columns: 1fr; gap: 4px; }
  .rule-table-wrap th, .rule-table-wrap td, .rule-table-wrap td:last-child { white-space: normal; }
  .rule-table-wrap th, .rule-table-wrap td { padding-left: 8px; padding-right: 8px; }
  .constants-table table { table-layout: fixed; }
  .constants-table th:first-child { width: 80px; }
  .constants-table th:nth-child(2) { width: 64px; }
  .constants-table th:nth-child(2), .constants-table td:nth-child(2) { white-space: nowrap; }
}