:root {
    /* Chinese Culture Theme */
    --app-bg: #fdfbf7;
    --sidebar-bg: rgba(255, 248, 240, 0.8);
    --glass-border: rgba(214, 59, 29, 0.2);
    --text-primary: #8b0000;
    --text-secondary: #a05a5a;
    --accent-red: #d63b1d;
    --accent-gold: #ffb400;
    --accent-hover: #b32b12;
    --danger-red: #ff3b30;

    /* Property Colors */
    --soundness-color: #d63b1d;
    --consistency-color: #0066cc;
    --completeness-color: #2d8f2d;
    --godel-color: #8b3a8b;

    /* Shadows */
    --shadow-sm: 0 2px 8px rgba(139, 0, 0, 0.08);
    --shadow-md: 0 8px 24px rgba(139, 0, 0, 0.12);
    --shadow-lg: 0 20px 40px rgba(139, 0, 0, 0.15);

    --font-family: "Noto Serif SC", "Outfit", serif;
    --font-title: "Ma Shan Zheng", cursive;
}

* {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

body {
    font-family: var(--font-family);
    background-color: var(--app-bg);
    color: var(--text-primary);
    height: 100vh;
    overflow: hidden;
    display: flex;
    justify-content: center;
    align-items: center;
    background-image: url('https://images.unsplash.com/photo-1519682337058-a94d519337bc?q=80&w=2574&auto=format&fit=crop');
    background-size: cover;
    background-position: center;
}

.app-container {
    width: 90vw;
    height: 90vh;
    max-width: 1600px;
    background: rgba(255, 252, 245, 0.85);
    backdrop-filter: blur(20px) saturate(120%);
    -webkit-backdrop-filter: blur(20px) saturate(120%);
    border-radius: 24px;
    border: 1px solid var(--glass-border);
    box-shadow: var(--shadow-lg);
    display: flex;
    overflow: hidden;
}

/* ===== Sidebar ===== */
.sidebar {
    width: 340px;
    background: var(--sidebar-bg);
    border-right: 1px solid var(--glass-border);
    display: flex;
    flex-direction: column;
    padding: 1.5rem;
    gap: 1.5rem;
    flex-shrink: 0;
    overflow-y: auto;
}

.sidebar-header {
    display: flex;
    flex-direction: column;
    gap: 1rem;
}

.window-controls {
    display: flex;
    gap: 8px;
    margin-bottom: 0.5rem;
}

.dot {
    width: 12px;
    height: 12px;
    border-radius: 50%;
}

.dot.red {
    background: #ff5f56;
    border: 1px solid #e0443e;
}

.dot.yellow {
    background: #ffbd2e;
    border: 1px solid #dea123;
}

.dot.green {
    background: #27c93f;
    border: 1px solid #1aab29;
}

h1 {
    font-family: var(--font-title);
    font-size: 2rem;
    font-weight: 400;
    color: var(--text-primary);
    letter-spacing: 0.05em;
}

.subtitle {
    font-size: 0.8rem;
    color: var(--text-secondary);
    font-style: italic;
    margin-top: -5px;
}

.highlight {
    color: var(--accent-red);
}

.controls-wrapper {
    display: flex;
    flex-direction: column;
    gap: 1.5rem;
    flex-grow: 1;
}

.control-group {
    display: flex;
    flex-direction: column;
    gap: 0.5rem;
}

label {
    font-size: 0.8rem;
    font-weight: 600;
    color: var(--text-secondary);
    text-transform: uppercase;
    letter-spacing: 0.05em;
}

/* ===== Property Buttons Grid ===== */
.property-grid {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 0.75rem;
}

.property-btn {
    padding: 1rem 0.75rem;
    background: rgba(255, 255, 255, 0.5);
    border: 1.5px solid var(--glass-border);
    border-radius: 12px;
    color: var(--text-primary);
    font-size: 0.95rem;
    font-weight: 600;
    cursor: pointer;
    transition: all 0.2s ease;
    text-align: center;
    line-height: 1.3;
    font-family: var(--font-family);
}

.property-btn .prop-sub {
    display: block;
    font-size: 0.7rem;
    font-weight: 400;
    margin-top: 4px;
    color: var(--text-secondary);
}

.property-btn:hover {
    transform: translateY(-2px);
    box-shadow: var(--shadow-sm);
    background: rgba(255, 255, 255, 0.7);
}

.property-btn.active {
    background: #fff;
    border-color: var(--accent-red);
    box-shadow: var(--shadow-md);
}

/* ===== Select & Controls ===== */
.apple-select {
    width: 100%;
    padding: 10px 12px;
    background: rgba(255, 255, 255, 0.6);
    border: 1px solid var(--glass-border);
    border-radius: 12px;
    color: var(--text-primary);
    font-size: 0.9rem;
    font-family: var(--font-family);
    cursor: pointer;
    transition: all 0.2s ease;
}

.apple-select:hover {
    border-color: var(--accent-red);
    background: rgba(255, 255, 255, 0.8);
}

.apple-select:focus {
    outline: none;
    border-color: var(--accent-red);
    box-shadow: 0 0 0 3px rgba(214, 59, 29, 0.1);
}

input[type="range"] {
    appearance: none;
    width: 100%;
    background: transparent;
}

input[type="range"]::-webkit-slider-thumb {
    -webkit-appearance: none;
    height: 20px;
    width: 20px;
    border-radius: 50%;
    background: var(--accent-red);
    cursor: pointer;
    margin-top: -8px;
    box-shadow: 0 2px 6px rgba(0, 0, 0, 0.2);
    border: 2px solid #fff;
    transition: transform 0.1s;
}

input[type="range"]::-webkit-slider-thumb:hover {
    transform: scale(1.1);
}

input[type="range"]::-webkit-slider-runnable-track {
    width: 100%;
    height: 4px;
    cursor: pointer;
    background: rgba(139, 0, 0, 0.1);
    border-radius: 2px;
}

.speed-display {
    display: flex;
    justify-content: space-between;
    align-items: center;
    font-size: 0.75rem;
    color: var(--text-secondary);
    margin-top: 4px;
}

#speedValue {
    font-weight: 600;
    color: var(--accent-gold);
}

