/* Loaded only for articles opting into technical_article. */
#post-body .katex-display { max-width:100%; overflow-x:auto; overflow-y:hidden; padding:8px 2px; }
#post-body .katex { font-size:1.05em; }
#post-body table { display:block; width:100%; overflow-x:auto; font-size:14px; }
#post-body th,#post-body td { min-width:80px; }
#post-body pre { max-width:100%; overflow:auto; }
#post-body details { margin:24px 0; padding:16px 18px; background:#f6f8f4; border:1px solid #dce3d8; border-radius:6px; }
#post-body summary { cursor:pointer; font-weight:600; line-height:1.7; }
#post-body details[open] summary { margin-bottom:18px; }
#post-body .article-lab { display:block; width:100%; border:1px solid #dce3d8; border-radius:8px; margin:28px 0 8px; background:#f6f8f5; }
#post-body .arithmetic-lab { height:780px; }
#post-body .kl-lab { height:840px; }
#post-body img { width:100%; max-width:100%; height:auto; background:transparent; filter:none; opacity:1; }
#post-body .technical-figure-link { display:block; cursor:zoom-in; background:none; }
#post-body .technical-figure-link:focus-visible { outline:3px solid #487b71; outline-offset:4px; }
#post-body .technical-figure-hint { font-size:12px; color:#657365; text-align:center; margin-top:-8px; }
#post-body .technical-figure { margin:32px 0; padding:0; background:transparent; }
#post-body .article-figure { display:block; width:100%; height:1000px; border:0; outline:0; box-shadow:none; overflow:hidden; margin:0; background:transparent; }
#post-body .figure-static { display:none; }
#post-body .technical-figure .technical-figure-link { margin:0; }
/* Keep code layout independent of article tables and theme language badges. */
#post-body .technical-code-block { position:relative; padding:0; background:#f6f7f6; border:1px solid #e3e7e2; border-radius:6px; overflow:hidden; }
#post-body .technical-code-block::before,#post-body .technical-code-block td.code::before { content:none; display:none; }
#post-body .btn-copy { display:none !important; }
#post-body .code-toolbar { display:flex; align-items:center; justify-content:space-between; gap:16px; min-height:34px; padding:0 12px; border-bottom:1px solid #e3e7e2; font-family:inherit; }
#post-body .code-language { color:#737b73; font-size:11px; line-height:1.4; }
#post-body .copy-code { appearance:none; position:static; margin:0; border:0; box-shadow:none; background:transparent; color:#526454; border-radius:3px; padding:5px 0 5px 10px; font:12px/1.4 system-ui,sans-serif; cursor:pointer; }
#post-body .copy-code:hover { color:#243f2a; }
#post-body .copy-code:focus-visible { outline:2px solid #487b71; outline-offset:2px; }
#post-body .technical-code-block > table { margin:0; font-size:13px; }
#post-body .technical-code-block td { min-width:0; }
#post-body .technical-code-block td.gutter { min-width:0; padding:12px 10px 12px 14px; background:#f6f7f6; vertical-align:top; }
#post-body .technical-code-block td.gutter pre { color:#9aa198; }
#post-body .technical-code-block td.code { padding:12px 16px 12px 8px; }
#post-body .technical-code-block > pre { margin:0; padding:12px 16px; }
@media(max-width:600px){#post-body .katex{font-size:.98em}#post-body h2{font-size:23px}#post-body .arithmetic-lab{height:880px}#post-body .kl-lab{height:960px}#post-body details{padding:14px}#post-body table{font-size:13px}}
@media print{#post-body details{display:block}#post-body .article-lab,#post-body .copy-code{display:none}}
@media print{#post-body .article-figure{display:none}#post-body .figure-static{display:block}#post-body .technical-figure{break-inside:avoid}}