/* Inner pages (help, policies, get the app, open-in-app): extends styles.css tokens. */

.page-shell {
    width: 100%;
    max-width: 1100px;
    min-width: 0;
    margin: 0 auto;
    padding: 0 16px;
    flex: 1;
    display: flex;
    flex-direction: column;
}

/* ---- Masthead ------------------------------------------------------- */

.page-masthead {
    display: flex;
    align-items: center;
    justify-content: flex-end;
    flex-wrap: wrap;
    gap: var(--space-sm);
    padding: var(--space-md) 0 var(--space-sm);
    border-bottom: 1px solid rgba(255, 255, 255, 0.08);
    text-align: left;
}

.page-nav {
    display: flex;
    flex-wrap: wrap;
    gap: 0.4rem var(--space-sm);
}

.page-nav a {
    color: rgba(255, 255, 255, 0.65);
    text-decoration: none;
    font-family: var(--font-mono);
    font-size: var(--text-xs);
    letter-spacing: 0.14em;
    text-transform: uppercase;
    padding: 0.35rem 0;
    transition: var(--transition);
}

.page-nav a:hover,
.page-nav a:focus-visible,
.page-nav a[aria-current="page"] { color: var(--color-white); }

/* ---- Reading column ------------------------------------------------- */

main.doc {
    min-width: 0;
    max-width: 44rem;
    padding: var(--space-lg) 0 var(--space-xl);
    overflow-wrap: anywhere;
}

.doc-eyebrow {
    font-family: var(--font-mono);
    font-size: var(--text-xs);
    letter-spacing: 0.2em;
    text-transform: uppercase;
    color: rgba(255, 255, 255, 0.5);
    margin-bottom: var(--space-xs);
}

.doc h1 {
    font-size: clamp(1.75rem, 5vw, var(--text-2xl));
    font-weight: var(--weight-thin);
    letter-spacing: 0.02em;
    line-height: 1.2;
    margin-bottom: var(--space-md);
}

.doc h2 {
    font-size: clamp(1.3rem, 3.6vw, var(--text-xl));
    font-weight: var(--weight-thin);
    letter-spacing: 0.03em;
    line-height: 1.3;
    margin: var(--space-lg) 0 var(--space-sm);
    padding-bottom: var(--space-xs);
    border-bottom: 1px solid rgba(147, 51, 234, 0.2);
}

.doc h3 {
    font-size: var(--text-lg);
    font-weight: var(--weight-light);
    line-height: 1.35;
    margin: var(--space-md) 0 var(--space-xs);
}

.doc h4 {
    font-size: var(--text-base);
    font-weight: var(--weight-normal);
    margin: var(--space-sm) 0 var(--space-xs);
}

.doc h2[id], .doc h3[id] { scroll-margin-top: var(--space-sm); }

.doc p,
.doc li {
    font-size: var(--text-base);
    line-height: 1.8;
    color: rgba(255, 255, 255, 0.86);
}

.doc p { margin-bottom: var(--space-sm); }

.doc p.lede {
    font-size: var(--text-lg);
    line-height: 1.65;
    color: rgba(255, 255, 255, 0.95);
    margin-bottom: var(--space-md);
}

.doc ul, .doc ol { margin: 0 0 var(--space-sm) 1.25rem; }
.doc li { margin-bottom: 0.35rem; padding-left: 0.2rem; }

.doc strong { font-weight: var(--weight-normal); color: var(--color-white); }
.doc em { font-style: italic; }

.doc a {
    color: var(--color-turquoise);
    text-decoration: underline;
    text-decoration-color: rgba(64, 224, 208, 0.35);
    text-underline-offset: 3px;
}

.doc a:hover { text-decoration-color: var(--color-turquoise); }

.doc code {
    font-family: var(--font-mono);
    font-size: 0.88em;
    padding: 0.05em 0.3em;
    background: rgba(255, 255, 255, 0.06);
    border-radius: 3px;
}

.doc hr {
    border: 0;
    border-top: 1px solid rgba(255, 255, 255, 0.1);
    margin: var(--space-lg) 0;
}

.doc blockquote {
    margin: var(--space-md) 0;
    padding: var(--space-sm) var(--space-sm) var(--space-xs);
    border-left: 2px solid rgba(147, 51, 234, 0.5);
    background: rgba(147, 51, 234, 0.05);
}

.doc blockquote p { font-size: var(--text-sm); }

/* Tables scroll inside their own box so the page never scrolls sideways. */
.table-wrap {
    overflow-x: auto;
    margin: 0 0 var(--space-md);
    border: 1px solid rgba(255, 255, 255, 0.08);
}

.doc table {
    border-collapse: collapse;
    width: 100%;
    min-width: 32rem;
    font-size: var(--text-sm);
    overflow-wrap: normal;
}

.doc th, .doc td {
    text-align: left;
    vertical-align: top;
    padding: 0.6rem 0.75rem;
    border-bottom: 1px solid rgba(255, 255, 255, 0.08);
    line-height: 1.6;
    color: rgba(255, 255, 255, 0.86);
}

.doc th {
    font-weight: var(--weight-normal);
    color: var(--color-white);
    background: rgba(255, 255, 255, 0.03);
}

.doc-status {
    font-family: var(--font-mono);
    font-size: var(--text-xs) !important;
    letter-spacing: 0.06em;
    line-height: 1.6 !important;
    color: rgba(255, 215, 0, 0.92) !important;
    border: 1px solid rgba(255, 215, 0, 0.25);
    background: rgba(255, 215, 0, 0.04);
    padding: 0.6rem 0.8rem;
    margin-bottom: var(--space-md) !important;
}

