/* mujun.dev — Contradiction Detector IDE Theme */

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

:root {
    --bg-deep: #0d1117;
    --bg-primary: #1a1a2e;
    --bg-secondary: #3a3a5a;
    --text-primary: #e0e0f0;
    --text-secondary: #a0a0b0;
    --accent-purple: #c792ea;
    --accent-green: #c3e88d;
    --accent-red: #ff5370;
    --accent-amber: #febc2e;
    --close-red: #ff5f57;
    --minimize-yellow: #febc2e;
    --maximize-green: #28c840;
    --comment-gray: #546e7a;
}

html {
    font-size: 16px;
    scroll-behavior: smooth;
}

body {
    background: var(--bg-deep);
    color: var(--text-primary);
    font-family: 'JetBrains Mono', monospace;
    line-height: 1.6;
    min-height: 100vh;
    overflow-x: hidden;
}

/* Terminal Header */
#terminal-header {
    position: sticky;
    top: 0;
    z-index: 100;
    display: flex;
    align-items: center;
    height: 8vh;
    min-height: 40px;
    max-height: 48px;
    background: var(--bg-primary);
    border-bottom: 1px solid var(--bg-secondary);
    padding: 0 16px;
    gap: 12px;
}

.window-controls {
    display: flex;
    gap: 8px;
    align-items: center;
}

.control {
    width: 12px;
    height: 12px;
    border-radius: 50%;
    display: inline-block;
}

.control.close {
    background: var(--close-red);
}

.control.minimize {
    background: var(--minimize-yellow);
}

.control.maximize {
    background: var(--maximize-green);
}

.terminal-title {
    font-family: 'JetBrains Mono', monospace;
    font-size: clamp(0.7rem, 0.85vw, 0.85rem);
    color: var(--text-secondary);
    flex: 1;
    text-align: center;
}

.header-status {
    display: flex;
    align-items: center;
    gap: 6px;
}

.status-dot {
    width: 8px;
    height: 8px;
    border-radius: 50%;
    background: var(--accent-green);
    animation: pulse-dot 2s ease-in-out infinite;
}

@keyframes pulse-dot {
    0%, 100% { opacity: 1; }
    50% { opacity: 0.3; }
}

.status-text {
    font-size: 0.7rem;
    color: var(--accent-green);
    text-transform: uppercase;
    letter-spacing: 0.05em;
}

/* Main IDE Layout */
#ide-container {
    display: grid;
    grid-template-columns: 1fr 2px 1fr;
    height: 60vh;
    min-height: 400px;
}

/* Pane Divider */
#pane-divider {
    background: var(--bg-secondary);
    cursor: col-resize;
    position: relative;
    transition: background 0.2s;
}

#pane-divider:hover {
    background: var(--accent-purple);
}

/* Pane Common */
.pane {
    display: flex;
    flex-direction: column;
    overflow: hidden;
    background: var(--bg-deep);
}

.pane-tab-bar {
    display: flex;
    background: var(--bg-primary);
    border-bottom: 1px solid var(--bg-secondary);
    padding: 0;
    height: 36px;
}

.pane-tab-bar .tab,
.terminal-tab-bar .tab {
    padding: 8px 16px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.75rem;
    color: var(--text-secondary);
    cursor: pointer;
    border-right: 1px solid var(--bg-secondary);
    transition: color 0.2s, background 0.2s;
    display: flex;
    align-items: center;
}

.pane-tab-bar .tab.active,
.terminal-tab-bar .tab.active {
    color: var(--text-primary);
    background: var(--bg-deep);
    border-bottom: 2px solid var(--accent-purple);
}

.pane-tab-bar .tab:hover,
.terminal-tab-bar .tab:hover {
    color: var(--text-primary);
}

/* Code Editor Pane */
.pane-content {
    flex: 1;
    overflow-y: auto;
    padding: 16px;
}

.code-editor {
    display: flex;
    gap: 0;
    padding: 0;
}

.line-numbers {
    padding: 16px 12px 16px 16px;
    text-align: right;
    color: var(--bg-secondary);
    font-size: clamp(0.8rem, 0.9vw, 0.95rem);
    line-height: 1.6;
    user-select: none;
    min-width: 40px;
    border-right: 1px solid rgba(58, 58, 90, 0.3);
}

.code-block {
    flex: 1;
    padding: 16px;
    overflow-x: auto;
}

.code-block pre {
    margin: 0;
    font-family: 'JetBrains Mono', monospace;
    font-size: clamp(0.8rem, 0.9vw, 0.95rem);
    line-height: 1.6;
}

.code-block code {
    font-family: inherit;
}

