.mainbody .align-middle.header-aligned p.circle{margin-top:0;-webkit-transform:translateY(var(--baseline));transform:translateY(var(--baseline))}.button.jb{margin:var(--baseline) var(--space-sm) 0}.toc--static .toc__nav:has(.button.jb){padding-bottom:var(--baseline)}