article pre{max-width:100%;margin:28px 0;padding:22px;border:1px solid #303437;border-radius:12px;background:#101719;font:14px/1.8 ui-monospace,SFMono-Regular,Consolas,monospace;overflow:auto}article .language-example{white-space:pre-wrap;overflow-wrap:anywhere}article .abstraction-diagram{font-size:13px;white-space:pre}article .diff-before{color:#ffb4b4}article .diff-after{color:#7dffd6}article blockquote{margin:28px 0;padding:20px 24px;border-left:3px solid var(--mint);background:#101719;border-radius:0 10px 10px 0}article blockquote p:last-child{margin-bottom:0}article hr{border:0;border-top:1px solid #303437;margin:40px 0}article a{color:var(--mint);text-decoration:underline;text-underline-offset:3px}aside{max-height:calc(100dvh - 200px);overflow:auto}@media(max-width:800px){aside{max-height:none}article pre{padding:16px;font-size:13px}}