/* Syntax Highlighting */
.kw { color: var(--accent-purple); }
.type { color: var(--accent-amber); }
.fn { color: #82aaff; }
.prop { color: var(--text-primary); }
.param { color: var(--accent-red); }
.str { color: var(--accent-green); }
.comment { color: var(--comment-gray); font-style: italic; }

/* Analysis Pane */
.analysis-output {
    padding: 16px;
    display: flex;
    flex-direction: column;
    gap: 16px;
}

.analysis-header {
    display: flex;
    align-items: center;
    gap: 10px;
    padding-bottom: 12px;
    border-bottom: 1px solid var(--bg-secondary);
}

.analysis-icon {
    color: var(--accent-purple);
    font-size: 1.2rem;
}

.analysis-title {
    font-family: 'Space Grotesk', sans-serif;
    font-size: 1rem;
    font-weight: 600;
    color: var(--text-primary);
}

.analysis-badge {
    margin-left: auto;
    padding: 2px 10px;
    border-radius: 3px;
    font-size: 0.7rem;
    font-weight: 500;
    text-transform: uppercase;
    letter-spacing: 0.05em;
}

.analysis-badge.error {
    background: rgba(255, 83, 112, 0.15);
    color: var(--accent-red);
    border: 1px solid rgba(255, 83, 112, 0.3);
}

/* Analysis Entries */
.analysis-entry {
    display: flex;
    gap: 12px;
    padding: 12px;
    background: rgba(26, 26, 46, 0.6);
    border-radius: 4px;
    border-left: 3px solid transparent;
    transition: transform 0.2s, border-color 0.3s;
    opacity: 0;
    transform: translateX(20px);
}

.analysis-entry.visible {
    opacity: 1;
    transform: translateX(0);
}

.entry-marker {
    width: 8px;
    height: 8px;
    border-radius: 50%;
    margin-top: 6px;
    flex-shrink: 0;
}

.entry-marker.error { background: var(--accent-red); }
.entry-marker.warning { background: var(--accent-amber); }
.entry-marker.info { background: var(--accent-purple); }

.entry-content {
    flex: 1;
    display: flex;
    flex-direction: column;
    gap: 4px;
}

.entry-label {
    font-size: 0.8rem;
    font-weight: 500;
}

.error-tag {
    color: var(--accent-red);
    font-weight: 700;
    margin-right: 8px;
}

.warning-tag {
    color: var(--accent-amber);
    font-weight: 700;
    margin-right: 8px;
}

.info-tag {
    color: var(--accent-purple);
    font-weight: 700;
    margin-right: 8px;
}

.entry-description {
    font-size: 0.78rem;
    color: var(--text-secondary);
    line-height: 1.5;
}

.entry-description code {
    background: rgba(58, 58, 90, 0.5);
    padding: 1px 5px;
    border-radius: 3px;
    font-size: 0.75rem;
    color: var(--accent-green);
}

.entry-path {
    font-size: 0.7rem;
    color: var(--bg-secondary);
    font-style: italic;
}

.analysis-entry:hover {
    border-left-color: var(--accent-purple);
}

/* State Graph */
.analysis-graph {
    margin-top: 8px;
    padding: 16px;
    background: rgba(26, 26, 46, 0.4);
    border-radius: 4px;
    border: 1px solid var(--bg-secondary);
}

.graph-title {
    font-family: 'Space Grotesk', sans-serif;
    font-size: 0.8rem;
    color: var(--text-secondary);
    margin-bottom: 16px;
    text-transform: uppercase;
    letter-spacing: 0.1em;
}

.graph-visual {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 0;
}

.graph-node {
    padding: 8px 18px;
    border: 1px solid var(--bg-secondary);
    border-radius: 4px;
    font-size: 0.75rem;
    color: var(--text-primary);
    background: var(--bg-primary);
    transition: border-color 0.3s, box-shadow 0.3s;
}

.graph-node[data-state="active"] {
    border-color: var(--accent-green);
    color: var(--accent-green);
}

.graph-node[data-state="deleted"] {
    border-color: var(--accent-red);
    color: var(--accent-red);
}

.graph-node.unreachable {
    border-color: var(--bg-secondary);
    color: var(--bg-secondary);
    border-style: dashed;
    opacity: 0.5;
}

.graph-edge {
    width: 40px;
    height: 2px;
    position: relative;
}

.graph-edge.error-edge {
    background: var(--accent-red);
    box-shadow: 0 0 8px rgba(255, 83, 112, 0.4);
}

.graph-edge.error-edge::after {
    content: '✗';
    position: absolute;
    top: -12px;
    left: 50%;
    transform: translateX(-50%);
    font-size: 0.65rem;
    color: var(--accent-red);
}

.graph-edge.valid-edge {
    background: var(--bg-secondary);
    border-top: 2px dashed var(--bg-secondary);
    height: 0;
}

.graph-edge.valid-edge::after {
    content: '?';
    position: absolute;
    top: -12px;
    left: 50%;
    transform: translateX(-50%);
    font-size: 0.65rem;
    color: var(--bg-secondary);
}

/* Bottom Terminal */
#terminal-section {
    background: var(--bg-primary);
    border-top: 1px solid var(--bg-secondary);
}

.terminal-tab-bar {
    display: flex;
    background: var(--bg-primary);
    border-bottom: 1px solid var(--bg-secondary);
    height: 36px;
}

