/* === LifeTiming Knowledge Base — Design System === */
@font-face {
    font-family: 'Aeonik-Lifetiming';
    src: url('../fonts/AeonikLifetiming-Light.ttf') format('truetype');
    font-weight: 300;
    font-style: normal;
}
@font-face {
    font-family: 'Aeonik-Lifetiming';
    src: url('../fonts/AeonikLifetiming-Regular.ttf') format('truetype');
    font-weight: 400;
    font-style: normal;
}
@font-face {
    font-family: 'Aeonik-Lifetiming';
    src: url('../fonts/AeonikLifetiming-Medium.ttf') format('truetype');
    font-weight: 500;
    font-style: normal;
}

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

:root {
    --accent: #FB7B34;
    --accent-hover: #FF9F53;
    --accent-light: #FF9C5E;
    --accent-subtle: rgba(251, 123, 52, 0.08);
    --secondary: #6467C3;

    --bg: #F1E8E4;
    --surface: #ffffff;
    --surface-alt: #FBF9F9;
    --surface-raised: #F6F4F3;
    --primary: #FB7B34;
    --primary-hover: #FF9F53;
    --danger: #DC180C;
    --danger-hover: #b91c1c;
    --text: #0F0F0F;
    --text-secondary: #7E716D;
    --border: #E6E6E6;
    --border-hover: #FF9C5E;
    --divider: #F2EEED;
    --success: #139E19;
    --success-bg: #e8f5e9;
    --warning: #E59A00;
    --error: #DC180C;
    --radius: 10px;
    --radius-sm: 6px;
    --radius-pill: 24px;

    --shadow-subtle: 0 1px 3px rgba(0, 0, 0, 0.04);
    --shadow-elevated: 0 4px 12px rgba(0, 0, 0, 0.06);

    --font: 'Aeonik-Lifetiming', -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif;
}

body {
    font-family: var(--font);
    font-weight: 400;
    background: var(--bg);
    color: var(--text);
    line-height: 1.5;
    font-size: 14px;
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
}

/* Navbar */
.navbar {
    background: #0F0F0F;
    padding: 0 2rem;
    display: flex;
    align-items: center;
    height: 52px;
    gap: 4rem;
}

.nav-brand {
    display: flex;
    align-items: center;
    gap: 0.75rem;
}

.nav-logo {
    height: 18px;
    filter: brightness(0) invert(1);
}

.nav-brand-separator {
    width: 1px;
    height: 20px;
    background: rgba(255, 255, 255, 0.15);
}

.sphere-mark {
    flex-shrink: 0;
}

.nav-brand-text {
    display: flex;
    flex-direction: column;
    justify-content: center;
    line-height: 1;
    gap: 3px;
}

.nav-brand-product {
    font-weight: 500;
    font-size: 0.95rem;
    color: rgba(255, 255, 255, 0.92);
    letter-spacing: 0.18em;
    text-transform: uppercase;
}

.nav-brand-tagline {
    font-weight: 400;
    font-size: 0.58rem;
    color: rgba(255, 255, 255, 0.5);
    letter-spacing: 0.32em;
    text-transform: uppercase;
}

.nav-links {
    display: flex;
    gap: 0.25rem;
    flex: 1;
}

.nav-right {
    margin-left: auto;
    display: flex;
    align-items: center;
    gap: 0.5rem;
}

.nav-username {
    font-size: 0.8rem;
    color: rgba(255, 255, 255, 0.45);
    font-weight: 400;
}

.btn-logout {
    display: flex;
    align-items: center;
    justify-content: center;
    background: none;
    border: 1px solid rgba(255, 255, 255, 0.12);
    color: rgba(255, 255, 255, 0.4);
    border-radius: var(--radius-sm);
    padding: 0.3rem;
    cursor: pointer;
    transition: all 0.15s;
}

.btn-logout:hover {
    border-color: rgba(255, 255, 255, 0.3);
    color: rgba(255, 255, 255, 0.8);
}

.nav-link {
    text-decoration: none;
    color: rgba(255, 255, 255, 0.5);
    padding: 0.4rem 0.9rem;
    border-radius: var(--radius-pill);
    font-weight: 500;
    font-size: 0.85rem;
    transition: background 0.15s, color 0.15s;
}

.nav-link:hover {
    background: rgba(255, 255, 255, 0.08);
    color: rgba(255, 255, 255, 0.85);
}

.nav-link.active {
    background: var(--accent);
    color: white;
}

/* Container */
.container {
    max-width: 1440px;
    margin: 2rem auto;
    padding: 0 1rem;
}

/* Views */
.view {
    display: none;
}

.view.active {
    display: block;
}

/* Upload section */
.upload-section {
    background: var(--surface);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1.5rem;
    margin-bottom: 1.5rem;
}

.upload-section h2 {
    font-size: 1.125rem;
    margin-bottom: 1rem;
}


.form-group {
    flex: 1;
    min-width: 200px;
}

.form-group label {
    display: block;
    font-size: 0.875rem;
    font-weight: 500;
    color: var(--text-secondary);
    margin-bottom: 0.25rem;
}

.form-group input[type="text"] {
    width: 100%;
    padding: 0.5rem 0.75rem;
    border: 1px solid var(--border);
    border-radius: var(--radius);
    font-size: 0.875rem;
    outline: none;
}

.form-group input[type="text"]:focus {
    border-color: var(--primary);
    box-shadow: 0 0 0 2px rgba(251, 123, 52, 0.15);
}



/* Buttons */
.btn {
    display: inline-flex;
    align-items: center;
    justify-content: center;
    padding: 0.5rem 1.25rem;
    border: none;
    border-radius: var(--radius);
    font-size: 0.875rem;
    font-weight: 500;
    cursor: pointer;
    transition: background 0.15s;
    white-space: nowrap;
}

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

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

.btn-primary:disabled {
    background: #f5c9a8;
    cursor: not-allowed;
}

.btn-download {
    background: var(--surface);
    color: var(--accent);
    border: 1px solid var(--accent);
    padding: 0.25rem 0.75rem;
    font-size: 0.8rem;
    text-decoration: none;
}

.btn-download:hover {
    background: var(--accent);
    color: white;
}

.btn-danger {
    background: var(--danger);
    color: white;
    padding: 0.25rem 0.75rem;
    font-size: 0.8rem;
}

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

/* Icon buttons for table actions */
.btn-icon {
    display: inline-flex;
    align-items: center;
    justify-content: center;
    width: 30px;
    height: 30px;
    border: none;
    border-radius: var(--radius-sm);
    background: transparent;
    cursor: pointer;
    transition: background 0.15s, color 0.15s;
    text-decoration: none;
    vertical-align: middle;
}

.btn-icon-download {
    color: var(--text-secondary);
}

.btn-icon-download:hover {
    background: var(--accent-subtle);
    color: var(--accent);
}

.btn-icon-delete {
    color: var(--text-secondary);
}

.btn-icon-delete:hover {
    background: rgba(220, 24, 12, 0.08);
    color: var(--danger);
}

.btn-sm {
    padding: 0.25rem 0.75rem;
    font-size: 0.8rem;
}

/* Status messages */
.status-message {
    width: 100%;
    font-size: 0.875rem;
    padding: 0.25rem 0;
}

.status-message.success { color: var(--success); }
.status-message.error { color: var(--error); }

/* Documents table */
.documents-section {
    background: var(--surface);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1.5rem;
}

.documents-section h2 {
    font-size: 1.125rem;
    margin-bottom: 1rem;
}

.data-table {
    width: 100%;
    border-collapse: collapse;
}

.data-table th,
.data-table td {
    text-align: left;
    padding: 0.625rem 0.75rem;
    border-bottom: 1px solid var(--border);
    font-size: 0.875rem;
}

.data-table th {
    font-weight: 600;
    color: var(--text-secondary);
    font-size: 0.8rem;
    text-transform: uppercase;
    letter-spacing: 0.025em;
}

.data-table tbody tr:hover {
    background: var(--bg);
}

/* Status badges */
.badge {
    display: inline-block;
    padding: 0.125rem 0.5rem;
    border-radius: 9999px;
    font-size: 0.75rem;
    font-weight: 600;
    text-transform: uppercase;
}

