.code-block-container{position:relative;margin:var(--space-lg) 0}.code-block-container>pre{background:var(--bg-tertiary);color:var(--text-primary);border:1px solid var(--border-color);border-radius:6px;padding:var(--space-md);overflow-x:auto;font-size:.9em;line-height:1.5;margin:0}.post-full-content div.highlight{background:0 0!important;border:none!important;padding:0!important;margin:0!important;border-radius:0!important;overflow:visible!important}.copy-code-button{position:absolute;top:var(--space-sm);right:var(--space-sm);background-color:var(--bg-tertiary);color:var(--text-secondary);border:1px solid var(--border-color);border-radius:4px;padding:var(--space-xs) var(--space-sm);font-size:.8em;font-family:inherit;cursor:pointer;opacity:0;transition:opacity .2s ease-in-out,background-color .2s ease-in-out,color .2s ease-in-out;z-index:1}.code-block-container:hover .copy-code-button{opacity:1}.copy-code-button:hover{background-color:var(--hover-bg);color:var(--text-primary);border-color:var(--accent-red)}.copy-code-button .fa-copy{margin-right:.3em}.copy-code-button .fa-check{margin-right:.3em;color:var(--accent-red)}.post-full-content code{font-family:SFMono-Regular,Consolas,"Liberation Mono",Menlo,Courier,monospace}.post-full-content h1>code,.post-full-content h2>code,.post-full-content h3>code,.post-full-content h4>code,.post-full-content li>code,.post-full-content p>code{background:var(--accent-red-bg);color:var(--accent-red);padding:.2em .4em;border-radius:4px;font-size:.85em;word-wrap:break-word}.post-full-content sub,.post-full-content sup{font-size:.75em;line-height:0;position:relative;vertical-align:baseline}.post-full-content sup{top:-.5em}.post-full-content sub{bottom:-.25em}.post-full-content .katex{font-size:1.05em;color:var(--text-primary)}[data-theme=light] .post-full-content .katex{color:var(--text-primary)}.math-block-container{position:relative;margin:var(--space-lg) 0}.math-block-container>*{background:var(--bg-tertiary);border:1px solid var(--border-color);border-radius:6px;padding:var(--space-md);overflow-x:auto;margin:0;display:flex;justify-content:flex-start}[data-theme=dark] .math-block-container>*{background:#2d2d2d}[data-theme=light] .math-block-container>*{background:#f8f8f8}[data-theme=night] .math-block-container>*{background:#1f1f2e}.copy-math-button{position:absolute;top:var(--space-sm);right:var(--space-sm);background-color:var(--bg-tertiary);color:var(--text-secondary);border:1px solid var(--border-color);border-radius:4px;padding:var(--space-xs) var(--space-sm);font-size:.8em;font-family:inherit;cursor:pointer;opacity:0;transition:opacity .2s ease-in-out,background-color .2s ease-in-out,color .2s ease-in-out;z-index:1}.math-block-container:hover .copy-math-button{opacity:1}.copy-math-button:hover{background-color:var(--hover-bg);color:var(--text-primary);border-color:var(--accent-red)}.copy-math-button .fa-check,.copy-math-button .fa-copy{margin-right:.3em}.copy-math-button .fa-check{color:var(--accent-red)}[data-theme=light] .post-full-content li>code,[data-theme=light] .post-full-content p>code{background:rgba(var(--color-primary-500),.08);color:#c53047}[data-theme=night] .post-full-content li>code,[data-theme=night] .post-full-content p>code{background:rgba(255,62,94,.1);color:#ff3e5e}.highlighted-line{background-color:rgba(var(--color-primary-500),.1);display:block;margin-left:calc(-1 * var(--space-md));margin-right:calc(-1 * var(--space-md));padding-left:var(--space-md);padding-right:var(--space-md);box-shadow:-3px 0 0 0 var(--accent-red) inset}[data-theme=dark] .highlighted-line{background-color:rgba(var(--color-primary-400),.15);box-shadow:-3px 0 0 0 var(--accent-red) inset}[data-theme=night] .highlighted-line{background-color:rgba(255,62,94,.18);box-shadow:-3px 0 0 0 #ff3e5e inset}[data-theme=dark] .code-block-container>pre,[data-theme=dark] pre code,[data-theme=dark] pre.highlight{background:#2d2d2d!important;color:#d4d4d4!important}[data-theme=dark] pre code .c,[data-theme=dark] pre code .c1,[data-theme=dark] pre code .cd,[data-theme=dark] pre code .ch,[data-theme=dark] pre code .cm,[data-theme=dark] pre code .cp,[data-theme=dark] pre code .cpf,[data-theme=dark] pre code .cs,[data-theme=dark] pre code .sd{color:#6a9955!important;font-style:italic}[data-theme=dark] pre code .bp,[data-theme=dark] pre code .k,[data-theme=dark] pre code .kc,[data-theme=dark] pre code .kd,[data-theme=dark] pre code .kn,[data-theme=dark] pre code .kp,[data-theme=dark] pre code .kr,[data-theme=dark] pre code .kt,[data-theme=dark] pre code .nb{color:#569cd6!important}[data-theme=dark] pre code .fm,[data-theme=dark] pre code .nd,[data-theme=dark] pre code .nf{color:#dcdcaa!important}[data-theme=dark] pre code .nc,[data-theme=dark] pre code .nn{color:#4ec9b0!important}[data-theme=dark] pre code .dl,[data-theme=dark] pre code .s,[data-theme=dark] pre code .s1,[data-theme=dark] pre code .s2,[data-theme=dark] pre code .sa,[data-theme=dark] pre code .sb,[data-theme=dark] pre code .sc,[data-theme=dark] pre code .se,[data-theme=dark] pre code .sh,[data-theme=dark] pre code .si,[data-theme=dark] pre code .sr,[data-theme=dark] pre code .ss,[data-theme=dark] pre code .sx{color:#ce9178!important}[data-theme=dark] pre code .il,[data-theme=dark] pre code .m,[data-theme=dark] pre code .mb,[data-theme=dark] pre code .mf,[data-theme=dark] pre code .mh,[data-theme=dark] pre code .mi,[data-theme=dark] pre code .mo{color:#b5cea8!important}[data-theme=dark] pre code .na,[data-theme=dark] pre code .nv,[data-theme=dark] pre code .vc,[data-theme=dark] pre code .vg,[data-theme=dark] pre code .vi{color:#9cdcfe!important}[data-theme=dark] pre code .nt{color:#569cd6!important}[data-theme=dark] pre code .o,[data-theme=dark] pre code .ow,[data-theme=dark] pre code .p,[data-theme=dark] pre code .pi{color:#d4d4d4!important}[data-theme=dark] pre code .ge{font-style:italic}[data-theme=dark] pre code .gs{font-weight:700}[data-theme=dark] pre code .err{color:#f44747!important;background:0 0!important}[data-theme=light] .code-block-container>pre,[data-theme=light] pre code,[data-theme=light] pre.highlight{background:#f8f8f8!important;color:#000!important}[data-theme=light] pre code .c,[data-theme=light] pre code .c1,[data-theme=light] pre code .cd,[data-theme=light] pre code .ch,[data-theme=light] pre code .cm,[data-theme=light] pre code .cp,[data-theme=light] pre code .cpf,[data-theme=light] pre code .cs,[data-theme=light] pre code .sd{color:green!important;font-style:italic}[data-theme=light] pre code .bp,[data-theme=light] pre code .k,[data-theme=light] pre code .kc,[data-theme=light] pre code .kd,[data-theme=light] pre code .kn,[data-theme=light] pre code .kp,[data-theme=light] pre code .kr,[data-theme=light] pre code .kt,[data-theme=light] pre code .nb{color:#00f!important}[data-theme=light] pre code .fm,[data-theme=light] pre code .nd,[data-theme=light] pre code .nf{color:#795e26!important}[data-theme=light] pre code .nc,[data-theme=light] pre code .nn{color:#267f99!important}[data-theme=light] pre code .dl,[data-theme=light] pre code .s,[data-theme=light] pre code .s1,[data-theme=light] pre code .s2,[data-theme=light] pre code .sa,[data-theme=light] pre code .sb,[data-theme=light] pre code .sc,[data-theme=light] pre code .se,[data-theme=light] pre code .sh,[data-theme=light] pre code .si,[data-theme=light] pre code .sr,[data-theme=light] pre code .ss,[data-theme=light] pre code .sx{color:#a31515!important}[data-theme=light] pre code .il,[data-theme=light] pre code .m,[data-theme=light] pre code .mb,[data-theme=light] pre code .mf,[data-theme=light] pre code .mh,[data-theme=light] pre code .mi,[data-theme=light] pre code .mo{color:#098658!important}[data-theme=light] pre code .na,[data-theme=light] pre code .nv,[data-theme=light] pre code .vc,[data-theme=light] pre code .vg,[data-theme=light] pre code .vi{color:#001080!important}[data-theme=light] pre code .nt{color:maroon!important}[data-theme=light] pre code .o,[data-theme=light] pre code .ow,[data-theme=light] pre code .p,[data-theme=light] pre code .pi{color:#000!important}[data-theme=light] pre code .ge{font-style:italic}[data-theme=light] pre code .gs{font-weight:700}[data-theme=light] pre code .err{color:#cd3131!important;background:0 0!important}[data-theme=night] .code-block-container>pre,[data-theme=night] pre code,[data-theme=night] pre.highlight{background:#1f1f2e!important;color:#fce7f3!important}[data-theme=night] pre code .c,[data-theme=night] pre code .c1,[data-theme=night] pre code .cd,[data-theme=night] pre code .ch,[data-theme=night] pre code .cm,[data-theme=night] pre code .cp,[data-theme=night] pre code .cpf,[data-theme=night] pre code .cs,[data-theme=night] pre code .sd{color:#c084fc!important;font-style:italic}[data-theme=night] pre code .bp,[data-theme=night] pre code .k,[data-theme=night] pre code .kc,[data-theme=night] pre code .kd,[data-theme=night] pre code .kn,[data-theme=night] pre code .kp,[data-theme=night] pre code .kr,[data-theme=night] pre code .kt,[data-theme=night] pre code .nb{color:#ff3e5e!important}[data-theme=night] pre code .fm,[data-theme=night] pre code .nd,[data-theme=night] pre code .nf{color:#fbbf24!important}[data-theme=night] pre code .nc,[data-theme=night] pre code .nn{color:#a855f7!important}[data-theme=night] pre code .dl,[data-theme=night] pre code .s,[data-theme=night] pre code .s1,[data-theme=night] pre code .s2,[data-theme=night] pre code .sa,[data-theme=night] pre code .sb,[data-theme=night] pre code .sc,[data-theme=night] pre code .se,[data-theme=night] pre code .sh,[data-theme=night] pre code .si,[data-theme=night] pre code .sr,[data-theme=night] pre code .ss,[data-theme=night] pre code .sx{color:#10b981!important}[data-theme=night] pre code .il,[data-theme=night] pre code .m,[data-theme=night] pre code .mb,[data-theme=night] pre code .mf,[data-theme=night] pre code .mh,[data-theme=night] pre code .mi,[data-theme=night] pre code .mo{color:#fb7185!important}[data-theme=night] pre code .na,[data-theme=night] pre code .nv,[data-theme=night] pre code .vc,[data-theme=night] pre code .vg,[data-theme=night] pre code .vi{color:#ddd6fe!important}[data-theme=night] pre code .nt{color:#ff3e5e!important}[data-theme=night] pre code .o,[data-theme=night] pre code .ow,[data-theme=night] pre code .p,[data-theme=night] pre code .pi{color:#fce7f3!important}[data-theme=night] pre code .ge{font-style:italic}[data-theme=night] pre code .gs{font-weight:700}[data-theme=night] pre code .err{color:#ef4444!important;background:0 0!important}[data-theme=dark] pre code .gd{color:#f44747!important}[data-theme=dark] pre code .gi{color:#89d185!important}[data-theme=light] pre code .gd{color:#cd3131!important}[data-theme=light] pre code .gi{color:#116329!important}[data-theme=night] pre code .gd{color:#ef4444!important}[data-theme=night] pre code .gi{color:#10b981!important}