/* 
  SSE-CRYPT: Stylesheet for the Symmetric Searchable Encryption Interactive Terminal
  Designed with HSL variables, Deep Obsidian Dark Mode, Cyberpunk Glassmorphism, 
  and smooth transitions.
*/

:root {
    --bg-main: hsl(224, 71%, 4%);
    --bg-sidebar: hsl(224, 71%, 2%);
    --bg-card: hsla(224, 71%, 8%, 0.65);
    --border-color: hsla(217, 30%, 20%, 0.5);
    
    /* Neon Accents */
    --accent-cyan: hsl(184, 100%, 45%);
    --accent-cyan-glow: hsla(184, 100%, 45%, 0.3);
    
    --accent-purple: hsl(280, 95%, 60%);
    --accent-purple-glow: hsla(280, 95%, 60%, 0.3);
    
    --accent-green: hsl(145, 100%, 40%);
    --accent-green-glow: hsla(145, 100%, 40%, 0.25);
    
    --accent-yellow: hsl(45, 100%, 50%);
    --accent-yellow-glow: hsla(45, 100%, 50%, 0.2);
    
    --accent-red: hsl(0, 85%, 55%);
    
    /* Typography Colors */
    --text-primary: hsl(210, 40%, 98%);
    --text-secondary: hsl(215, 20%, 75%);
    --text-muted: hsl(217, 10%, 50%);
    
    /* Layout Sizes */
    --sidebar-width: 280px;
    --transition-speed: 0.25s;
    --border-radius: 12px;
}

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

html {
    scroll-behavior: smooth;
}

body {
    font-family: 'Outfit', sans-serif;
    background-color: var(--bg-main);
    color: var(--text-primary);
    overflow-x: hidden;
    min-height: 100vh;
}

/* Scrollbar customization */
::-webkit-scrollbar {
    width: 8px;
    height: 8px;
}

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

::-webkit-scrollbar-thumb {
    background: var(--border-color);
    border-radius: 4px;
}

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

/* Animated Tech Background */
.cyber-theme {
    position: relative;
    background-image: 
        radial-gradient(at 10% 20%, hsla(280, 95%, 30%, 0.08) 0px, transparent 50%),
        radial-gradient(at 90% 80%, hsla(184, 100%, 30%, 0.06) 0px, transparent 50%);
}

.tech-grid {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    bottom: 0;
    background-image: 
        linear-gradient(rgba(18, 30, 52, 0.07) 1px, transparent 1px),
        linear-gradient(90deg, rgba(18, 30, 52, 0.07) 1px, transparent 1px);
    background-size: 40px 40px;
    pointer-events: none;
    z-index: 0;
}

.tech-glow-1 {
    position: fixed;
    top: -200px;
    left: 30%;
    width: 600px;
    height: 600px;
    background: radial-gradient(circle, hsla(184, 100%, 45%, 0.04) 0%, transparent 70%);
    pointer-events: none;
    z-index: 0;
    filter: blur(80px);
}

.tech-glow-2 {
    position: fixed;
    bottom: -200px;
    right: 10%;
    width: 650px;
    height: 650px;
    background: radial-gradient(circle, hsla(280, 95%, 60%, 0.04) 0%, transparent 70%);
    pointer-events: none;
    z-index: 0;
    filter: blur(80px);
}

/* Container Structure */
.app-container {
    display: flex;
    min-height: 100vh;
    position: relative;
    z-index: 1;
}

/* Sidebar Navigation */
.sidebar-nav {
    width: var(--sidebar-width);
    background-color: var(--bg-sidebar);
    border-right: 1px solid var(--border-color);
    display: flex;
    flex-direction: column;
    padding: 24px 16px;
    height: 100vh;
    position: fixed;
    left: 0;
    top: 0;
    z-index: 10;
}

.brand {
    display: flex;
    align-items: center;
    gap: 12px;
    margin-bottom: 36px;
    padding: 0 8px;
}

.brand-icon {
    width: 42px;
    height: 42px;
    border-radius: 10px;
    background: linear-gradient(135deg, hsla(280, 95%, 60%, 0.2), hsla(184, 100%, 45%, 0.2));
    border: 1px solid var(--accent-purple);
    display: flex;
    align-items: center;
    justify-content: center;
}

.neon-purple-icon {
    color: var(--accent-purple);
    filter: drop-shadow(0 0 5px var(--accent-purple));
}

.brand-text h1 {
    font-size: 1.25rem;
    font-weight: 800;
    letter-spacing: 1.5px;
    background: linear-gradient(90deg, var(--text-primary), var(--accent-cyan));
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
}

.brand-text span {
    font-size: 0.65rem;
    font-weight: 700;
    letter-spacing: 2px;
    color: var(--text-muted);
    text-transform: uppercase;
}

.nav-links {
    display: flex;
    flex-direction: column;
    gap: 8px;
    flex-grow: 1;
}

.nav-item {
    display: flex;
    align-items: center;
    gap: 12px;
    padding: 12px 16px;
    background: transparent;
    border: 1px solid transparent;
    border-radius: 8px;
    color: var(--text-secondary);
    font-family: inherit;
    font-size: 0.95rem;
    font-weight: 500;
    cursor: pointer;
    text-align: left;
    transition: all var(--transition-speed);
}

