.mono{font-family:var(--font-mono);font-variant-numeric:tabular-nums}.rule{height:1px;background:var(--line);width:100%}.rule-thick{height:2px;background:var(--line);width:100%}.toc a.is-active{color:var(--ink);border-bottom-color:var(--ink);font-weight:600}.toc a.is-active .idx{color:var(--brand)}.platform-card.is-hidden{display:none}