/* ===== Info Panel ===== */
.info-panel {
    background: rgba(255, 255, 255, 0.5);
    padding: 12px;
    border-radius: 12px;
    font-size: 0.85rem;
    color: var(--text-primary);
    border: 1px solid rgba(139, 0, 0, 0.1);
}

.info-panel p {
    margin-bottom: 8px;
    line-height: 1.5;
}

.stats-display {
    display: flex;
    gap: 1rem;
    margin-top: 8px;
}

.stat-item {
    flex: 1;
    display: flex;
    align-items: center;
    gap: 4px;
}

.stat-label {
    font-size: 0.75rem;
    color: var(--text-secondary);
}

.stat-value {
    font-size: 1rem;
    font-weight: 700;
    color: var(--accent-gold);
}

/* ===== Buttons ===== */
.apple-btn {
    display: inline-flex;
    align-items: center;
    justify-content: center;
    padding: 10px 20px;
    border-radius: 12px;
    font-size: 0.95rem;
    font-weight: 600;
    cursor: pointer;
    transition: all 0.2s ease;
    border: none;
    font-family: var(--font-family);
}

.action-btn {
    background: var(--accent-red);
    color: white;
    width: 100%;
    box-shadow: var(--shadow-md);
}

.action-btn:hover {
    background: var(--accent-hover);
    transform: scale(1.02);
}

.danger-btn {
    background: rgba(139, 0, 0, 0.1);
    color: var(--text-primary);
    width: 100%;
}

.danger-btn:hover {
    background: rgba(139, 0, 0, 0.2);
}

