/* kenlm site — clean dark theme, monospace-friendly, responsive */
:root {
    --bg: #0d1117;
    --bg-elevated: #161b22;
    --border: #30363d;
    --fg: #e6edf3;
    --fg-muted: #8b949e;
    --accent: #58a6ff;
    --accent-strong: #1f6feb;
    --maxw: 920px;
    --radius: 6px;
    --mono: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;
    --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
}

* { box-sizing: border-box; }

html { scroll-behavior: smooth; }

body {
    margin: 0;
    background: var(--bg);
    color: var(--fg);
    font-family: var(--sans);
    line-height: 1.6;
    font-size: 16px;
}

.wrap {
    max-width: var(--maxw);
    margin: 0 auto;
    padding: 2rem 1.5rem 4rem;
}

a {
    color: var(--accent);
    text-decoration: none;
}
a:hover { text-decoration: underline; }

/* ─── typography ─── */
h1, h2, h3, h4 { line-height: 1.25; margin-top: 2rem; }
h1 { font-size: 2.4rem; margin-top: 0; border-bottom: 1px solid var(--border); padding-bottom: .5rem; }
h2 { font-size: 1.6rem; border-bottom: 1px solid var(--border); padding-bottom: .35rem; }
h3 { font-size: 1.2rem; }
.kicker { color: var(--fg-muted); margin: -0.5rem 0 1rem; }

p, ul, ol, table { margin: 1rem 0; }
ul, ol { padding-left: 1.5rem; }
li { margin: .3rem 0; }

/* ─── code ─── */
code, pre { font-family: var(--mono); font-size: 0.92em; }
code {
    background: var(--bg-elevated);
    padding: 0.15em 0.4em;
    border-radius: 4px;
    border: 1px solid var(--border);
}
pre {
    background: var(--bg-elevated);
    padding: 1rem 1.1rem;
    border-radius: var(--radius);
    overflow-x: auto;
    border: 1px solid var(--border);
    line-height: 1.45;
}
pre code {
    background: transparent;
    padding: 0;
    border: 0;
    font-size: 1em;
}

/* ─── tables ─── */
table {
    width: 100%;
    border-collapse: collapse;
    margin: 1rem 0;
    font-size: 0.94em;
}
th, td {
    border: 1px solid var(--border);
    padding: .55rem .75rem;
    text-align: left;
    vertical-align: top;
}
th { background: var(--bg-elevated); font-weight: 600; }
tbody tr:nth-child(even) { background: rgba(255,255,255,.015); }

/* ─── header / nav ─── */
header.page {
    padding: 1.25rem 0 0.5rem;
    border-bottom: 1px solid var(--border);
}
.crumbs {
    font-size: 0.9em;
    color: var(--fg-muted);
    margin-bottom: 0.5rem;
}
.crumbs a { color: var(--fg-muted); }
.toc {
    background: var(--bg-elevated);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 0.5rem 1.25rem;
    margin: 1rem 0 2rem;
    font-size: 0.95em;
}
.toc h2 { font-size: 1rem; margin: 0.5rem 0 0.25rem; border: 0; padding: 0; }
.toc ol { margin: 0; padding-left: 1.25rem; columns: 2; }
.toc li { break-inside: avoid; }

/* ─── landing-page hero ─── */
.hero {
    text-align: center;
    padding: 3rem 1rem 2rem;
    border-bottom: 1px solid var(--border);
    margin-bottom: 2rem;
}
.hero .byline {
    color: var(--fg-muted);
    font-size: 0.95rem;
    max-width: 640px;
    margin: 0.5rem auto 1.5rem;
    line-height: 1.55;
}
.hero .byline b { color: var(--fg); }
.hero .cpu-note {
    color: var(--fg-muted);
    font-size: 0.9rem;
    margin: -0.8rem auto 1rem;
}
.hero .cpu-note b { color: var(--accent); }
.hero h1 {
    font-size: 3.2rem;
    border: 0;
    padding: 0;
    margin: 0;
    letter-spacing: -0.02em;
}
.hero .tagline {
    color: var(--fg-muted);
    font-size: 1.15rem;
    max-width: 640px;
    margin: 1rem auto 1.5rem;
}
.hero .meta {
    font-size: 0.9rem;
    color: var(--fg-muted);
    margin-bottom: 0;
}
.hero .meta code {
    background: var(--bg-elevated);
    border: 1px solid var(--border);
}

