:root {
    --verso-structure-font-family: 'Outfit', 'Inter', system-ui, -apple-system, sans-serif;
    --verso-text-font-family: 'Outfit', 'Inter', system-ui, -apple-system, sans-serif;
    --verso-text-color: #3f3a52;
    --verso-structure-color: #4c3f77;
    --verso-toc-background-color: #f6f4fa;
    --verso-toc-border-color: #e5e2f0;
    --verso-selected-color: #ebe7f5;
}

body {
    background-color: #fdfcfd;
    font-family: var(--verso-text-font-family);
    color: var(--verso-text-color);
}

header {
    background-color: #ffffff !important;
    box-shadow: 0 2px 8px #eae6f4 !important;
    border-bottom: 1px solid #e5e2f0 !important;
}

.header-title {
    color: #4c3f77 !important;
}

/* Custom Spanned and Regular Table Styles */
table.tabular {
    border-collapse: collapse;
    border: 1px solid #e5e2f0;
    margin: 1.8rem auto;
    width: 95%;
    box-shadow: 0 4px 12px rgba(229, 226, 240, 0.4);
    border-radius: 8px;
    overflow: hidden;
}

table.tabular th, table.tabular td {
    border: 1px solid #e5e2f0;
    padding: 10px 14px;
    font-size: 0.95rem;
    text-align: left;
    vertical-align: middle;
}

table.tabular th {
    background-color: #f1edfa !important;
    color: #4c3f77 !important;
    font-weight: bold;
    text-transform: uppercase;
    font-size: 0.82rem;
    letter-spacing: 0.05em;
}

table.tabular tr:nth-child(even) {
    background-color: #faf9fc;
}

table.tabular tr:hover {
    background-color: #f5f2fb;
}

table.tabular td.event-cell {
    background-color: #fcf8fa !important;
    color: #c0392b !important;
    font-weight: bold;
    vertical-align: middle;
}

table.tabular td.full-span-header {
    font-weight: 700;
    background: linear-gradient(135deg, #4c3f77, #382d5a) !important;
    color: #ffffff !important;
    text-align: left;
    vertical-align: middle;
    font-size: 1rem;
    padding: 12px 18px;
    letter-spacing: 0.03em;
    border-top: 2px solid #6c5aa7;
}

table.tabular td.full-span-header p {
    margin: 0;
    color: #ffffff !important;
    font-weight: 700;
}


/* Inline and Block Code styling */
code, pre {
    background-color: #faf8fd;
    border: 1px solid #e5e2f0;
    color: #5b4d90;
    border-radius: 4px;
    padding: 2px 6px;
    font-size: 0.9em;
}

pre {
    padding: 12px;
    overflow-x: auto;
}

/* Custom Lists */
dt {
    color: #5b4d90;
    font-size: 1.1rem;
    margin-top: 1.2rem;
}

dd {
    margin-left: 0;
    padding-left: 1.2rem;
    border-left: 3px solid #e5e2f0;
    background-color: #faf9fc;
    padding-top: 0.5rem;
    padding-bottom: 0.5rem;
    border-radius: 0 4px 4px 0;
}

/* Links */
a {
    color: #6c5aa7;
    text-decoration: none;
    transition: color 0.2s ease;
}

a:hover {
    color: #4c3f77;
    text-decoration: underline;
}

.permalink-widget a {
    color: #b3a9d9 !important;
}

.permalink-widget a:hover {
    color: #6c5aa7 !important;
}

/* Logo styles */
.header-logo-wrapper #logo img {
    height: 200px;
    width: auto;
    display: block;
    object-fit: contain;
    transition: transform 0.2s ease;
}

.header-logo-wrapper #logo:hover img {
    transform: scale(1.05);
}

/* Verso Racket Evaluation Code Blocks */
.racket-block {
    margin: 1.5rem 0;
    border: 1px solid #d3cce8;
    border-radius: 8px;
    background-color: #f7f5fd;
    box-shadow: 0 4px 12px rgba(80, 60, 140, 0.06);
    overflow: hidden;
}

.racket-header {
    background: linear-gradient(135deg, #1e3a5f, #0f233a);
    color: #ffffff;
    font-weight: 700;
    font-size: 0.85rem;
    letter-spacing: 0.08em;
    text-transform: uppercase;
    padding: 8px 14px;
    display: flex;
    align-items: center;
    border-bottom: 1px solid rgba(255, 255, 255, 0.1);
}

.racket-header::before {
    display: none;
}

.racket-code {
    margin: 0;
    border: none;
    border-radius: 0;
    background-color: #1e1e2e;
    color: #cdd6f4;
    padding: 16px 20px;
    font-family: 'JetBrains Mono', 'Fira Code', 'Cascadia Code', 'Courier New', monospace;
    font-size: 0.94rem;
    line-height: 1.6;
}

.racket-code code {
    background: transparent;
    border: none;
    color: inherit;
    padding: 0;
}

/* Standalone Racket Syntax Highlighting Tokens */
.racket-kw {
    color: #c678dd;
    font-weight: 700;
}

.racket-id {
    color: #61afef;
    font-weight: 500;
}

.racket-num {
    color: #d19a66;
    font-weight: 600;
}

.racket-str {
    color: #98c379;
}

.racket-lit {
    color: #56b6c2;
    font-weight: 600;
}

.racket-comment {
    color: #7f848e;
    font-style: italic;
}

.racket-paren {
    color: #abb2bf;
    font-weight: 600;
}

/* Highlight.js syntax highlighting colors for Racket / Scheme fallback */
.racket-code .hljs-keyword,
.racket-code .hljs-name,
.racket-code .hljs-built_in {
    color: #c678dd;
    font-weight: bold;
}

.racket-code .hljs-title,
.racket-code .hljs-title\.function_ {
    color: #61afef;
    font-weight: 600;
}

.racket-code .hljs-number,
.racket-code .hljs-literal {
    color: #d19a66;
}

.racket-code .hljs-string {
    color: #98c379;
}

.racket-code .hljs-symbol {
    color: #e06c75;
}

.racket-code .hljs-comment {
    color: #7f848e;
    font-style: italic;
}

.racket-output-container {
    border-top: 2px solid #385d8a;
    background-color: #f0f4f9;
}

.racket-output-header {
    background-color: #e2eaf4;
    color: #1e3a5f;
    font-weight: 600;
    font-size: 0.78rem;
    padding: 4px 14px;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    border-bottom: 1px solid #d0dceb;
}

.racket-output {
    margin: 0;
    border: none;
    border-radius: 0;
    background-color: #f8fafc;
    color: #0f172a;
    padding: 12px 18px;
    font-family: 'JetBrains Mono', 'Fira Code', 'Courier New', monospace;
    font-size: 0.9rem;
    font-weight: 600;
}

.racket-output code {
    background: transparent;
    border: none;
    color: inherit;
    padding: 0;
}

.racket-inline {
    background-color: #eef2f7;
    border: 1px solid #cbd5e1;
    color: #1e3a5f;
    font-weight: 600;
    padding: 2px 6px;
    border-radius: 4px;
}

.racket-eval-result {
    background-color: #e0f2fe;
    border: 1px solid #bae6fd;
    color: #0369a1;
    font-weight: 700;
    padding: 2px 6px;
    border-radius: 4px;
}