.actions-footer {
    display: flex;
    gap: 10px;
}

/* ===== Main Stage ===== */
.visualizer-stage {
    flex-grow: 1;
    padding: 2rem;
    display: flex;
    justify-content: center;
    align-items: center;
    background: rgba(255, 255, 255, 0.1);
}

.glass-pane {
    width: 100%;
    height: 100%;
    background: rgba(255, 255, 255, 0.4);
    border-radius: 16px;
    box-shadow: inset 0 0 20px rgba(255, 255, 255, 0.5);
    border: 1px solid rgba(255, 255, 255, 0.4);
    padding: 2rem;
    overflow-y: auto;
}

.visualization-container {
    display: flex;
    flex-direction: column;
    gap: 2rem;
}

/* ===== Section ===== */
.section {
    background: rgba(255, 255, 255, 0.6);
    border: 1px solid var(--glass-border);
    border-radius: 16px;
    padding: 1.5rem;
    transition: all 0.3s ease;
}

.section:hover {
    background: rgba(255, 255, 255, 0.75);
    box-shadow: var(--shadow-sm);
}

.section-title {
    font-size: 1.5rem;
    font-weight: 700;
    margin-bottom: 1.5rem;
    color: var(--accent-red);
    text-align: center;
    font-family: var(--font-title);
    letter-spacing: 0.05em;
}

/* ===== Properties Overview ===== */
.properties-overview {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
    gap: 1.25rem;
}

.overview-card {
    background: rgba(255, 255, 255, 0.7);
    border: 2px solid var(--glass-border);
    border-radius: 12px;
    padding: 1.5rem;
    transition: all 0.3s ease;
}

.overview-card:hover {
    transform: translateY(-4px);
    box-shadow: var(--shadow-md);
    background: rgba(255, 255, 255, 0.85);
}

.soundness-card {
    border-color: rgba(214, 59, 29, 0.4);
}

.soundness-card:hover {
    border-color: var(--soundness-color);
}

.consistency-card {
    border-color: rgba(0, 102, 204, 0.4);
}

.consistency-card:hover {
    border-color: var(--consistency-color);
}

.completeness-card {
    border-color: rgba(45, 143, 45, 0.4);
}

.completeness-card:hover {
    border-color: var(--completeness-color);
}

.godel-card {
    border-color: rgba(139, 58, 139, 0.4);
}

.godel-card:hover {
    border-color: var(--godel-color);
}

.card-icon {
    font-size: 2.5rem;
    text-align: center;
    margin-bottom: 1rem;
}

.overview-card h3 {
    font-size: 1.2rem;
    font-weight: 600;
    color: var(--text-primary);
    margin-bottom: 0.75rem;
    text-align: center;
}

.card-definition {
    font-size: 0.9rem;
    color: var(--text-secondary);
    margin-bottom: 0.75rem;
    line-height: 1.5;
}

.card-formula {
    font-family: 'Courier New', monospace;
    font-size: 1.1rem;
    text-align: center;
    padding: 0.75rem;
    background: rgba(139, 0, 0, 0.05);
    border-radius: 8px;
    margin-bottom: 0.75rem;
    color: var(--text-primary);
}

.card-meaning {
    font-size: 0.85rem;
    color: var(--text-secondary);
    margin-bottom: 0.75rem;
    line-height: 1.6;
}

.card-principle {
    font-size: 0.8rem;
    padding: 0.75rem;
    background: rgba(255, 184, 0, 0.1);
    border-radius: 8px;
    border-left: 3px solid var(--accent-gold);
}

.card-principle strong {
    color: var(--accent-gold);
}

/* ===== Case Display ===== */
.case-description {
    display: flex;
    align-items: center;
    gap: 1rem;
    padding: 1.25rem;
    background: rgba(255, 255, 255, 0.7);
    border-radius: 12px;
    margin-bottom: 1rem;
    border-left: 4px solid var(--accent-red);
}

