/* Differences from ../style.css only. Monochrome buttons and badges. */
.brand-ko { display: inline-flex; align-items: center; gap: 10px; text-decoration: none; color: var(--fg); font-weight: 800; font-size: 1.3rem; letter-spacing: -.02em; }
.brand-ko img { display: block; height: 28px; width: 28px; }
.top-nav { display: flex; flex-wrap: wrap; gap: 6px 22px; }
.top-nav a { font: .7rem/1 var(--mono); text-transform: uppercase; letter-spacing: .14em; color: var(--muted); text-decoration: none; padding: 8px 0; }
.top-nav a:hover, .top-nav a:focus-visible { color: var(--fg); text-decoration: underline; }
@media (max-width: 900px) {
  .top-nav { order: 3; flex-basis: 100%; flex-wrap: nowrap; overflow-x: auto; gap: 18px; padding-bottom: 2px; }
  .top-nav a { white-space: nowrap; }
}
.hero { min-height: 0; padding-top: 168px; }
.hero-main { align-items: stretch; padding-bottom: 24px; display: grid; grid-template-columns: minmax(0, 5fr) minmax(0, 7fr); gap: 40px 56px; }
.hero-copy { position: static; margin: 0; max-width: 32rem; align-self: center; }
.hero-copy h1 { font-size: clamp(2.6rem, 5vw, 6rem); }
.hero-copy .lead { max-width: 28rem; }
.hero + .section { padding-top: 6rem; }
@media (max-width: 900px) { .hero-main { grid-template-columns: minmax(0, 1fr); } .hero { padding-top: 136px; } }
@media (max-width: 700px) { .hero + .section { padding-top: 5rem; } .section { padding: 5rem 0; } }
.cta-row { display: flex; flex-wrap: wrap; gap: 8px; margin: 0 0 1.4em; }
.btn { display: inline-flex; align-items: center; min-height: 44px; padding: 8px 20px; border-radius: 999px; border: 1px solid var(--faint); background: var(--card); color: var(--fg); text-decoration: none; font: .72rem/1 var(--mono); text-transform: uppercase; letter-spacing: .14em; }
.btn:hover { border-color: var(--fg); }
.btn.primary { background: var(--sel); border-color: var(--sel); color: var(--sel-fg); }
.btn.primary:hover { filter: brightness(1.1); }

.badge.ok { background: var(--sel); color: var(--sel-fg); border-color: var(--sel); }
.badge.proto { color: var(--fg); border-color: var(--fg); background: none; }
.badge.plan { color: var(--muted); border-style: dashed; }
.badge.unv { color: var(--muted); border-style: dotted; }
.badge.warn { color: var(--fg); border-color: var(--fg); border-style: double; border-width: 3px; padding: 2px 8px; }
.badge.off { color: var(--muted); background: var(--pill); }

.sub { max-width: 40rem; }
.tags { list-style: none; margin: 1.4em 0; padding: 0; display: flex; flex-wrap: wrap; gap: 8px; }
.tags li { font-size: .9rem; padding: 6px 14px; border-radius: 14px; background: var(--pill); }
.note-card { margin-top: 2rem; background: var(--card); border-radius: 28px; padding: 24px; max-width: 40rem; box-shadow: 0 1px 0 var(--faint), 0 18px 40px -28px var(--shadow); }
.note-card .mono-h { margin-bottom: 12px; }
.note-card p:last-child { margin-bottom: 0; color: var(--muted); }
.grid-cards { list-style: none; margin: 3rem 0 0; padding: 0; display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; }
.grid-cards li { background: var(--card); border-radius: 28px; padding: 24px; box-shadow: 0 1px 0 var(--faint), 0 18px 40px -28px var(--shadow); }
.grid-cards h3 { margin-bottom: .6em; }
.grid-cards p { margin: 0; color: var(--muted); font-size: .96rem; }
@media (max-width: 900px) { .grid-cards { grid-template-columns: minmax(0, 1fr); } }
.src { font: .66rem/1.6 var(--mono); text-transform: uppercase; letter-spacing: .08em; color: var(--muted) !important; max-width: 40rem; }
.src code { text-transform: none; letter-spacing: 0; }
.cols { grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 32px 64px; margin-top: 3rem; }
@media (max-width: 900px) { .cols { grid-template-columns: minmax(0, 1fr); } }
.site-footer p { margin: 0; }
.lede-label { font: .66rem/1.5 var(--mono); text-transform: uppercase; letter-spacing: .12em; color: var(--muted); margin: 0 0 12px; }

