/* Êîñìè÷åñêàÿ òåìà */
:root {
    --primary-color: #00d4ff;
    --secondary-color: #ff006e;
    --success-color: #00ff41;
    --error-color: #ff3333;
    --bg-dark: #0a0e27;
    --bg-accent: #1a2049;
    --text-primary: #e0e0e0;
    --text-secondary: #8a92a8;
    --border-color: #00d4ff;
}

/* ÒÅÌÍÀß ÒÅÌÀ - ÁÅÇ ÈÇÌÅÍÅÍÈÉ */
body.dark-space-theme {
    background: linear-gradient(135deg, #0a0e27 0%, #1a1a3a 50%, #0a0e27 100%);
    color: var(--text-primary);
    font-family: 'Courier New', monospace;
    margin: 0;
    padding: 20px;
    min-height: 100vh;
    overflow-x: hidden;
}

    body.dark-space-theme .container {
        max-width: 1400px;
        margin: 0 auto;
        padding: 20px;
        border: 2px solid var(--primary-color);
        border-radius: 8px;
        background: rgba(26, 32, 73, 0.6);
        box-shadow: 0 0 40px rgba(0, 212, 255, 0.3), inset 0 0 20px rgba(0, 212, 255, 0.1);
    }

    body.dark-space-theme .header {
        text-align: center;
        border-bottom: 3px solid var(--primary-color);
        padding-bottom: 20px;
        margin-bottom: 30px;
        animation: glow 2s ease-in-out infinite;
    }

        body.dark-space-theme .header h1 {
            font-size: 28px;
            margin: 0;
            color: var(--primary-color);
            text-shadow: 0 0 20px var(--primary-color), 0 0 40px rgba(0, 212, 255, 0.5);
            letter-spacing: 3px;
        }

    body.dark-space-theme .subtitle {
        color: var(--text-secondary);
        font-size: 14px;
        margin: 10px 0 0 0;
        letter-spacing: 2px;
    }

@keyframes glow {
    0%, 100% {
        text-shadow: 0 0 20px var(--primary-color), 0 0 40px rgba(0, 212, 255, 0.5);
    }

    50% {
        text-shadow: 0 0 30px var(--primary-color), 0 0 60px rgba(0, 212, 255, 0.8);
    }
}

body.dark-space-theme .main-content {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 30px;
    margin: 30px 0;
}

@media (max-width: 1024px) {
    body.dark-space-theme .main-content {
        grid-template-columns: 1fr;
    }
}

body.dark-space-theme .config-section,
body.dark-space-theme .results-section {
    background: rgba(10, 14, 39, 0.7);
    border: 2px solid var(--primary-color);
    border-radius: 8px;
    padding: 20px;
    box-shadow: 0 0 20px rgba(0, 212, 255, 0.2);
}

    body.dark-space-theme .config-section h2,
    body.dark-space-theme .results-section h2 {
        color: var(--primary-color);
        margin-top: 0;
        font-size: 18px;
        letter-spacing: 2px;
    }

body.dark-space-theme .section-desc {
    color: var(--text-secondary);
    font-size: 12px;
    margin: 5px 0 15px 0;
}

body.dark-space-theme .table-wrapper {
    overflow-x: auto;
    margin: 20px 0;
}

body.dark-space-theme .transitions-table {
    width: 100%;
    border-collapse: collapse;
    background: rgba(26, 32, 73, 0.8);
}

    body.dark-space-theme .transitions-table thead {
        background: rgba(0, 212, 255, 0.1);
        border: 1px solid var(--primary-color);
    }

    body.dark-space-theme .transitions-table th {
        color: var(--primary-color);
        padding: 12px;
        text-align: left;
        border: 1px solid var(--border-color);
        font-weight: bold;
    }

    body.dark-space-theme .transitions-table td {
        padding: 10px 12px;
        border: 1px solid var(--border-color);
        color: var(--text-primary);
        background: rgba(26, 32, 73, 0.5);
    }

    body.dark-space-theme .transitions-table select,
    body.dark-space-theme .transitions-table input {
        background: rgba(10, 14, 39, 0.9);
        border: 1px solid var(--primary-color);
        color: var(--primary-color);
        padding: 6px;
        border-radius: 4px;
        width: 100%;
        font-family: 'Courier New', monospace;
    }

        body.dark-space-theme .transitions-table select:focus,
        body.dark-space-theme .transitions-table input:focus {
            outline: none;
            box-shadow: 0 0 10px var(--primary-color);
        }

body.dark-space-theme .btn-primary {
    background: linear-gradient(135deg, var(--primary-color), var(--secondary-color));
    border: 2px solid var(--primary-color);
    color: var(--bg-dark);
    padding: 12px 24px;
    font-size: 14px;
    font-weight: bold;
    border-radius: 6px;
    cursor: pointer;
    transition: all 0.3s ease;
    letter-spacing: 1px;
    width: 100%;
    margin-top: 15px;
}

    body.dark-space-theme .btn-primary:hover {
        box-shadow: 0 0 20px var(--primary-color), 0 0 40px var(--secondary-color);
        transform: scale(1.02);
    }

body.dark-space-theme .results-panel,
body.dark-space-theme .diagram-panel {
    background: rgba(10, 14, 39, 0.5);
    border: 1px solid var(--primary-color);
    border-radius: 6px;
    padding: 15px;
    margin-bottom: 20px;
}

    body.dark-space-theme .results-panel h2,
    body.dark-space-theme .diagram-panel h2 {
        color: var(--primary-color);
        margin-top: 0;
        font-size: 16px;
    }

body.dark-space-theme .validation-content {
    min-height: 100px;
}

body.dark-space-theme .validation-item {
    background: rgba(26, 32, 73, 0.8);
    border-left: 4px solid var(--primary-color);
    padding: 15px;
    margin: 15px 0;
    border-radius: 4px;
}

    body.dark-space-theme .validation-item h4 {
        margin: 0 0 10px 0;
        color: var(--text-primary);
        font-size: 14px;
    }

body.dark-space-theme .status {
    display: inline-block;
    padding: 4px 8px;
    border-radius: 4px;
    font-weight: bold;
    margin-right: 10px;
}

body.dark-space-theme .status--success {
    background: rgba(0, 255, 65, 0.2);
    color: var(--success-color);
}

body.dark-space-theme .status--error {
    background: rgba(255, 51, 51, 0.2);
    color: var(--error-color);
}

body.dark-space-theme .validation-details {
    margin: 0;
    color: var(--text-secondary);
    font-size: 12px;
    line-height: 1.5;
}

body.dark-space-theme .final-result {
    padding: 15px;
    border-radius: 6px;
    text-align: center;
    font-weight: bold;
    margin-top: 20px;
    border: 2px solid;
    animation: pulse 1.5s ease-in-out infinite;
}

body.dark-space-theme .final-result--success {
    background: rgba(0, 255, 65, 0.1);
    border-color: var(--success-color);
    color: var(--success-color);
    box-shadow: 0 0 20px rgba(0, 255, 65, 0.4);
}

body.dark-space-theme .final-result--error {
    background: rgba(255, 51, 51, 0.1);
    border-color: var(--error-color);
    color: var(--error-color);
    box-shadow: 0 0 20px rgba(255, 51, 51, 0.4);
}

@keyframes pulse {
    0%, 100% {
        opacity: 1;
    }

    50% {
        opacity: 0.7;
    }
}

body.dark-space-theme .automaton-canvas {
    width: 100%;
    height: 300px;
    background: rgba(10, 14, 39, 0.8);
    border: 1px solid var(--primary-color);
    border-radius: 6px;
    display: block;
    margin: 15px 0;
}

body.dark-space-theme .canvas-legend {
    font-size: 12px;
    color: var(--text-secondary);
    text-align: center;
    margin: 10px 0 0 0;
}

body.dark-space-theme .footer {
    text-align: center;
    border-top: 2px solid var(--primary-color);
    padding-top: 20px;
    margin-top: 30px;
    color: var(--text-secondary);
    font-size: 12px;
    letter-spacing: 1px;
}

/* ÑÂÅÒËÀß ÒÅÌÀ - ÊÎÏÈÐÓÅÒ ÂÑÅ ÐÀÑÏÎËÎÆÅÍÈß ÈÇ ÒÅÌÍÎÉ */
body.light-space-theme {
    background: #fff;
    color: #111;
    font-family: 'Courier New', monospace;
    margin: 0;
    padding: 20px;
    min-height: 100vh;
    overflow-x: hidden;
}

    body.light-space-theme .container {
        max-width: 1400px;
        margin: 0 auto;
        padding: 20px;
        border: 2px solid var(--primary-color);
        border-radius: 8px;
        background: #f5faff;
        box-shadow: 0 0 20px rgba(0, 212, 255, 0.1);
    }

    body.light-space-theme .header {
        text-align: center;
        border-bottom: 3px solid var(--primary-color);
        padding-bottom: 20px;
        margin-bottom: 30px;
        animation: glow 2s ease-in-out infinite;
    }

        body.light-space-theme .header h1 {
            font-size: 28px;
            margin: 0;
            color: var(--primary-color);
            text-shadow: none;
            letter-spacing: 3px;
        }

    body.light-space-theme .subtitle {
        color: #444;
        font-size: 14px;
        margin: 10px 0 0 0;
        letter-spacing: 2px;
    }

    body.light-space-theme .main-content {
        display: grid;
        grid-template-columns: 1fr 1fr;
        gap: 30px;
        margin: 30px 0;
    }

@media (max-width: 1024px) {
    body.light-space-theme .main-content {
        grid-template-columns: 1fr;
    }
}

body.light-space-theme .config-section,
body.light-space-theme .results-section {
    background: #f5faff;
    border: 2px solid var(--primary-color);
    border-radius: 8px;
    padding: 20px;
    box-shadow: 0 0 10px rgba(0, 212, 255, 0.1);
}

    body.light-space-theme .config-section h2,
    body.light-space-theme .results-section h2 {
        color: var(--primary-color);
        margin-top: 0;
        font-size: 18px;
        letter-spacing: 2px;
    }

body.light-space-theme .section-desc {
    color: #666;
    font-size: 12px;
    margin: 5px 0 15px 0;
}

body.light-space-theme .table-wrapper {
    overflow-x: auto;
    margin: 20px 0;
}

body.light-space-theme .transitions-table {
    width: 100%;
    border-collapse: collapse;
    background: #fff;
}

    body.light-space-theme .transitions-table thead {
        background: rgba(0, 212, 255, 0.1);
        border: 1px solid var(--primary-color);
    }

    body.light-space-theme .transitions-table th {
        color: var(--primary-color);
        padding: 12px;
        text-align: left;
        border: 1px solid var(--border-color);
        font-weight: bold;
    }

    body.light-space-theme .transitions-table td {
        padding: 10px 12px;
        border: 1px solid var(--border-color);
        color: #111;
        background: #fff;
    }

    body.light-space-theme .transitions-table select,
    body.light-space-theme .transitions-table input {
        background: #fff;
        border: 1px solid var(--primary-color);
        color: var(--primary-color);
        padding: 6px;
        border-radius: 4px;
        width: 100%;
        font-family: 'Courier New', monospace;
    }

        body.light-space-theme .transitions-table select:focus,
        body.light-space-theme .transitions-table input:focus {
            outline: none;
            box-shadow: 0 0 10px var(--primary-color);
        }

body.light-space-theme .btn-primary {
    background: linear-gradient(135deg, var(--primary-color), var(--secondary-color));
    border: 2px solid var(--primary-color);
    color: #fff;
    padding: 12px 24px;
    font-size: 14px;
    font-weight: bold;
    border-radius: 6px;
    cursor: pointer;
    transition: all 0.3s ease;
    letter-spacing: 1px;
    width: 100%;
    margin-top: 15px;
}

    body.light-space-theme .btn-primary:hover {
        box-shadow: 0 0 20px var(--primary-color), 0 0 40px var(--secondary-color);
        transform: scale(1.02);
    }

body.light-space-theme .results-panel,
body.light-space-theme .diagram-panel {
    background: #f5faff;
    border: 1px solid var(--primary-color);
    border-radius: 6px;
    padding: 15px;
    margin-bottom: 20px;
}

    body.light-space-theme .results-panel h2,
    body.light-space-theme .diagram-panel h2 {
        color: var(--primary-color);
        margin-top: 0;
        font-size: 16px;
    }

body.light-space-theme .validation-content {
    min-height: 100px;
}

body.light-space-theme .validation-item {
    background: #eaf6ff;
    border-left: 4px solid var(--primary-color);
    padding: 15px;
    margin: 15px 0;
    border-radius: 4px;
}

    body.light-space-theme .validation-item h4 {
        margin: 0 0 10px 0;
        color: #111;
        font-size: 14px;
    }

body.light-space-theme .status {
    display: inline-block;
    padding: 4px 8px;
    border-radius: 4px;
    font-weight: bold;
    margin-right: 10px;
}

body.light-space-theme .status--success {
    background: rgba(0, 255, 65, 0.15);
    color: var(--success-color);
}

body.light-space-theme .status--error {
    background: rgba(255, 51, 51, 0.15);
    color: var(--error-color);
}

body.light-space-theme .validation-details {
    margin: 0;
    color: #666;
    font-size: 12px;
    line-height: 1.5;
}

body.light-space-theme .final-result {
    padding: 15px;
    border-radius: 6px;
    text-align: center;
    font-weight: bold;
    margin-top: 20px;
    border: 2px solid;
    animation: pulse 1.5s ease-in-out infinite;
}

body.light-space-theme .final-result--success {
    background: rgba(0, 255, 65, 0.1);
    border-color: var(--success-color);
    color: var(--success-color);
    box-shadow: 0 0 20px rgba(0, 255, 65, 0.2);
}

body.light-space-theme .final-result--error {
    background: rgba(255, 51, 51, 0.1);
    border-color: var(--error-color);
    color: var(--error-color);
    box-shadow: 0 0 20px rgba(255, 51, 51, 0.2);
}

body.light-space-theme .automaton-canvas {
    width: 100%;
    height: 300px;
    background: #fff;
    border: 1px solid var(--primary-color);
    border-radius: 6px;
    display: block;
    margin: 15px 0;
}

body.light-space-theme .canvas-legend {
    font-size: 12px;
    color: #666;
    text-align: center;
    margin: 10px 0 0 0;
}

body.light-space-theme .footer {
    text-align: center;
    border-top: 2px solid var(--primary-color);
    padding-top: 20px;
    margin-top: 30px;
    color: #666;
    font-size: 12px;
    letter-spacing: 1px;
}

/* Êíîïêà ïåðåêëþ÷åíèÿ òåìû */
#themeToggleBtn {
    position: absolute;
    top: 10px;
    right: 10px;
    padding: 5px 10px;
    font-size: 12px;
    font-weight: bold;
    border: 1.5px solid var(--primary-color);
    border-radius: 4px;
    background-color: transparent;
    color: var(--primary-color);
    cursor: pointer;
    transition: background-color 0.3s ease;
}

    #themeToggleBtn:hover {
        background-color: rgba(0, 212, 255, 0.15);
    }