.nav-item i {
    width: 18px;
    height: 18px;
    transition: transform var(--transition-speed);
}

.nav-item:hover {
    color: var(--text-primary);
    background-color: hsla(217, 30%, 15%, 0.4);
    border-color: hsla(217, 30%, 25%, 0.3);
}

.nav-item:hover i {
    transform: translateX(3px);
}

.nav-item.active {
    color: var(--accent-cyan);
    background: linear-gradient(90deg, hsla(184, 100%, 45%, 0.1), transparent);
    border-left: 3px solid var(--accent-cyan);
    border-top-left-radius: 0;
    border-bottom-left-radius: 0;
    font-weight: 600;
}

.crypto-status {
    background-color: hsla(224, 71%, 6%, 0.8);
    border: 1px solid var(--border-color);
    border-radius: var(--border-radius);
    padding: 16px;
    margin-top: auto;
}

.status-header {
    display: flex;
    align-items: center;
    gap: 8px;
    font-size: 0.8rem;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 1px;
    color: var(--text-secondary);
    margin-bottom: 8px;
}

.pulse-indicator {
    width: 8px;
    height: 8px;
    border-radius: 50%;
}

.pulse-indicator.green {
    background-color: var(--accent-green);
    box-shadow: 0 0 8px var(--accent-green);
    animation: pulse 1.8s infinite;
}

.crypto-status p {
    font-size: 0.75rem;
    color: var(--text-muted);
    margin-bottom: 12px;
}

.key-indicator {
    display: flex;
    flex-direction: column;
    gap: 4px;
    font-size: 0.7rem;
}

.key-indicator span {
    color: var(--text-muted);
}

.key-hex {
    font-family: 'JetBrains Mono', monospace;
    color: var(--accent-green);
    word-break: break-all;
    background: hsla(145, 100%, 40%, 0.08);
    padding: 4px 6px;
    border-radius: 4px;
    border: 1px dashed hsla(145, 100%, 40%, 0.2);
}

/* Main Content Area */
.main-content {
    margin-left: var(--sidebar-width);
    flex-grow: 1;
    padding: 40px;
    min-height: 100vh;
    display: flex;
    flex-direction: column;
    z-index: 1;
}

/* Tab panes */
.tab-pane {
    display: none;
    animation: fadeIn 0.4s ease forwards;
}

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

/* Dashboard Styles */
.dashboard-header {
    margin-bottom: 32px;
}

.header-pre {
    font-size: 0.8rem;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 2px;
    color: var(--accent-purple);
    margin-bottom: 8px;
    text-shadow: 0 0 10px var(--accent-purple-glow);
}

.dashboard-header h2 {
    font-size: 2.2rem;
    font-weight: 800;
    line-height: 1.25;
    margin-bottom: 12px;
    background: linear-gradient(135deg, var(--text-primary) 50%, var(--accent-cyan));
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
}

.subtitle {
    font-size: 1.05rem;
    color: var(--text-secondary);
    max-width: 900px;
    line-height: 1.6;
}

/* Stats Cards Grid */
.stats-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
    gap: 20px;
    margin-bottom: 32px;
}

.stat-card {
    background-color: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--border-radius);
    padding: 24px;
    display: flex;
    gap: 20px;
    align-items: flex-start;
    backdrop-filter: blur(10px);
    transition: transform var(--transition-speed), border-color var(--transition-speed);
}

.stat-card:hover {
    transform: translateY(-4px);
}

.stat-card.border-cyan:hover { border-color: var(--accent-cyan); }
.stat-card.border-purple:hover { border-color: var(--accent-purple); }
.stat-card.border-green:hover { border-color: var(--accent-green); }

.stat-icon {
    width: 48px;
    height: 48px;
    border-radius: 10px;
    display: flex;
    align-items: center;
    justify-content: center;
    flex-shrink: 0;
}

.stat-icon i {
    width: 22px;
    height: 22px;
}

.stat-icon.bg-cyan {
    background: hsla(184, 100%, 45%, 0.15);
    border: 1px solid var(--accent-cyan);
    color: var(--accent-cyan);
}

.stat-icon.bg-purple {
    background: hsla(280, 95%, 60%, 0.15);
    border: 1px solid var(--accent-purple);
    color: var(--accent-purple);
}

.stat-icon.bg-green {
    background: hsla(145, 100%, 40%, 0.15);
    border: 1px solid var(--accent-green);
    color: var(--accent-green);
}

.stat-info h3 {
    font-size: 1.1rem;
    font-weight: 700;
    margin-bottom: 8px;
    color: var(--text-primary);
}

.stat-info p {
    font-size: 0.88rem;
    color: var(--text-secondary);
    line-height: 1.5;
}

/* Dashboard widgets */
.dashboard-widgets {
    display: flex;
    gap: 20px;
}

.card {
    background-color: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: var(--border-radius);
    padding: 28px;
    backdrop-filter: blur(12px);
}

.large-widget {
    flex: 2;
}

.small-widget {
    flex: 1;
}

.widget-header {
    display: flex;
    align-items: center;
    gap: 12px;
    margin-bottom: 20px;
}

.widget-header i {
    width: 22px;
    height: 22px;
}