/* mock dashboard (illustrative) */
.mock { min-width: 0; }
.mock-win { background: var(--card); border-radius: 28px; box-shadow: 0 1px 0 var(--faint), 0 18px 40px -28px var(--shadow); overflow: hidden; }
.mock-top { display: flex; align-items: center; gap: 6px; padding: 12px 18px; border-bottom: 1px solid var(--faint); font: .62rem/1 var(--mono); text-transform: uppercase; letter-spacing: .12em; color: var(--muted); }
.mock-top i { width: 9px; height: 9px; border-radius: 50%; background: var(--pill); flex: none; }
.mock-top span { margin: 0 auto 0 10px; color: var(--fg); font-weight: 600; }
.mock-top b { font-weight: 500; padding: 5px 10px; border-radius: 999px; background: var(--sel); color: var(--sel-fg); }
.mock-top b.off { background: none; color: var(--muted); }
.mock-body { padding: 18px; display: grid; gap: 14px; }
.mock-h { font: .64rem/1 var(--mono); text-transform: uppercase; letter-spacing: .14em; color: var(--muted); margin: 0 0 8px; }
.stat-row { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 8px; }
.stat { background: var(--pill); border-radius: 16px; padding: 10px 12px; }
.stat b { display: block; font-size: 1.5rem; line-height: 1.1; }
.stat small { font: .6rem/1.3 var(--mono); text-transform: uppercase; letter-spacing: .1em; color: var(--muted); }
.rt { list-style: none; margin: 0; padding: 0; }
.rt li { display: grid; grid-template-columns: minmax(0, 1.4fr) minmax(0, 1fr) auto; gap: 4px 10px; align-items: center; padding: 9px 0; border-top: 1px solid var(--faint); font-size: .86rem; }
.rt li:first-child { border-top: 0; }
.rt b { font-weight: 600; overflow-wrap: anywhere; }
.rt small { color: var(--muted); font: .64rem/1.3 var(--mono); text-transform: uppercase; letter-spacing: .08em; }
.rt .badge { font-size: .56rem; padding: 3px 8px; }
.steps { list-style: none; margin: 0; padding: 0; display: grid; gap: 6px; }
.steps li { display: flex; gap: 10px; align-items: baseline; font-size: .84rem; }
.steps .d { flex: none; width: 10px; height: 10px; border-radius: 50%; border: 2px solid var(--fg); transform: translateY(1px); }
.steps .done .d { background: var(--fg); }
.steps .act .d { background: repeating-linear-gradient(45deg, var(--fg) 0 2px, var(--card) 2px 4px); }
.steps .todo .d { border-style: dashed; border-color: var(--muted); }
.steps .todo { color: var(--muted); }
.logbox { background: var(--code-bg); border-radius: 14px; padding: 12px 14px; font: .72rem/1.6 var(--mono); overflow-x: auto; white-space: pre; margin: 0; }
.mock-note { font: .62rem/1.5 var(--mono); text-transform: uppercase; letter-spacing: .1em; color: var(--muted); margin: 10px 4px 0; }
.mock-two { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 16px; }
@media (max-width: 700px) { .mock-two { grid-template-columns: minmax(0, 1fr); } .rt li { grid-template-columns: minmax(0, 1fr) auto; } .rt li small:nth-child(2) { grid-row: 2; } }

/* architecture diagram */
.arch { background: var(--card); border-radius: 28px; padding: 24px; box-shadow: 0 1px 0 var(--faint), 0 18px 40px -28px var(--shadow); margin-top: 2.5rem; }
.arch svg { display: block; width: 100%; height: auto; }
.arch text { font-family: var(--mono); fill: var(--fg); }
.arch .mut { fill: var(--muted); }
.arch figcaption { margin-top: 12px; font: .66rem/1.6 var(--mono); text-transform: uppercase; letter-spacing: .08em; color: var(--muted); }
.arch-steps { margin: 1.6rem 0 0; padding-left: 1.2em; color: var(--muted); max-width: 46rem; }
.arch-steps li { margin-bottom: .5em; }

