:root {
    --bg-primary: #0d1117;
    --bg-secondary: #161b22;
    --bg-tertiary: #21262d;
    --border-color: #30363d;
    --text-primary: #c9d1d9;
    --text-secondary: #8b949e;
    --accent-color: #58a6ff;
    --accent-hover: #1f6feb;
    --success-color: #3fb950;
    --warning-color: #d29922;
    --danger-color: #f85149;
    --code-bg: #1f242c;
    --font-sans: 'Inter', -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
    --font-mono: 'JetBrains Mono', monospace;
}

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

body {
    background-color: var(--bg-primary);
    color: var(--text-primary);
    font-family: var(--font-sans);
    line-height: 1.5;
    min-height: 100vh;
    display: flex;
    flex-direction: column;
}

.app-header {
    background-color: var(--bg-secondary);
    border-bottom: 1px solid var(--border-color);
    padding: 1.5rem 2rem;
}

.header-content {
    max-width: 1400px;
    margin: 0 auto;
}

.logo-area {
    display: flex;
    align-items: center;
    gap: 1rem;
    margin-bottom: 0.5rem;
}

.badge {
    background-color: rgba(88, 166, 255, 0.15);
    color: var(--accent-color);
    border: 1px solid rgba(88, 166, 255, 0.4);
    padding: 0.2rem 0.6rem;
    border-radius: 4px;
    font-size: 0.8rem;
    font-family: var(--font-mono);
    font-weight: 600;
}

.app-header h1 {
    font-size: 1.5rem;
    font-weight: 700;
    color: #ffffff;
}

.subtitle {
    color: var(--text-secondary);
    font-size: 0.95rem;
}

.container {
    max-width: 1400px;
    margin: 0 auto;
    padding: 2rem;
    width: 100%;
    flex: 1;
}

/* Tabs */
.tab-nav {
    display: flex;
    gap: 0.5rem;
    margin-bottom: 1.5rem;
    border-bottom: 1px solid var(--border-color);
    padding-bottom: 0.5rem;
}

.tab-btn {
    background: transparent;
    border: none;
    color: var(--text-secondary);
    padding: 0.75rem 1.25rem;
    font-size: 0.95rem;
    font-weight: 500;
    cursor: pointer;
    border-radius: 6px;
    transition: all 0.2s ease;
}

.tab-btn:hover {
    color: var(--text-primary);
    background-color: var(--bg-secondary);
}

.tab-btn.active {
    color: #ffffff;
    background-color: var(--bg-secondary);
    border: 1px solid var(--border-color);
}

.tab-content {
    display: none;
}

.tab-content.active {
    display: block;
}

/* Toolbar & Filters */
.toolbar {
    display: flex;
    gap: 1rem;
    margin-bottom: 1rem;
    flex-wrap: wrap;
    justify-content: space-between;
}

.search-box {
    position: relative;
    flex: 1;
    min-width: 280px;
}

.search-box svg {
    position: absolute;
    left: 12px;
    top: 50%;
    transform: translateY(-50%);
    color: var(--text-secondary);
}

.search-box input {
    width: 100%;
    background-color: var(--bg-secondary);
    border: 1px solid var(--border-color);
    color: var(--text-primary);
    padding: 0.65rem 0.75rem 0.65rem 2.5rem;
    border-radius: 6px;
    font-size: 0.95rem;
    outline: none;
    transition: border-color 0.2s;
}

.search-box input:focus {
    border-color: var(--accent-color);
}

.filters {
    display: flex;
    gap: 0.75rem;
}

select {
    background-color: var(--bg-secondary);
    border: 1px solid var(--border-color);
    color: var(--text-primary);
    padding: 0.65rem 1rem;
    border-radius: 6px;
    font-size: 0.95rem;
    outline: none;
    cursor: pointer;
}

select:focus {
    border-color: var(--accent-color);
}

.btn-primary, .btn-secondary {
    padding: 0.65rem 1.25rem;
    border-radius: 6px;
    font-size: 0.95rem;
    font-weight: 500;
    cursor: pointer;
    border: 1px solid transparent;
    transition: background-color 0.2s;
}

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

.btn-primary:hover {
    background-color: #388bfd;
}

.btn-secondary {
    background-color: var(--bg-secondary);
    border-color: var(--border-color);
    color: var(--text-primary);
}

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

/* Stats Bar */
.stats-bar {
    display: flex;
    justify-content: space-between;
    align-items: center;
    background-color: var(--bg-secondary);
    padding: 0.75rem 1rem;
    border-radius: 6px;
    margin-bottom: 1rem;
    border: 1px solid var(--border-color);
    font-size: 0.9rem;
}

.elast-indicator strong {
    color: var(--warning-color);
}

/* Table Container */
.table-container {
    background-color: var(--bg-secondary);
    border: 1px solid var(--border-color);
    border-radius: 8px;
    overflow-x: auto;
    max-height: 650px;
    overflow-y: auto;
}

table {
    width: 100%;
    border-collapse: collapse;
    text-align: left;
    font-size: 0.9rem;
}

th {
    background-color: var(--bg-tertiary);
    color: var(--text-primary);
    padding: 0.85rem 1rem;
    font-weight: 600;
    border-bottom: 1px solid var(--border-color);
    position: sticky;
    top: 0;
    z-index: 10;
    cursor: pointer;
}

th:hover {
    color: var(--accent-color);
}

