.tools-page h1{font-size:1.5rem}.tools-intro{color:var(--color-text-muted);max-width:65ch}.tools-jumplinks{border:1px dashed var(--color-border);font-family:var(--font-mono);border-radius:6px;flex-wrap:wrap;gap:.5rem 1rem;margin:1rem 0 2rem;padding:.75rem;font-size:.875rem;display:flex}.tools-jumplinks a{text-decoration:none}