.widget-header h3 {
    font-size: 1.25rem;
    font-weight: 700;
}

.cyan-icon { color: var(--accent-cyan); filter: drop-shadow(0 0 4px var(--accent-cyan-glow)); }
.purple-icon { color: var(--accent-purple); filter: drop-shadow(0 0 4px var(--accent-purple-glow)); }
.yellow-icon { color: var(--accent-yellow); filter: drop-shadow(0 0 4px var(--accent-yellow-glow)); }

.widget-body p {
    font-size: 0.95rem;
    color: var(--text-secondary);
    line-height: 1.6;
    margin-bottom: 16px;
}

.widget-body ul {
    margin-left: 20px;
    margin-bottom: 16px;
    color: var(--text-secondary);
}

.widget-body li {
    margin-bottom: 8px;
}

.cta-actions {
    display: flex;
    gap: 12px;
    margin-top: 24px;
}

/* Button styles */
.btn {
    display: inline-flex;
    align-items: center;
    justify-content: center;
    gap: 8px;
    padding: 12px 20px;
    font-family: inherit;
    font-size: 0.9rem;
    font-weight: 600;
    border-radius: 8px;
    cursor: pointer;
    transition: all var(--transition-speed);
}

.btn-xs {
    padding: 6px 12px;
    font-size: 0.75rem;
    border-radius: 6px;
}

.btn-primary {
    background-color: var(--accent-cyan);
    color: hsl(224, 71%, 4%);
    border: none;
}

.btn-primary:hover {
    background-color: hsl(184, 100%, 55%);
    box-shadow: 0 0 12px var(--accent-cyan-glow);
    transform: translateY(-2px);
}

.btn-primary:active {
    transform: translateY(0);
}

.btn-secondary {
    background-color: hsla(217, 30%, 15%, 0.6);
    color: var(--text-primary);
    border: 1px solid var(--border-color);
}

.btn-secondary:hover {
    background-color: hsla(217, 30%, 25%, 0.8);
    border-color: var(--accent-purple);
    box-shadow: 0 0 10px var(--accent-purple-glow);
}

.btn-cyan {
    background-color: transparent;
    color: var(--accent-cyan);
    border: 1px solid var(--accent-cyan);
}

.btn-cyan:hover {
    background-color: var(--accent-cyan-glow);
    box-shadow: 0 0 8px var(--accent-cyan-glow);
}

.btn-purple {
    background: linear-gradient(135deg, var(--accent-purple), var(--accent-cyan));
    color: var(--text-primary);
    border: none;
}

.btn-purple:hover {
    box-shadow: 0 0 15px var(--accent-purple-glow);
    transform: translateY(-2px);
}

.btn-outline {
    background: transparent;
    color: var(--text-secondary);
    border: 1px solid var(--border-color);
}

.btn-outline:hover {
    color: var(--text-primary);
    border-color: var(--text-secondary);
}

.btn-outline-warning {
    background: transparent;
    color: var(--accent-yellow);
    border: 1px solid var(--accent-yellow);
}

.btn-outline-warning:hover {
    background-color: var(--accent-yellow-glow);
    box-shadow: 0 0 8px var(--accent-yellow-glow);
}

.btn-outline-danger {
    background: transparent;
    color: var(--accent-red);
    border: 1px solid var(--accent-red);
}

.btn-outline-danger:hover {
    background-color: hsla(0, 85%, 55%, 0.15);
}

.btn-full {
    width: 100%;
}

.btn:disabled {
    opacity: 0.5;
    cursor: not-allowed;
    transform: none !important;
    box-shadow: none !important;
}

/* Leakage list */
.leakage-list-small {
    list-style-type: none;
    margin-left: 0 !important;
}

.leakage-list-small li {
    padding: 8px 12px;
    background-color: hsla(0, 0%, 100%, 0.03);
    border-radius: 6px;
    border-left: 2px solid var(--accent-yellow);
    margin-bottom: 10px !important;
    font-size: 0.88rem;
}

.leakage-list-small li strong {
    color: var(--accent-yellow);
}

/* Stepper styles */
.simulation-stepper {
    margin-top: 24px;
}

.step-nav {
    display: flex;
    align-items: center;
    justify-content: space-between;
    margin-bottom: 32px;
    background-color: hsla(224, 71%, 6%, 0.6);
    border: 1px solid var(--border-color);
    padding: 8px;
    border-radius: 10px;
}

.step-nav-btn {
    display: flex;
    align-items: center;
    gap: 12px;
    background: transparent;
    border: none;
    color: var(--text-muted);
    font-family: inherit;
    font-size: 0.95rem;
    font-weight: 600;
    cursor: pointer;
    padding: 10px 20px;
    border-radius: 8px;
    transition: all var(--transition-speed);
}

.step-nav-btn.active {
    color: var(--accent-cyan);
    background-color: hsla(184, 100%, 45%, 0.08);
}

.step-num {
    width: 24px;
    height: 24px;
    border-radius: 50%;
    background-color: var(--bg-sidebar);
    border: 1px solid var(--border-color);
    display: flex;
    align-items: center;
    justify-content: center;
    font-size: 0.75rem;
    color: inherit;
}

.step-nav-btn.active .step-num {
    background-color: var(--accent-cyan);
    border-color: var(--accent-cyan);
    color: var(--bg-sidebar);
}