.cta {
    display: inline-block;
    padding: 0.65rem 1.25rem;
    border-radius: var(--radius);
    background: var(--accent-strong);
    color: white !important;
    font-weight: 600;
    border: 1px solid var(--accent-strong);
    margin: 0 .35rem .35rem;
}
.cta:hover { background: #1858bf; text-decoration: none; }
.cta.secondary {
    background: transparent;
    color: var(--accent) !important;
    border-color: var(--border);
}

/* ─── download grid ─── */
.platforms {
    display: grid;
    gap: .8rem;
    grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));
    margin: 1rem 0 0.5rem;
}
.platform {
    padding: .85rem 1rem;
    border: 1px solid var(--border);
    border-radius: var(--radius);
    background: var(--bg-elevated);
    transition: border-color .15s, transform .15s;
}
.platform:hover { border-color: var(--accent); }
.platform.highlight {
    border-color: var(--accent);
    box-shadow: 0 0 0 1px var(--accent);
}
.platform .badge {
    display: inline-block;
    font-size: 0.75rem;
    color: var(--accent);
    background: rgba(88,166,255,0.12);
    padding: 0.1rem 0.5rem;
    border-radius: 999px;
    margin-bottom: 0.4rem;
}
.platform .name {
    font-weight: 600;
    margin-bottom: 0.2rem;
}
.platform .hint {
    color: var(--fg-muted);
    font-size: 0.82rem;
}
.platform a.download {
    display: inline-block;
    margin-top: 0.55rem;
    font-weight: 600;
}

/* ─── cards for the "what is kenlm / tutorials" grid ─── */
.cards {
    display: grid;
    gap: 1rem;
    grid-template-columns: repeat(auto-fit, minmax(260px, 1fr));
    margin: 1.25rem 0;
}
.card {
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1.1rem 1.2rem;
    background: var(--bg-elevated);
}
.card h3 { margin-top: 0; }
.card p { margin: 0.5rem 0 0.75rem; color: var(--fg-muted); }
.card .cta { margin: 0.5rem 0 0; }

/* ─── badges in tables ─── */
.b { font-family: var(--mono); font-size: 0.85em; padding: .1em .45em; border-radius: 4px; }
.b-musl { background: rgba(63,185,80,0.12); color: #7ee787; }
.b-gnu { background: rgba(88,166,255,0.12); color: var(--accent); }
.b-macos { background: rgba(255,123,114,0.12); color: #ff7b72; }
.b-win { background: rgba(187,128,255,0.12); color: #bc8cff; }

/* ─── footer ─── */
footer {
    border-top: 1px solid var(--border);
    margin-top: 4rem;
    padding: 1.5rem 0;
    color: var(--fg-muted);
    font-size: 0.88rem;
}
footer a { color: var(--fg-muted); }
footer a:hover { color: var(--accent); }

/* ─── responsive ─── */
@media (max-width: 600px) {
    .hero h1 { font-size: 2.4rem; }
    .toc ol { columns: 1; }
}

/* ─── callout ─── */
.callout {
    background: rgba(88,166,255,0.07);
    border-left: 3px solid var(--accent);
    padding: .75rem 1rem;
    margin: 1.25rem 0;
    border-radius: 0 var(--radius) var(--radius) 0;
}
.callout p:first-child { margin-top: 0; }
.callout p:last-child { margin-bottom: 0; }

/* skip-to-main for accessibility (a11y) */
.skip {
    position: absolute; left: -9999px;
}
.skip:focus { left: 1rem; top: 1rem; background: var(--accent); color: white; padding: .4rem .6rem; border-radius: 4px; z-index: 100; }