* { margin: 0; padding: 0; box-sizing: border-box; }
html { scroll-behavior: smooth; }
:root {
    --black: #000000;
    --gray-900: #111111;
    --gray-700: #374151;
    --gray-600: #4b5563;
    --gray-500: #6b7280;
    --gray-400: #9ca3af;
    --gray-300: #d1d5db;
    --gray-200: #e5e7eb;
    --gray-100: #f3f4f6;
    --gray-50: #f9fafb;
    --white: #ffffff;
    --font-sans: 'IBM Plex Sans', -apple-system, sans-serif;
    --font-mono: 'IBM Plex Mono', monospace;
}
html, body { height: 100%; }
body {
    font-family: var(--font-sans);
    background: var(--white);
    color: var(--black);
    display: flex;
    flex-direction: column;
    min-height: 100vh;
}
/* Stats Bar */
.stats-bar {
    display: flex;
    justify-content: center;
    gap: 3rem;
    flex-wrap: wrap;
    padding: 0.75rem 2rem;
    border-bottom: 1px solid var(--gray-200);
    font-size: 0.8rem;
    color: var(--gray-500);
}
.stat { display: flex; align-items: center; gap: 0.4rem; }
.stat-value { font-family: var(--font-mono); font-weight: 400; color: var(--black); }
.stat-link {
    display: flex;
    align-items: center;
    gap: 0.4rem;
    text-decoration: none;
    color: inherit;
    padding: 0.25rem 0.5rem;
    border-radius: 4px;
    transition: background 0.15s;
}
.stat-link:hover { background: var(--gray-100); }
.stat-link:hover .stat-value { text-decoration: underline; }
/* Back link */
.back-link {
    display: inline-block;
    font-family: var(--font-mono);
    font-size: 0.75rem;
    color: var(--gray-400);
    text-decoration: none;
    padding: 1rem 2rem 0;
    transition: color 0.15s;
}
.back-link:hover { color: var(--black); }
/* Main */
.main {
    flex: 1;
    display: flex;
    flex-direction: column;
    align-items: center;
    padding: 2rem;
    padding-top: 3rem;
}
/* Logo */
.logo-section { text-align: center; margin-bottom: 2rem; }
.logo {
    display: flex;
    align-items: baseline;
    justify-content: center;
    gap: 0.25rem;
    margin-bottom: 0.5rem;
    user-select: none;
}
.logo a {
    display: flex;
    align-items: baseline;
    gap: 0.25rem;
    text-decoration: none;
    color: inherit;
}
.logo-mascot { height: 1.76rem; image-rendering: pixelated; margin-bottom: 0.29rem; }
.logo-text-img { height: 4.13rem; image-rendering: pixelated; }
.logo-mark-img {
    height: 1.83rem;
    margin-left: -0.6rem;
    margin-bottom: 0.29rem;
    animation: tau-spin 10s linear infinite;
}
@keyframes tau-spin {
    from { transform: rotateY(0deg); }
    to { transform: rotateY(-360deg); }
}
.acronym {
    font-size: 0.75rem;
    font-family: var(--font-mono);
    letter-spacing: 0.02em;
    color: var(--gray-400);
    margin-bottom: 0.75rem;
}
.tagline { margin-top: 0; font-size: 0.85rem; color: var(--gray-500); line-height: 1.6; }
.tagline strong { color: var(--black); font-weight: 400; }
.positioning {
    margin-top: 0.75rem;
    font-size: 0.8rem;
    color: var(--gray-500);
    font-style: italic;
    letter-spacing: 0.01em;
}
/* Errata Content */
.errata-content {
    max-width: 660px;
    width: 100%;
}
.errata-entry {
    border-top: 1px solid var(--gray-200);
    padding-top: 2.5rem;
    margin-bottom: 3rem;
}
.entry-header {
    display: flex;
    align-items: center;
    gap: 0.75rem;
    margin-bottom: 0.5rem;
    flex-wrap: wrap;
}
.entry-id {
    font-family: var(--font-mono);
    font-size: 0.7rem;
    font-weight: 500;
    letter-spacing: 0.03em;
    color: var(--gray-500);
    background: var(--gray-100);
    padding: 0.2rem 0.5rem;
    border-radius: 3px;
}
.severity {
    font-family: var(--font-mono);
    font-size: 0.6rem;
    font-weight: 500;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    padding: 0.2rem 0.5rem;
    border-radius: 3px;
}
.severity-low { background: #f0fdf4; color: #166534; }
.severity-medium { background: #fffbeb; color: #92400e; }
.severity-high { background: #fef2f2; color: #991b1b; }
.severity-critical { background: #450a0a; color: #fecaca; }
.entry-title {
    font-size: 1rem;
    font-weight: 500;
    color: var(--black);
    margin-bottom: 1.5rem;
}
/* Detail table */
.entry-details {
    width: 100%;
    border-collapse: collapse;
    margin-bottom: 2rem;
}
.entry-details td {
    padding: 0.6rem 0;
    border-bottom: 1px solid var(--gray-100);
    font-size: 0.8rem;
    vertical-align: top;
}
.entry-details td:first-child {
    font-size: 0.75rem;
    color: var(--gray-500);
    padding-right: 1.5rem;
    white-space: nowrap;
    width: 1%;
}
.entry-details td:last-child {
    font-family: var(--font-mono);
    font-size: 0.8rem;
    color: var(--black);
}
/* Narrative sections */
.entry-section {
    margin-bottom: 1.5rem;
}
.entry-section-title {
    font-size: 0.75rem;
    font-family: var(--font-mono);
    text-transform: uppercase;
    letter-spacing: 0.08em;
    color: var(--gray-400);
    margin-bottom: 0.75rem;
}
.entry-section p {
    font-size: 0.85rem;
    line-height: 1.7;
    color: var(--gray-700);
    margin-bottom: 0.75rem;
}
.entry-section ol {
    font-size: 0.85rem;
    line-height: 1.7;
    color: var(--gray-700);
    padding-left: 1.5rem;
    margin-bottom: 0.75rem;
}
.entry-section ol li { margin-bottom: 0.25rem; }
.entry-section code {
    font-family: var(--font-mono);
    font-size: 0.78rem;
    background: var(--gray-100);
    padding: 0.1rem 0.35rem;
    border-radius: 3px;
}
/* References */
.entry-refs {
    font-size: 0.75rem;
    color: var(--gray-400);
    font-family: var(--font-mono);
    border-top: 1px solid var(--gray-100);
    padding-top: 1rem;
}
.entry-refs p { margin-bottom: 0.25rem; }
.entry-refs a {
    color: var(--gray-500);
    text-decoration: underline;
    text-decoration-color: var(--gray-300);
    text-underline-offset: 2px;
}
.entry-refs a:hover { text-decoration-color: var(--black); color: var(--black); }
/* Footer */
footer {
    padding: 1.5rem 2rem;
    border-top: 1px solid var(--gray-200);
    font-size: 0.8rem;
    color: var(--gray-400);
    text-align: center;
}
footer a { color: var(--gray-500); text-decoration: none; margin: 0 0.5rem; }
footer .quote { font-style: italic; }
footer a:hover { color: var(--black); }
footer p { margin-bottom: 0; }
footer p:last-child { margin-top: 0.5rem; }
/* Responsive */
@media (max-width: 600px) {
    .stats-bar { gap: 0.5rem 1.2rem; font-size: 0.65rem; padding: 0.5rem 1rem; }
    .stat, .stat-link { gap: 0.25rem; }
    .stat-link { padding: 0.2rem 0.3rem; }
    .logo-mascot { height: 1.3rem; margin-bottom: 0.15rem; }
    .logo-text-img { height: 2.4rem; }
    .logo-mark-img { height: 1.035rem; margin-left: -0.5rem; }
    .main { padding: 1.5rem 1rem; }
    .acronym { font-size: 0.55rem; }
    .entry-header { gap: 0.5rem; }
    .entry-title { font-size: 0.9rem; }
    .entry-details td:first-child { font-size: 0.7rem; }
    .entry-details td:last-child { font-size: 0.75rem; }
}