.markdown{overflow:auto}.markdown h1{font-size:34px;padding-bottom:10px}.markdown h2{font-size:31px}.markdown h2,.markdown h3{margin-top:.4em;margin-bottom:.4em}.markdown h3{font-size:28px}.markdown h4{font-size:25px;margin-top:.4em;margin-bottom:.4em}.markdown a{color:#50bcd4}.markdown a:hover{color:#7d4570}.markdown pre:has(code){background-color:#1c1b1b;padding:.8em;font-size:.8em;border:.2em solid #3a523c;border-radius:.8em}.markdown p{padding-top:10px;padding-bottom:10px}.markdown ol{list-style:decimal;margin-left:1.2em;padding-left:0}.markdown li{padding-left:1em}.markdown p a{color:#548d59;font-style:italic}.markdown p a:hover{color:#97e19d}.katex{display:flex;margin-left:1em}.inline .katex,.katex{font-size:1.1em;justify-content:center}.inline .katex{display:inline}#brief-contents h1{font-size:15px;margin-left:0;margin-top:10px;margin-bottom:10px}#brief-contents h2{font-size:13px;margin-left:20px;margin-top:10px;margin-bottom:10px}#brief-contents h3{font-size:12px;margin-left:40px;margin-top:10px;margin-bottom:10px}#brief-contents h4{font-size:11px;margin-left:60px;margin-top:10px;margin-bottom:10px}