.terminal-content {
    padding: 16px;
    min-height: 160px;
    max-height: 200px;
    overflow-y: auto;
    font-family: 'JetBrains Mono', monospace;
    font-size: clamp(0.8rem, 0.9vw, 0.95rem);
    line-height: 1.8;
}

.terminal-line {
    display: flex;
    gap: 8px;
    align-items: baseline;
}

.prompt {
    color: var(--accent-purple);
    user-select: none;
}

.command {
    color: var(--text-primary);
}

.output-line {
    padding-left: 16px;
}

.output-text {
    font-size: 0.8rem;
}

.output-text.dim { color: var(--text-secondary); }
.output-text.success { color: var(--accent-green); }
.output-text.error { color: var(--accent-red); }
.output-text.warning { color: var(--accent-amber); }

.cursor-input {
    color: var(--text-primary);
}

.cursor-blink {
    animation: blink 1s step-end infinite;
}

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

/* Installation Section */
#install-section {
    padding: 80px 24px;
    background: var(--bg-deep);
    border-top: 1px solid var(--bg-secondary);
}

.install-container {
    max-width: 700px;
    margin: 0 auto;
}

.install-title {
    font-family: 'Space Grotesk', sans-serif;
    font-size: clamp(1.5rem, 2.5vw, 2rem);
    font-weight: 700;
    color: var(--text-primary);
    margin-bottom: 32px;
    text-align: center;
}

.install-methods {
    display: flex;
    flex-direction: column;
    gap: 12px;
    margin-bottom: 40px;
}

.install-card {
    background: var(--bg-primary);
    border: 1px solid var(--bg-secondary);
    border-radius: 6px;
    padding: 16px 20px;
    display: flex;
    align-items: center;
    gap: 16px;
    transition: border-color 0.2s;
}

.install-card:hover {
    border-color: var(--accent-purple);
}

.install-label {
    font-family: 'Space Grotesk', sans-serif;
    font-size: 0.8rem;
    font-weight: 600;
    color: var(--accent-purple);
    min-width: 48px;
    text-transform: uppercase;
    letter-spacing: 0.05em;
}

.install-command {
    flex: 1;
    display: flex;
    align-items: center;
    gap: 8px;
    background: var(--bg-deep);
    padding: 8px 12px;
    border-radius: 4px;
    font-size: 0.85rem;
}

.cmd-text {
    flex: 1;
    color: var(--text-primary);
}

.copy-btn {
    background: transparent;
    border: 1px solid var(--bg-secondary);
    color: var(--text-secondary);
    padding: 4px 10px;
    border-radius: 3px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.7rem;
    cursor: pointer;
    transition: color 0.2s, border-color 0.2s;
}

.copy-btn:hover {
    color: var(--accent-green);
    border-color: var(--accent-green);
}

.copy-btn.copied {
    color: var(--accent-green);
    border-color: var(--accent-green);
}

/* Stats */
.install-stats {
    display: flex;
    justify-content: center;
    gap: 48px;
}

.stat {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 4px;
}

.stat-value {
    font-family: 'Space Grotesk', sans-serif;
    font-size: 1.3rem;
    font-weight: 700;
    color: var(--text-primary);
}

.stat-label {
    font-size: 0.7rem;
    color: var(--text-secondary);
    text-transform: uppercase;
    letter-spacing: 0.05em;
}

/* Footer */
#site-footer {
    background: var(--bg-primary);
    border-top: 1px solid var(--bg-secondary);
    padding: 20px 24px;
}

.footer-content {
    display: flex;
    align-items: center;
    justify-content: space-between;
    max-width: 1200px;
    margin: 0 auto;
    font-size: 0.75rem;
}

.footer-brand {
    font-family: 'Space Grotesk', sans-serif;
    font-weight: 600;
    color: var(--accent-purple);
}

.footer-links {
    display: flex;
    gap: 20px;
}

.footer-link {
    color: var(--text-secondary);
    text-decoration: none;
    transition: color 0.2s;
}

.footer-link:hover {
    color: var(--accent-purple);
}

.footer-copy {
    color: var(--text-secondary);
}

/* Scrollbar Styling */
::-webkit-scrollbar {
    width: 6px;
    height: 6px;
}

::-webkit-scrollbar-track {
    background: var(--bg-deep);
}

::-webkit-scrollbar-thumb {
    background: var(--bg-secondary);
    border-radius: 3px;
}

::-webkit-scrollbar-thumb:hover {
    background: var(--accent-purple);
}

/* Responsive */
@media (max-width: 768px) {
    #ide-container {
        grid-template-columns: 1fr;
        grid-template-rows: 1fr auto 1fr;
        height: auto;
    }

    #pane-divider {
        height: 2px;
        width: 100%;
        cursor: row-resize;
    }

    .pane-content {
        min-height: 300px;
    }

    .install-stats {
        gap: 24px;
    }

    .footer-content {
        flex-direction: column;
        gap: 12px;
        text-align: center;
    }
}