.logo[data-v-63ebc9a1]{font-family:DejaVu Sans Mono,Menlo,Consolas,monospace;font-size:min(14px, calc((min(100vw, 56rem) - 2.5rem) / (var(--cols) * .61)))}