.num{font-family:Cascadia Mono,Consolas,SF Mono,Roboto Mono,monospace;font-variant-numeric:tabular-nums}.term-hint{text-decoration:underline dotted;text-underline-offset:3px;cursor:help}html,body,#root{min-height:100vh}body{margin:0}.page-enter{animation:page-in .12s ease-out}@keyframes page-in{0%{opacity:0;transform:translateY(4px)}to{opacity:1;transform:none}}@media(prefers-reduced-motion:reduce){.page-enter{animation:none}}