.desc-icon {
    font-size: 2rem;
}

.case-context {
    padding: 1.5rem;
    background: rgba(255, 255, 255, 0.7);
    border-radius: 12px;
    border: 1px solid var(--glass-border);
}

.case-context h3 {
    font-size: 1.1rem;
    font-weight: 600;
    color: var(--accent-red);
    margin-bottom: 1rem;
}

.context-grid {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 1.5rem;
}

.context-col h4 {
    font-size: 1rem;
    font-weight: 600;
    color: var(--text-primary);
    margin-bottom: 0.75rem;
}

.axiom-item,
.rule-item,
.principle-item {
    padding: 0.5rem 0;
    font-size: 0.9rem;
    color: var(--text-secondary);
    border-bottom: 1px solid rgba(139, 0, 0, 0.05);
}

.principles-list {
    display: flex;
    flex-direction: column;
    gap: 0.5rem;
}

.dimensions-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(120px, 1fr));
    gap: 0.75rem;
}

.dimension-badge {
    padding: 0.75rem;
    background: rgba(45, 143, 45, 0.1);
    border: 1px solid rgba(45, 143, 45, 0.3);
    border-radius: 8px;
    text-align: center;
    font-weight: 600;
    color: var(--completeness-color);
}

.godel-insight {
    display: flex;
    align-items: center;
    gap: 1rem;
    padding: 1rem;
    background: rgba(139, 58, 139, 0.1);
    border-radius: 8px;
    border-left: 3px solid var(--godel-color);
}

.insight-icon {
    font-size: 2rem;
}

/* ===== Verification Steps ===== */
.verification-step {
    display: grid;
    grid-template-columns: 50px 1fr 100px;
    gap: 1rem;
    align-items: center;
    padding: 1rem;
    background: rgba(255, 255, 255, 0.7);
    border: 1px solid var(--glass-border);
    border-radius: 12px;
    margin-bottom: 1rem;
    opacity: 0;
    transform: translateX(-20px);
    animation: slideIn 0.5s ease forwards;
}

@keyframes slideIn {
    to {
        opacity: 1;
        transform: translateX(0);
    }
}

.step-number {
    width: 36px;
    height: 36px;
    display: flex;
    align-items: center;
    justify-content: center;
    background: var(--accent-red);
    border-radius: 50%;
    font-size: 1rem;
    font-weight: 700;
    color: white;
    box-shadow: var(--shadow-sm);
}

.step-content {
    display: flex;
    flex-direction: column;
    gap: 0.25rem;
}

.step-statement {
    font-size: 0.95rem;
    color: var(--text-primary);
    font-weight: 600;
}

.step-justification {
    font-size: 0.8rem;
    color: var(--text-secondary);
}

.step-type-badge {
    padding: 4px 10px;
    background: rgba(255, 184, 0, 0.15);
    border: 1px solid rgba(255, 184, 0, 0.3);
    border-radius: 8px;
    font-size: 0.75rem;
    font-weight: 600;
    color: var(--accent-gold);
    text-align: center;
}

.step-axiom .step-number {
    background: var(--consistency-color);
}

.step-rule .step-number {
    background: var(--completeness-color);
}

.step-inference .step-number {
    background: var(--accent-gold);
}

.step-verification .step-number {
    background: var(--soundness-color);
}

/* ===== Soundness Check ===== */
.soundness-check-result {
    margin-top: 1.5rem;
    padding: 1.5rem;
    background: rgba(214, 59, 29, 0.05);
    border: 2px solid rgba(214, 59, 29, 0.3);
    border-radius: 12px;
    text-align: center;
}

.check-row {
    padding: 1rem;
    margin-bottom: 0.5rem;
}

.check-label {
    font-size: 0.9rem;
    color: var(--text-secondary);
    margin-right: 0.5rem;
}