.step-connector {
    flex-grow: 1;
    height: 1px;
    background-color: var(--border-color);
    margin: 0 16px;
}

.step-pane {
    display: none;
    animation: slideUp 0.35s ease forwards;
}

.step-pane.active {
    display: block;
}

/* Stepper content grids */
.step-grid {
    display: grid;
    grid-template-columns: 1fr 1.2fr;
    gap: 30px;
    align-items: start;
}

.step-grid.large-step-grid {
    grid-template-columns: 1.2fr 1.5fr;
}

.step-info-panel h3, .logs-input-area h3, .search-client-panel h3, .search-server-panel h3 {
    font-size: 1.4rem;
    font-weight: 700;
    margin-bottom: 12px;
    color: var(--text-primary);
}

.step-info-panel p, .logs-input-area p.description, .search-client-panel p.description, .search-server-panel p.description {
    font-size: 0.95rem;
    color: var(--text-secondary);
    line-height: 1.6;
    margin-bottom: 20px;
}

.step-info-panel ul {
    margin-left: 20px;
}

.step-info-panel li {
    font-size: 0.9rem;
    color: var(--text-secondary);
    margin-bottom: 12px;
    line-height: 1.5;
}

.step-info-panel li strong {
    color: var(--accent-cyan);
}

/* Form Styles */
.form-group {
    margin-bottom: 20px;
}

.form-group label {
    display: block;
    font-size: 0.85rem;
    font-weight: 600;
    color: var(--text-secondary);
    text-transform: uppercase;
    letter-spacing: 0.5px;
    margin-bottom: 8px;
}

.cyber-input {
    width: 100%;
    background-color: var(--bg-sidebar);
    border: 1px solid var(--border-color);
    border-radius: 8px;
    padding: 12px 16px;
    color: var(--text-primary);
    font-family: inherit;
    font-size: 0.95rem;
    transition: border-color var(--transition-speed);
}

.cyber-input:focus {
    outline: none;
    border-color: var(--accent-cyan);
    box-shadow: 0 0 8px var(--accent-cyan-glow);
}

/* Key Hex Boxes */
.keys-display-area h4 {
    font-size: 0.9rem;
    font-weight: 700;
    color: var(--text-secondary);
    text-transform: uppercase;
    letter-spacing: 0.5px;
    margin-bottom: 12px;
}

.key-hex-box {
    background-color: hsla(224, 71%, 2%, 0.7);
    border: 1px solid var(--border-color);
    border-radius: 6px;
    padding: 10px 12px;
    display: flex;
    flex-direction: column;
    gap: 4px;
}

.key-hex-box.compact {
    padding: 8px 10px;
}

.key-name {
    font-size: 0.75rem;
    font-weight: 600;
    color: var(--text-muted);
}

.key-hex-box code {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.8rem;
    color: var(--accent-cyan);
    word-break: break-all;
}

.step-navigation-footer {
    display: flex;
    justify-content: flex-end;
    gap: 12px;
    border-top: 1px solid var(--border-color);
    padding-top: 20px;
}

/* Cyber tables */
.logs-table-container, .index-table-scroll, .docs-table-scroll {
    border: 1px solid var(--border-color);
    border-radius: 8px;
    overflow: hidden;
    background-color: hsla(224, 71%, 3%, 0.8);
}

.index-table-scroll, .docs-table-scroll {
    max-height: 280px;
    overflow-y: auto;
}

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

.cyber-table th {
    background-color: hsla(217, 30%, 15%, 0.4);
    padding: 12px 16px;
    font-weight: 700;
    color: var(--text-secondary);
    border-bottom: 1px solid var(--border-color);
}

.cyber-table td {
    padding: 12px 16px;
    border-bottom: 1px solid var(--border-color);
    color: var(--text-primary);
}

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

.log-input-row {
    width: 100%;
    background: transparent;
    border: none;
    color: var(--text-primary);
    font-family: inherit;
    font-size: 0.9rem;
    padding: 4px 0;
}

.log-input-row:focus {
    outline: none;
    color: var(--accent-cyan);
}

.small-table {
    font-size: 0.8rem;
}

.small-table th {
    padding: 8px 12px;
}

.small-table td {
    padding: 8px 12px;
}

.small-table code {
    font-family: 'JetBrains Mono', monospace;
    word-break: break-all;
}

.text-center { text-align: center; }
.text-muted { color: var(--text-muted) !important; }
.text-cyan { color: var(--accent-cyan) !important; }
.text-warning { color: var(--accent-yellow) !important; }
.text-green { color: var(--accent-green) !important; }
.text-danger { color: var(--accent-red) !important; }
.py-3 { padding-top: 12px; padding-bottom: 12px; }
.py-5 { padding-top: 40px; padding-bottom: 40px; }
.mt-2 { margin-top: 8px; }
.mt-3 { margin-top: 16px; }
.mt-4 { margin-top: 24px; }

.server-storage-container {
    background-color: var(--bg-sidebar);
    border: 1px solid var(--border-color);
    border-radius: 8px;
    padding: 12px;
}

.server-storage-tabs {
    display: flex;
    gap: 8px;
    margin-bottom: 12px;
    border-bottom: 1px solid var(--border-color);
    padding-bottom: 8px;
}

