:root {
    --bg-color: #fff;
    --text-color: #000;
    --text-secondary: #333;
    --text-muted: #555;
    --border-color: #000;
    --selection-bg: #000;
    --selection-text: #fff;
}

* {
    box-sizing: border-box;
}

body {
    margin: 0;
    padding: 1rem;
    font-family: "Helvetica", "Arial", serif;
    background-image: url("background.svg");
    background-size: 128px;
    background-repeat: repeat;
    color: var(--text-color);
}

::selection {
    color: var(--selection-text);
    background-color: var(--selection-bg);
}

a {
    color: var(--text-color);
    text-decoration-line: underline;
    text-decoration-thickness: 1px;
    text-decoration-color: var(--text-muted);
    text-underline-offset: 3px;
    transition: background-color 0.12s ease, color 0.12s ease, text-decoration-color 0.12s ease;
}

a:hover {
    background-color: var(--text-color);
    color: var(--bg-color);
    text-decoration-color: var(--text-color);
}

a:focus-visible {
    outline: 2px solid var(--text-color);
    outline-offset: 2px;
}

.page {
    max-width: 1100px;
    width: 96%;
    margin: 0 auto;
    padding: 2rem 3rem;
    border: 1px solid var(--border-color);
    background-color: var(--bg-color);
}

@media (max-width: 600px) {
    .page {
        width: 100%;
        margin-left: 0;
        margin-right: 0;
        padding: 1rem;
    }
}

.titlebar {
    display: flex;
    align-items: flex-start;
    justify-content: space-between;
    gap: 1rem;
}

@media (max-width: 600px) {
    .titlebar {
        padding: 1rem 0;
        flex-wrap: wrap;
    }
}

.title h1 {
    display: block;
    font-size: 2rem;
    font-weight: 700;
    line-height: 1.15;
    letter-spacing: -0.01em;
    margin: 0 0 0.0rem;
    color: var(--text-color);
}

.subtitle {
    font-size: 1rem;
    font-weight: 400;
    font-style: italic;
    /* font-family: "STIX Two Text", "STIX Two Math", Georgia, serif; */
    color: var(--text-muted);
    margin-top: 0.25rem;
    line-height: 1.4;
}

.section-title {
    display: block;
    font-size: 1.2rem;
    font-weight: 700;
    line-height: 1.15;
    color: var(--text-color);
    margin: 0 0 0.75rem;
}

.divider {
    border: none;
    border-top: 1px solid var(--border-color);
    margin: 1.5rem 0;
}

p {
    color: var(--text-secondary);
    line-height: 1.5;
    font-size: 0.95rem;
    margin: 0 0 1rem;
}

pre {
    border: 1px solid var(--border-color);
    padding: 1rem;
    margin: 0 0 1rem;
    overflow-x: auto;
    background: transparent;
}

pre code.hljs {
    background: transparent;
    padding: 0;
}

code {
    font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
    font-size: 0.85rem;
}

.tag {
    display: inline-block;
    font-weight: 700;
    letter-spacing: 0.1em;
    color: #fff;
    background-color: #000;
    border: 1px solid var(--border-color);
    font-size: 0.7rem;
    padding: 0.3rem 0.6rem;
}

.disclaimer {
    display: block;
    font-size: 0.8rem;
    font-style: italic;
    color: var(--text-muted);
    border-left: 2px solid var(--border-color);
    padding-left: 0.75rem;
    margin-top: 0.75rem;
    line-height: 1.5;
}

.lang-tau-yet {
    display: flex;
    flex-direction: column;
    gap: 0.5rem;
    padding: 1rem;
    margin-top: 1rem;
    margin-bottom: 1rem;
    border: 1px solid transparent;
}


.lang-tau-yet-header {
    display: flex;
    align-items: center;
    gap: 0.75rem;
    flex-wrap: wrap;
}

.lang-tau-yet .lang-name {
    font-weight: 700;
}

.lang-tau-yet .lang-desc {
    margin: 0;
}

/* Source links (raw URLs) inside each language card read as footnotes,
   not inline prose links, so they get a quieter, citation-style treatment
   instead of the full invert-on-hover used elsewhere. */
.lang-tau-yet>a {
    display: inline-block;
    align-self: flex-start;
    font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
    font-size: 0.78rem;
    line-height: 1.4;
    color: var(--text-muted);
    text-decoration: none;
    border-bottom: 1px solid var(--text-muted);
    padding-bottom: 1px;
    word-break: break-all;
    max-width: 100%;
}

.lang-tau-yet>a:hover {
    color: var(--text-color);
    background-color: transparent;
    border-bottom-color: var(--text-color);
}

.lang-tau-yet>a:focus-visible {
    outline-offset: 3px;
}

.lang-tau-yet.tau-status-yes {
    background-color: rgba(10, 122, 47, 0.1);
    border-color: #06531f;
}

.lang-tau-yet.tau-status-no {
    background-color: rgba(179, 38, 30, 0.1);
    border-color: #7a1a15;
}

.lang-tau-yet.tau-status-misc {
    background-color: rgba(138, 109, 0, 0.1);
    border-color: #5c4800;
}

.tau-status-indicator {
    display: block;
    width: fit-content;
    font-weight: 700;
    letter-spacing: 0.1em;
    font-size: 0.7rem;
    background: transparent;
    padding: 0.4rem 0.75rem;
}

.tau-status-indicator::before {
    letter-spacing: 0.1em;
}

.tau-status-yes .tau-status-indicator {
    color: #fff;
    background-color: #0a7a2f;
    border: 1px solid #0a7a2f;
}

.tau-status-no .tau-status-indicator {
    color: #fff;
    background-color: #b3261e;
    border: 1px solid #b3261e;

}

.tau-status-misc .tau-status-indicator {
    color: #fff;
    background-color: #8a6d00;
    border: 1px solid #8a6d00;

}

.tau-status-indicator::before {
    letter-spacing: 0.1em;
}

.tau-status-yes .tau-status-indicator::before {
    content: "YES :D";
}

.tau-status-misc .tau-status-indicator::before {
    content: "PASS :|";
}

.tau-status-no .tau-status-indicator::before {
    content: "NO :(";
}

.update-note {
    font-size: 0.85rem;
    font-style: italic;
    color: var(--text-muted);
    border-left: 2px solid var(--text-muted);
    padding-left: 0.75rem;
    margin-top: -0.25rem;
}

.update-note strong {
    font-style: normal;
    color: var(--text-color);
}

.tau,
.pi,
.op-dot,
.tau-title-symbol,
.math {
    font-family: "STIX Two Text", "STIX Two Math", "Cambria Math", "Latin Modern Math", Georgia, "Times New Roman", serif;
    font-style: italic;
    line-height: 1;
}

.tau,
.pi,
.op-dot,
.math {
    font-weight: 700;
    color: var(--text-color);
    font-size: 1.35em;
    vertical-align: -0.08em;
}

.tau .section-title {
    font-weight: bold;
    font-size: 2rem;
}

.tau-title-symbol {
    color: var(--text-color);
    font-weight: 700;
    font-size: 1.5em;
    vertical-align: -0.12em;
}

.math {
    white-space: nowrap;
}

.frac {
    display: inline-block;
    vertical-align: -0.5em;
    text-align: center;
    font-size: 0.85em;
    line-height: 1.15;
    margin: 0 0.15em;
}

.frac .num {
    display: block;
    border-bottom: 1px solid currentColor;
    padding: 0 0.15em;
}

.frac .den {
    display: block;
    padding: 0 0.15em;
}