/* ==========================================================
   style.css
   Styling kustom untuk AutomataLab, di atas fondasi Bootstrap 5.
   Palet warna: dark navy + accent teal/violet, dengan nuansa
   "teknikal/scientific" yang cocok untuk tema otomata.
   ========================================================== */

:root {
    --alab-bg: #0b1120;
    --alab-bg-soft: #111827;
    --alab-surface: #161f32;
    --alab-surface-2: #1b2540;
    --alab-border: #263049;
    --alab-primary: #6366f1;
    --alab-primary-soft: #818cf8;
    --alab-accent: #22d3ee;
    --alab-success: #34d399;
    --alab-danger: #f87171;
    --alab-text: #e5e7eb;
    --alab-text-muted: #9ca3af;
    --alab-font: 'Plus Jakarta Sans', sans-serif;
    --alab-mono: 'JetBrains Mono', monospace;
}

* { box-sizing: border-box; }

body {
    background: var(--alab-bg);
    color: var(--alab-text);
    font-family: var(--alab-font);
    min-height: 100vh;
}

code, .mono, .form-control.mono, .trace-mono {
    font-family: var(--alab-mono) !important;
}

/* ============ NAVBAR ============ */
.custom-navbar {
    background: rgba(11, 17, 32, 0.85);
    backdrop-filter: blur(12px);
    border-bottom: 1px solid var(--alab-border);
    padding: 0.75rem 0;
}

.navbar-brand {
    font-weight: 800;
    font-size: 1.35rem;
    color: var(--alab-accent) !important;
    letter-spacing: -0.02em;
}

.nav-link {
    color: var(--alab-text-muted) !important;
    font-weight: 500;
    margin: 0 0.15rem;
    border-radius: 8px;
    padding: 0.5rem 0.9rem !important;
    transition: all 0.2s ease;
}

.nav-link:hover {
    color: var(--alab-text) !important;
    background: var(--alab-surface-2);
}