td {
    padding: 0.85rem 1rem;
    border-bottom: 1px solid var(--border-color);
    color: var(--text-primary);
}

tr:hover td {
    background-color: rgba(255, 255, 255, 0.02);
}

.code-cell {
    font-family: var(--font-mono);
    font-weight: 600;
    color: var(--accent-color);
    text-align: center;
    width: 70px;
}

.name-cell {
    font-family: var(--font-mono);
    font-weight: 700;
    color: #ffffff;
    width: 150px;
}

.category-badge {
    display: inline-block;
    padding: 0.2rem 0.5rem;
    border-radius: 4px;
    font-size: 0.75rem;
    font-weight: 500;
    background-color: var(--bg-tertiary);
    border: 1px solid var(--border-color);
}

.syscall-tag {
    font-family: var(--font-mono);
    font-size: 0.8rem;
    color: var(--text-secondary);
    background-color: var(--code-bg);
    padding: 0.15rem 0.4rem;
    border-radius: 3px;
    margin-right: 4px;
    display: inline-block;
    margin-bottom: 2px;
}

/* Simulator Styles */
.simulator-card, .elast-card {
    background-color: var(--bg-secondary);
    border: 1px solid var(--border-color);
    border-radius: 8px;
    padding: 2rem;
}

.simulator-card h2, .elast-card h2 {
    color: #ffffff;
    margin-bottom: 0.5rem;
}

.simulator-card > p, .elast-card > p {
    color: var(--text-secondary);
    margin-bottom: 1.5rem;
}

.simulator-grid {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 2rem;
}

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

.sim-controls h3, .sim-results h3 {
    font-size: 1.1rem;
    margin-bottom: 1rem;
    color: #ffffff;
    border-bottom: 1px solid var(--border-color);
    padding-bottom: 0.5rem;
}

.form-group {
    margin-bottom: 1.25rem;
}

.form-group label {
    display: block;
    margin-bottom: 0.5rem;
    font-size: 0.9rem;
    font-weight: 500;
}

.form-group select {
    width: 100%;
}

.checkbox-group label {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    cursor: pointer;
    font-weight: 400;
}

.checkbox-group input[type="checkbox"] {
    width: 16px;
    height: 16px;
    accent-color: var(--accent-color);
    cursor: pointer;
}

.err-tag {
    font-family: var(--font-mono);
    color: var(--warning-color);
    background-color: var(--code-bg);
    padding: 0.1rem 0.3rem;
    border-radius: 3px;
    font-size: 0.85rem;
}

.pipeline-steps {
    display: flex;
    flex-direction: column;
    gap: 0.75rem;
    margin-bottom: 1.5rem;
}

.pipeline-step {
    background-color: var(--bg-tertiary);
    border: 1px solid var(--border-color);
    padding: 0.75rem 1rem;
    border-radius: 6px;
    display: flex;
    justify-content: space-between;
    align-items: center;
    font-size: 0.9rem;
}

.pipeline-step.passed {
    border-left: 4px solid var(--success-color);
}

.pipeline-step.failed {
    border-left: 4px solid var(--danger-color);
    background-color: rgba(248, 81, 73, 0.05);
}

.step-status {
    font-weight: 600;
    font-family: var(--font-mono);
    font-size: 0.85rem;
}

.step-status.pass { color: var(--success-color); }
.step-status.fail { color: var(--danger-color); }

.sim-verdict {
    background-color: var(--bg-tertiary);
    border: 1px solid var(--accent-color);
    border-radius: 6px;
    padding: 1.25rem;
    text-align: center;
}

.verdict-label {
    font-size: 0.85rem;
    color: var(--text-secondary);
    text-transform: uppercase;
    letter-spacing: 0.05em;
    margin-bottom: 0.5rem;
}

.verdict-value {
    font-family: var(--font-mono);
    font-size: 1.5rem;
    font-weight: 700;
    color: var(--accent-color);
}

/* ELAST Tab Styles */
.elast-grid {
    display: grid;
    grid-template-columns: repeat(3, 1f);
    gap: 1.5rem;
    margin: 1.5rem 0 2rem 0;
}

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

.metric-box {
    background-color: var(--bg-tertiary);
    border: 1px solid var(--border-color);
    padding: 1.5rem;
    border-radius: 8px;
    text-align: center;
}

.metric-val {
    display: block;
    font-family: var(--font-mono);
    font-size: 2rem;
    font-weight: 700;
    color: var(--accent-color);
    margin-bottom: 0.5rem;
}

.metric-lbl {
    font-size: 0.9rem;
    color: var(--text-secondary);
}

.boundary-checker {
    display: flex;
    gap: 1rem;
    margin: 1rem 0;
}

.boundary-checker input {
    background-color: var(--bg-secondary);
    border: 1px solid var(--border-color);
    color: var(--text-primary);
    padding: 0.65rem 1rem;
    border-radius: 6px;
    font-size: 1rem;
    font-family: var(--font-mono);
    width: 200px;
    outline: none;
}

.boundary-result {
    background-color: var(--bg-tertiary);
    border: 1px solid var(--border-color);
    padding: 1rem;
    border-radius: 6px;
    font-family: var(--font-mono);
    font-size: 0.95rem;
    margin-top: 1rem;
}

footer {
    text-align: center;
    padding: 2rem;
    color: var(--text-secondary);
    font-size: 0.85rem;
    border-top: 1px solid var(--border-color);
    background-color: var(--bg-secondary);
}