/* glossary.html 专属:锚点跳转时避开 sticky 头部 */
.gloss-sect{
  scroll-margin-top:calc(var(--topbar-h) + 12px);
}
.termcard[id]{
  scroll-margin-top:calc(var(--topbar-h) + 18px);
}

/* 术语卡内代码点缀与正文的间距微调(仅本页术语卡) */
.gloss-sect .termcard dd code{
  font-size:.8rem;
}