.nav-link.active {
    color: #fff !important;
    background: linear-gradient(135deg, var(--alab-primary), #8b5cf6);
}

/* ============ HERO ============ */
.hero-section {
    padding: 5rem 0 4rem;
    background:
        radial-gradient(circle at 15% 20%, rgba(99, 102, 241, 0.25), transparent 45%),
        radial-gradient(circle at 85% 10%, rgba(34, 211, 238, 0.18), transparent 40%);
    border-bottom: 1px solid var(--alab-border);
}

.hero-title {
    font-weight: 800;
    font-size: clamp(2.1rem, 5vw, 3.4rem);
    letter-spacing: -0.03em;
    line-height: 1.1;
}

.hero-title .highlight {
    background: linear-gradient(135deg, var(--alab-accent), var(--alab-primary-soft));
    -webkit-background-clip: text;
    background-clip: text;
    color: transparent;
}

.hero-subtitle {
    color: var(--alab-text-muted);
    font-size: 1.15rem;
    max-width: 640px;
}

.badge-pill-soft {
    background: var(--alab-surface-2);
    border: 1px solid var(--alab-border);
    color: var(--alab-accent);
    border-radius: 999px;
    padding: 0.4rem 1rem;
    font-size: 0.82rem;
    font-weight: 600;
    display: inline-flex;
    align-items: center;
    gap: 0.4rem;
}

/* ============ CARD MODULE ============ */
.module-card {
    background: var(--alab-surface);
    border: 1px solid var(--alab-border);
    border-radius: 18px;
    padding: 1.75rem;
    height: 100%;
    transition: transform 0.25s ease, border-color 0.25s ease, box-shadow 0.25s ease;
    text-decoration: none;
    color: var(--alab-text);
    display: block;
}

.module-card:hover {
    transform: translateY(-6px);
    border-color: var(--alab-primary-soft);
    box-shadow: 0 20px 40px -20px rgba(99, 102, 241, 0.4);
    color: var(--alab-text);
}

.module-icon {
    width: 54px;
    height: 54px;
    border-radius: 14px;
    display: flex;
    align-items: center;
    justify-content: center;
    font-size: 1.5rem;
    margin-bottom: 1.1rem;
}

.module-card h5 {
    font-weight: 700;
    margin-bottom: 0.6rem;
}

.module-card p {
    color: var(--alab-text-muted);
    font-size: 0.92rem;
    margin-bottom: 0;
}

/* ============ SECTION / CARD GENERIC ============ */
.section-title {
    font-weight: 800;
    letter-spacing: -0.02em;
    margin-bottom: 0.4rem;
}

.section-subtitle {
    color: var(--alab-text-muted);
    margin-bottom: 2.5rem;
}

.card-panel {
    background: var(--alab-surface);
    border: 1px solid var(--alab-border);
    border-radius: 16px;
    padding: 1.75rem;
    margin-bottom: 1.5rem;
}

.card-panel h4, .card-panel h5 {
    font-weight: 700;
}

.theory-box {
    background: var(--alab-surface-2);
    border-left: 3px solid var(--alab-accent);
    border-radius: 10px;
    padding: 1.25rem 1.5rem;
    margin-bottom: 1.5rem;
    font-size: 0.95rem;
    color: var(--alab-text-muted);
}

.theory-box strong { color: var(--alab-text); }

/* ============ FORM ============ */
.form-label {
    font-weight: 600;
    font-size: 0.88rem;
    color: var(--alab-text);
    margin-bottom: 0.4rem;
}

.form-control, .form-select {
    background: var(--alab-bg-soft);
    border: 1px solid var(--alab-border);
    color: var(--alab-text);
    border-radius: 10px;
    padding: 0.65rem 0.9rem;
}

.form-control:focus, .form-select:focus {
    background: var(--alab-bg-soft);
    border-color: var(--alab-primary-soft);
    box-shadow: 0 0 0 3px rgba(99, 102, 241, 0.25);
    color: var(--alab-text);
}

.form-control::placeholder { color: #6b7280; }

textarea.form-control { min-height: 110px; }

.form-text { color: var(--alab-text-muted); font-size: 0.8rem; }

.btn-primary-gradient {
    background: linear-gradient(135deg, var(--alab-primary), #8b5cf6);
    border: none;
    color: #fff;
    font-weight: 600;
    padding: 0.65rem 1.6rem;
    border-radius: 10px;
    transition: filter 0.2s ease, transform 0.15s ease;
}

.btn-primary-gradient:hover {
    filter: brightness(1.1);
    color: #fff;
    transform: translateY(-1px);
}

.btn-outline-soft {
    background: transparent;
    border: 1px solid var(--alab-border);
    color: var(--alab-text-muted);
    border-radius: 10px;
    font-weight: 600;
    padding: 0.6rem 1.4rem;
}

.btn-outline-soft:hover {
    border-color: var(--alab-primary-soft);
    color: var(--alab-text);
    background: var(--alab-surface-2);
}

/* ============ RESULT / TRACE ============ */
.result-box {
    border-radius: 14px;
    padding: 1.5rem;
    margin-top: 1rem;
    display: none;
}

.result-box.show { display: block; animation: fadeIn 0.35s ease; }

.result-accepted {
    background: rgba(52, 211, 153, 0.1);
    border: 1px solid rgba(52, 211, 153, 0.4);
}

.result-rejected {
    background: rgba(248, 113, 113, 0.1);
    border: 1px solid rgba(248, 113, 113, 0.4);
}

.result-status {
    font-size: 1.3rem;
    font-weight: 800;
    display: flex;
    align-items: center;
    gap: 0.6rem;
}

.result-status.accepted { color: var(--alab-success); }
.result-status.rejected { color: var(--alab-danger); }

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

.trace-table {
    font-family: var(--alab-mono);
    font-size: 0.85rem;
}

.trace-table th {
    color: var(--alab-accent);
    font-weight: 600;
    border-bottom-color: var(--alab-border) !important;
}

.trace-table td {
    border-color: var(--alab-border) !important;
    color: var(--alab-text);
}

.table {
    --bs-table-bg: transparent;
    color: var(--alab-text);
}

/* ============ DIAGRAM CONTAINER ============ */
.diagram-container {
    background: var(--alab-bg-soft);
    border: 1px solid var(--alab-border);
    border-radius: 14px;
    padding: 1rem;
    min-height: 320px;
    display: flex;
    align-items: center;
    justify-content: center;
    overflow: auto;
}

#network-canvas, .vis-network-canvas {
    width: 100%;
    height: 320px;
}

/* ============ STEP LOG (CNF, derivasi, dsb) ============ */
.step-item {
    background: var(--alab-surface-2);
    border: 1px solid var(--alab-border);
    border-radius: 12px;
    padding: 1rem 1.25rem;
    margin-bottom: 0.8rem;
}

.step-item .step-title {
    color: var(--alab-accent);
    font-weight: 700;
    font-size: 0.9rem;
    margin-bottom: 0.35rem;
}

.step-item .step-desc {
    color: var(--alab-text-muted);
    font-size: 0.87rem;
    margin-bottom: 0.5rem;
}

.production-chip {
    display: inline-block;
    background: var(--alab-bg-soft);
    border: 1px solid var(--alab-border);
    border-radius: 8px;
    padding: 0.25rem 0.65rem;
    font-family: var(--alab-mono);
    font-size: 0.82rem;
    margin: 0.15rem 0.25rem 0.15rem 0;
    color: var(--alab-text);
}

/* ============ HIERARCHY TABLE (Modul 4) ============ */
.hierarchy-card {
    background: var(--alab-surface-2);
    border: 1px solid var(--alab-border);
    border-radius: 14px;
    padding: 1.4rem;
    height: 100%;
}

.hierarchy-type-badge {
    display: inline-block;
    padding: 0.3rem 0.8rem;
    border-radius: 999px;
    font-weight: 700;
    font-size: 0.8rem;
    margin-bottom: 0.75rem;
}

/* ============ CYK TABLE ============ */
.cyk-table td, .cyk-table th {
    text-align: center;
    vertical-align: middle;
    font-family: var(--alab-mono);
    font-size: 0.78rem;
    min-width: 60px;
}

.cyk-cell-filled {
    background: rgba(99, 102, 241, 0.18);
    color: var(--alab-accent);
    font-weight: 700;
}

/* ============ FOOTER ============ */
.custom-footer {
    border-top: 1px solid var(--alab-border);
    background: var(--alab-bg-soft);
    margin-top: 3rem;
    color: var(--alab-text-muted);
}

/* ============ MISC ============ */
.divider-label {
    display: flex;
    align-items: center;
    gap: 0.75rem;
    color: var(--alab-text-muted);
    font-size: 0.8rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    margin: 1.5rem 0 1rem;
}

.divider-label::after {
    content: "";
    flex: 1;
    height: 1px;
    background: var(--alab-border);
}

.alert-custom {
    border-radius: 12px;
    border: none;
    font-size: 0.9rem;
}

.spin-loader {
    display: inline-block;
    width: 1rem;
    height: 1rem;
    border: 2px solid rgba(255,255,255,0.3);
    border-top-color: #fff;
    border-radius: 50%;
    animation: spin 0.7s linear infinite;
}

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

.example-btn {
    font-size: 0.78rem;
    padding: 0.3rem 0.75rem;
    margin: 0.15rem;
    border-radius: 999px;
}