.check-formula {
    font-family: 'Courier New', monospace;
    font-size: 1.1rem;
    color: var(--text-primary);
    font-weight: 600;
}

.check-arrow {
    font-size: 2rem;
    color: var(--accent-gold);
    margin: 0.5rem 0;
}

.check-conclusion {
    font-size: 1rem;
    font-weight: 600;
    color: var(--accent-red);
    margin: 1rem 0;
}

.check-result {
    font-size: 1.2rem;
    font-weight: 700;
    color: var(--completeness-color);
    padding: 0.75rem;
    background: rgba(45, 143, 45, 0.1);
    border-radius: 8px;
}

/* ===== Consistency Test ===== */
.consistency-test {
    padding: 1.5rem;
    background: rgba(255, 255, 255, 0.7);
    border: 1px solid var(--glass-border);
    border-radius: 12px;
    margin-bottom: 1.25rem;
    opacity: 0;
    transform: translateY(20px);
    animation: slideUp 0.5s ease forwards;
}

@keyframes slideUp {
    to {
        opacity: 1;
        transform: translateY(0);
    }
}

.consistency-test h4 {
    font-size: 1.1rem;
    font-weight: 600;
    color: var(--accent-red);
    margin-bottom: 1rem;
    text-align: center;
}

.test-statements {
    display: grid;
    grid-template-columns: 1fr auto 1fr;
    gap: 1rem;
    align-items: center;
    margin-bottom: 1rem;
}

.statement-box {
    padding: 1rem;
    background: rgba(255, 255, 255, 0.8);
    border-radius: 8px;
    border: 2px solid var(--glass-border);
}

.stmt-label {
    font-size: 0.75rem;
    color: var(--text-secondary);
    margin-bottom: 0.5rem;
    font-weight: 600;
}

.stmt-text {
    font-size: 0.9rem;
    color: var(--text-primary);
}

.vs-symbol {
    font-size: 1.5rem;
    font-weight: 700;
    color: var(--accent-gold);
}

.test-analysis {
    padding: 1rem;
    background: rgba(255, 184, 0, 0.1);
    border-radius: 8px;
    margin-bottom: 0.75rem;
    font-size: 0.9rem;
    color: var(--text-secondary);
}

.test-result {
    text-align: center;
    font-size: 1.1rem;
    font-weight: 700;
    color: var(--completeness-color);
}

.consistency-check-result {
    margin-top: 1.5rem;
    padding: 1.5rem;
    background: rgba(0, 102, 204, 0.05);
    border: 2px solid rgba(0, 102, 204, 0.3);
    border-radius: 12px;
    text-align: center;
}

.check-formula-large {
    font-family: 'Courier New', monospace;
    font-size: 1.3rem;
    color: var(--text-primary);
    font-weight: 700;
    margin-bottom: 1rem;
}

.check-explanation {
    font-size: 0.95rem;
    color: var(--text-secondary);
    margin-bottom: 1rem;
    line-height: 1.6;
}

/* ===== Completeness Aspect ===== */
.completeness-aspect {
    padding: 1.25rem;
    background: rgba(255, 255, 255, 0.7);
    border: 1px solid var(--glass-border);
    border-radius: 12px;
    margin-bottom: 1rem;
    opacity: 0;
    transform: scale(0.95);
    animation: popIn 0.5s ease forwards;
}

@keyframes popIn {
    to {
        opacity: 1;
        transform: scale(1);
    }
}

.aspect-header {
    font-size: 1.1rem;
    font-weight: 600;
    color: var(--accent-red);
    margin-bottom: 1rem;
    text-align: center;
}

.aspect-checks {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 0.5rem;
    margin-bottom: 1rem;
}

.check-item {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    font-family: 'Courier New', monospace;
    font-size: 0.95rem;
    color: var(--text-primary);
}

.check-icon {
    font-size: 1.2rem;
    font-weight: 700;
}

