:root {
        --bg-color: #ffffff;
        --text-color: #000000;
        --link-color: #0000ee;
        --link-visited: #551a8b;
        --border-color: #000000;
        --pre-bg: #f5f5f5;
        --highlight-color: #b00000;
    }

    @media (prefers-color-scheme: dark) {
        :root {
            --bg-color: #121212;
            --text-color: #e0e0e0;
            --link-color: #8ab4f8;
            --link-visited: #c5a3e8;
            --border-color: #444444;
            --pre-bg: #1e1e1e;
            --highlight-color: #ff3333;
        }
    }

    body {
        background-color: var(--bg-color);
        color: var(--text-color);
        font-family: "Times New Roman", Times, serif;
        line-height: 1.4;
        max-width: 800px;
        margin: 20px auto;
        padding: 0 15px;
    }

    h1,
    h2,
    h3,
    h4 {
        font-family: "Times New Roman", Times, serif;
        margin-top: 1.5em;
        margin-bottom: 0.5em;
    }

    h1 {
        border-bottom: 4px double var(--border-color);
        padding-bottom: 5px;
    }

    h2 {
        border-bottom: 1px solid var(--border-color);
        padding-bottom: 3px;
    }

    a {
        color: var(--link-color);
    }

    a:visited {
        color: var(--link-visited);
    }

    hr {
        border: 0;
        border-top: 1px solid var(--border-color);
        margin: 20px 0;
    }

    table {
        width: 100%;
        border-collapse: collapse;
        margin: 15px 0;
    }

    th,
    td {
        border: 1px solid var(--border-color);
        padding: 6px 10px;
        text-align: left;
        font-family: monospace;
        font-size: 13px;
    }

    th {
        background-color: var(--pre-bg);
    }

    pre {
        background-color: var(--pre-bg);
        border: 1px solid var(--border-color);
        padding: 12px;
        overflow-x: auto;
        font-family: monospace, Courier, monospace;
        font-size: 13px;
        white-space: pre-wrap;
        line-height: 1.3;
    }

    .tldr-box {
        border: 3px double var(--highlight-color);
        padding: 15px;
        margin: 20px 0;
        background-color: var(--pre-bg);
    }

    .tldr-header {
        color: var(--highlight-color);
        font-weight: bold;
        margin-top: 0;
        text-transform: uppercase;
        font-family: monospace;
    }

    .license-nav {
        margin: 15px 0;
        padding: 10px;
        border: 1px dashed var(--border-color);
        background-color: var(--pre-bg);
    }

    .license-nav ul {
        margin: 5px 0;
        padding-left: 20px;
    }

    .text-center {
        text-align: center;
        font-size: 12px; margin-bottom: 30px;
    }

    .indented {
        margin-left: 20px;
    }

    /* Tab navigation style */
    .tab-container {
        margin-top: 20px;
    }

    .tab-buttons {
        border-bottom: 1px solid var(--border-color);
        padding-bottom: 2px;
    }

    .tab-btn {
        background-color: var(--pre-bg);
        border: 1px solid var(--border-color);
        color: var(--text-color);
        font-family: "Times New Roman", Times, serif;
        font-size: 14px;
        padding: 4px 10px;
        cursor: pointer;
        margin-right: 3px;
    }

    .tab-btn.active {
        background-color: var(--bg-color);
        border-bottom: 1px solid transparent;
        font-weight: bold;
    }

    .tab-content {
        display: none;
        padding: 15px 0;
    }

    .tab-content.active {
        display: block;
    }