.storage-tab-btn {
    background: transparent;
    border: none;
    color: var(--text-muted);
    font-family: inherit;
    font-size: 0.8rem;
    font-weight: 700;
    cursor: pointer;
    padding: 6px 12px;
    border-radius: 4px;
    transition: all var(--transition-speed);
}

.storage-tab-btn.active {
    color: var(--accent-purple);
    background-color: hsla(280, 95%, 60%, 0.1);
}

.storage-tab-content {
    display: none;
}

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

/* Search Lab Phase */
.search-input-wrapper {
    display: flex;
    gap: 10px;
}

.search-input-wrapper .cyber-input {
    flex-grow: 1;
}

.decrypted-results-list {
    background-color: hsla(224, 71%, 2%, 0.7);
    border: 1px solid var(--border-color);
    border-radius: 8px;
    min-height: 120px;
    max-height: 250px;
    overflow-y: auto;
    padding: 12px;
    display: flex;
    flex-direction: column;
    gap: 8px;
}

.decrypted-log-item {
    padding: 8px 12px;
    background-color: hsla(145, 100%, 40%, 0.05);
    border: 1px solid hsla(145, 100%, 40%, 0.2);
    border-radius: 6px;
    display: flex;
    gap: 10px;
    align-items: flex-start;
}

.decrypted-log-item code {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.75rem;
    background-color: var(--bg-sidebar);
    padding: 2px 6px;
    border-radius: 4px;
    border: 1px solid var(--border-color);
    color: var(--accent-green);
    flex-shrink: 0;
}

.decrypted-log-text {
    font-size: 0.85rem;
    color: var(--text-primary);
}

/* Server Blind Match Simulator */
.search-server-panel {
    position: relative;
}

.server-badge {
    position: absolute;
    top: 15px;
    right: 15px;
    font-size: 0.65rem;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 1.5px;
    background-color: hsla(280, 95%, 60%, 0.15);
    border: 1px solid var(--accent-purple);
    color: var(--accent-purple);
    padding: 4px 10px;
    border-radius: 20px;
}

.server-animation-box {
    background-color: hsl(224, 71%, 2%);
    border: 1px solid var(--border-color);
    border-radius: 8px;
    height: 280px;
    display: flex;
    align-items: center;
    justify-content: center;
    overflow: hidden;
    padding: 20px;
    position: relative;
}

.anim-idle-state {
    text-align: center;
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 12px;
    max-width: 300px;
}

.anim-idle-state p {
    font-size: 0.88rem;
    color: var(--text-muted);
}

.giant-purple-icon {
    width: 48px;
    height: 48px;
    color: var(--accent-purple);
    filter: drop-shadow(0 0 10px var(--accent-purple-glow));
}

.anim-running-state {
    width: 100%;
    height: 100%;
    display: flex;
    flex-direction: column;
}

.anim-header-info {
    display: flex;
    justify-content: space-between;
    font-size: 0.75rem;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 1px;
    color: var(--text-muted);
    border-bottom: 1px solid var(--border-color);
    padding-bottom: 10px;
    margin-bottom: 16px;
}

.animated-traversal-track {
    flex-grow: 1;
    display: flex;
    flex-direction: column;
    gap: 14px;
    justify-content: center;
    align-items: center;
    overflow-y: auto;
}

/* Traversal Node Component */
.traversal-node {
    width: 100%;
    max-width: 320px;
    background-color: hsla(224, 71%, 6%, 0.85);
    border: 1px solid var(--border-color);
    border-radius: 6px;
    padding: 10px 14px;
    display: flex;
    flex-direction: column;
    gap: 6px;
    position: relative;
    box-shadow: 0 4px 10px rgba(0, 0, 0, 0.4);
    animation: zoomIn 0.3s cubic-bezier(0.175, 0.885, 0.32, 1.275) forwards;
}

.traversal-node.matching {
    border-color: var(--accent-green);
    box-shadow: 0 0 10px var(--accent-green-glow);
}

.node-title-bar {
    display: flex;
    justify-content: space-between;
    align-items: center;
}

.node-title-bar span {
    font-size: 0.65rem;
    font-weight: 700;
    color: var(--text-muted);
}

.node-addr {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.75rem;
    color: var(--accent-cyan);
}

.node-payload {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.7rem;
    background-color: var(--bg-sidebar);
    padding: 6px;
    border-radius: 4px;
    border: 1px dashed var(--border-color);
    word-break: break-all;
    color: var(--text-secondary);
}

.traversal-node.matching .node-payload {
    color: var(--accent-green);
    border-color: hsla(145, 100%, 40%, 0.3);
}

.node-arrow {
    display: flex;
    justify-content: center;
    color: var(--accent-purple);
    animation: bounceDown 1.5s infinite;
}

.server-logs-found h4, .search-results-display h4 {
    font-size: 0.85rem;
    font-weight: 700;
    color: var(--text-secondary);
    text-transform: uppercase;
    letter-spacing: 0.5px;
    margin-bottom: 8px;
}

.ids-pill-box {
    display: flex;
    gap: 8px;
    flex-wrap: wrap;
}

