/* Symbols and terms: one definition list for each part of the course. */
.glossary-jump{display:flex;flex-wrap:wrap;gap:6px 26px;margin-top:22px;font-size:var(--type-label)}
.glossary-jump a{display:inline-flex;align-items:center;min-height:44px}
.glossary{margin:0;border-top:1px solid var(--line)}
.glossary>div{display:grid;grid-template-columns:minmax(0,300px) minmax(0,1fr);gap:6px 36px;padding:16px 0;border-bottom:1px solid var(--line);scroll-margin-top:24px}
.glossary>div:target{background:#f6f8fa}
.glossary dt{color:var(--ink);font-size:var(--type-body);font-weight:600;line-height:1.45}
.glossary .symbol{display:block;margin-bottom:2px;color:var(--blue);font-family:var(--font-math);font-size:var(--type-value);font-weight:400;line-height:1.3}
.glossary .symbol.term{font-family:var(--font-ui);font-size:var(--type-label);font-weight:600;letter-spacing:.02em}
.glossary dd{max-width:70ch;margin:0;color:var(--ink);font-size:var(--type-body);line-height:1.6}
.glossary dd .where{display:block;width:fit-content;margin-top:6px;font-size:var(--type-note)}
@media (max-width:700px){
  .glossary>div{grid-template-columns:minmax(0,1fr);gap:4px;padding:14px 0}
}