/* Base Styles */
@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;500;700&display=swap');

:root {
    --terminal-bg: #0a0a0a;
    --terminal-text: #33ff33;
    --terminal-glow: rgba(51, 255, 51, 0.4);
    --terminal-error: #ff3333;
    --terminal-warning: #ffaa33;
    --terminal-verified: #33aaff;
    --terminal-epsilon: #ffaa33;
    --scanline-opacity: 0.15;
    --flicker-opacity: 0.3;
    --font-mono: 'IBM Plex Mono', monospace;
}

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

body {
    background-color: var(--terminal-bg);
    color: var(--terminal-text);
    font-family: var(--font-mono);
    font-size: 16px;
    line-height: 1.5;
    min-height: 100vh;
    padding: 0;
    display: flex;
    flex-direction: column;
    justify-content: center;
    overflow: hidden;
    position: relative;
}

/* CRT Effects */
body::before {
    content: "";
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background: linear-gradient(
        to bottom,
        rgba(10, 10, 10, 0) 0%,
        rgba(10, 10, 10, var(--scanline-opacity)) 50%,
        rgba(10, 10, 10, 0) 100%
    );
    background-size: 100% 4px;
    pointer-events: none;
    z-index: 10;
    animation: scanlines 0.1s linear infinite;
}

@keyframes scanlines {
    0% { background-position: 0 0; }
    100% { background-position: 0 4px; }
}

.crt-flicker {
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background: rgba(51, 255, 51, 0.02);
    opacity: 0;
    pointer-events: none;
    z-index: 9;
    animation: flicker 5s infinite;
}

@keyframes flicker {
    0% { opacity: 0; }
    5% { opacity: var(--flicker-opacity); }
    6% { opacity: 0; }
    90% { opacity: 0; }
    95% { opacity: var(--flicker-opacity); }
    100% { opacity: 0; }
}

/* Terminal Container */
.terminal-container {
    width: 100%;
    max-width: 100%;
    height: 100vh;
    display: flex;
    flex-direction: column;
    position: relative;
    overflow: hidden;
}

.terminal-header {
    height: 40px;
    border-bottom: 1px solid var(--terminal-text);
    display: flex;
    align-items: center;
    padding: 0 20px;
    font-weight: bold;
    letter-spacing: 1px;
    box-shadow: 0 0 10px var(--terminal-glow);
    background-color: rgba(0, 0, 0, 0.5);
    z-index: 2;
}

.terminal {
    flex: 1;
    padding: 20px;
    overflow: hidden;
    display: flex;
    flex-direction: column;
    position: relative;
}

.terminal-content {
    flex: 1;
    overflow-y: auto;
    margin-bottom: 20px;
    padding-right: 10px;
    scrollbar-width: thin;
    scrollbar-color: var(--terminal-text) var(--terminal-bg);
}

.terminal-content::-webkit-scrollbar {
    width: 5px;
}

.terminal-content::-webkit-scrollbar-track {
    background: var(--terminal-bg);
}

.terminal-content::-webkit-scrollbar-thumb {
    background-color: var(--terminal-text);
    border-radius: 10px;
}

/* Input Prompt */
.input-line {
    display: flex;
    align-items: center;
    margin-bottom: 10px;
}

.prompt {
    margin-right: 10px;
    flex-shrink: 0;
}

.input-field {
    flex-grow: 1;
    background: transparent;
    border: none;
    color: var(--terminal-text);
    font-family: var(--font-mono);
    font-size: 16px;
    caret-color: var(--terminal-text);
    outline: none;
}

/* Output Styling */
.output-text {
    margin-bottom: 15px;
    line-height: 1.4;
    word-break: break-word;
    white-space: pre-wrap;
}

.error {
    color: var(--terminal-error);
}

.warning {
    color: var(--terminal-warning);
}

.dim {
    opacity: 0.7;
}

.emphasis {
    font-weight: bold;
    letter-spacing: 1px;
}

.hidden {
    display: none;
}

.verified {
    color: var(--terminal-verified);
}

.epsilon {
    color: var(--terminal-epsilon);
}

/* Cursor */
.cursor {
    display: inline-block;
    width: 10px;
    height: 18px;
    background-color: var(--terminal-text);
    animation: blink 1s infinite;
    vertical-align: middle;
}

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

/* Glitch effect */
.glitch {
    position: relative;
    animation: glitch 0.3s infinite;
}

.glitch-text {
    display: inline-block;
    animation: glitch-text 3s infinite;
}

@keyframes glitch {
    0% { transform: translate(0); }
    20% { transform: translate(-2px, 2px); }
    40% { transform: translate(-2px, -2px); }
    60% { transform: translate(2px, 2px); }
    80% { transform: translate(2px, -2px); }
    100% { transform: translate(0); }
}

@keyframes glitch-text {
    0%, 97%, 100% { transform: translate(0); opacity: 1; }
    98% { transform: translate(-3px, 2px); opacity: 0.8; }
    99% { transform: translate(3px, -2px); opacity: 0.9; }
}

/* Loading spinner */
.loading {
    display: inline-block;
    width: 20px;
    height: 20px;
    border: 2px solid rgba(51, 255, 51, 0.3);
    border-radius: 50%;
    border-top-color: var(--terminal-text);
    animation: spin 1s linear infinite;
    margin-left: 10px;
}

@keyframes spin {
    0% { transform: rotate(0deg); }
    100% { transform: rotate(360deg); }
}

/* Observer form */
.observer-form {
    margin-top: 20px;
    display: none;
    border: 1px solid var(--terminal-text);
    padding: 20px;
    background-color: rgba(0, 0, 0, 0.5);
    box-shadow: 0 0 10px var(--terminal-glow);
}

.form-field {
    margin-bottom: 15px;
}

.form-field label {
    display: block;
    margin-bottom: 5px;
}

.form-field input,
.form-field textarea {
    width: 100%;
    background: rgba(0, 0, 0, 0.5);
    border: 1px solid var(--terminal-text);
    color: var(--terminal-text);
    padding: 8px;
    font-family: var(--font-mono);
}

.form-field textarea {
    height: 100px;
    resize: vertical;
}

button {
    background: transparent;
    border: 1px solid var(--terminal-text);
    color: var(--terminal-text);
    padding: 8px 16px;
    font-family: var(--font-mono);
    cursor: pointer;
    transition: all 0.3s;
}

button:hover {
    background: rgba(51, 255, 51, 0.2);
}

/* Terminal links */
.terminal-link {
    color: var(--terminal-text);
    text-decoration: underline;
    cursor: pointer;
}

.terminal-link:hover {
    text-shadow: 0 0 8px var(--terminal-glow);
}

/* Access level content */
[data-access-level] {
    display: none;
}