.check-arrow-down {
    font-size: 1.5rem;
    color: var(--accent-gold);
}

.aspect-status {
    text-align: center;
    font-size: 1rem;
    font-weight: 700;
    color: var(--completeness-color);
}

.completeness-check-result {
    margin-top: 1.5rem;
    padding: 1.5rem;
    background: rgba(45, 143, 45, 0.05);
    border: 2px solid rgba(45, 143, 45, 0.3);
    border-radius: 12px;
    text-align: center;
}

/* ===== Gödel Theorem ===== */
.godel-theorem {
    padding: 1.5rem;
    background: rgba(255, 255, 255, 0.7);
    border: 1px solid var(--glass-border);
    border-radius: 12px;
    margin-bottom: 1.25rem;
    opacity: 0;
    transform: translateX(-20px);
    animation: slideIn 0.5s ease forwards;
}

.godel-theorem h4 {
    font-size: 1.1rem;
    font-weight: 600;
    color: var(--godel-color);
    margin-bottom: 0.75rem;
}

.theorem-statement {
    font-size: 0.95rem;
    color: var(--text-secondary);
    margin-bottom: 0.75rem;
}

.theorem-formula {
    font-family: 'Courier New', monospace;
    font-size: 1.1rem;
    text-align: center;
    padding: 1rem;
    background: rgba(139, 58, 139, 0.1);
    border-radius: 8px;
    margin-bottom: 0.75rem;
    color: var(--text-primary);
}

.theorem-interpretation {
    font-size: 0.85rem;
    padding: 0.75rem;
    background: rgba(255, 184, 0, 0.1);
    border-radius: 8px;
    color: var(--text-secondary);
}

/* ===== Visual Diagrams ===== */
.soundness-diagram,
.consistency-diagram,
.completeness-diagram,
.godel-diagram {
    padding: 2rem;
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 1.5rem;
}

.diagram-flow {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 1rem;
}

.diagram-node {
    padding: 1.5rem 2rem;
    background: rgba(255, 255, 255, 0.8);
    border: 2px solid var(--glass-border);
    border-radius: 12px;
    text-align: center;
    min-width: 200px;
    box-shadow: var(--shadow-sm);
}

.theory-node {
    border-color: var(--soundness-color);
    background: rgba(214, 59, 29, 0.08);
}

.practice-node {
    border-color: var(--completeness-color);
    background: rgba(45, 143, 45, 0.08);
}

.node-label {
    font-size: 0.75rem;
    color: var(--text-secondary);
    margin-bottom: 0.5rem;
    text-transform: uppercase;
    letter-spacing: 1px;
}

.node-content {
    font-family: 'Courier New', monospace;
    font-size: 1.1rem;
    color: var(--text-primary);
    line-height: 1.5;
}

.diagram-arrow {
    width: 2px;
    height: 60px;
    background: linear-gradient(to bottom, rgba(139, 0, 0, 0.3), rgba(139, 0, 0, 0.1));
    position: relative;
}

.diagram-arrow::after {
    content: '▼';
    position: absolute;
    bottom: -12px;
    left: 50%;
    transform: translateX(-50%);
    font-size: 1.2rem;
    color: var(--accent-gold);
}

.arrow-label {
    position: absolute;
    left: 20px;
    top: 50%;
    transform: translateY(-50%);
    font-size: 0.85rem;
    font-weight: 600;
    color: var(--accent-red);
    white-space: nowrap;
}

.diagram-explanation {
    font-size: 0.95rem;
    color: var(--text-secondary);
    text-align: center;
    padding: 1rem;
    background: rgba(255, 184, 0, 0.1);
    border-radius: 8px;
}

/* Venn Diagram for Consistency */
.venn-container {
    position: relative;
    width: 300px;
    height: 200px;
    margin: 2rem auto;
}