.doc-meta {
    margin-top: var(--space-lg);
    padding-top: var(--space-sm);
    border-top: 1px solid rgba(255, 255, 255, 0.08);
    font-family: var(--font-mono);
    font-size: var(--text-xs) !important;
    letter-spacing: 0.08em;
    color: rgba(255, 255, 255, 0.45) !important;
}

/* Principles page cards, from the policy source markup. */
.invariant-card {
    margin: var(--space-md) 0;
    padding: var(--space-sm) var(--space-sm) var(--space-xs);
    border-left: 2px solid rgba(147, 51, 234, 0.5);
    background: rgba(147, 51, 234, 0.04);
}

.invariant-number {
    display: block;
    font-family: var(--font-mono);
    font-size: var(--text-xs);
    letter-spacing: 0.2em;
    text-transform: uppercase;
    color: rgba(192, 132, 252, 0.95);
    margin-bottom: var(--space-xs);
}

.invariant-card h3 { margin-top: 0; }
.invariant-card p { font-size: var(--text-sm); }
.invariant-card p.plain { font-size: var(--text-base); color: var(--color-white); }

.proof-stamp {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(11rem, 1fr));
    gap: var(--space-xs);
    margin: 0 0 var(--space-md);
}

.proof-cell {
    padding: 0.6rem 0.75rem;
    border: 1px solid rgba(255, 255, 255, 0.1);
    font-size: var(--text-sm);
    color: rgba(255, 255, 255, 0.75);
}

.proof-strong {
    display: block;
    font-family: var(--font-mono);
    font-size: var(--text-xs);
    letter-spacing: 0.16em;
    text-transform: uppercase;
    color: var(--color-turquoise);
}

/* ---- Docs layout: article, then the list of pages ------------------- */

.docs-layout {
    display: grid;
    grid-template-columns: minmax(0, 1fr) 14rem;
    gap: var(--space-xl);
    align-items: start;
    flex: 1;
}

.docs-nav {
    position: sticky;
    top: var(--space-md);
    padding: var(--space-lg) 0;
    font-size: var(--text-sm);
}

.docs-nav h2 {
    font-family: var(--font-mono);
    font-size: var(--text-xs);
    font-weight: var(--weight-light);
    letter-spacing: 0.2em;
    text-transform: uppercase;
    color: rgba(255, 255, 255, 0.45);
    margin: var(--space-sm) 0 var(--space-xs);
}

.docs-nav h2:first-child { margin-top: 0; }
.docs-nav ul { list-style: none; margin-bottom: var(--space-sm); }

.docs-nav a {
    display: block;
    padding: 0.3rem 0;
    color: rgba(255, 255, 255, 0.7);
    text-decoration: none;
}

.docs-nav a:hover { color: var(--color-white); }
.docs-nav a[aria-current="page"] { color: var(--color-turquoise); }

.docs-index-list { list-style: none; margin: 0 0 var(--space-md) !important; }
.docs-index-list li { margin-bottom: var(--space-sm); padding: 0; }
.docs-index-list a { font-size: var(--text-lg); }
.docs-index-list p { margin: 0.2rem 0 0; font-size: var(--text-sm); color: rgba(255, 255, 255, 0.65); }

/* ---- Get the app and open-in-app ------------------------------------ */

.get-app { display: flex; flex-direction: column; }
.get-app-section { padding-bottom: var(--space-sm); }

body[data-platform="android"] #android,
body[data-platform="ios"] #iphone { order: -1; }

.get-app-section .needs {
    font-family: var(--font-mono);
    font-size: var(--text-xs) !important;
    letter-spacing: 0.1em;
    text-transform: uppercase;
    color: rgba(255, 255, 255, 0.55) !important;
}

.steps { counter-reset: step; list-style: none; margin-left: 0 !important; }

.steps li {
    counter-increment: step;
    position: relative;
    padding-left: 2.25rem;
    margin-bottom: var(--space-sm);
}

.steps li::before {
    content: counter(step);
    position: absolute;
    left: 0;
    top: 0.1rem;
    width: 1.6rem;
    height: 1.6rem;
    display: grid;
    place-items: center;
    border: 1px solid rgba(64, 224, 208, 0.5);
    border-radius: 50%;
    font-family: var(--font-mono);
    font-size: var(--text-xs);
    color: var(--color-turquoise);
}

.doc a.action {
    display: inline-block;
    margin-top: 0.35rem;
    padding: 0.55rem 1rem;
    border: 1px solid var(--color-turquoise);
    color: var(--color-white);
    text-decoration: none;
    font-family: var(--font-mono);
    font-size: var(--text-xs);
    letter-spacing: 0.14em;
    text-transform: uppercase;
    transition: var(--transition);
}

.doc [hidden] { display: none !important; }

.doc a.action:hover,
.doc a.action:focus-visible { background: rgba(64, 224, 208, 0.12); }

.doc .note {
    font-size: var(--text-sm);
    color: rgba(255, 255, 255, 0.65);
}

/* ---- Responsive ----------------------------------------------------- */

@media (max-width: 860px) {
    .docs-layout { grid-template-columns: minmax(0, 1fr); gap: 0; }
    .docs-nav {
        position: static;
        padding: var(--space-md) 0;
        border-top: 1px solid rgba(255, 255, 255, 0.08);
    }
    main.doc { padding-top: var(--space-md); }
}

@media (max-width: 480px) {
    .page-masthead { display: flex; flex-direction: column; align-items: flex-start; }
    .doc table { min-width: 28rem; }
}

@media print {
    body { background: #fff; color: #111; }
    .strip, .page-nav, .docs-nav, .skip-link { display: none; }
    .doc p, .doc li, .doc td, .doc th, .doc h1, .doc h2, .doc h3 { color: #111; }
    .doc a { color: #15564d; }
}