.editorial .formal-rule{margin:6px 0 26px;font-size:21px;color:var(--editorial-bright);overflow-x:auto;overflow-y:hidden}.editorial .formal-rule .docs-tex-display{display:block;margin:0}.editorial .formal-rule .katex-display{margin:0;text-align:left}.editorial .formal-rule .katex-display>.katex{text-align:left}.editorial .formal-chain tbody th{width:22%}.editorial .formal-chain td:nth-child(2){width:34%;padding-right:24px}.editorial .formal-steps{margin:6px 0 0}@media (max-width:600px){.editorial .formal-chain tbody th,.editorial .formal-chain td:nth-child(2){width:auto;padding-right:0}.editorial .formal-rule{font-size:15px}}