.katex-display,.katex-display>.katex,.katex-display>.katex>.katex-html{overflow:visible!important}.katex-display{margin:1.5em 0;padding:.5em 0;text-align:center}.katex-display>.katex{display:inline-block;text-align:left;max-width:100%}.katex .frac-line{border-bottom-width:.04em;margin:0}.katex .mbin{margin:0 .2222em}.katex .mrel{margin:0 .2778em}.katex{font-size:1.1em;line-height:1.4}.katex,.katex .delimsizing{vertical-align:middle}.katex .text{font-family:inherit}.katex-html{overflow-x:visible!important;overflow-y:visible!important}.katex .vlist-t{display:inline-table;table-layout:fixed}.katex .sqrt>.root{margin-left:.2em;margin-right:-.1em}@media (max-width:600px){.katex-display{font-size:.9em}.katex{font-size:1em}}@keyframes reasoning-fade-in-up{0%{opacity:0;transform:translateY(20px)}to{opacity:1;transform:translateY(0)}}@keyframes reasoning-pulse{0%{opacity:1;transform:scale(1)}50%{opacity:.8;transform:scale(1.02)}to{opacity:1;transform:scale(1)}}@keyframes reasoning-shimmer{0%{transform:translateX(-100%)}to{transform:translateX(100%)}}@keyframes reasoning-gradient-shift{0%{background-position:0 0}to{background-position:200% 0}}@keyframes reasoning-dots-bounce{0%,80%,to{transform:scale(.8);opacity:.5}40%{transform:scale(1);opacity:1}}.reasoning-content{transition:all .3s cubic-bezier(.4,0,.2,1)}.reasoning-content p{animation:reasoning-fade-in-up .4s ease-out}.reasoning-content h1,.reasoning-content h2,.reasoning-content h3{animation:reasoning-fade-in-up .5s ease-out}.reasoning-content ol,.reasoning-content ul{animation:reasoning-fade-in-up .4s ease-out .1s both}.reasoning-content code,.reasoning-content pre{animation:reasoning-fade-in-up .4s ease-out .2s both}.reasoning-scrollable{scrollbar-width:thin;scrollbar-color:rgba(0,0,0,.2) transparent}.reasoning-scrollable::-webkit-scrollbar{width:6px}.reasoning-scrollable::-webkit-scrollbar-track{background:transparent}.reasoning-scrollable::-webkit-scrollbar-thumb{background-color:rgba(0,0,0,.2);border-radius:3px}.reasoning-scrollable::-webkit-scrollbar-thumb:hover{background-color:rgba(0,0,0,.3)}