.venn-circle {
    position: absolute;
    width: 150px;
    height: 150px;
    border-radius: 50%;
    border: 3px solid var(--consistency-color);
    background: rgba(0, 102, 204, 0.1);
    display: flex;
    align-items: center;
    justify-content: center;
}

.circle-provable {
    left: 20px;
    top: 25px;
}

.circle-negation {
    right: 20px;
    top: 25px;
}

.circle-label {
    font-size: 0.8rem;
    font-weight: 600;
    color: var(--text-primary);
    text-align: center;
}

.venn-intersection {
    position: absolute;
    left: 50%;
    top: 50%;
    transform: translate(-50%, -50%);
    font-family: 'Courier New', monospace;
    font-size: 1.5rem;
    font-weight: 700;
    color: var(--accent-red);
}

/* Set Diagram for Completeness */
.set-diagram {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 1rem;
}

.outer-set {
    position: relative;
    width: 400px;
    height: 300px;
    border: 3px solid var(--completeness-color);
    border-radius: 12px;
    background: rgba(45, 143, 45, 0.05);
    display: flex;
    align-items: center;
    justify-content: center;
    padding: 2rem;
}

.set-label {
    position: absolute;
    top: 10px;
    left: 10px;
    font-size: 0.85rem;
    font-weight: 600;
    color: var(--completeness-color);
}

.inner-set {
    width: 250px;
    height: 180px;
    border: 3px solid var(--soundness-color);
    border-radius: 12px;
    background: rgba(214, 59, 29, 0.05);
    display: flex;
    align-items: center;
    justify-content: center;
    position: relative;
}

.set-label-inner {
    font-size: 0.85rem;
    font-weight: 600;
    color: var(--soundness-color);
}

.set-relation {
    font-family: 'Courier New', monospace;
    font-size: 0.9rem;
    color: var(--text-primary);
    text-align: center;
    line-height: 1.8;
}

/* Gödel Space Diagram */
.godel-space {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 1rem;
    width: 100%;
}

.space-provable,
.space-undecidable,
.space-disprovable {
    padding: 1.5rem;
    border-radius: 12px;
    text-align: center;
}

.space-provable {
    background: rgba(45, 143, 45, 0.1);
    border: 2px solid var(--completeness-color);
}

.space-undecidable {
    background: rgba(139, 58, 139, 0.1);
    border: 2px solid var(--godel-color);
}

.space-disprovable {
    background: rgba(214, 59, 29, 0.1);
    border: 2px solid var(--soundness-color);
}

.space-label {
    font-size: 0.85rem;
    font-weight: 600;
    color: var(--text-primary);
    margin-bottom: 0.75rem;
}

.space-content {
    font-family: 'Courier New', monospace;
    font-size: 1rem;
    color: var(--text-primary);
    margin-bottom: 0.5rem;
}

.space-note {
    font-size: 0.75rem;
    color: var(--text-secondary);
}

/* ===== Practical Examples (Gödel) ===== */
.practical-examples {
    display: flex;
    flex-direction: column;
    gap: 1.5rem;
}

.practice-example {
    padding: 1.5rem;
    background: rgba(255, 255, 255, 0.7);
    border: 1px solid var(--glass-border);
    border-radius: 12px;
    opacity: 0;
    transform: translateY(20px);
    animation: slideUp 0.5s ease forwards;
}

.practice-example h4 {
    font-size: 1.1rem;
    font-weight: 600;
    color: var(--accent-red);
    margin-bottom: 1rem;
}

.example-flow {
    display: grid;
    grid-template-columns: 1fr auto 1fr auto 1fr;
    gap: 1rem;
    align-items: center;
    margin-bottom: 1rem;
}

.example-step {
    padding: 1rem;
    border-radius: 8px;
}

.limit-step {
    background: rgba(214, 59, 29, 0.1);
    border: 1px solid rgba(214, 59, 29, 0.3);
}

.practice-step {
    background: rgba(255, 184, 0, 0.1);
    border: 1px solid rgba(255, 184, 0, 0.3);
}

