/* Article presentation; the site's shared post styles supply the reading column. */
body.dark-mode {
    --black: #f2f2f2;
    --border: rgba(255, 255, 255, .18);
    --prompt: #8a8a8a;
    --gray-500: #a0a0a0;
    --gray-700: #e5e5e5;
}
.article-header { display: flex; justify-content: space-between; align-items: flex-start; }
.top-nav { position: static; gap: 26px; padding-top: 4px; }
.brand { color: var(--black); text-decoration: none; font: bold 16px 'Courier New', monospace; letter-spacing: .34em; }
.brand img { display: block; margin-bottom: 24px; }
.brand .brand-dark { display: none; }
.dark-mode .brand-light { display: none; }
.dark-mode .brand .brand-dark { display: block; }
.back-link { display: inline-block; margin-bottom: 28px; color: var(--prompt); font: 13px 'Courier New', monospace; text-decoration: none; }
.back-link:hover { color: var(--black); }
h1 { font-size: clamp(24px, 3vw, 32px); line-height: 1.25; letter-spacing: -.7px; margin: 18px 0 24px; text-wrap: balance; }
.byline { display: flex; flex-wrap: wrap; gap: 8px 20px; margin-bottom: 28px; color: var(--gray-500); font-size: 13px; }
.byline a { color: var(--black); text-decoration: none; }
.byline a:hover { text-decoration: underline; }
.post-hero { display: block; width: 100%; height: auto; border: 1px solid var(--border); border-radius: 8px; }
.content { border-top: 0; padding-top: 0; margin-top: 36px; }
.content h2 { font-size: 18px; line-height: 1.5; margin-top: 44px; margin-bottom: 16px; scroll-margin-top: 32px; }
.content h2:before { content: none; }
.content p, .content li { line-height: 1.75; }
.factory-steps > li { padding-left: 4px; margin-bottom: 24px; }
.factory-steps > li > p { margin: 6px 0 0; }
.proof-diagram { margin: 28px 0; padding: 12px; border: 1px solid var(--border); border-radius: 8px; background: white; overflow-x: auto; }
.content .proof-diagram a { border: 0; }
.content .proof-diagram img { width: 100%; min-width: 600px; margin: 0; }
.toc-inner { border-radius: 6px; }
a:focus-visible, button:focus-visible { outline: 2px solid var(--black); outline-offset: 4px; }
@media (max-width: 1239px) {
    .article-toc { display: block; margin-bottom: 32px; padding: 20px; border: 1px solid var(--border); border-radius: 6px; }
    .article-toc .toc-title { font: bold 13px 'Courier New', monospace; color: var(--prompt); margin-bottom: 12px; }
    .article-toc ul { display: grid; grid-template-columns: 1fr 1fr; gap: 8px 24px; list-style: none; margin: 0; padding: 0; }
    .article-toc li { font-size: 13px; line-height: 1.5; margin: 0; }
    .article-toc a { border: 0; }
    .article-toc a:hover { text-decoration: underline; }
}
@media (max-width: 600px) {
    .article-header { margin-bottom: 36px; }
    .top-nav { gap: 16px; }
    h1 { letter-spacing: -.4px; }
    .article-toc ul { grid-template-columns: 1fr; }
    .content h2 { font-size: 17px; }
}
@media (prefers-reduced-motion: reduce) {
    html { scroll-behavior: auto; }
    body, a, button { transition: none; }
}