html{-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;overflow-x:hidden}p:not(:last-child){margin-bottom:.875rem}ol,ul{margin-left:1rem}ol{list-style-type:disc}.article-layout,.article-body{overflow-wrap:anywhere}.article-body :is(h1,h2,h3,h4,h5,h6){scroll-margin-top:var(--article-scroll-offset,100px)}.article-body pre,.article-body .katex-display,.article-table-scroll{overscroll-behavior-x:contain;max-width:100%;overflow-x:auto}.article-body .katex-display{padding-block:.25rem;overflow-y:hidden}.article-body :not(.katex-display)>.katex{vertical-align:middle;max-width:100%;padding-block:.2em;display:inline-block;overflow:auto hidden}.article-table-scroll table{width:max-content;min-width:100%}.article-toc-dialog:not([open]){display:none}.article-toc-dialog[open]{animation:.16s ease-out article-toc-enter}@keyframes article-toc-enter{0%{transform:translate(100%)}to{transform:translate(0)}}@media (prefers-reduced-motion:reduce){.article-toc-dialog[open]{animation:none}}.article-toc-list{scrollbar-width:thin}