/* status table */
.status { list-style: none; margin: 2.5rem 0 0; padding: 0; border-top: 1px solid var(--faint); }
.status li { display: grid; grid-template-columns: 9rem minmax(0, 1fr); gap: 4px 24px; padding: 18px 0; border-bottom: 1px solid var(--faint); align-items: baseline; }
.status p { margin: 0; color: var(--muted); }
.status strong { color: var(--fg); }
@media (max-width: 640px) { .status li { grid-template-columns: minmax(0, 1fr); } }
.types { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; margin-top: 2rem; }
.types div { background: var(--card); border-radius: 22px; padding: 18px 20px; }
.types p { margin: 0 0 8px; }
@media (max-width: 900px) { .types { grid-template-columns: minmax(0, 1fr); } }

/* claim model diagram */
.diag { background: var(--card); border-radius: 28px; padding: 24px; box-shadow: 0 1px 0 var(--faint), 0 18px 40px -28px var(--shadow); margin-top: 2rem; }
.diag svg { display: block; width: 100%; height: auto; }
.diag text { font-family: var(--mono); fill: var(--fg); }
.diag .mut { fill: var(--muted); }
.diag figcaption { margin-top: 12px; font: .66rem/1.6 var(--mono); text-transform: uppercase; letter-spacing: .08em; color: var(--muted); }
.tiers { list-style: none; margin: 1.5rem 0 0; padding: 0; display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 10px; }
.tiers li { background: var(--card); border-radius: 18px; padding: 14px 16px; font-size: .9rem; }
.tiers li b { display: block; font: .66rem/1.4 var(--mono); text-transform: uppercase; letter-spacing: .1em; margin-bottom: 6px; }
.tiers li span { color: var(--muted); font-size: .82rem; }
.tiers li:nth-child(1) { border: 1px dotted var(--muted); }
.tiers li:nth-child(2) { border: 1px solid var(--faint); }
.tiers li:nth-child(3) { border: 1px solid var(--fg); }
.tiers li:nth-child(4) { background: var(--sel); color: var(--sel-fg); }
.tiers li:nth-child(4) span { color: #cfcfc8; }
@media (max-width: 900px) { .tiers { grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); } }
@media (max-width: 480px) { .tiers { grid-template-columns: minmax(0, 1fr); } }
.tbl-wrap { overflow-x: auto; margin-top: 2rem; background: var(--card); border-radius: 22px; padding: 6px 16px; }
.tbl { width: 100%; border-collapse: collapse; font-size: .88rem; min-width: 560px; }
.tbl th { text-align: left; font: .62rem/1.3 var(--mono); text-transform: uppercase; letter-spacing: .1em; color: var(--muted); padding: 12px 10px; border-bottom: 1px solid var(--faint); }
.tbl td { padding: 11px 10px; border-bottom: 1px solid var(--faint); vertical-align: top; }
.tbl tr:last-child td { border-bottom: 0; }
.tbl-note { font: .66rem/1.6 var(--mono); text-transform: uppercase; letter-spacing: .08em; color: var(--muted); margin: 10px 4px 0; }
.mini { background: var(--card); border-radius: 28px; padding: 20px; box-shadow: 0 1px 0 var(--faint), 0 18px 40px -28px var(--shadow); }
.mini svg { display: block; width: 100%; height: auto; }
.mini text { font-family: var(--mono); fill: var(--fg); }
.mini .mut { fill: var(--muted); }

/* mobile: figures keep a readable size and scroll sideways inside their card */
.arch, .diag { margin-left: 0; margin-right: 0; overflow-x: auto; }
.arch svg { min-width: 680px; }
.diag svg { min-width: 680px; }
@media (max-width: 640px) { .arch, .diag { padding: 14px; border-radius: 22px; } }
@media (max-width: 640px) { .mini { padding: 12px; } .mini svg { min-width: 0; } }