.badge-uploaded { background: rgba(100, 103, 195, 0.12); color: var(--secondary); }
.badge-processing { background: #fef3c7; color: #92400e; }
.badge-ready { background: #d1fae5; color: #065f46; }
.badge-error { background: #fee2e2; color: #991b1b; }

/* Batch actions bar */
.batch-actions {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    padding: 0.5rem 0.75rem;
    background: var(--accent-subtle);
    border: 1px solid rgba(251, 123, 52, 0.2);
    border-radius: var(--radius);
    margin-bottom: 0.75rem;
}

.selection-count {
    font-size: 0.8rem;
    font-weight: 600;
    color: var(--accent);
    margin-right: 0.5rem;
}

/* Checkbox column */
.th-checkbox {
    width: 36px;
    text-align: center;
}

.td-checkbox {
    text-align: center;
}

.data-table tbody tr.selected {
    background: var(--accent-subtle);
}

/* Context menu */
.context-menu {
    position: fixed;
    z-index: 200;
    background: var(--surface);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    box-shadow: 0 4px 16px rgba(0, 0, 0, 0.12);
    min-width: 160px;
    padding: 0.25rem 0;
}

.context-menu-item {
    padding: 0.5rem 1rem;
    font-size: 0.85rem;
    cursor: pointer;
    transition: background 0.1s;
}

.context-menu-item:hover {
    background: var(--bg);
}

.context-menu-danger {
    color: var(--danger);
}

.context-menu-danger:hover {
    background: #fee2e2;
}

/* Drop zone */
.drop-zone {
    border: 2px dashed var(--border);
    border-radius: var(--radius);
    padding: 2rem;
    text-align: center;
    cursor: pointer;
    transition: border-color 0.2s, background 0.2s;
}

.drop-zone:hover, .drop-zone.drag-over {
    border-color: var(--accent);
    background: var(--accent-subtle);
}

.drop-zone-icon {
    font-size: 2rem;
    color: var(--text-secondary);
    line-height: 1;
    margin-bottom: 0.5rem;
}

.drop-zone-text {
    font-size: 0.9rem;
    color: var(--text);
    font-weight: 500;
}

.drop-zone-hint {
    font-size: 0.75rem;
    color: var(--text-secondary);
    margin-top: 0.25rem;
}

/* Queued file row */
.badge-queued { background: #f3e8ff; color: #7c3aed; }
.badge-uploading { background: rgba(100, 103, 195, 0.12); color: var(--secondary); }

.btn-cancel {
    background: var(--surface);
    color: var(--text-secondary);
    border: 1px solid var(--border);
    padding: 0.25rem 0.75rem;
    font-size: 0.8rem;
}

.btn-cancel:hover {
    background: var(--bg);
    color: var(--danger);
    border-color: var(--danger);
}

/* Processing progress */
.status-progress {
    display: flex;
    flex-direction: column;
    gap: 0.2rem;
    min-width: 120px;
}

.progress-bar-wrapper {
    height: 6px;
    background: var(--border);
    border-radius: 3px;
    overflow: hidden;
}

.progress-bar-fill {
    height: 100%;
    background: var(--accent);
    border-radius: 3px;
    transition: width 0.5s ease;
}

.progress-label {
    font-size: 0.7rem;
    color: var(--text-secondary);
}

.processing-time {
    font-size: 0.7rem;
    color: var(--text-secondary);
    margin-left: 0.3rem;
}

/* Loading and empty states */
.loading, .empty-state {
    text-align: center;
    padding: 2rem;
    color: var(--text-secondary);
}

/* ==================== Tags ==================== */

/* Tag filter bar */
.tag-filter-bar {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    margin-bottom: 1rem;
    flex-wrap: wrap;
}

.tag-filter-label {
    font-size: 0.8rem;
    font-weight: 500;
    color: var(--text-secondary);
    white-space: nowrap;
}

.tag-filter-tags {
    display: flex;
    flex-wrap: wrap;
    gap: 0.35rem;
}

/* Tag pills */
.tag-pill {
    display: inline-flex;
    align-items: center;
    gap: 0.25rem;
    padding: 0.15rem 0.5rem;
    background: rgba(100, 103, 195, 0.1);
    color: var(--secondary);
    border-radius: 9999px;
    font-size: 0.75rem;
    font-weight: 500;
    white-space: nowrap;
}

.tag-pill-sm {
    font-size: 0.7rem;
    padding: 0.1rem 0.4rem;
}

.tag-pill-remove {
    background: none;
    border: none;
    color: var(--secondary);
    cursor: pointer;
    font-size: 0.85rem;
    line-height: 1;
    padding: 0;
    opacity: 0.5;
    transition: opacity 0.15s;
}

.tag-pill-remove:hover {
    opacity: 1;
}

/* Tag input + dropdown wrapper */
.tag-input-wrapper {
    position: relative;
}

.tag-input-inline {
    display: inline-block;
}

.tag-input {
    padding: 0.3rem 0.6rem;
    border: 1px solid var(--border);
    border-radius: var(--radius);
    font-size: 0.8rem;
    outline: none;
    width: 140px;
    background: var(--surface);
}

.tag-input:focus {
    border-color: var(--primary);
    box-shadow: 0 0 0 2px rgba(251, 123, 52, 0.15);
}

.tag-input-sm {
    width: 60px;
    padding: 0.15rem 0.4rem;
    font-size: 0.7rem;
    border-radius: 9999px;
    transition: width 0.15s ease;
}

.tag-input-sm:focus {
    width: 120px;
}

/* Tag dropdown */
.tag-dropdown {
    display: none;
    position: absolute;
    top: 100%;
    left: 0;
    z-index: 50;
    min-width: 180px;
    max-height: 200px;
    overflow-y: auto;
    background: var(--surface);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    box-shadow: 0 4px 12px rgba(0, 0, 0, 0.1);
    margin-top: 2px;
}

.tag-dropdown-item {
    padding: 0.4rem 0.75rem;
    font-size: 0.8rem;
    cursor: pointer;
    transition: background 0.1s;
}

.tag-dropdown-item:hover {
    background: var(--bg);
}

.tag-dropdown-create {
    color: var(--accent);
    font-style: italic;
    border-top: 1px solid var(--border);
}

/* Tags in table */
.tags-cell {
    max-width: 280px;
}

.doc-tags {
    display: flex;
    flex-wrap: wrap;
    gap: 0.25rem;
    align-items: center;
}

/* Chat layout */
.chat-layout {
    display: flex;
    gap: 0;
    height: calc(100vh - 130px);
    position: relative;
}

/* Chat */
.chat-container {
    background: var(--surface);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    display: flex;
    flex-direction: column;
    flex: 1;
    min-width: 0;
    height: 100%;
}

.chat-messages {
    flex: 1;
    overflow-y: auto;
    padding: 1.5rem;
    display: flex;
    flex-direction: column;
    gap: 1rem;
}

.message {
    max-width: 80%;
    padding: 0.75rem 1rem;
    border-radius: var(--radius);
    font-size: 0.9375rem;
    line-height: 1.5;
}

.message.user {
    align-self: flex-end;
    background: var(--accent);
    color: white;
    border-bottom-right-radius: 2px;
}

.message.assistant {
    align-self: flex-start;
    background: var(--surface-raised);
    color: var(--text);
    border-bottom-left-radius: 2px;
}

.message-content {
    white-space: pre-wrap;
    word-wrap: break-word;
}

/* Explain button and box */
.explain-wrapper {
    margin-top: 0.5rem;
}

.btn-explain {
    background: none;
    border: none;
    color: var(--text-secondary);
    font-size: 0.75rem;
    cursor: pointer;
    padding: 0.15rem 0;
    opacity: 0.6;
    transition: opacity 0.15s, color 0.15s;
}

.btn-explain:hover {
    opacity: 1;
    color: var(--accent);
}

.btn-explain.active {
    opacity: 1;
    color: var(--accent);
}

.explain-box {
    display: none;
    margin-top: 0.4rem;
    padding: 0.75rem;
    background: var(--surface);
    border: 1px solid var(--border);
    border-radius: 6px;
    font-size: 0.8rem;
    color: var(--text-secondary);
    line-height: 1.5;
}

.explain-box.open {
    display: block;
}

.explain-text {
    white-space: pre-wrap;
    word-wrap: break-word;
    margin-bottom: 0.75rem;
}

.explain-sources {
    border-top: 1px solid var(--border);
    padding-top: 0.5rem;
}

.explain-sources-label {
    font-weight: 600;
    font-size: 0.7rem;
    text-transform: uppercase;
    letter-spacing: 0.03em;
    color: var(--text-secondary);
    margin-bottom: 0.35rem;
}

.explain-source-item {
    padding: 0.2rem 0;
    display: flex;
    align-items: center;
    gap: 0.4rem;
}

.explain-source-num {
    font-family: var(--font-mono, ui-monospace, SFMono-Regular, Menlo, monospace);
    font-size: 0.7rem;
    font-weight: 600;
    color: var(--text-secondary);
    white-space: nowrap;
    flex-shrink: 0;
}

.explain-source-link {
    color: var(--secondary);
    text-decoration: none;
    font-weight: 500;
}

.explain-source-link:hover {
    text-decoration: underline;
    color: var(--accent);
}

.explain-source-sim {
    color: var(--text-secondary);
    font-size: 0.7rem;
    opacity: 0.7;
}




.chat-input-area {
    position: relative;
    padding: 1rem 1.5rem;
    border-top: 1px solid var(--border);
}

.chat-form {
    display: flex;
    gap: 0.75rem;
}

.chat-form input {
    flex: 1;
    padding: 0.625rem 1rem;
    border: 1px solid var(--border);
    border-radius: var(--radius);
    font-size: 0.9375rem;
    outline: none;
}

.chat-form input:focus {
    border-color: var(--primary);
    box-shadow: 0 0 0 2px rgba(251, 123, 52, 0.15);
}

/* Chat file attachments */
.chat-attach-btn {
    display: flex;
    align-items: center;
    justify-content: center;
    background: none;
    border: none;
    color: var(--text-secondary);
    cursor: pointer;
    padding: 0.4rem;
    border-radius: var(--radius-sm);
    flex-shrink: 0;
    transition: color 0.15s, background 0.15s;
}

.chat-attach-btn:hover {
    color: var(--accent);
    background: var(--accent-subtle);
}

.chat-attachments {
    display: flex;
    flex-wrap: wrap;
    gap: 0.35rem;
    padding: 0.5rem 1.5rem 0;
}

.chat-attachment-chip {
    display: inline-flex;
    align-items: center;
    gap: 0.3rem;
    padding: 0.25rem 0.5rem;
    background: var(--accent-subtle);
    border: 1px solid rgba(251, 123, 52, 0.2);
    border-radius: var(--radius-pill);
    font-size: 0.75rem;
    color: var(--text);
}

.chat-attachment-name {
    max-width: 180px;
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
}

.chat-attachment-remove {
    background: none;
    border: none;
    color: var(--text-secondary);
    cursor: pointer;
    font-size: 0.9rem;
    line-height: 1;
    padding: 0 0.1rem;
    opacity: 0.6;
}

.chat-attachment-remove:hover {
    opacity: 1;
    color: var(--danger);
}

.chat-input-area.chat-drag-over {
    background: var(--accent-subtle);
    border-color: var(--accent);
}

.chat-input-area.chat-drag-over::after {
    content: 'Drop files to attach';
    position: absolute;
    inset: 0;
    display: flex;
    align-items: center;
    justify-content: center;
    background: rgba(251, 123, 52, 0.06);
    color: var(--accent);
    font-weight: 500;
    font-size: 0.9rem;
    border-radius: var(--radius);
    pointer-events: none;
}


.thinking {
    display: inline-block;
    color: var(--text-secondary);
    font-style: italic;
}

.thinking::after {
    content: '';
    animation: dots 1.5s steps(4, end) infinite;
}

@keyframes dots {
    0%, 20% { content: ''; }
    40% { content: '.'; }
    60% { content: '..'; }
    80%, 100% { content: '...'; }
}

/* Knowledge View */
.knowledge-section {
    background: var(--surface);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1.5rem;
    margin-bottom: 1.5rem;
    max-width: 720px;
}

.knowledge-section h2 {
    font-size: 1.125rem;
    margin-bottom: 0.5rem;
}

.knowledge-description {
    color: var(--text-secondary);
    font-size: 0.875rem;
    margin-bottom: 1rem;
}

.knowledge-form {
    display: flex;
    flex-direction: column;
    gap: 1rem;
}

.knowledge-form select {
    width: 100%;
    padding: 0.5rem 0.75rem;
    border: 1px solid var(--border);
    border-radius: var(--radius);
    font-size: 0.875rem;
    outline: none;
    background: var(--surface);
    color: var(--text);
}

.knowledge-form select:focus {
    border-color: var(--primary);
    box-shadow: 0 0 0 2px rgba(251, 123, 52, 0.15);
}

.knowledge-statement-group {
    flex: none;
}

.knowledge-form textarea {
    width: 100%;
    padding: 0.625rem 0.75rem;
    border: 1px solid var(--border);
    border-radius: var(--radius);
    font-size: 0.875rem;
    font-family: inherit;
    outline: none;
    resize: vertical;
}

.knowledge-form textarea:focus {
    border-color: var(--primary);
    box-shadow: 0 0 0 2px rgba(251, 123, 52, 0.15);
}

.knowledge-recent {
    background: var(--surface);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1.5rem;
    max-width: 720px;
}

.knowledge-recent h2 {
    font-size: 1.125rem;
    margin-bottom: 1rem;
}

.knowledge-entries-list {
    display: flex;
    flex-direction: column;
    gap: 0.5rem;
}

.knowledge-entry-card {
    padding: 0.75rem 1rem;
    border: 1px solid var(--border);
    border-radius: 6px;
    background: var(--bg);
}

.knowledge-entry-card .knowledge-entry-header {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    margin-bottom: 0.35rem;
}

.knowledge-type-badge {
    display: inline-block;
    padding: 0.1rem 0.5rem;
    border-radius: 4px;
    font-size: 0.72rem;
    font-weight: 600;
    text-transform: uppercase;
    background: rgba(100, 103, 195, 0.12);
    color: var(--secondary);
}

.knowledge-type-badge.view { background: #fef3c7; color: #92400e; }
.knowledge-type-badge.idea { background: #d1fae5; color: #065f46; }
.knowledge-type-badge.hypothesis { background: #ede9fe; color: #5b21b6; }
.knowledge-type-badge.possibility { background: #fce7f3; color: #9d174d; }
.knowledge-type-badge.conjecture { background: #ffedd5; color: #9a3412; }
.knowledge-type-badge.assumption { background: #f1f5f9; color: #475569; }
.knowledge-type-badge.proposition { background: #ccfbf1; color: #134e4a; }

.knowledge-entry-statement {
    font-size: 0.875rem;
    color: var(--text);
    line-height: 1.5;
}

.scope-confirm-buttons {
    margin-top: 0.5rem;
    display: flex;
    gap: 0.5rem;
}

/* Chat knowledge confirmation */
.message.knowledge-confirm {
    align-self: flex-start;
    background: #d1fae5;
    color: #065f46;
    border-bottom-left-radius: 2px;
}

.knowledge-confirm-type {
    font-weight: 600;
    font-size: 0.75rem;
    text-transform: uppercase;
    letter-spacing: 0.03em;
    margin-bottom: 0.25rem;
    opacity: 0.8;
}

/* ==================== Sys Debug Button & Pane ==================== */

.btn-sys {
    background: #1e293b;
    color: #94a3b8;
    border: 1px solid #334155;
    padding: 0.3rem 0.75rem;
    border-radius: var(--radius);
    font-size: 0.8rem;
    font-weight: 600;
    font-family: 'SF Mono', 'Fira Code', 'Consolas', monospace;
    cursor: pointer;
    transition: all 0.15s;
    letter-spacing: 0.03em;
}

.btn-sys:hover {
    background: #334155;
    color: #e2e8f0;
}

.btn-sys.active {
    background: var(--accent);
    color: white;
    border-color: var(--accent);
}

/* The debug pane - fixed right side */
.sys-pane {
    position: fixed;
    top: 56px;
    right: 0;
    width: 520px;
    height: calc(100vh - 56px);
    background: #0f172a;
    color: #e2e8f0;
    border-left: 1px solid #334155;
    display: flex;
    flex-direction: column;
    transform: translateX(100%);
    transition: transform 0.25s ease;
    z-index: 100;
}

.sys-pane.open {
    transform: translateX(0);
}

body.sys-open .container {
    margin-right: 520px;
    transition: margin-right 0.25s ease;
}

.sys-pane-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 0.6rem 0.75rem;
    border-bottom: 1px solid #334155;
    flex-shrink: 0;
}

.sys-pane-header h3 {
    font-size: 0.85rem;
    font-weight: 600;
    color: #94a3b8;
    font-family: 'SF Mono', 'Fira Code', 'Consolas', monospace;
    letter-spacing: 0.03em;
}

.sys-pane-controls {
    display: flex;
    align-items: center;
    gap: 0.5rem;
}

.sys-status {
    font-size: 0.7rem;
    font-family: 'SF Mono', 'Fira Code', 'Consolas', monospace;
    padding: 0.1rem 0.4rem;
    border-radius: 4px;
    background: #1e293b;
    color: #64748b;
}

.sys-status.connected {
    color: #4ade80;
    background: #052e16;
}

.sys-clear-btn {
    background: #1e293b;
    border: 1px solid #334155;
    color: #94a3b8;
    font-family: 'SF Mono', 'Fira Code', 'Consolas', monospace;
    font-size: 0.7rem;
}

.sys-clear-btn:hover {
    background: #334155;
    color: #e2e8f0;
}

.sys-close-btn {
    background: none;
    border: 1px solid #334155;
    color: #64748b;
    font-size: 1rem;
    line-height: 1;
    padding: 0.15rem 0.4rem;
}

.sys-close-btn:hover {
    background: #334155;
    color: #f87171;
}

.sys-pane-entries {
    flex: 1;
    overflow-y: auto;
    padding: 0.5rem;
    display: flex;
    flex-direction: column;
    gap: 0.5rem;
    font-family: 'SF Mono', 'Fira Code', 'Consolas', monospace;
    font-size: 0.75rem;
    line-height: 1.4;
}

.sys-empty {
    color: #475569;
    text-align: center;
    padding: 2rem;
    font-style: italic;
}

/* Individual trace entry */
.sys-trace-entry {
    border: 1px solid #1e293b;
    border-radius: 4px;
    overflow: hidden;
    background: #0f172a;
}

.sys-trace-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 0.3rem 0.5rem;
    background: #1e293b;
    cursor: pointer;
    user-select: none;
    gap: 0.5rem;
}

.sys-trace-header:hover {
    background: #334155;
}

.sys-trace-label {
    display: flex;
    align-items: center;
    gap: 0.4rem;
    min-width: 0;
    flex: 1;
}

.sys-trace-badge {
    display: inline-block;
    padding: 0.05rem 0.35rem;
    border-radius: 3px;
    font-size: 0.65rem;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.03em;
    flex-shrink: 0;
}

.sys-trace-badge.chat { background: #065f46; color: #6ee7b7; }
.sys-trace-badge.embed { background: #1e3a5f; color: #7dd3fc; }
.sys-trace-badge.error { background: #7f1d1d; color: #fca5a5; }

.sys-trace-name {
    color: #94a3b8;
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
}

.sys-trace-meta {
    display: flex;
    align-items: center;
    gap: 0.4rem;
    flex-shrink: 0;
}

.sys-trace-status {
    font-size: 0.65rem;
    font-weight: 600;
}

.sys-trace-status.ok { color: #4ade80; }
.sys-trace-status.err { color: #f87171; }

.sys-trace-duration {
    color: #64748b;
    font-size: 0.65rem;
}

/* Expandable body */
.sys-trace-body {
    display: none;
    border-top: 1px solid #1e293b;
}

.sys-trace-entry.expanded .sys-trace-body {
    display: block;
}

.sys-trace-section {
    padding: 0.3rem 0.5rem;
    border-bottom: 1px solid #1e293b;
}

.sys-trace-section:last-child {
    border-bottom: none;
}

.sys-trace-section-label {
    font-size: 0.6rem;
    font-weight: 700;
    text-transform: uppercase;
    color: #475569;
    letter-spacing: 0.05em;
    margin-bottom: 0.2rem;
}

.sys-trace-json {
    color: #cbd5e1;
    white-space: pre-wrap;
    word-break: break-word;
    max-height: 400px;
    overflow-y: auto;
    line-height: 1.35;
}

.sys-trace-json .json-key { color: #7dd3fc; }
.sys-trace-json .json-string { color: #86efac; }
.sys-trace-json .json-number { color: #fbbf24; }
.sys-trace-json .json-bool { color: #c084fc; }
.sys-trace-json .json-null { color: #64748b; }
.sys-trace-json.sys-trace-error { color: #f87171; }

/* ==================== Login Page ==================== */

.login-page {
    background: var(--bg);
    display: flex;
    align-items: center;
    justify-content: center;
    min-height: 100vh;
    margin: 0;
}

.login-container {
    width: 100%;
    max-width: 400px;
}

.login-card {
    background: var(--surface);
    border-radius: var(--radius);
    box-shadow: var(--shadow-elevated);
    padding: 2.5rem 2rem;
    text-align: center;
}

.login-logo {
    height: 32px;
    margin-bottom: 1rem;
}

.login-subtitle {
    color: var(--text-secondary);
    font-size: 0.9rem;
    margin: 0 0 1.5rem;
}

.login-sphere-mark {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 0.5rem;
    margin: 0.25rem 0 1.5rem;
}

.login-sphere-wordmark {
    display: flex;
    flex-direction: column;
    align-items: flex-start;
    justify-content: center;
    line-height: 1;
    gap: 4px;
}

.login-sphere-text {
    font-weight: 500;
    font-size: 1.1rem;
    color: var(--text);
    letter-spacing: 0.18em;
    text-transform: uppercase;
}

.login-sphere-tagline {
    font-weight: 400;
    font-size: 0.62rem;
    color: rgba(15, 15, 15, 0.55);
    letter-spacing: 0.34em;
    text-transform: uppercase;
}

.login-field {
    text-align: left;
    margin-bottom: 1rem;
}

.login-field label {
    display: block;
    font-size: 0.85rem;
    font-weight: 500;
    margin-bottom: 0.3rem;
    color: var(--text);
}

.login-field input {
    width: 100%;
    padding: 0.6rem 0.75rem;
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    font-size: 0.95rem;
    font-family: inherit;
}

.login-field input:focus {
    outline: none;
    border-color: var(--accent);
    box-shadow: 0 0 0 2px rgba(251, 123, 52, 0.15);
}

.login-error {
    background: #fef2f2;
    color: var(--error);
    border: 1px solid #fecaca;
    border-radius: var(--radius-sm);
    padding: 0.5rem 0.75rem;
    font-size: 0.85rem;
    margin-bottom: 0.5rem;
}

.login-btn {
    width: 100%;
    padding: 0.7rem;
    font-size: 1rem;
    margin-top: 0.5rem;
}

.version-badge {
    position: fixed;
    bottom: 0.5rem;
    left: 0.75rem;
    font-size: 0.7rem;
    color: var(--text-secondary);
    opacity: 0.7;
    pointer-events: none;
    user-select: none;
    z-index: 10;
}

/* ==================== Scope column + drawer ==================== */

.scope-cell {
    max-width: 220px;
}

.scope-empty {
    color: var(--text-secondary);
    opacity: 0.5;
}

.scope-badge {
    display: inline-flex;
    align-items: center;
    gap: 0.35rem;
    padding: 0.22rem 0.55rem;
    background: var(--surface-alt);
    border: 1px solid var(--border);
    border-radius: var(--radius-pill);
    font-size: 0.78rem;
    font-family: var(--font);
    color: var(--text);
    cursor: pointer;
    transition: border-color 0.15s, background 0.15s;
    max-width: 100%;
}
.scope-badge-empty { opacity: 0.6; font-style: italic; }
.scope-badge-empty:hover { opacity: 1; }
.scope-badge:hover {
    border-color: var(--accent);
    background: var(--accent-subtle);
}
.scope-icon { font-size: 0.95rem; line-height: 1; }
.scope-name {
    font-weight: 500;
    max-width: 110px;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}
.scope-type {
    color: var(--text-secondary);
    font-size: 0.7rem;
    text-transform: uppercase;
    letter-spacing: 0.04em;
}
.scope-conf {
    color: var(--text-secondary);
    font-size: 0.7rem;
}
.scope-new {
    background: var(--accent);
    color: white;
    font-size: 0.58rem;
    font-weight: 600;
    letter-spacing: 0.08em;
    padding: 1px 5px;
    border-radius: 4px;
}
.scope-more {
    color: var(--text-secondary);
    font-size: 0.7rem;
    font-weight: 500;
}

/* Drawer */
.scope-drawer-overlay {
    position: fixed;
    inset: 0;
    background: rgba(15, 15, 15, 0.25);
    z-index: 998;
}
.scope-drawer {
    position: fixed;
    top: 0;
    right: -520px;
    width: 480px;
    max-width: 100vw;
    height: 100vh;
    background: var(--surface);
    border-left: 1px solid var(--border);
    box-shadow: var(--shadow-elevated);
    z-index: 999;
    transition: right 0.25s ease-out;
    display: flex;
    flex-direction: column;
}
.scope-drawer.open { right: 0; }
.scope-drawer-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 1rem 1.25rem;
    border-bottom: 1px solid var(--divider);
}
.scope-drawer-title {
    font-weight: 500;
    font-size: 1rem;
    letter-spacing: 0.02em;
}
.scope-drawer-close {
    background: none;
    border: none;
    font-size: 1.5rem;
    color: var(--text-secondary);
    cursor: pointer;
    padding: 0 0.25rem;
    line-height: 1;
}
.scope-drawer-close:hover { color: var(--text); }
.scope-drawer-body {
    overflow-y: auto;
    padding: 1rem 1.25rem 2rem;
    flex: 1;
}
.scope-drawer-loading, .scope-drawer-error {
    text-align: center;
    color: var(--text-secondary);
    padding: 2rem 1rem;
}
.scope-section { margin-bottom: 1.25rem; }
.scope-doc-title { font-weight: 500; font-size: 0.92rem; }
.scope-doc-status { color: var(--text-secondary); font-size: 0.8rem; margin-top: 2px; }
.scope-empty-state { color: var(--text-secondary); font-size: 0.85rem; margin-top: 0.75rem; }

.scope-h {
    font-size: 0.72rem;
    text-transform: uppercase;
    letter-spacing: 0.1em;
    color: var(--text-secondary);
    margin: 1.25rem 0 0.5rem;
}
.scope-h-sub {
    font-size: 0.7rem;
    text-transform: uppercase;
    letter-spacing: 0.08em;
    color: var(--text-secondary);
    margin: 0.5rem 0 0.25rem;
}

.scope-card {
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 0.85rem 0.95rem;
    margin-bottom: 0.75rem;
    background: var(--surface-alt);
}
.scope-card-primary {
    border-color: var(--accent);
    background: var(--surface);
}
.scope-card-head {
    display: flex;
    align-items: center;
    gap: 0.7rem;
    margin-bottom: 0.5rem;
}
.scope-icon-lg {
    font-size: 1.3rem;
    width: 28px;
    height: 28px;
    display: flex;
    align-items: center;
    justify-content: center;
    background: var(--accent-subtle);
    border-radius: 50%;
}
.scope-card-name {
    font-weight: 500;
    font-size: 0.95rem;
    display: flex;
    align-items: center;
    gap: 0.4rem;
}
.scope-card-meta {
    font-size: 0.75rem;
    color: var(--text-secondary);
    margin-top: 1px;
}
.scope-confbar {
    height: 3px;
    background: var(--divider);
    border-radius: 2px;
    overflow: hidden;
    margin: 0.35rem 0 0.6rem;
}
.scope-confbar-fill { height: 100%; background: var(--accent); }

.scope-aliases, .scope-resolution {
    font-size: 0.8rem;
    color: var(--text);
    margin: 0.25rem 0;
}
.scope-ids { margin: 0.35rem 0; }
.scope-kv {
    font-size: 0.78rem;
    margin: 2px 0;
    font-family: 'SF Mono', Menlo, monospace;
}
.scope-kv-k { color: var(--text-secondary); }
.scope-kv-v { color: var(--text); }

.scope-sources { margin-top: 0.5rem; }
.scope-source-list {
    list-style: none;
    padding: 0;
    margin: 0;
}
.scope-source {
    border-left: 2px solid var(--border);
    padding: 0.4rem 0.65rem;
    margin: 0.35rem 0;
    background: var(--surface);
    border-radius: 0 var(--radius-sm) var(--radius-sm) 0;
}
.scope-source-head {
    display: flex;
    gap: 0.5rem;
    align-items: center;
    font-size: 0.72rem;
    color: var(--text-secondary);
    margin-bottom: 0.15rem;
}
.scope-src-kind {
    text-transform: uppercase;
    letter-spacing: 0.08em;
    font-weight: 500;
    color: var(--text);
}
.scope-src-weight { font-family: monospace; }
.scope-src-loc { opacity: 0.7; }
.scope-source-evidence {
    font-size: 0.82rem;
    color: var(--text);
    font-style: italic;
}

.scope-rationale {
    margin-top: 0.6rem;
    padding-top: 0.5rem;
    border-top: 1px dashed var(--divider);
}
.scope-rationale p {
    margin: 0;
    font-size: 0.82rem;
    color: var(--text);
    line-height: 1.4;
}

/* Provider-outage warning banner shown above chat answers */
.provider-warning {
    display: flex;
    gap: 0.6rem;
    align-items: flex-start;
    margin-bottom: 0.75rem;
    padding: 0.6rem 0.8rem;
    background: rgba(229, 154, 0, 0.08);
    border: 1px solid rgba(229, 154, 0, 0.35);
    border-radius: var(--radius-sm);
    font-size: 0.82rem;
    color: var(--text);
}
.provider-warning-icon {
    color: var(--warning);
    font-size: 0.95rem;
    line-height: 1.2;
    flex-shrink: 0;
}
.provider-warning-text {
    flex: 1;
}
.provider-warning-head {
    font-weight: 500;
    color: var(--warning);
    margin-bottom: 0.15rem;
}
.provider-warning-line {
    color: var(--text-secondary);
    margin-top: 0.1rem;
}


/* Scope drawer stewardship actions */
.scope-actions { display: flex; gap: 8px; flex-wrap: wrap; margin: 8px 0 16px; }
.scope-card-actions { display: flex; justify-content: flex-end; margin-top: 8px; }

/* ==================== Shared panel + filter primitives (Ontology, Statements) ==================== */

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

.panel h2 {
    font-size: 1.125rem;
    margin-bottom: 1rem;
}

.panel-head {
    display: flex;
    align-items: center;
    justify-content: space-between;
    flex-wrap: wrap;
    gap: 0.75rem;
    margin-bottom: 1rem;
}

.panel-head h2 {
    margin-bottom: 0;
}

.panel-subhead {
    font-size: 0.8rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.03em;
    color: var(--text-secondary);
    margin: 1.5rem 0 0.5rem;
}

.filter-row,
.action-row {
    display: flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 0.5rem;
}

.filter-row {
    margin-bottom: 0.75rem;
}

.panel-head .filter-row {
    margin-bottom: 0;
}

.filter-input {
    flex: 1;
    min-width: 180px;
    padding: 0.5rem 0.75rem;
    border: 1px solid var(--border);
    border-radius: var(--radius);
    font-size: 0.875rem;
    font-family: inherit;
    outline: none;
}

.filter-select {
    padding: 0.45rem 0.75rem;
    border: 1px solid var(--border);
    border-radius: var(--radius);
    font-size: 0.85rem;
    font-family: inherit;
    background: var(--surface);
    color: var(--text);
    outline: none;
}

.filter-input:focus,
.filter-select:focus {
    border-color: var(--primary);
    box-shadow: 0 0 0 2px rgba(251, 123, 52, 0.15);
}

.table-scroll {
    width: 100%;
    overflow-x: auto;
}

.nowrap { white-space: nowrap; }

.mono,
.mono-list,
.turtle-pre,
.term-iri code,
.term-kv code,
.verdict-item code {
    font-family: 'SF Mono', 'Fira Code', 'Consolas', ui-monospace, monospace;
    font-size: 0.78rem;
}

.expand-row > td {
    background: var(--surface-alt);
    padding: 0.75rem 1rem 1rem;
}

.data-table tbody tr.expand-row:hover {
    background: var(--surface-alt);
}

.turtle-pre {
    max-height: 420px;
    overflow: auto;
    padding: 0.75rem;
    background: #0f172a;
    color: #e2e8f0;
    border-radius: var(--radius-sm);
    white-space: pre;
    line-height: 1.4;
}

/* Secondary action button (Validate) */
.btn-validate {
    background: var(--surface);
    color: var(--secondary);
    border: 1px solid var(--secondary);
}

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

.btn-validate:disabled {
    opacity: 0.5;
    cursor: not-allowed;
}

/* Sub-tabs inside a view */
.sub-tabs {
    display: flex;
    gap: 0.25rem;
    margin-bottom: 1rem;
    border-bottom: 1px solid var(--border);
    overflow-x: auto;
}

.sub-tab {
    background: none;
    border: none;
    border-bottom: 2px solid transparent;
    padding: 0.5rem 0.9rem;
    font-family: inherit;
    font-size: 0.875rem;
    font-weight: 500;
    color: var(--text-secondary);
    cursor: pointer;
    white-space: nowrap;
    transition: color 0.15s, border-color 0.15s;
}

.sub-tab:hover {
    color: var(--text);
}

.sub-tab.active {
    color: var(--accent);
    border-bottom-color: var(--accent);
}

.sub-view { display: none; }
.sub-view.active { display: block; }

/* Small inline badges (kind, source, severity, outcome) */
.mini-badge {
    display: inline-block;
    padding: 0.05rem 0.45rem;
    border-radius: 4px;
    font-size: 0.68rem;
    font-weight: 600;
    letter-spacing: 0.02em;
    background: rgba(100, 103, 195, 0.12);
    color: var(--secondary);
    vertical-align: middle;
    white-space: nowrap;
}

.mini-badge-source { background: var(--surface-raised); color: var(--text-secondary); border: 1px solid var(--border); }
.mini-badge-warn, .mini-badge-warning { background: #fef3c7; color: #92400e; }
.mini-badge-error, .mini-badge-violation { background: #fee2e2; color: #991b1b; }
.mini-badge-ok { background: #d1fae5; color: #065f46; }
.mini-badge-info { background: #dbeafe; color: #1e40af; }
.mini-badge-neutral { background: var(--surface-raised); color: var(--text-secondary); }

/* Count badges next to a filter (clickable) */
.count-badges {
    display: flex;
    flex-wrap: wrap;
    gap: 0.35rem;
    align-items: center;
}

.count-badge {
    display: inline-flex;
    align-items: center;
    gap: 0.3rem;
    padding: 0.15rem 0.6rem;
    border-radius: 9999px;
    border: 1px solid var(--border);
    background: var(--surface-raised);
    color: var(--text-secondary);
    font-family: inherit;
    font-size: 0.72rem;
    font-weight: 500;
    cursor: default;
}

button.count-badge { cursor: pointer; }
button.count-badge:hover { border-color: var(--border-hover); color: var(--text); }
.count-badge b { font-weight: 600; color: var(--text); }

/* ==================== Ontology: terms ==================== */

.term-layout {
    display: grid;
    grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
    gap: 1rem;
    align-items: start;
}

.term-results {
    display: flex;
    flex-direction: column;
    gap: 0.4rem;
    max-height: 70vh;
    overflow-y: auto;
}

.term-hit {
    padding: 0.6rem 0.8rem;
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    background: var(--surface-alt);
    cursor: pointer;
    transition: border-color 0.15s, background 0.15s;
}

.term-hit:hover { border-color: var(--border-hover); }

.term-hit.selected {
    border-color: var(--accent);
    background: var(--accent-subtle);
}

.term-hit-head {
    display: flex;
    align-items: center;
    flex-wrap: wrap;
    gap: 0.4rem;
}

.term-hit-label {
    font-weight: 500;
    font-size: 0.9rem;
}

.term-hit-sv,
.term-detail-sv {
    color: var(--text-secondary);
    font-size: 0.85rem;
}

.term-hit-def {
    margin-top: 0.25rem;
    color: var(--text-secondary);
    font-size: 0.8rem;
    line-height: 1.45;
}

.term-detail {
    position: sticky;
    top: 1rem;
    padding: 1rem;
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    background: var(--surface-alt);
    min-height: 120px;
}

.term-detail-head {
    margin-bottom: 0.75rem;
}

.term-detail-label {
    font-size: 1.05rem;
    font-weight: 500;
}

.term-detail-badges {
    margin-top: 0.35rem;
    display: flex;
    gap: 0.35rem;
    flex-wrap: wrap;
}

.term-iri {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    padding: 0.5rem 0.65rem;
    background: var(--surface);
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    margin-bottom: 0.75rem;
}

.term-iri code {
    flex: 1;
    min-width: 0;
    word-break: break-all;
    color: var(--text);
}

.term-definition {
    font-size: 0.875rem;
    line-height: 1.5;
    margin-bottom: 0.75rem;
}

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

.term-kv {
    font-size: 0.8rem;
    margin-bottom: 0.5rem;
    word-break: break-all;
}

.term-links {
    margin-top: 0.75rem;
}

.term-link-list {
    list-style: none;
    display: flex;
    flex-direction: column;
    gap: 0.25rem;
}

.term-link-list li {
    display: flex;
    align-items: center;
    gap: 0.4rem;
    font-size: 0.85rem;
}

.term-link-list a {
    color: var(--secondary);
    text-decoration: none;
    font-weight: 500;
}

.term-link-list a:hover {
    color: var(--accent);
    text-decoration: underline;
}

/* ==================== Ontology: approval queue + status ==================== */

.graph-label {
    font-weight: 500;
}

.graph-iri {
    color: var(--text-secondary);
    word-break: break-all;
}

.graph-rationale {
    margin-top: 0.2rem;
    color: var(--text-secondary);
    font-size: 0.8rem;
}

.stat-cards {
    display: grid;
    grid-template-columns: repeat(4, minmax(0, 1fr));
    gap: 0.75rem;
}

.stat-card {
    padding: 0.75rem 1rem;
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    background: var(--surface-alt);
}

.stat-card-wide {
    grid-column: 1 / -1;
}

.stat-label {
    font-size: 0.72rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.03em;
    color: var(--text-secondary);
    margin-bottom: 0.25rem;
}

.stat-value {
    font-size: 1.5rem;
    font-weight: 500;
    color: var(--text);
}

.source-error {
    margin-top: 0.25rem;
    color: var(--error);
    font-size: 0.75rem;
    word-break: break-word;
}

.inbox-meta {
    color: var(--text-secondary);
    font-size: 0.8rem;
    margin-bottom: 0.5rem;
}

.upload-form {
    display: flex;
    flex-wrap: wrap;
    gap: 1rem;
    align-items: flex-end;
}

.upload-form .form-group {
    flex: 1 1 220px;
}

.upload-form input[type="file"] {
    width: 100%;
    font-size: 0.85rem;
    font-family: inherit;
    padding: 0.35rem 0;
}

.check-label {
    display: inline-flex;
    align-items: center;
    gap: 0.4rem;
    font-size: 0.875rem;
    color: var(--text-secondary);
    padding-bottom: 0.5rem;
}

.upload-result {
    margin-top: 1rem;
    padding: 0.75rem 1rem;
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    background: var(--surface-alt);
}

.upload-result-ok { border-color: rgba(19, 158, 25, 0.4); }
.upload-result-warn { border-color: rgba(229, 154, 0, 0.4); }
.upload-result-error { border-color: rgba(220, 24, 12, 0.4); }

.upload-result-head {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    margin-bottom: 0.5rem;
}

/* ==================== Statements ==================== */

.statements-new {
    max-width: 860px;
}

.statement-form-row {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 0.5rem;
}

.statements-table .statement-row {
    cursor: pointer;
}

.statements-table .statement-row.open {
    background: var(--surface-alt);
}

.statement-text {
    max-width: 520px;
    line-height: 1.45;
}

.statement-detail {
    display: flex;
    flex-direction: column;
    gap: 0.6rem;
    cursor: default;
}

.statement-meta {
    display: flex;
    flex-wrap: wrap;
    gap: 0.3rem;
    color: var(--text-secondary);
    font-size: 0.78rem;
    word-break: break-all;
}

.statement-actions {
    display: flex;
    flex-wrap: wrap;
    gap: 0.5rem;
    padding-top: 0.25rem;
}

/* Epistemic status badges */
.status-badge {
    display: inline-block;
    padding: 0.125rem 0.55rem;
    border-radius: 9999px;
    font-size: 0.72rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.02em;
    background: var(--surface-raised);
    color: var(--text-secondary);
    border: 1px solid var(--border);
    white-space: nowrap;
}

.status-badge.status-asserted { background: var(--surface-raised); color: var(--text); }
.status-badge.status-validated { background: #d1fae5; color: #065f46; border-color: transparent; }
.status-badge.status-contradicted { background: #fee2e2; color: #991b1b; border-color: transparent; }
.status-badge.status-hypothetical { background: #fef3c7; color: #92400e; border-color: transparent; }
.status-badge.status-retracted { background: #f1f5f9; color: #64748b; border-color: transparent; }
.status-badge.status-inferred { background: #dbeafe; color: #1e40af; border-color: transparent; }

.count-badge.status-validated b { color: #065f46; }
.count-badge.status-contradicted b { color: #991b1b; }
.count-badge.status-hypothetical b { color: #92400e; }
.count-badge.status-retracted b { color: #64748b; }
.count-badge.status-inferred b { color: #1e40af; }

/* ==================== Verdict card ==================== */

.verdict-card {
    --verdict-color: var(--text-secondary);
    --verdict-bg: var(--surface-raised);
    margin-top: 0.75rem;
    padding: 0.85rem 1rem;
    border: 1px solid var(--border);
    border-left: 4px solid var(--verdict-color);
    border-radius: var(--radius-sm);
    background: var(--surface);
    font-size: 0.85rem;
    line-height: 1.5;
    color: var(--text);
    white-space: normal;      /* chat bubbles use pre-wrap; the card is markup */
    text-align: left;
}

.verdict-true { --verdict-color: var(--success); --verdict-bg: #d1fae5; }
.verdict-false { --verdict-color: var(--danger); --verdict-bg: #fee2e2; }
.verdict-unknown { --verdict-color: var(--warning); --verdict-bg: #fef3c7; }
.verdict-cannot_formalise { --verdict-color: #64748b; --verdict-bg: #f1f5f9; }

.verdict-head {
    display: flex;
    align-items: flex-start;
    gap: 0.75rem;
    margin-bottom: 0.5rem;
}

.verdict-badge {
    flex-shrink: 0;
    display: inline-block;
    padding: 0.3rem 0.8rem;
    border-radius: 9999px;
    background: var(--verdict-bg);
    color: var(--verdict-color);
    font-size: 0.85rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.04em;
}

.verdict-summary {
    flex: 1;
    font-size: 0.9rem;
    padding-top: 0.2rem;
}

.verdict-statement {
    color: var(--text-secondary);
    font-style: italic;
    margin-bottom: 0.5rem;
}

.verdict-reading {
    margin-bottom: 0.35rem;
}

.verdict-label {
    font-weight: 600;
    font-size: 0.72rem;
    text-transform: uppercase;
    letter-spacing: 0.03em;
    color: var(--text-secondary);
}

.verdict-conf {
    color: var(--text-secondary);
    font-size: 0.78rem;
}

.verdict-warning {
    margin: 0.35rem 0;
    padding: 0.45rem 0.65rem;
    background: rgba(229, 154, 0, 0.08);
    border: 1px solid rgba(229, 154, 0, 0.35);
    border-radius: var(--radius-sm);
    color: var(--text);
    font-size: 0.8rem;
}

.verdict-section {
    margin-top: 0.35rem;
}

.verdict-box {
    color: var(--text);
}

.mono-list {
    list-style: none;
    display: flex;
    flex-direction: column;
    gap: 0.15rem;
    word-break: break-all;
}

.mono-list li {
    padding: 0.15rem 0.4rem;
    background: var(--surface-raised);
    border-radius: 4px;
}

.verdict-empty {
    color: var(--text-secondary);
    font-size: 0.8rem;
}

.verdict-block {
    margin-top: 0.6rem;
}

.verdict-block-title {
    font-weight: 600;
    font-size: 0.72rem;
    text-transform: uppercase;
    letter-spacing: 0.03em;
    color: var(--text-secondary);
    margin-bottom: 0.3rem;
}

.verdict-list {
    list-style: none;
    display: flex;
    flex-direction: column;
    gap: 0.4rem;
}

.verdict-item {
    padding: 0.5rem 0.65rem;
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    background: var(--surface-alt);
}

.verdict-item code {
    background: var(--surface-raised);
    padding: 0.05rem 0.3rem;
    border-radius: 3px;
    word-break: break-all;
}

.verdict-sub {
    margin-top: 0.2rem;
    color: var(--text-secondary);
    font-size: 0.78rem;
    word-break: break-all;
}

.verdict-preview {
    margin-top: 0.2rem;
    font-size: 0.8rem;
    line-height: 1.45;
}

.verdict-sources,
.verdict-scope {
    margin-top: 0.6rem;
    padding-top: 0.5rem;
    border-top: 1px solid var(--border);
    font-size: 0.8rem;
    color: var(--text-secondary);
    word-break: break-all;
}

.verdict-sep {
    margin: 0 0.4rem;
    opacity: 0.6;
}

/* Verdict inside a chat bubble */
.message.verdict-message {
    max-width: 92%;
}

.verdict-message-line {
    margin-bottom: 0.25rem;
}

.verdict-message .verdict-card {
    margin-top: 0.5rem;
}

.verdict-stored {
    color: #065f46;
    font-size: 0.85rem;
    font-weight: 500;
}

/* ==================== Phone width ==================== */

@media (max-width: 720px) {
    .navbar {
        gap: 1rem;
        padding: 0 1rem;
    }

    .nav-links {
        overflow-x: auto;
        scrollbar-width: none;
    }

    .nav-links::-webkit-scrollbar { display: none; }

    .nav-link {
        padding: 0.4rem 0.6rem;
        font-size: 0.8rem;
    }

    .nav-brand-text { display: none; }

    .panel {
        padding: 1rem;
    }

    .term-layout {
        grid-template-columns: minmax(0, 1fr);
    }

    .term-results {
        max-height: 40vh;
    }

    .term-detail {
        position: static;
    }

    .stat-cards {
        grid-template-columns: repeat(2, minmax(0, 1fr));
    }

    .statement-text {
        max-width: none;
        min-width: 180px;
    }

    .message.verdict-message {
        max-width: 100%;
    }

    .verdict-head {
        flex-direction: column;
        gap: 0.4rem;
    }

    .chat-form {
        flex-wrap: wrap;
    }

    .chat-form input {
        flex: 1 1 100%;
    }
}

/* ==================== Shared: toasts, modal, pickers (ontology curation + inference) ==================== */

.toast-stack {
    position: fixed;
    right: 1rem;
    bottom: 1rem;
    z-index: 1200;
    display: flex;
    flex-direction: column;
    gap: 0.5rem;
    max-width: min(420px, calc(100vw - 2rem));
}

.toast {
    display: flex;
    align-items: flex-start;
    gap: 0.6rem;
    padding: 0.65rem 0.85rem;
    background: #0F0F0F;
    color: #FCFCFC;
    border-left: 4px solid var(--secondary);
    border-radius: var(--radius-sm);
    box-shadow: var(--shadow-elevated);
    font-size: 0.85rem;
    line-height: 1.4;
}

.toast-success { border-left-color: var(--success); }
.toast-error { border-left-color: var(--danger); }
.toast-warn { border-left-color: var(--warning); }
.toast-text { flex: 1; word-break: break-word; }

.toast-action {
    background: none;
    border: 1px solid rgba(255, 255, 255, 0.4);
    border-radius: var(--radius-sm);
    color: #FCFCFC;
    font-family: inherit;
    font-size: 0.78rem;
    padding: 0.15rem 0.55rem;
    cursor: pointer;
    white-space: nowrap;
}

.toast-action:hover { border-color: var(--accent-light); color: var(--accent-light); }

.toast-close {
    background: none;
    border: none;
    color: rgba(255, 255, 255, 0.6);
    font-size: 1.1rem;
    line-height: 1;
    cursor: pointer;
    padding: 0;
}

.toast-close:hover { color: #fff; }

.modal-overlay {
    position: fixed;
    inset: 0;
    background: rgba(15, 15, 15, 0.35);
    z-index: 1100;
    display: flex;
    align-items: flex-start;
    justify-content: center;
    padding: 4vh 1rem;
    overflow-y: auto;
}

body.modal-open { overflow: hidden; }

.modal {
    width: 100%;
    max-width: 720px;
    background: var(--surface);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    box-shadow: var(--shadow-elevated);
    display: flex;
    flex-direction: column;
    max-height: 92vh;
}

.modal-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
    padding: 0.9rem 1.25rem;
    border-bottom: 1px solid var(--divider);
}

.modal-header h3 {
    font-size: 1rem;
    font-weight: 500;
}

.modal-body {
    padding: 1rem 1.25rem;
    overflow-y: auto;
    flex: 1;
}

.modal-footer {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    padding: 0.75rem 1.25rem;
    border-top: 1px solid var(--divider);
}

.modal-footer .status-message { flex: 1; width: auto; }

.modal-grid {
    display: grid;
    grid-template-columns: repeat(2, minmax(0, 1fr));
    gap: 0.75rem 1rem;
}

.modal-grid-inner { margin-top: 0.5rem; }
.modal-grid .form-group { min-width: 0; }
.modal-grid .form-group-full,
.modal-grid .check-label.form-group-full { grid-column: 1 / -1; }
.modal-grid .filter-input,
.modal-grid .filter-select,
.modal-grid textarea.filter-input { width: 100%; min-width: 0; }
.modal-grid textarea.filter-input { resize: vertical; line-height: 1.45; }
.modal-grid .check-label { padding-bottom: 0; }

.form-help {
    padding: 0.55rem 0.75rem;
    margin-bottom: 0.85rem;
    background: var(--surface-alt);
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    font-size: 0.8rem;
    color: var(--text-secondary);
    line-height: 1.45;
}

.form-help-warn {
    background: rgba(229, 154, 0, 0.08);
    border-color: rgba(229, 154, 0, 0.35);
    color: var(--text);
}

.impact-grid {
    display: grid;
    grid-template-columns: repeat(4, minmax(0, 1fr));
    gap: 0.5rem;
    margin-bottom: 0.85rem;
}

.stat-value.stat-warn { color: var(--warning); }

.check-label-sm { font-size: 0.78rem; padding-bottom: 0; }
.loading-sm { padding: 0.75rem; font-size: 0.8rem; }

.compact-table td,
.compact-table th { padding: 0.35rem 0.6rem; font-size: 0.78rem; }

.mini-badge-origin { background: rgba(251, 123, 52, 0.12); color: #b4521a; }

/* Autocomplete picker (terms / entities / free IRIs) */
.iri-picker { display: flex; flex-direction: column; gap: 0.35rem; }
.iri-picker-input-wrap { width: 100%; }
.iri-picker-input { width: 100%; min-width: 0; }
.iri-picker-dropdown { width: 100%; max-height: 260px; }
.iri-picker-pills { display: flex; flex-wrap: wrap; gap: 0.3rem; }
.iri-picker-pills:empty { display: none; }
.iri-picker-pills .tag-pill { max-width: 100%; white-space: normal; word-break: break-all; }
.iri-picker-item-label { font-weight: 500; }
.iri-picker-item-sub { font-size: 0.7rem; color: var(--text-secondary); word-break: break-all; }
.iri-picker-picked { min-height: 0; font-size: 0.75rem; }
.iri-picker-picked:empty { display: none; }

/* ==================== Ontology: explorer ==================== */

.explorer {
    display: grid;
    grid-template-columns: minmax(280px, 380px) minmax(0, 1fr);
    gap: 1rem;
    align-items: start;
}

.explorer-side {
    background: var(--surface);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 0.85rem;
    display: flex;
    flex-direction: column;
    gap: 0.6rem;
    position: sticky;
    top: 1rem;
    max-height: calc(100vh - 2rem);
}

.explorer-side-head {
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 0.5rem;
}

.explorer-modes {
    display: inline-flex;
    border: 1px solid var(--border);
    border-radius: var(--radius-pill);
    overflow: hidden;
    background: var(--surface-raised);
}

.explorer-mode {
    background: none;
    border: none;
    padding: 0.3rem 0.8rem;
    font-family: inherit;
    font-size: 0.8rem;
    font-weight: 500;
    color: var(--text-secondary);
    cursor: pointer;
}

.explorer-mode.active { background: var(--text); color: #fff; }

.explorer-presets,
.explorer-facets,
.facet-group {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 0.3rem;
}

.explorer-facets { flex-direction: column; align-items: stretch; gap: 0.3rem; }

.preset-chip,
.facet-chip {
    display: inline-flex;
    align-items: center;
    gap: 0.25rem;
    padding: 0.15rem 0.6rem;
    border-radius: 9999px;
    border: 1px solid var(--border);
    background: var(--surface-raised);
    color: var(--text-secondary);
    font-family: inherit;
    font-size: 0.72rem;
    font-weight: 500;
    cursor: pointer;
    transition: border-color 0.15s, background 0.15s, color 0.15s;
}

.preset-chip:hover,
.facet-chip:hover { border-color: var(--border-hover); color: var(--text); }
.preset-chip.active { background: var(--accent); border-color: var(--accent); color: #fff; }
.facet-chip.active { background: rgba(100, 103, 195, 0.14); border-color: var(--secondary); color: var(--secondary); }
.facet-chip b { font-weight: 600; }

.facet-group-label {
    font-size: 0.66rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.04em;
    color: var(--text-secondary);
    margin-right: 0.2rem;
    flex-basis: 100%;
}

.explorer-search { display: flex; gap: 0.35rem; align-items: center; }
.explorer-search .filter-input { min-width: 0; }

.explorer-kinds { display: flex; gap: 0.2rem; border-bottom: 1px solid var(--border); }

.kind-tab {
    background: none;
    border: none;
    border-bottom: 2px solid transparent;
    padding: 0.35rem 0.6rem;
    font-family: inherit;
    font-size: 0.8rem;
    font-weight: 500;
    color: var(--text-secondary);
    cursor: pointer;
}

.kind-tab.active { color: var(--accent); border-bottom-color: var(--accent); }

.explorer-hint {
    font-size: 0.75rem;
    color: var(--text-secondary);
    padding: 0.35rem 0.5rem;
    background: var(--surface-alt);
    border-radius: var(--radius-sm);
}

.explorer-tree,
.explorer-list {
    overflow-y: auto;
    min-height: 120px;
    flex: 1;
}

.explorer-list { display: flex; flex-direction: column; gap: 0.35rem; }
.explorer-list-count { padding: 0 0.2rem; }
.explorer-hit .term-hit-head { gap: 0.3rem; }
.explorer-hit .term-hit-label { font-size: 0.85rem; }
.entity-icon { font-size: 0.9rem; }
.entity-icon-lg { font-size: 1.3rem; }

.tree-group-title {
    font-size: 0.7rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.03em;
    color: var(--text-secondary);
    margin: 0.4rem 0 0.2rem;
}

.tree-empty { padding: 0.2rem 0.5rem; }

.tree-row {
    display: flex;
    align-items: center;
    gap: 0.3rem;
    padding: 0.2rem 0.3rem;
    border-radius: var(--radius-sm);
    cursor: pointer;
    font-size: 0.85rem;
    line-height: 1.3;
    min-width: 0;
}

.tree-row:hover { background: var(--surface-alt); }
.tree-row.selected { background: var(--accent-subtle); box-shadow: inset 2px 0 0 var(--accent); }
.tree-deprecated > .tree-row > .tree-label { text-decoration: line-through; color: var(--text-secondary); }

.tree-caret {
    flex-shrink: 0;
    width: 18px;
    height: 18px;
    display: inline-flex;
    align-items: center;
    justify-content: center;
    background: none;
    border: none;
    color: var(--text-secondary);
    font-size: 0.75rem;
    cursor: pointer;
    transition: transform 0.15s;
}

.tree-caret.open { transform: rotate(90deg); }
.tree-caret-empty { cursor: default; }

.tree-label { font-weight: 500; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.tree-sv { color: var(--text-secondary); font-size: 0.75rem; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }

.tree-count {
    display: inline-block;
    padding: 0 0.4rem;
    border-radius: 9999px;
    background: var(--surface-raised);
    color: var(--text-secondary);
    font-size: 0.68rem;
    font-weight: 500;
    line-height: 1.5;
    vertical-align: middle;
}

.tree-badges { margin-left: auto; display: inline-flex; gap: 0.2rem; flex-shrink: 0; }
.tree-badges .mini-badge { font-size: 0.6rem; padding: 0 0.3rem; }

.tree-children {
    margin-left: 0.55rem;
    padding-left: 0.4rem;
    border-left: 1px dashed var(--border);
}

/* Detail pane */
.explorer-detail {
    background: var(--surface);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1rem 1.25rem 1.5rem;
    min-height: 300px;
    min-width: 0;
}

.detail-toolbar {
    display: flex;
    flex-wrap: wrap;
    gap: 0.35rem;
    align-items: center;
    margin-bottom: 0.75rem;
}

.detail-toolbar-spacer { flex: 1; }
.detail-toolbar .btn:disabled { opacity: 0.45; cursor: not-allowed; }

.breadcrumb {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 0.2rem;
    font-size: 0.78rem;
    margin-bottom: 0.5rem;
    color: var(--text-secondary);
}

.crumb { color: var(--secondary); text-decoration: none; font-weight: 500; }
.crumb:hover { color: var(--accent); text-decoration: underline; }
.crumb-current { color: var(--text); font-weight: 500; }
.crumb-sep { color: var(--text-secondary); padding: 0 0.1rem; }

.detail-head { margin-bottom: 0.65rem; }

.detail-title {
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 0.4rem;
}

.detail-title-text { font-size: 1.15rem; font-weight: 500; }

.detail-deprecated {
    margin-top: 0.4rem;
    padding: 0.4rem 0.65rem;
    background: #fee2e2;
    color: #991b1b;
    border-radius: var(--radius-sm);
    font-size: 0.8rem;
}

.detail-deprecated a { color: #991b1b; font-weight: 600; }

.detail-section {
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    margin-top: 0.6rem;
    background: var(--surface-alt);
}

.detail-section > summary {
    display: flex;
    align-items: center;
    gap: 0.4rem;
    padding: 0.5rem 0.75rem;
    cursor: pointer;
    font-size: 0.8rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.03em;
    color: var(--text-secondary);
    list-style: none;
}

.detail-section > summary::-webkit-details-marker { display: none; }
.detail-section > summary::before { content: '▸'; font-size: 0.7rem; transition: transform 0.15s; }
.detail-section[open] > summary::before { transform: rotate(90deg); }
.detail-section > summary:hover { color: var(--text); }
.detail-raw-toggle { margin-left: auto; text-transform: none; letter-spacing: 0; font-weight: 400; }

.detail-section-body {
    padding: 0.6rem 0.75rem 0.85rem;
    border-top: 1px solid var(--divider);
    background: var(--surface);
    border-radius: 0 0 var(--radius-sm) var(--radius-sm);
    font-size: 0.85rem;
}

.detail-entity-meta { border: 1px solid var(--border); border-radius: var(--radius-sm); margin-top: 0.6rem; }

.kv {
    display: grid;
    grid-template-columns: 120px minmax(0, 1fr);
    gap: 0.25rem 0.75rem;
    padding: 0.3rem 0;
    border-bottom: 1px solid var(--divider);
    align-items: start;
}

.kv:last-child { border-bottom: none; }

.kv-k {
    font-size: 0.72rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.03em;
    color: var(--text-secondary);
    padding-top: 0.1rem;
}

.kv-v { min-width: 0; word-break: break-word; line-height: 1.5; }

.child-list {
    list-style: none;
    display: flex;
    flex-direction: column;
    gap: 0.2rem;
    margin-top: 0.2rem;
}

.child-list li { display: flex; flex-wrap: wrap; align-items: center; gap: 0.35rem; }

.node-ref { color: var(--secondary); text-decoration: none; font-weight: 500; word-break: break-all; }
.node-ref:hover { color: var(--accent); text-decoration: underline; }

.lit { word-break: break-word; }
.lit-tag { color: var(--text-secondary); font-size: 0.7rem; margin-left: 0.25rem; }

.triple-group { margin-bottom: 0.75rem; }

.triple-group-head {
    font-size: 0.75rem;
    font-weight: 600;
    color: var(--text-secondary);
    margin-bottom: 0.25rem;
    font-family: 'SF Mono', 'Fira Code', 'Consolas', ui-monospace, monospace;
}

.triple-table { width: 100%; border-collapse: collapse; }
.triple-table td { padding: 0.25rem 0.35rem; vertical-align: top; border-bottom: 1px solid var(--divider); font-size: 0.82rem; }
.triple-table tr:last-child td { border-bottom: none; }
.triple-first { width: 32%; color: var(--text-secondary); }
.triple-arrow { width: 1.2rem; color: var(--text-secondary); text-align: center; }
.triple-second { word-break: break-word; }
.triple-tag { width: 1%; white-space: nowrap; text-align: right; }
.triple-inferred td { font-style: italic; color: var(--text-secondary); background: rgba(219, 234, 254, 0.35); }
.triple-inferred .node-ref { color: #1e40af; }

.detail-types { margin-top: 0.75rem; }
.type-chips { display: flex; flex-wrap: wrap; gap: 0.35rem; }

.type-chip {
    display: inline-flex;
    align-items: center;
    gap: 0.4rem;
    padding: 0.25rem 0.7rem;
    border-radius: 9999px;
    border: 1px solid var(--secondary);
    background: rgba(100, 103, 195, 0.08);
    color: var(--secondary);
    text-decoration: none;
    font-size: 0.8rem;
    font-weight: 500;
}

.type-chip:hover { background: var(--secondary); color: #fff; }
.type-chip-inferred { border-style: dashed; border-color: #1e40af; color: #1e40af; background: rgba(219, 234, 254, 0.5); }
.type-chip-inferred:hover { background: #1e40af; }
.type-chip-tag { font-size: 0.62rem; text-transform: uppercase; letter-spacing: 0.04em; opacity: 0.8; }

/* ==================== Inference ==================== */

.inference-prefix-hint { margin-top: 0.35rem; font-size: 0.75rem; color: var(--text-secondary); }
.inference-prefix-hint code { font-family: 'SF Mono', 'Fira Code', 'Consolas', ui-monospace, monospace; font-size: 0.72rem; background: var(--surface-raised); padding: 0 0.3rem; border-radius: 3px; }
#inference-turtle-wrap { margin-top: 0.5rem; }
.knowledge-form textarea.mono { font-family: 'SF Mono', 'Fira Code', 'Consolas', ui-monospace, monospace; font-size: 0.8rem; }

.inference-form-row { align-items: flex-end; flex-wrap: wrap; }
.form-group-grow { flex: 1 1 260px; }
.form-group-narrow { flex: 0 0 140px; min-width: 120px; }
.form-group-narrow .filter-input { width: 100%; min-width: 0; }
.filter-input-narrow { flex: 0 0 100px; min-width: 90px; width: 100px; }

.inference-iri-row { align-items: flex-start; }
.inference-iri-picker { flex: 1 1 300px; min-width: 0; }

.inference-explain-form {
    display: grid;
    grid-template-columns: repeat(3, minmax(0, 1fr)) auto;
    gap: 0.5rem;
    align-items: center;
    margin-bottom: 0.5rem;
}

.inference-explain-form .filter-input { min-width: 0; }
.inference-doc-group { display: inline-flex; gap: 0.35rem; align-items: center; }
.stat-cards-auto { grid-template-columns: repeat(auto-fill, minmax(150px, 1fr)); margin-bottom: 1rem; }

.entail-section { margin-top: 1rem; }
.entail-section .panel-subhead { margin-top: 0.5rem; }
.entail-triple { word-break: break-all; }

.derivation-pre {
    margin: 0;
    padding: 0.6rem 0.75rem;
    background: var(--surface-raised);
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    font-family: 'SF Mono', 'Fira Code', 'Consolas', ui-monospace, monospace;
    font-size: 0.74rem;
    line-height: 1.5;
    white-space: pre-wrap;
    word-break: break-word;
    max-height: 320px;
    overflow: auto;
}

.entail-cols {
    display: grid;
    grid-template-columns: repeat(2, minmax(0, 1fr));
    gap: 1rem;
    align-items: start;
}

.entail-col { min-width: 0; }

.fact-row {
    padding: 0.4rem 0.6rem;
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    background: var(--surface-alt);
    margin-bottom: 0.35rem;
    font-size: 0.8rem;
}

.fact-row-inferred { background: rgba(219, 234, 254, 0.35); border-color: rgba(30, 64, 175, 0.25); }
.fact-row-inferred > summary { cursor: pointer; list-style: none; }
.fact-row-inferred > summary::-webkit-details-marker { display: none; }
.fact-row-inferred .derivation-pre { margin-top: 0.4rem; }
.fact-head { display: flex; flex-wrap: wrap; align-items: center; gap: 0.4rem; }
.fact-triple { flex: 1 1 auto; word-break: break-all; }
.fact-graph { font-size: 0.68rem; }
.fact-no-trace { margin-top: 0.3rem; }

.rule-group { margin-top: 0.75rem; }
.rule-group > summary { cursor: pointer; font-size: 0.8rem; font-weight: 600; text-transform: uppercase; letter-spacing: 0.03em; color: var(--text-secondary); padding: 0.3rem 0; }
.rule-rows { display: flex; flex-direction: column; gap: 0.35rem; margin-top: 0.4rem; }

.rule-row {
    padding: 0.5rem 0.75rem;
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    background: var(--surface-alt);
}

.rule-head { display: flex; flex-wrap: wrap; align-items: center; gap: 0.4rem; margin-bottom: 0.25rem; }
.rule-name { font-weight: 500; font-size: 0.85rem; }
.rule-body { font-size: 0.74rem; line-height: 1.5; word-break: break-word; color: var(--text); }
.rule-arrow { color: var(--accent); font-weight: 600; padding: 0 0.25rem; }

/* Narrow screens: stack the explorer panes and the inference columns */
@media (max-width: 900px) {
    .explorer { grid-template-columns: minmax(0, 1fr); }
    .explorer-side { position: static; max-height: none; }
    .explorer-tree, .explorer-list { max-height: 45vh; }
    .entail-cols { grid-template-columns: minmax(0, 1fr); }
    .inference-explain-form { grid-template-columns: minmax(0, 1fr); }
    .impact-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
}

@media (max-width: 720px) {
    .modal-grid { grid-template-columns: minmax(0, 1fr); }
    .modal-overlay { padding: 1rem 0.5rem; }
    .kv { grid-template-columns: minmax(0, 1fr); gap: 0.1rem; }
    .triple-first { width: auto; }
    .triple-table td { display: block; border-bottom: none; padding: 0.1rem 0.35rem; }
    .triple-table tr { display: block; border-bottom: 1px solid var(--divider); padding: 0.25rem 0; }
    .triple-arrow { display: none; }
    .triple-tag { text-align: left; }
    .explorer-side-head { flex-wrap: wrap; }
    .toast-stack { right: 0.5rem; left: 0.5rem; bottom: 0.5rem; max-width: none; }
}

/* ==================== Proof inspector (step-by-step reasoning) ==================== */

.proof-overlay { z-index: 1150; }
.proof-modal { max-width: 920px; }
.proof-body { padding: 0.9rem 1.25rem 1.25rem; }
.proof-pending .proof-goal-triple { margin-bottom: 0.5rem; }
.proof-error { margin-top: 0.5rem; }

/* Header: goal, verdict badge, counts, data graphs, view toggles */
.proof-head { display: flex; flex-direction: column; gap: 0.6rem; margin-bottom: 0.9rem; }
.proof-goal { display: flex; align-items: flex-start; gap: 0.75rem; }
.proof-goal-text { min-width: 0; flex: 1; }
.proof-goal-triple { font-size: 0.95rem; font-weight: 600; line-height: 1.5; word-break: break-word; }

.proof-badge {
    flex-shrink: 0;
    display: inline-block;
    padding: 0.3rem 0.8rem;
    border-radius: 9999px;
    font-size: 0.85rem;
    font-weight: 600;
    white-space: nowrap;
}

.proof-badge-true { background: #d1fae5; color: var(--success); }
.proof-badge-false { background: #fef3c7; color: #92400e; }

.proof-raw {
    margin-top: 0.15rem;
    font-family: 'SF Mono', 'Fira Code', 'Consolas', ui-monospace, monospace;
    font-size: 0.72rem;
    color: var(--text-secondary);
    word-break: break-all;
}

.proof-meta { display: flex; flex-wrap: wrap; align-items: center; gap: 0.6rem; font-size: 0.8rem; color: var(--text-secondary); }
.proof-meta-item { font-weight: 500; }

.proof-graphs { font-size: 0.78rem; }
.proof-graphs > summary { cursor: pointer; list-style: none; color: var(--text-secondary); }
.proof-graphs > summary::-webkit-details-marker { display: none; }
.proof-graphs > summary::before { content: '▸'; display: inline-block; margin-right: 0.3rem; font-size: 0.7rem; transition: transform 0.15s; }
.proof-graphs[open] > summary::before { transform: rotate(90deg); }
.proof-graphs > summary:hover { color: var(--text); }
.proof-graph-list { list-style: none; margin: 0.35rem 0 0; padding: 0.4rem 0.6rem; max-height: 180px; overflow: auto; border: 1px solid var(--border); border-radius: var(--radius-sm); background: var(--surface-alt); }
.proof-graph-list li { display: flex; flex-wrap: wrap; gap: 0.4rem; padding: 0.1rem 0; }
.proof-graph-full { font-size: 0.7rem; word-break: break-all; }
.proof-graphs-empty { margin-top: 0.35rem; }

.proof-graph { font-family: 'SF Mono', 'Fira Code', 'Consolas', ui-monospace, monospace; font-size: 0.72rem; }

.proof-modes { align-self: flex-start; }

/* Triple nodes */
.proof-triple { word-break: break-word; }
.proof-node { border-bottom: 1px dotted var(--border); cursor: help; }
.proof-pred .proof-node { color: var(--secondary); font-weight: 500; }
.proof-lit { color: #b4521a; }
.proof-bnode { font-family: 'SF Mono', 'Fira Code', 'Consolas', ui-monospace, monospace; color: var(--text-secondary); }

/* Step cards */
.proof-steps { display: flex; flex-direction: column; gap: 0.5rem; }

.proof-step {
    border: 1px solid var(--border);
    border-left: 4px solid var(--border);
    border-radius: var(--radius-sm);
    background: var(--surface);
    transition: border-color 0.2s, box-shadow 0.2s, background 0.2s;
}

.proof-step-open { border-left-color: var(--secondary); }
.proof-step-goal { border-left-color: var(--success); }
.proof-step-current { box-shadow: 0 0 0 2px rgba(100, 103, 195, 0.25); }
.proof-step-collapsed { cursor: pointer; background: var(--surface-alt); }
.proof-step-collapsed:hover { background: var(--surface-raised); }
.proof-step-collapsed .proof-step-head { padding: 0.4rem 0.75rem; }
.proof-step-collapsed .proof-step-conclusion { font-weight: 500; font-size: 0.82rem; }
.proof-step-flash { background: var(--accent-subtle); border-left-color: var(--accent); box-shadow: 0 0 0 2px rgba(251, 123, 52, 0.3); }

.proof-step-head { display: flex; flex-wrap: wrap; align-items: center; gap: 0.5rem; padding: 0.6rem 0.75rem; }

.proof-step-num {
    flex-shrink: 0;
    font-size: 0.7rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.04em;
    color: var(--text-secondary);
    padding: 0.1rem 0.5rem;
    border-radius: 9999px;
    background: var(--surface-raised);
}

.proof-step-conclusion { flex: 1 1 240px; min-width: 0; font-weight: 600; font-size: 0.9rem; line-height: 1.45; }

.proof-rule-chip {
    display: inline-flex;
    align-items: center;
    gap: 0.35rem;
    padding: 0.15rem 0.5rem;
    border: 1px solid var(--border);
    border-radius: 9999px;
    background: var(--surface-alt);
    font-size: 0.74rem;
    white-space: nowrap;
}

.proof-rule-name { font-family: 'SF Mono', 'Fira Code', 'Consolas', ui-monospace, monospace; font-size: 0.74rem; }

.proof-step-body { padding: 0 0.75rem 0.75rem; border-top: 1px solid var(--divider); }
.proof-step-body .proof-raw { margin-top: 0.5rem; }
.proof-gloss { margin-top: 0.5rem; font-size: 0.84rem; line-height: 1.5; color: var(--text); }

.proof-rule { margin-top: 0.5rem; font-size: 0.78rem; }
.proof-rule > summary { cursor: pointer; list-style: none; color: var(--text-secondary); display: inline-flex; align-items: center; gap: 0.35rem; }
.proof-rule > summary::-webkit-details-marker { display: none; }
.proof-rule > summary::before { content: '▸'; display: inline-block; font-size: 0.7rem; transition: transform 0.15s; }
.proof-rule[open] > summary::before { transform: rotate(90deg); }
.proof-rule > summary:hover { color: var(--text); }

.proof-rule-text {
    margin-top: 0.35rem;
    padding: 0.5rem 0.7rem;
    background: var(--surface-raised);
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
    font-family: 'SF Mono', 'Fira Code', 'Consolas', ui-monospace, monospace;
    font-size: 0.72rem;
    line-height: 1.55;
    word-break: break-word;
}

.proof-rule-arrow { color: var(--accent); font-weight: 600; padding: 0.1rem 0; }

.proof-premises-title {
    margin-top: 0.7rem;
    font-size: 0.7rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.03em;
    color: var(--text-secondary);
}

.proof-premises { list-style: none; margin: 0.3rem 0 0; padding: 0; display: flex; flex-direction: column; gap: 0.3rem; }
.proof-premise { display: flex; flex-wrap: wrap; align-items: center; gap: 0.5rem; padding: 0.35rem 0.6rem; border-radius: var(--radius-sm); background: var(--surface-alt); font-size: 0.82rem; }
.proof-premise-triple { flex: 1 1 220px; min-width: 0; line-height: 1.45; }

/* Premise kinds: asserted = data, schema = neutral, statement = accent, derived = link */
.proof-kind {
    display: inline-flex;
    align-items: center;
    gap: 0.25rem;
    padding: 0.08rem 0.5rem;
    border-radius: 4px;
    font-size: 0.68rem;
    font-weight: 600;
    letter-spacing: 0.02em;
    white-space: nowrap;
    text-decoration: none;
}

.proof-kind-asserted { background: #dbeafe; color: #1e40af; }
.proof-kind-schema { background: var(--surface-raised); color: var(--text-secondary); border: 1px solid var(--border); }
.proof-kind-schema-closure { background: var(--surface-raised); color: var(--text-secondary); border: 1px dashed var(--border); }
.proof-kind-statement { background: rgba(251, 123, 52, 0.12); color: #b4521a; }
.proof-kind-derived { background: rgba(100, 103, 195, 0.1); color: var(--secondary); cursor: pointer; }
.proof-kind-derived:hover { background: var(--secondary); color: #fff; }
.proof-kind-internal, .proof-kind-unknown { background: var(--surface-raised); color: var(--text-secondary); font-style: italic; }
.proof-kind .proof-graph { font-weight: 500; }

/* Walkthrough bar */
.proof-walk-bar {
    position: sticky;
    top: 0;
    z-index: 1;
    display: flex;
    flex-wrap: wrap;
    align-items: center;
    gap: 0.6rem;
    padding: 0.5rem 0.6rem;
    margin-bottom: 0.6rem;
    background: var(--surface-raised);
    border: 1px solid var(--border);
    border-radius: var(--radius-sm);
}

.proof-walk-pos { font-weight: 600; font-size: 0.85rem; }
.proof-walk-hint { margin-left: auto; font-size: 0.72rem; }

/* Direct assertion (no rule) and not-entailed states */
.proof-step-direct .proof-step-num { background: #d1fae5; color: #065f46; }
.proof-missing .verdict-block { margin-top: 0; }

/* Tree view */
.proof-tree { font-size: 0.84rem; }
.proof-tree-node { border-left: 2px solid var(--divider); padding-left: 0.6rem; margin: 0.15rem 0; }
.proof-tree-goal { border-left-color: var(--success); }
.proof-tree-node > summary { cursor: pointer; list-style: none; display: flex; flex-wrap: wrap; align-items: center; gap: 0.45rem; padding: 0.3rem 0.4rem; border-radius: var(--radius-sm); }
.proof-tree-node > summary::-webkit-details-marker { display: none; }
.proof-tree-node > summary::before { content: '▸'; display: inline-block; font-size: 0.7rem; color: var(--text-secondary); transition: transform 0.15s; }
.proof-tree-node[open] > summary::before { transform: rotate(90deg); }
.proof-tree-node > summary:hover { background: var(--surface-alt); }
.proof-tree-conclusion { flex: 1 1 200px; min-width: 0; font-weight: 600; }
.proof-tree-gloss { margin: 0.1rem 0 0.2rem 1.2rem; font-size: 0.78rem; color: var(--text-secondary); }
.proof-tree-children { list-style: none; margin: 0.15rem 0 0.3rem 1.1rem; padding: 0; display: flex; flex-direction: column; gap: 0.2rem; }
.proof-tree-leaf { display: flex; flex-wrap: wrap; align-items: center; gap: 0.5rem; padding: 0.3rem 0.5rem; border-radius: var(--radius-sm); background: var(--surface-alt); }
.proof-tree-child { min-width: 0; }

/* Entry points: buttons in the Inference tab, verdict cards and the explorer */
.fact-inspect { margin-left: auto; padding: 0.1rem 0.55rem; font-size: 0.72rem; }
.fact-row-inferred > summary .fact-inspect { flex-shrink: 0; }
.explain-inspect { flex-shrink: 0; margin-left: auto; }
.entail-table .btn-validate { padding: 0.1rem 0.55rem; font-size: 0.72rem; }

.verdict-proof { display: flex; flex-wrap: wrap; gap: 0.35rem 0.9rem; margin-top: 0.4rem; }
.verdict-proof-link { display: inline-flex; align-items: center; gap: 0.3rem; color: var(--secondary); font-size: 0.78rem; font-weight: 500; text-decoration: none; }
.verdict-proof-link:hover { color: var(--accent); text-decoration: underline; }
.verdict-proof-link svg { flex-shrink: 0; }

.proof-icon-btn {
    display: inline-flex;
    align-items: center;
    justify-content: center;
    width: 1.5rem;
    height: 1.5rem;
    padding: 0;
    margin-left: 0.25rem;
    vertical-align: middle;
    background: none;
    border: 1px solid transparent;
    border-radius: 4px;
    color: #1e40af;
    cursor: pointer;
    opacity: 0.7;
    transition: opacity 0.15s, border-color 0.15s, background 0.15s;
}

.proof-icon-btn:hover { opacity: 1; border-color: #1e40af; background: rgba(219, 234, 254, 0.6); }

/* Narrow screens: full-width inspector, stacked header, wrapped controls */
@media (max-width: 720px) {
    .proof-overlay { padding: 0; }
    .proof-modal { max-width: none; max-height: 100vh; min-height: 100vh; border-radius: 0; border: none; }
    .proof-body { padding: 0.75rem 1rem 1rem; }
    .proof-goal { flex-direction: column; gap: 0.4rem; }
    .proof-goal-triple { font-size: 0.9rem; }
    .proof-step-head { padding: 0.5rem 0.6rem; }
    .proof-step-body { padding: 0 0.6rem 0.6rem; }
    .proof-step-conclusion { flex-basis: 100%; }
    .proof-rule-chip { white-space: normal; }
    .proof-kind { white-space: normal; }
    .proof-walk-hint { display: none; }
    .proof-walk-bar { gap: 0.4rem; }
    .proof-walk-pos { flex: 1; text-align: center; }
    .proof-tree-children { margin-left: 0.5rem; }
    .proof-tree-node { padding-left: 0.4rem; }
    .fact-inspect, .explain-inspect { margin-left: 0; }
    .triple-tag .proof-icon-btn { margin-left: 0; }
}

/* ==================== Prune dialog ==================== */
.prune-list { margin: 6px 0 10px 18px; padding: 0; max-height: 220px; overflow: auto; font-size: 0.9em; }
.prune-list li { margin: 2px 0; }
.prune-remove code { color: var(--danger, #c0392b); }
.prune-deprecate code { color: var(--warning, #b7791f); }

/* ==================== Evidence section ==================== */
.evidence-quote { font-style: italic; quotes: "\201C" "\201D"; }
.evidence-snippet { font-size: 0.85em; margin-top: 2px; max-width: 480px; }