.badge {
    font-size: 0.7rem;
    font-weight: 700;
    padding: 4px 8px;
    border-radius: 4px;
    text-transform: uppercase;
}

.badge-muted {
    background-color: var(--bg-sidebar);
    border: 1px solid var(--border-color);
    color: var(--text-muted);
}

.badge-green {
    background-color: hsla(145, 100%, 40%, 0.15);
    border: 1px solid var(--accent-green);
    color: var(--accent-green);
    box-shadow: 0 0 5px var(--accent-green-glow);
}

/* Leakage Analyzer Dashboard */
.leakage-grid {
    display: grid;
    grid-template-columns: 1fr 1.3fr;
    gap: 30px;
    margin-top: 24px;
    align-items: start;
}

.switch-container {
    display: flex;
    justify-content: space-between;
    align-items: center;
    gap: 20px;
}

.switch-info h4 {
    font-size: 0.95rem;
    font-weight: 700;
    margin-bottom: 4px;
}

.switch-info p {
    font-size: 0.8rem;
    color: var(--text-muted);
    line-height: 1.4;
}

.cyber-switch {
    position: relative;
    display: inline-block;
    width: 48px;
    height: 24px;
    flex-shrink: 0;
}

.cyber-switch input {
    opacity: 0;
    width: 0;
    height: 0;
}

.slider {
    position: absolute;
    cursor: pointer;
    top: 0;
    left: 0;
    right: 0;
    bottom: 0;
    background-color: var(--bg-sidebar);
    border: 1px solid var(--border-color);
    transition: .3s;
    border-radius: 24px;
}

.slider:before {
    position: absolute;
    content: "";
    height: 16px;
    width: 16px;
    left: 3px;
    bottom: 3px;
    background-color: var(--text-muted);
    transition: .3s;
    border-radius: 50%;
}

.cyber-switch input:checked + .slider {
    background-color: var(--accent-cyan-glow);
    border-color: var(--accent-cyan);
}

.cyber-switch input:checked + .slider:before {
    transform: translateX(24px);
    background-color: var(--accent-cyan);
    box-shadow: 0 0 6px var(--accent-cyan);
}

.switch-connector {
    height: 1px;
    background-color: var(--border-color);
    margin: 16px 0;
}

.exposure-meter-widget {
    background-color: hsla(224, 71%, 2%, 0.7);
    border: 1px solid var(--border-color);
    border-radius: var(--border-radius);
    padding: 18px;
}

.meter-header {
    display: flex;
    justify-content: space-between;
    align-items: center;
    font-size: 0.85rem;
    font-weight: 700;
    color: var(--text-secondary);
    margin-bottom: 8px;
}

.exposure-value {
    font-size: 1.1rem;
    font-family: 'JetBrains Mono', monospace;
    font-weight: 800;
}

.exposure-value.high { color: var(--accent-red); }
.exposure-value.medium { color: var(--accent-yellow); }
.exposure-value.low { color: var(--accent-green); }

.meter-bar-wrapper {
    background-color: var(--bg-sidebar);
    border: 1px solid var(--border-color);
    height: 12px;
    border-radius: 6px;
    overflow: hidden;
}

.meter-bar-fill {
    height: 100%;
    border-radius: 6px;
    transition: width 0.5s ease, background-color 0.5s ease;
}

.meter-bar-fill.high { background-color: var(--accent-red); box-shadow: 0 0 8px rgba(255, 0, 0, 0.4); }
.meter-bar-fill.medium { background-color: var(--accent-yellow); box-shadow: 0 0 8px rgba(255, 170, 0, 0.4); }
.meter-bar-fill.low { background-color: var(--accent-green); box-shadow: 0 0 8px rgba(0, 255, 60, 0.4); }

.meter-warning {
    display: flex;
    gap: 8px;
    font-size: 0.75rem;
    line-height: 1.4;
}

.meter-warning i {
    width: 16px;
    height: 16px;
    flex-shrink: 0;
}

/* Leakage patterns visualizer display */
.leakage-display-tabs {
    display: flex;
    gap: 12px;
    border-bottom: 1px solid var(--border-color);
    margin-bottom: 20px;
    padding-bottom: 8px;
}

.leakage-tab-btn {
    background: transparent;
    border: none;
    color: var(--text-muted);
    font-family: inherit;
    font-size: 0.88rem;
    font-weight: 700;
    cursor: pointer;
    padding: 8px 16px;
    border-radius: 6px;
    transition: all var(--transition-speed);
}

.leakage-tab-btn.active {
    color: var(--accent-purple);
    background-color: hsla(280, 95%, 60%, 0.1);
}

.leak-tab-content {
    display: none;
}

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

/* Timeline Visualizer */
.timeline-visualizer {
    background-color: hsl(224, 71%, 2%);
    border: 1px solid var(--border-color);
    border-radius: 8px;
    padding: 16px;
}

.timeline-header {
    display: flex;
    justify-content: space-between;
    align-items: center;
    font-size: 0.8rem;
    font-weight: 700;
    color: var(--text-secondary);
    margin-bottom: 16px;
}

.timeline-track {
    display: flex;
    flex-direction: column;
    gap: 10px;
    max-height: 250px;
    overflow-y: auto;
    padding-right: 4px;
}