.breakthrough-step {
    background: rgba(45, 143, 45, 0.1);
    border: 1px solid rgba(45, 143, 45, 0.3);
}

.step-label {
    font-size: 0.75rem;
    font-weight: 600;
    color: var(--text-secondary);
    margin-bottom: 0.5rem;
    text-transform: uppercase;
}

.step-text {
    font-size: 0.85rem;
    color: var(--text-primary);
}

.example-arrow {
    font-size: 1.5rem;
    color: var(--accent-gold);
    font-weight: 700;
}

.example-lesson {
    padding: 1rem;
    background: rgba(255, 184, 0, 0.1);
    border-radius: 8px;
    font-size: 0.9rem;
    color: var(--text-secondary);
}

/* ===== Dialectical Understanding ===== */
.dialectical-understanding {
    padding: 1.5rem;
    background: rgba(255, 255, 255, 0.7);
    border-radius: 12px;
}

.understanding-grid {
    display: grid;
    grid-template-columns: 1fr auto 1fr;
    gap: 2rem;
    align-items: center;
}

.understanding-col h4 {
    font-size: 1.1rem;
    font-weight: 600;
    color: var(--accent-red);
    margin-bottom: 1rem;
}

.point-item {
    padding: 0.5rem 0;
    font-size: 0.9rem;
    color: var(--text-secondary);
    border-bottom: 1px solid rgba(139, 0, 0, 0.05);
}

.understanding-arrow {
    font-size: 2rem;
    color: var(--accent-gold);
    font-weight: 700;
}

/* ===== Conclusion & Philosophy ===== */
.conclusion-box {
    display: flex;
    align-items: center;
    gap: 1.5rem;
    padding: 1.5rem;
    background: rgba(45, 143, 45, 0.1);
    border: 2px solid rgba(45, 143, 45, 0.3);
    border-radius: 12px;
}

.conclusion-icon {
    font-size: 3rem;
}

.conclusion-text h3 {
    font-size: 1.2rem;
    font-weight: 700;
    color: var(--completeness-color);
    margin-bottom: 0.5rem;
}

.conclusion-text p {
    font-size: 0.95rem;
    color: var(--text-secondary);
    line-height: 1.6;
}

.philosophy-box {
    padding: 1.5rem;
    background: rgba(255, 255, 255, 0.7);
    border-left: 4px solid var(--accent-gold);
    border-radius: 12px;
}

.philosophy-icon {
    font-size: 2.5rem;
    text-align: center;
    margin-bottom: 1rem;
}

.philosophy-text {
    font-size: 0.95rem;
    color: var(--text-secondary);
    line-height: 1.8;
    text-align: justify;
}

/* ===== Responsive ===== */
@media (max-width: 1200px) {
    .app-container {
        flex-direction: column;
        height: auto;
        min-height: 90vh;
    }

    .sidebar {
        width: 100%;
        border-right: none;
        border-bottom: 1px solid var(--glass-border);
    }

    .properties-overview {
        grid-template-columns: 1fr;
    }

    .context-grid,
    .test-statements,
    .example-flow,
    .understanding-grid {
        grid-template-columns: 1fr;
    }

    .godel-space {
        grid-template-columns: 1fr;
    }
}

@media (max-width: 768px) {
    .property-grid {
        grid-template-columns: 1fr;
    }

    .glass-pane {
        padding: 1rem;
    }
}

/* ===== Scrollbar ===== */
::-webkit-scrollbar {
    width: 8px;
    height: 8px;
}

::-webkit-scrollbar-track {
    background: rgba(139, 0, 0, 0.05);
    border-radius: 4px;
}

::-webkit-scrollbar-thumb {
    background: rgba(214, 59, 29, 0.3);
    border-radius: 4px;
}

::-webkit-scrollbar-thumb:hover {
    background: rgba(214, 59, 29, 0.5);
}