/* Navbar */
.navbar {
    background-color: rgba(30, 41, 59, 0.8);
    backdrop-filter: blur(12px);
    border-bottom: 1px solid var(--border-color);
    position: sticky;
    top: 0;
    z-index: 100;
    padding: var(--spacing-sm) 0;
}

.navbar .container {
    display: flex;
    justify-content: space-between;
    align-items: center;
}

.brand-logo {
    display: flex;
    align-items: center;
    gap: var(--spacing-xs);
    font-weight: 700;
    font-size: 1.25rem;
    color: var(--text-main);
}

.brand-logo i {
    color: var(--primary);
}

.nav-links {
    display: flex;
    gap: var(--spacing-md);
}

.nav-links a {
    color: var(--text-muted);
    font-size: 0.9rem;
    font-weight: 500;
}

.nav-links a:hover {
    color: var(--text-main);
}

/* Hero */
.hero {
    text-align: center;
    padding: 6rem 0 4rem;
}

.hero-title {
    font-size: 3rem;
    font-weight: 700;
    letter-spacing: -0.02em;
    margin-bottom: var(--spacing-sm);
    background: linear-gradient(to right, #60a5fa, #a78bfa);
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
}

.hero-subtitle {
    font-size: 1.125rem;
    color: var(--text-muted);
    max-width: 600px;
    margin: 0 auto;
}

/* Cards */
.card {
    background-color: var(--bg-surface);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-lg);
    padding: var(--spacing-lg);
    box-shadow: var(--shadow-md);
}

/* Buttons */
.btn {
    display: inline-flex;
    align-items: center;
    justify-content: center;
    gap: 0.5rem;
    padding: 0.625rem 1.25rem;
    font-size: 0.875rem;
    font-weight: 500;
    border-radius: var(--radius-md);
    border: none;
    cursor: pointer;
    transition: background-color var(--transition-fast), transform 50ms;
    font-family: inherit;
}

.btn:active {
    transform: scale(0.97);
}

.primary-btn {
    background-color: var(--primary);
    color: #fff;
}

.primary-btn:hover {
    background-color: var(--primary-hover);
}

.secondary-btn {
    background-color: var(--secondary);
    color: #fff;
}

.secondary-btn:hover {
    background-color: var(--secondary-hover);
}

.icon-btn {
    background-color: transparent;
    color: var(--text-muted);
    padding: 0.5rem;
    border-radius: var(--radius-sm);
}

.icon-btn:hover {
    background-color: var(--bg-surface-hover);
    color: var(--text-main);
}

/* Forms & Inputs */
.input-group {
    display: flex;
    flex-direction: column;
    gap: var(--spacing-xs);
    margin-bottom: var(--spacing-md);
}

.input-group label {
    font-size: 0.875rem;
    color: var(--text-muted);
    font-weight: 500;
}

.input-controls {
    display: flex;
    gap: var(--spacing-sm);
}

input[type="text"] {
    flex: 1;
    background-color: var(--bg-base);
    border: 1px solid var(--border-color);
    color: var(--text-main);
    padding: 0.625rem 1rem;
    border-radius: var(--radius-md);
    font-family: inherit;
    font-size: 1rem;
    transition: border-color var(--transition-fast), box-shadow var(--transition-fast);
    text-transform: uppercase;
}

input[type="text"]:focus {
    outline: none;
    border-color: var(--primary);
    box-shadow: 0 0 0 3px rgba(59, 130, 246, 0.2);
}

/* Validation Result */
.result-container {
    margin-top: var(--spacing-md);
    padding: var(--spacing-md);
    border-radius: var(--radius-md);
    background-color: var(--bg-base);
    border: 1px solid var(--border-color);
}

.result-header {
    display: flex;
    justify-content: space-between;
    align-items: center;
    margin-bottom: var(--spacing-xs);
}

.badge {
    display: inline-block;
    padding: 0.25rem 0.5rem;
    font-size: 0.75rem;
    font-weight: 600;
    border-radius: var(--radius-sm);
    background-color: var(--error-bg);
    color: var(--error);
    margin-top: var(--spacing-xs);
}

/* History */
.history-container {
    margin-top: var(--spacing-lg);
    border-top: 1px solid var(--border-color);
    padding-top: var(--spacing-md);
}

.history-list {
    display: flex;
    flex-direction: column;
    gap: var(--spacing-xs);
    margin-top: var(--spacing-xs);
}

.history-empty {
    color: var(--text-muted);
    font-size: 0.875rem;
    font-style: italic;
}

/* Trace & State Diagram Placeholders */
.trace-timeline, .diagram-container {
    background-color: var(--bg-base);
    border: 1px dashed var(--border-color);
    border-radius: var(--radius-md);
    padding: var(--spacing-lg);
    text-align: center;
    min-height: 150px;
    display: flex;
    align-items: center;
    justify-content: center;
}

.placeholder-text {
    color: var(--text-muted);
    font-size: 0.875rem;
}

.state-badge {
    background-color: var(--primary);
    color: white;
    padding: 0.2rem 0.6rem;
    border-radius: 99px;
    font-size: 0.875rem;
    font-weight: 600;
}

/* Tables */
.table-container {
    overflow-x: auto;
    background-color: var(--bg-surface);
    border-radius: var(--radius-lg);
    border: 1px solid var(--border-color);
}

.dfa-table {
    width: 100%;
    border-collapse: collapse;
    text-align: left;
}

.dfa-table th, .dfa-table td {
    padding: var(--spacing-sm) var(--spacing-md);
    border-bottom: 1px solid var(--border-color);
}

.dfa-table th {
    background-color: rgba(0,0,0,0.2);
    font-weight: 600;
    color: var(--text-muted);
    font-size: 0.875rem;
}

.dfa-table tr:last-child td {
    border-bottom: none;
}

.dfa-table tbody tr:hover {
    background-color: var(--bg-surface-hover);
}

/* Theory Grid */
.theory-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
    gap: var(--spacing-md);
}

.theory-card {
    background-color: var(--bg-surface);
    border: 1px solid var(--border-color);
    border-radius: var(--radius-md);
    padding: var(--spacing-md);
}

.theory-card ul {
    margin-top: var(--spacing-sm);
    color: var(--text-muted);
}

.theory-card li {
    margin-bottom: var(--spacing-xs);
    font-size: 0.9rem;
}

.theory-card strong {
    color: var(--text-main);
}

/* Footer */
.main-footer {
    border-top: 1px solid var(--border-color);
    padding: var(--spacing-lg) 0;
    margin-top: var(--spacing-xl);
    text-align: center;
    color: var(--text-muted);
    font-size: 0.875rem;
}