/* Leak bubble component */
.leak-bubble {
    background-color: hsla(224, 71%, 6%, 0.8);
    border: 1px solid var(--border-color);
    border-radius: 6px;
    padding: 10px 14px;
    display: flex;
    justify-content: space-between;
    align-items: center;
    animation: slideRight 0.3s ease forwards;
}

.bubble-left {
    display: flex;
    align-items: center;
    gap: 10px;
}

.bubble-time {
    font-size: 0.7rem;
    color: var(--text-muted);
}

.bubble-tag {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.75rem;
    color: var(--accent-purple);
}

.bubble-leak-verdict {
    font-size: 0.72rem;
    padding: 3px 8px;
    border-radius: 12px;
    font-weight: 700;
    text-transform: uppercase;
}

.verdict-leak {
    background-color: hsla(0, 85%, 55%, 0.15);
    color: var(--accent-red);
    border: 1px solid var(--accent-red);
}

.verdict-masked {
    background-color: hsla(145, 100%, 40%, 0.15);
    color: var(--accent-green);
    border: 1px solid var(--accent-green);
}

.leak-card {
    background-color: hsla(217, 30%, 15%, 0.2);
    border: 1px solid var(--border-color);
    border-radius: 8px;
    padding: 14px;
}

.leak-card h4 {
    font-size: 0.9rem;
    font-weight: 700;
    color: var(--accent-purple);
    margin-bottom: 6px;
}

.leak-card p {
    font-size: 0.82rem;
    color: var(--text-secondary);
    line-height: 1.5;
}

/* Access Pattern visualizer */
.access-pattern-header {
    font-size: 0.8rem;
    font-weight: 700;
    color: var(--text-secondary);
    margin-bottom: 12px;
}

.access-graph-container {
    background-color: hsl(224, 71%, 2%);
    border: 1px solid var(--border-color);
    border-radius: 8px;
    min-height: 250px;
    max-height: 350px;
    display: flex;
    align-items: center;
    justify-content: center;
    padding: 20px;
    overflow-y: auto;
}

.access-nodes-grid {
    display: flex;
    width: 100%;
    justify-content: space-around;
    gap: 20px;
    position: relative;
}

.access-col {
    display: flex;
    flex-direction: column;
    gap: 12px;
}

.access-col-title {
    font-size: 0.68rem;
    font-weight: 700;
    color: var(--text-muted);
    text-transform: uppercase;
    letter-spacing: 0.5px;
    text-align: center;
    margin-bottom: 6px;
}

.graph-bubble {
    background-color: hsla(224, 71%, 6%, 0.9);
    border: 1px solid var(--border-color);
    padding: 8px 12px;
    border-radius: 6px;
    font-size: 0.78rem;
    text-align: center;
    transition: all var(--transition-speed);
}

.graph-bubble.query-node {
    border-color: var(--accent-purple);
    color: var(--accent-purple);
    font-family: 'JetBrains Mono', monospace;
}

.graph-bubble.doc-node {
    border-color: var(--accent-cyan);
    color: var(--text-primary);
}

.graph-bubble.dummy-node {
    border-color: var(--text-muted);
    color: var(--text-muted);
    border-style: dashed;
}

.graph-bubble:hover {
    transform: scale(1.05);
}

/* Formal Math tab */
.math-card-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
    gap: 24px;
    margin-top: 24px;
}

.math-badge {
    display: inline-block;
    font-size: 0.65rem;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 1px;
    background-color: hsla(184, 100%, 45%, 0.1);
    color: var(--accent-cyan);
    border: 1px solid var(--accent-cyan-glow);
    padding: 2px 8px;
    border-radius: 4px;
    margin-top: 6px;
    margin-bottom: 16px;
}

.math-specs {
    width: 100%;
    font-size: 0.85rem;
    margin-bottom: 20px;
}

.math-specs td {
    padding: 6px 0;
}

.math-specs td:first-child {
    color: var(--text-secondary);
    font-weight: 600;
}

.math-specs td:last-child {
    text-align: right;
    font-weight: 700;
}

.math-formula-box {
    background-color: hsl(224, 71%, 2%);
    border: 1px solid var(--border-color);
    border-radius: 6px;
    padding: 12px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.8rem;
    margin-bottom: 16px;
}

.math-formula-box strong {
    display: block;
    font-size: 0.72rem;
    color: var(--text-muted);
    margin-bottom: 6px;
    text-transform: uppercase;
}

.math-formula-box code {
    color: var(--accent-purple);
    word-break: break-all;
}

.font-mono {
    font-family: 'JetBrains Mono', monospace;
}

/* Academic Thesis Viewer styles */
.thesis-viewer-card {
    margin-top: 20px;
    padding: 40px !important;
}

.thesis-viewer-header {
    display: flex;
    justify-content: space-between;
    align-items: center;
    border-bottom: 1px solid var(--border-color);
    padding-bottom: 20px;
    margin-bottom: 28px;
}

.thesis-viewer-header .left {
    display: flex;
    align-items: center;
    gap: 16px;
}

.thesis-viewer-header h3 {
    font-size: 1.5rem;
    font-weight: 800;
}

.thesis-table-of-contents {
    background-color: hsla(224, 71%, 2%, 0.6);
    border: 1px solid var(--border-color);
    border-radius: 8px;
    padding: 16px 20px;
    margin-bottom: 32px;
}

.thesis-table-of-contents h4 {
    font-size: 0.88rem;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 1px;
    color: var(--text-secondary);
    margin-bottom: 12px;
}

.toc-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(200px, 1fr));
    gap: 10px;
}

.toc-grid a {
    font-size: 0.88rem;
    color: var(--accent-cyan);
    text-decoration: none;
    transition: color var(--transition-speed);
}

.toc-grid a:hover {
    color: var(--accent-purple);
    text-decoration: underline;
}

/* Formatted Academic Markdown layout styling */
.thesis-text-body {
    font-family: 'Outfit', sans-serif;
    color: var(--text-primary);
    line-height: 1.75;
    font-size: 1.05rem;
    max-width: 900px;
    margin: 0 auto;
}

.thesis-text-body h1, .thesis-text-body h2, .thesis-text-body h3, .thesis-text-body h4 {
    color: var(--text-primary);
    margin-top: 32px;
    margin-bottom: 16px;
    font-weight: 800;
}

.thesis-text-body h1 {
    font-size: 2rem;
    border-bottom: 1px solid var(--border-color);
    padding-bottom: 10px;
    background: linear-gradient(90deg, var(--text-primary), var(--accent-cyan));
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
}

.thesis-text-body h2 {
    font-size: 1.5rem;
    border-left: 3px solid var(--accent-purple);
    padding-left: 12px;
}

.thesis-text-body h3 {
    font-size: 1.2rem;
    color: var(--accent-cyan);
}

.thesis-text-body p {
    margin-bottom: 20px;
    text-align: justify;
}

.thesis-text-body ul, .thesis-text-body ol {
    margin-left: 28px;
    margin-bottom: 20px;
}

.thesis-text-body li {
    margin-bottom: 8px;
}

.thesis-text-body blockquote {
    background-color: hsla(217, 30%, 15%, 0.3);
    border-left: 4px solid var(--accent-cyan);
    padding: 16px 20px;
    border-radius: 0 8px 8px 0;
    margin-bottom: 20px;
    font-style: italic;
    color: var(--text-secondary);
}

.thesis-text-body code {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.88rem;
    background-color: var(--bg-sidebar);
    color: var(--accent-cyan);
    padding: 3px 6px;
    border-radius: 4px;
    border: 1px solid var(--border-color);
}

.thesis-text-body pre {
    background-color: hsl(224, 71%, 2%);
    border: 1px solid var(--border-color);
    border-radius: 8px;
    padding: 20px;
    margin-bottom: 24px;
    overflow-x: auto;
}

.thesis-text-body pre code {
    padding: 0;
    background: transparent;
    border: none;
    color: var(--text-secondary);
}

.thesis-text-body table {
    width: 100%;
    border-collapse: collapse;
    margin-bottom: 24px;
    font-size: 0.95rem;
}

.thesis-text-body table th, .thesis-text-body table td {
    border: 1px solid var(--border-color);
    padding: 12px;
    text-align: left;
}

.thesis-text-body table th {
    background-color: hsla(217, 30%, 15%, 0.4);
    font-weight: 700;
}

.thesis-text-body hr {
    border: none;
    height: 1px;
    background-color: var(--border-color);
    margin: 36px 0;
}

/* Spinner */
.spinner {
    display: inline-block;
    width: 40px;
    height: 40px;
    border: 3px solid var(--border-color);
    border-radius: 50%;
    border-top-color: var(--accent-cyan);
    animation: spin 1s linear infinite;
    margin-bottom: 12px;
}

/* Keyframes animations */
@keyframes fadeIn {
    from { opacity: 0; transform: translateY(6px); }
    to { opacity: 1; transform: translateY(0); }
}

@keyframes slideUp {
    from { opacity: 0; transform: translateY(12px); }
    to { opacity: 1; transform: translateY(0); }
}

@keyframes slideRight {
    from { opacity: 0; transform: translateX(-12px); }
    to { opacity: 1; transform: translateX(0); }
}

@keyframes zoomIn {
    from { opacity: 0; transform: scale(0.95); }
    to { opacity: 1; transform: scale(1); }
}

@keyframes pulse {
    0% { transform: scale(1); box-shadow: 0 0 8px var(--accent-green); }
    50% { transform: scale(1.15); box-shadow: 0 0 16px var(--accent-green); }
    100% { transform: scale(1); box-shadow: 0 0 8px var(--accent-green); }
}

@keyframes spin {
    to { transform: rotate(360deg); }
}

@keyframes bounceDown {
    0%, 100% { transform: translateY(0); }
    50% { transform: translateY(5px); }
}

/* Responsive adjustments */
@media (max-width: 1024px) {
    .app-container {
        flex-direction: column;
    }
    
    .sidebar-nav {
        width: 100%;
        height: auto;
        position: relative;
        border-right: none;
        border-bottom: 1px solid var(--border-color);
    }
    
    .main-content {
        margin-left: 0;
        padding: 20px;
    }
    
    .step-grid {
        grid-template-columns: 1fr;
    }
    
    .leakage-grid {
        grid-template-columns: 1fr;
    }
    
    .dashboard-widgets {
        flex-direction: column;
    }
}