:root,
[data-theme="light"] {
	--bg: #ffffff;
	--text: #1c1c1e;
	--muted: #787880;
	--link: #2563eb;
	--link-hover: #1d4ed8;
	--selection-bg: #ffe082;
	--selection-color: #1c1c1e;
	--selection-link: #1d4ed8;
	--border-subtle: #e5e5ea;
	--panel-bg: #fafafa;
	--surface-bg: #f2f2f7;
	--code-bg: #f5f5f7;
	--code-text: #1c1c1e;
	--tag-bg: #f2f2f7;
	--tag-text: #48484a;
	--accent-cyan: #0891b2;
	--accent-orange: #ea580c;
	--success: #16a34a;
	--danger: #dc2626;
	--grid-line: rgba(0, 0, 0, 0.04);
	--modal-overlay: rgba(0, 0, 0, 0.45);
	--scroll-bar: #2563eb;
	--obs-card-bg: #ffffff;
	--obs-card-border: #e2e2e8;
	--obs-card-shadow: 0 1px 3px rgba(0, 0, 0, 0.05), 0 4px 12px rgba(0, 0, 0, 0.02);
	--obs-canvas-bg: #f8f8fa;
	--obs-canvas-border: #e2e2e8;
	--obs-tab-bg: #f2f2f7;
	--obs-tab-active-bg: #ffffff;
	--obs-tab-active-border: #d1d1d6;
	--obs-formula-bg: #f5f5f7;
	--obs-badge-bg: rgba(22, 163, 74, 0.08);
	--obs-badge-border: rgba(22, 163, 74, 0.25);
	--obs-badge-color: #15803d;
	--font-sans: 'Inter', -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, 'Helvetica Neue', Arial, sans-serif;
	--font-mono: 'SFMono-Regular', Consolas, 'Liberation Mono', Menlo, Courier, monospace;
}

[data-theme="dark"] {
	--bg: #0d0d10;
	--text: #e4e4e7;
	--muted: #8e8e93;
	--link: #60a5fa;
	--link-hover: #93c5fd;
	--selection-bg: #ff8055;
	--selection-color: #1a0b05;
	--selection-link: #bae6fd;
	--border-subtle: #242428;
	--panel-bg: #16161a;
	--surface-bg: #1e1e24;
	--code-bg: #08080a;
	--code-text: #f4f4f5;
	--tag-bg: #1f1f24;
	--tag-text: #a1a1aa;
	--accent-cyan: #22d3ee;
	--accent-orange: #fb923c;
	--success: #22c55e;
	--danger: #ef4444;
	--grid-line: rgba(255, 255, 255, 0.035);
	--modal-overlay: rgba(0, 0, 0, 0.75);
	--scroll-bar: #60a5fa;
	--obs-card-bg: rgba(255, 255, 255, 0.02);
	--obs-card-border: rgba(255, 255, 255, 0.08);
	--obs-card-shadow: 0 4px 20px rgba(0, 0, 0, 0.25);
	--obs-canvas-bg: #08080c;
	--obs-canvas-border: var(--border-subtle);
	--obs-tab-bg: #16161a;
	--obs-tab-active-bg: #24242c;
	--obs-tab-active-border: rgba(255, 255, 255, 0.12);
	--obs-formula-bg: #08080a;
	--obs-badge-bg: rgba(76, 175, 80, 0.12);
	--obs-badge-border: rgba(76, 175, 80, 0.3);
	--obs-badge-color: #4caf50;
}

@media (prefers-color-scheme: dark) {
	:root:not([data-theme="light"]) {
		--bg: #0d0d10;
		--text: #e4e4e7;
		--muted: #8e8e93;
		--link: #60a5fa;
		--link-hover: #93c5fd;
		--selection-bg: #ff8055;
		--selection-color: #1a0b05;
		--selection-link: #bae6fd;
		--border-subtle: #242428;
		--panel-bg: #16161a;
		--surface-bg: #1e1e24;
		--code-bg: #08080a;
		--code-text: #f4f4f5;
		--tag-bg: #1f1f24;
		--tag-text: #a1a1aa;
		--accent-cyan: #22d3ee;
		--accent-orange: #fb923c;
		--success: #22c55e;
		--danger: #ef4444;
		--grid-line: rgba(255, 255, 255, 0.035);
		--modal-overlay: rgba(0, 0, 0, 0.75);
		--scroll-bar: #60a5fa;
		--obs-card-bg: rgba(255, 255, 255, 0.02);
		--obs-card-border: rgba(255, 255, 255, 0.08);
		--obs-card-shadow: 0 4px 20px rgba(0, 0, 0, 0.25);
		--obs-canvas-bg: #08080c;
		--obs-canvas-border: var(--border-subtle);
		--obs-tab-bg: #16161a;
		--obs-tab-active-bg: #24242c;
		--obs-tab-active-border: rgba(255, 255, 255, 0.12);
		--obs-formula-bg: #08080a;
		--obs-badge-bg: rgba(76, 175, 80, 0.12);
		--obs-badge-border: rgba(76, 175, 80, 0.3);
		--obs-badge-color: #4caf50;
	}
}

* {
	box-sizing: border-box;
}

button {
	font-family: inherit;
	font-size: inherit;
	color: inherit;
	background: none;
	border: none;
	padding: 0;
	margin: 0;
	cursor: pointer;
	outline: none;
	-webkit-appearance: none;
	appearance: none;
}

button:focus,
button:focus-visible {
	outline: none;
}

/* Scroll reading progress bar */
#readingProgress {
	position: fixed;
	top: 0;
	left: 0;
	height: 2px;
	background: var(--scroll-bar);
	width: 0%;
	z-index: 9999;
	transition: width 0.1s linear;
}

html {
	min-height: 100%;
	background-color: var(--bg);
}

body {
	min-height: 100vh;
	margin: 0;
	padding: 0;
}

html, body {
	font: 400 16px/1.62 var(--font-sans);
	color: var(--text);
	background-color: var(--bg);
	text-rendering: optimizeLegibility;
	-webkit-font-smoothing: antialiased;
	-moz-osx-font-smoothing: grayscale;
	font-feature-settings: 'kern', 'liga';
	transition: background-color 0.18s ease, color 0.18s ease;
}

/* Blueprint Mode */
html[data-mode="blueprint"],
body[data-mode="blueprint"] {
	background-image: 
		linear-gradient(to right, var(--grid-line) 1px, transparent 1px),
		linear-gradient(to bottom, var(--grid-line) 1px, transparent 1px);
	background-size: 24px 24px;
	background-repeat: repeat;
}

.container {
	max-width: 720px;
	margin: 0 auto;
	padding: 48px 24px 96px 24px;
	position: relative;
}

/* Systems Telemetry Top Bar */
.hardware-hud {
	display: flex;
	align-items: center;
	justify-content: space-between;
	flex-wrap: wrap;
	gap: 8px;
	font-family: var(--font-mono);
	font-size: 11px;
	color: var(--muted);
	border-bottom: 1px solid var(--border-subtle);
	padding-bottom: 12px;
	margin-bottom: 28px;
	letter-spacing: -0.01em;
	user-select: none;
}

.hud-item {
	display: inline-flex;
	align-items: center;
	gap: 6px;
	cursor: pointer;
	transition: color 0.15s ease;
}

.hud-item:hover {
	color: var(--text);
}

.hud-dot {
	width: 5px;
	height: 5px;
	border-radius: 50%;
	background: var(--success);
}

.hud-bench-pill {
	font-family: var(--font-mono);
	font-size: 11px;
	line-height: 1.35;
	color: var(--text);
	border: 1px solid var(--border-subtle);
	border-radius: 4px;
	padding: 2px 8px;
	background: var(--surface-bg);
	display: inline-flex;
	align-items: center;
	gap: 5px;
	outline: none !important;
	-webkit-appearance: none;
	appearance: none;
	cursor: pointer;
	box-shadow: none !important;
	transition: all 0.12s ease;
}

.hud-bench-pill *,
.hud-bench-pill .bench-label {
	color: inherit;
}

.hud-bench-pill:hover,
.hud-bench-pill:focus,
.hud-bench-pill:focus-visible,
.hud-bench-pill:active {
	color: var(--text);
	border-color: var(--muted);
	background: var(--panel-bg);
	outline: none !important;
	box-shadow: none !important;
}

.hud-bench-pill:hover *,
.hud-bench-pill:focus *,
.hud-bench-pill:focus-visible *,
.hud-bench-pill:active * {
	color: inherit;
}

a {
	color: var(--link);
	text-decoration: none;
	transition: color 0.12s ease;
}

a:hover {
	color: var(--link-hover);
	text-decoration: underline;
	text-underline-offset: 3px;
	text-decoration-thickness: 1px;
}

/* Explorable Inline Reactive Text */
.explorable {
	border-bottom: 1px dashed var(--link);
	cursor: pointer;
	position: relative;
	transition: background 0.15s ease, color 0.15s ease;
	border-radius: 2px;
	padding: 0 1px;
}

.explorable:hover {
	background: rgba(59, 130, 246, 0.08);
	color: var(--link-hover);
}

.explorable::after {
	content: ' ▾';
	font-size: 10px;
	color: var(--muted);
	opacity: 0.7;
}

/* Header & Identity */
.header-row {
	display: flex;
	align-items: center;
	justify-content: space-between;
	flex-wrap: wrap;
	gap: 12px;
	margin-bottom: 24px;
}

.identity {
	display: flex;
	align-items: center;
	gap: 12px;
}

.avatar-wrapper {
	position: relative;
	width: 24px;
	height: 24px;
	cursor: pointer;
	border-radius: 50%;
	flex-shrink: 0;
	transition: transform 0.2s cubic-bezier(0.34, 1.56, 0.64, 1);
}

.avatar-wrapper:hover {
	transform: scale(1.1);
}

.avatar-wrapper:active {
	transform: scale(0.9);
}

.icon {
	display: block;
	width: 24px;
	height: 24px;
	border-radius: 50%;
	pointer-events: none;
	user-select: none;
	object-fit: cover;
}

.name {
	display: inline-block;
	font-weight: 400;
	font-size: 16px;
	line-height: 24px;
	margin: 0;
	color: var(--muted);
	letter-spacing: -0.01em;
}

/* Status Pill */
.status-pill {
	display: inline-flex;
	align-items: center;
	gap: 6px;
	font-size: 12px;
	color: var(--muted);
	font-family: var(--font-mono);
	background: transparent;
	border: 1px solid var(--border-subtle);
	padding: 2px 8px;
	border-radius: 12px;
	cursor: pointer;
	user-select: none;
	transition: border-color 0.15s ease, background 0.15s ease, color 0.15s ease;
}

.status-pill:hover {
	border-color: var(--text);
	color: var(--text);
}

.status-dot {
	width: 6px;
	height: 6px;
	border-radius: 50%;
	background-color: var(--success);
	box-shadow: 0 0 6px var(--success);
	display: inline-block;
	animation: pulse 2.5s infinite;
}

@keyframes pulse {
	0%, 100% { opacity: 1; transform: scale(1); }
	50% { opacity: 0.4; transform: scale(0.85); }
}

/* Top Navigation */
.nav-controls {
	display: flex;
	gap: 7px;
	font-size: 13px;
	color: var(--muted);
	user-select: none;
	align-items: center;
}

.nav-btn {
	background: none;
	border: none;
	padding: 0;
	font: inherit;
	font-size: 13px;
	color: var(--muted);
	cursor: pointer;
	text-decoration: none;
	transition: color 0.12s ease;
}

.nav-btn:hover {
	color: var(--text);
}

.nav-btn.active {
	color: var(--text);
	text-decoration: underline;
	text-underline-offset: 3px;
}

.nav-divider {
	color: var(--muted);
	opacity: 0.35;
}

/* Bio & Sub-blocks */
.sub {
	margin: 24px 0 28px 40px;
	color: var(--text);
}

.links {
	margin: 0 0 36px 40px;
}

.link {
	display: inline-block;
	line-height: 24px;
}

.copyable-link {
	cursor: pointer;
}

.copyable-link::after {
	content: ' [copy]';
	font-size: 11px;
	opacity: 0;
	color: var(--muted);
	transition: opacity 0.15s ease;
}

.copyable-link:hover::after {
	opacity: 0.8;
}

/* Action Buttons */
.action-btn-group {
	display: inline-flex;
	gap: 5px;
	margin-left: 6px;
	vertical-align: baseline;
}

.action-btn {
	background: none;
	border: 1px solid var(--border-subtle);
	border-radius: 4px;
	font-family: var(--font-mono);
	font-size: 11px;
	line-height: 1.2;
	padding: 2px 6px;
	color: var(--muted);
	cursor: pointer;
	user-select: none;
	transition: all 0.12s ease;
}

.action-btn:hover {
	color: var(--text);
	border-color: var(--text);
	background: var(--tag-bg);
}

.action-btn.active {
	background: var(--text);
	color: var(--bg);
	border-color: var(--text);
}

/* Interactive Demo Panels */
.interactive-panel {
	margin-top: 12px;
	padding: 14px 16px;
	background: var(--panel-bg);
	border: 1px solid var(--border-subtle);
	border-radius: 6px;
	font-family: var(--font-mono);
	font-size: 12px;
	line-height: 1.5;
	color: var(--text);
	display: none;
	animation: slideDown 0.18s ease-out;
}

.interactive-panel.open {
	display: block;
}

@keyframes slideDown {
	from { opacity: 0; transform: translateY(-4px); }
	to { opacity: 1; transform: translateY(0); }
}

.panel-title {
	display: flex;
	justify-content: space-between;
	align-items: center;
	margin-bottom: 10px;
	color: var(--muted);
	font-size: 11px;
	text-transform: uppercase;
	letter-spacing: 0.05em;
	border-bottom: 1px solid var(--border-subtle);
	padding-bottom: 4px;
}

.panel-close {
	background: none;
	border: none;
	color: var(--muted);
	cursor: pointer;
	font: inherit;
	padding: 0;
	font-size: 14px;
}

.panel-close:hover {
	color: var(--text);
}

.panel-row {
	margin: 4px 0;
	display: flex;
	gap: 8px;
	align-items: center;
}

.panel-slider-row {
	margin: 8px 0;
	display: flex;
	align-items: center;
	gap: 10px;
}

.panel-slider {
	flex: 1;
	accent-color: var(--text);
	cursor: pointer;
}

.panel-meter {
	height: 6px;
	background: var(--border-subtle);
	border-radius: 3px;
	overflow: hidden;
	margin: 6px 0;
	width: 100%;
}

.panel-meter-fill {
	height: 100%;
	background: var(--link);
	transition: width 0.3s cubic-bezier(0.16, 1, 0.3, 1);
}

/* Dual Canvas Layout for ICLR Lab */
.dual-canvas-grid {
	display: grid;
	grid-template-columns: 1.2fr 1fr;
	gap: 12px;
	margin: 10px 0;
}

.canvas-wrapper {
	border: 1px solid var(--border-subtle);
	background: var(--bg);
	border-radius: 4px;
	overflow: hidden;
	position: relative;
}

.canvas-wrapper canvas {
	display: block;
	width: 100%;
	height: 120px;
}

.canvas-legend {
	font-size: 10px;
	color: var(--muted);
	padding: 4px 8px;
	display: flex;
	justify-content: space-between;
	border-top: 1px solid var(--border-subtle);
	background: var(--panel-bg);
}

/* Gram Matrix Heatmap Grid */
.matrix-grid-box {
	margin: 10px 0;
	padding: 8px 12px;
	background: var(--bg);
	border: 1px solid var(--border-subtle);
	border-radius: 4px;
	font-family: var(--font-mono);
	font-size: 11px;
}

.matrix-grid-title {
	color: var(--muted);
	margin-bottom: 6px;
	display: flex;
	justify-content: space-between;
}

.matrix-row {
	display: flex;
	gap: 16px;
	margin: 3px 0;
}

.matrix-cell {
	min-width: 52px;
	text-align: right;
	font-variant-numeric: tabular-nums;
}

.matrix-cell.diag {
	color: var(--link);
	font-weight: 500;
}

.matrix-cell.off {
	color: var(--muted);
}

/* Live Diff & Patch Box */
.diff-box {
	background: var(--code-bg);
	color: var(--code-text);
	border-radius: 4px;
	padding: 8px 10px;
	margin: 8px 0;
	font-family: var(--font-mono);
	font-size: 11px;
	line-height: 1.45;
}

.diff-del {
	color: #f87171;
	background: rgba(239, 68, 68, 0.15);
	display: block;
}

.diff-add {
	color: #4ade80;
	background: rgba(74, 222, 128, 0.15);
	display: block;
}

/* Real Decompiled Systems Code Block */
.code-decompile-panel {
	margin-top: 10px;
	background: var(--code-bg);
	color: var(--code-text);
	border-radius: 6px;
	border: 1px solid var(--border-subtle);
	padding: 12px 14px;
	font-family: var(--font-mono);
	font-size: 11.5px;
	line-height: 1.5;
	display: none;
	overflow-x: auto;
	animation: slideDown 0.18s ease-out;
}

.code-decompile-panel.open {
	display: block;
}

.code-decompile-header {
	display: flex;
	justify-content: space-between;
	font-size: 10.5px;
	color: #888892;
	border-bottom: 1px solid var(--border-subtle);
	padding-bottom: 6px;
	margin-bottom: 8px;
}

.code-decompile-panel pre {
	margin: 0;
	padding: 0;
	white-space: pre;
}

.code-keyword { color: #f472b6; }
.code-func { color: #60a5fa; }
.code-comment { color: #6b7280; font-style: italic; }
.code-num { color: #fb923c; }
.code-str { color: #4ade80; }

.panel-log {
	font-family: var(--font-mono);
	font-size: 11px;
	color: var(--muted);
	white-space: pre-wrap;
	word-break: break-word;
	max-height: 140px;
	overflow-y: auto;
	margin-top: 6px;
	padding-top: 6px;
	border-top: 1px dashed var(--border-subtle);
}

.panel-log strong {
	color: var(--text);
}

/* Sections & Typography */
.section {
	margin-top: 44px;
}

.section-title {
	font-weight: 500;
	font-size: 13px;
	text-transform: uppercase;
	letter-spacing: 0.08em;
	color: var(--muted);
	margin: 0 0 16px 40px;
}

.entry-list {
	list-style: none;
	margin: 0;
	padding: 0;
}

.entry {
	margin: 0 0 24px 40px;
	padding: 4px 0;
	transition: background-color 0.15s ease, padding 0.15s ease;
	border-radius: 4px;
}

.entry.vim-highlight {
	background-color: var(--panel-bg);
	padding-left: 8px;
	margin-left: 32px;
}

.entry__header {
	display: flex;
	align-items: baseline;
	justify-content: space-between;
	gap: 12px;
	margin-bottom: 3px;
}

.entry__title {
	font-weight: 450;
	color: var(--text);
	display: inline-flex;
	align-items: baseline;
	flex-wrap: wrap;
	gap: 4px;
}

.entry__title a {
	color: inherit;
}

.entry__title a:hover {
	color: var(--link-hover);
}

.entry__meta {
	font-size: 13px;
	color: var(--muted);
	white-space: nowrap;
	font-variant-numeric: tabular-nums;
	flex-shrink: 0;
}

.entry__desc {
	margin: 3px 0 0 0;
	font-size: 15px;
	line-height: 1.55;
	color: var(--text);
}

.entry__stack {
	display: block;
	margin-top: 4px;
	font-size: 12px;
	color: var(--muted);
	font-family: var(--font-mono);
	letter-spacing: -0.01em;
}

/* Honors List */
.honor-item {
	margin: 0 0 12px 40px;
	font-size: 15px;
	line-height: 1.5;
}

.honor-item .label {
	color: var(--text);
	font-weight: 450;
}

.honor-item .note {
	color: var(--muted);
	font-size: 14px;
}

/* Education Block */
.edu-block {
	margin: 0 0 24px 40px;
	font-size: 15px;
	line-height: 1.5;
}

.edu-degree {
	font-weight: 450;
	color: var(--text);
}

.edu-year {
	color: var(--muted);
	font-size: 13px;
	margin-left: 8px;
}

.edu-badge {
	font-size: 11px;
	font-family: var(--font-mono);
	color: var(--muted);
	margin-left: 6px;
	cursor: pointer;
	border-bottom: 1px dotted var(--muted);
	transition: color 0.12s ease;
}

.edu-badge:hover {
	color: var(--text);
}

.edu-extra {
	color: var(--muted);
	font-size: 14px;
	margin-top: 2px;
}

/* Secret Interactive CLI Drawer */
.terminal-drawer {
	margin: 36px 0 20px 40px;
	background: var(--panel-bg);
	border: 1px solid var(--border-subtle);
	border-radius: 6px;
	padding: 12px 14px;
	font-family: var(--font-mono);
	font-size: 12px;
	display: none;
}

.terminal-drawer.open {
	display: block;
	animation: slideDown 0.18s ease-out;
}

.terminal-header {
	display: flex;
	justify-content: space-between;
	align-items: center;
	color: var(--muted);
	font-size: 11px;
	margin-bottom: 8px;
	padding-bottom: 4px;
	border-bottom: 1px solid var(--border-subtle);
}

.terminal-output {
	max-height: 180px;
	overflow-y: auto;
	white-space: pre-wrap;
	line-height: 1.45;
	color: var(--text);
	margin-bottom: 8px;
}

.terminal-prompt-line {
	display: flex;
	align-items: center;
	gap: 6px;
}

.terminal-prompt-symbol {
	color: var(--muted);
}

.terminal-input {
	flex: 1;
	background: transparent;
	border: none;
	outline: none;
	font: inherit;
	color: var(--text);
	padding: 0;
}

/* 15-Second Executive & Recruiter Brief Modal (B) */
.brief-overlay {
	position: fixed;
	top: 0;
	left: 0;
	right: 0;
	bottom: 0;
	background: var(--modal-overlay);
	backdrop-filter: blur(4px);
	display: none;
	align-items: center;
	justify-content: center;
	z-index: 2400;
}

.brief-overlay.open {
	display: flex;
	animation: fadeIn 0.12s ease-out;
}

.brief-modal {
	background: var(--bg);
	border: 1px solid var(--border-subtle);
	box-shadow: 0 20px 48px rgba(0, 0, 0, 0.3);
	border-radius: 8px;
	width: 92%;
	max-width: 560px;
	padding: 18px 20px;
	font-family: var(--font-sans);
}

.brief-header {
	display: flex;
	justify-content: space-between;
	align-items: center;
	padding-bottom: 10px;
	border-bottom: 1px solid var(--border-subtle);
	margin-bottom: 14px;
	font-family: var(--font-mono);
	font-size: 11px;
	color: var(--muted);
	letter-spacing: -0.01em;
}

.brief-lead {
	font-size: 13.5px;
	color: var(--text);
	margin-bottom: 12px;
	line-height: 1.5;
}

.brief-subtle {
	font-family: var(--font-mono);
	font-size: 11px;
	color: var(--muted);
}

.brief-list {
	list-style: none;
	padding: 0;
	margin: 0 0 16px 0;
	display: flex;
	flex-direction: column;
	gap: 10px;
}

.brief-list li {
	font-size: 12.5px;
	line-height: 1.5;
	color: var(--text);
	position: relative;
	padding-left: 14px;
}

.brief-list li::before {
	content: "▪";
	position: absolute;
	left: 0;
	color: var(--link);
	font-size: 10px;
	top: 1px;
}

.brief-actions {
	display: flex;
	align-items: center;
	gap: 8px;
	flex-wrap: wrap;
	padding-top: 12px;
	border-top: 1px solid var(--border-subtle);
}

.brief-actions .action-btn.primary {
	background: var(--text);
	color: var(--bg);
	border-color: var(--text);
	font-weight: 500;
}

.brief-actions .action-btn.primary:hover {
	opacity: 0.9;
}

.brief-footnote {
	margin-top: 10px;
	font-size: 10px;
	font-family: var(--font-mono);
	color: var(--muted);
	text-align: right;
}

.highlight-pill {
	color: var(--link) !important;
	font-weight: 600;
}

/* Command Palette Modal (Cmd+K) */
.palette-overlay {
	position: fixed;
	top: 0;
	left: 0;
	right: 0;
	bottom: 0;
	background: var(--modal-overlay);
	backdrop-filter: blur(2px);
	display: none;
	align-items: flex-start;
	justify-content: center;
	padding-top: 12vh;
	z-index: 2000;
}

.palette-overlay.open {
	display: flex;
	animation: fadeIn 0.12s ease-out;
}

@keyframes fadeIn {
	from { opacity: 0; }
	to { opacity: 1; }
}

.palette-modal {
	background: var(--bg);
	border: 1px solid var(--border-subtle);
	box-shadow: 0 16px 36px rgba(0, 0, 0, 0.25);
	border-radius: 8px;
	width: 92%;
	max-width: 520px;
	overflow: hidden;
	font-family: var(--font-sans);
}

.palette-search-box {
	display: flex;
	align-items: center;
	padding: 12px 16px;
	border-bottom: 1px solid var(--border-subtle);
	gap: 10px;
}

.palette-search-icon {
	color: var(--muted);
	font-size: 14px;
}

.palette-input {
	flex: 1;
	background: transparent;
	border: none;
	outline: none;
	font-size: 15px;
	font-family: var(--font-sans);
	color: var(--text);
}

.palette-kbd-badge {
	font-size: 10px;
	font-family: var(--font-mono);
	color: var(--muted);
	border: 1px solid var(--border-subtle);
	border-radius: 3px;
	padding: 2px 5px;
}

.palette-results {
	max-height: 280px;
	overflow-y: auto;
	padding: 6px;
	list-style: none;
	margin: 0;
}

.palette-item {
	padding: 8px 12px;
	border-radius: 5px;
	font-size: 13.5px;
	cursor: pointer;
	display: flex;
	align-items: center;
	justify-content: space-between;
	color: var(--text);
	transition: background 0.08s ease;
}

.palette-item:hover, .palette-item.selected {
	background: var(--panel-bg);
}

.palette-item-meta {
	font-size: 11px;
	color: var(--muted);
	font-family: var(--font-mono);
}

/* SPECTRAL: Eigenvalue Collapse Grid Puzzle */
.spectral-container {
	border: 1px solid var(--border-subtle);
	background: var(--code-bg);
	border-radius: 6px;
	padding: 14px 16px;
	margin-top: 12px;
	font-family: var(--font-mono);
	outline: none;
	transition: border-color 0.15s ease, box-shadow 0.15s ease;
}

.spectral-container:focus-within {
	border-color: var(--link);
	box-shadow: 0 0 0 1px var(--link);
}

.section-header-row {
	display: flex;
	justify-content: space-between;
	align-items: baseline;
	margin-bottom: 2px;
}

.section-badge {
	font-size: 10px;
	font-family: var(--font-mono);
	color: var(--link);
	border: 1px solid var(--link);
	padding: 2px 6px;
	border-radius: 3px;
	letter-spacing: 0.04em;
	text-transform: uppercase;
}

.spectral-header {
	display: flex;
	justify-content: space-between;
	align-items: center;
	flex-wrap: wrap;
	gap: 8px;
	padding-bottom: 10px;
	border-bottom: 1px solid var(--border-subtle);
}

.spectral-meta {
	display: flex;
	align-items: center;
	font-size: 11px;
	color: var(--muted);
}

.spectral-pulse-dot {
	display: inline-block;
	width: 6px;
	height: 6px;
	border-radius: 50%;
	background: #22c55e;
	margin-right: 8px;
	box-shadow: 0 0 8px rgba(34, 197, 94, 0.5);
	animation: pulseGlow 2s infinite ease-in-out;
}

@keyframes pulseGlow {
	0%, 100% { opacity: 1; transform: scale(1); }
	50% { opacity: 0.5; transform: scale(0.85); }
}

.spectral-levels {
	display: flex;
	gap: 4px;
}

.spectral-lvl-btn {
	background: transparent;
	color: var(--muted);
	border: 1px solid var(--border-subtle);
	border-radius: 3px;
	font-family: var(--font-mono);
	font-size: 10px;
	padding: 3px 8px;
	cursor: pointer;
	transition: all 0.12s ease;
}

.spectral-lvl-btn:hover {
	color: var(--text);
	border-color: var(--muted);
}

.spectral-lvl-btn.active {
	background: var(--text);
	color: var(--bg);
	border-color: var(--text);
	font-weight: 600;
}

.spectral-subbar {
	display: flex;
	justify-content: space-between;
	align-items: center;
	flex-wrap: wrap;
	gap: 8px;
	padding: 8px 0 10px 0;
	font-size: 11px;
	color: var(--muted);
}

.spectral-stats {
	display: flex;
	align-items: center;
	gap: 14px;
	flex-wrap: wrap;
}

.spectral-stats strong {
	color: var(--text);
	font-weight: 600;
}

.spectral-stars {
	color: #f59e0b;
	letter-spacing: 2px;
}

.spectral-actions {
	display: flex;
	gap: 6px;
}

.spectral-canvas-frame {
	position: relative;
	width: 100%;
	border: 1px solid var(--border-subtle);
	border-radius: 4px;
	overflow: hidden;
	background: rgba(0, 0, 0, 0.03);
}

.spectral-canvas-frame canvas {
	display: block;
	width: 100%;
	height: 380px;
	cursor: pointer;
	user-select: none;
}

.spectral-win-banner {
	position: absolute;
	inset: 0;
	background: rgba(10, 10, 14, 0.82);
	backdrop-filter: blur(4px);
	display: none;
	flex-direction: column;
	align-items: center;
	justify-content: center;
	text-align: center;
	padding: 20px;
	animation: fadeIn 0.2s ease-out;
	z-index: 10;
}

.spectral-win-banner.active {
	display: flex;
}

.spectral-win-title {
	font-size: 14px;
	font-weight: 600;
	color: #22c55e;
	letter-spacing: 0.1em;
	text-transform: uppercase;
	margin-bottom: 6px;
}

.spectral-win-sub {
	font-size: 11px;
	color: #e4e4e7;
	max-width: 360px;
	line-height: 1.5;
	margin-bottom: 16px;
}

.spectral-next-btn {
	background: var(--text);
	color: var(--bg);
	border: 1px solid var(--text);
	border-radius: 4px;
	font-family: var(--font-mono);
	font-size: 11px;
	font-weight: 600;
	padding: 6px 14px;
	cursor: pointer;
	transition: opacity 0.15s ease, transform 0.1s ease;
}

.spectral-next-btn:hover {
	opacity: 0.9;
	transform: translateY(-1px);
}

.spectral-footer {
	display: flex;
	justify-content: space-between;
	align-items: center;
	flex-wrap: wrap;
	gap: 8px;
	margin-top: 10px;
	font-size: 10px;
	color: var(--muted);
	border-top: 1px dashed var(--border-subtle);
	padding-top: 8px;
}

.spectral-ticker {
	flex: 1;
	min-width: 240px;
	white-space: nowrap;
	overflow: hidden;
	text-overflow: ellipsis;
	line-height: 1.4;
}

.spectral-help-hint {
	white-space: nowrap;
}

/* Keyboard Shortcuts Cheat Sheet Modal */
.shortcuts-modal {
	position: fixed;
	bottom: 30px;
	left: 50%;
	transform: translateX(-50%);
	background: var(--bg);
	border: 1px solid var(--border-subtle);
	box-shadow: 0 12px 28px rgba(0, 0, 0, 0.2);
	border-radius: 6px;
	padding: 14px 18px;
	font-size: 12px;
	font-family: var(--font-mono);
	display: none;
	z-index: 2001;
	max-width: 440px;
	width: 90%;
}

.shortcuts-modal.open {
	display: block;
	animation: slideDown 0.15s ease-out;
}

.shortcuts-grid {
	display: grid;
	grid-template-columns: 1fr 1fr;
	gap: 6px 14px;
	margin-top: 8px;
}

.shortcut-row {
	display: flex;
	align-items: center;
	gap: 6px;
}

.shortcut-key {
	border: 1px solid var(--border-subtle);
	padding: 1px 5px;
	border-radius: 3px;
	color: var(--text);
	background: var(--tag-bg);
}

/* Toast notifications */
.toast-container {
	position: fixed;
	bottom: 24px;
	right: 24px;
	z-index: 3000;
	pointer-events: none;
}

.toast {
	background: var(--text);
	color: var(--bg);
	font-size: 12px;
	font-family: var(--font-mono);
	padding: 8px 14px;
	border-radius: 4px;
	box-shadow: 0 4px 12px rgba(0, 0, 0, 0.15);
	margin-top: 8px;
	animation: toastFade 2.4s forwards cubic-bezier(0.16, 1, 0.3, 1);
}

@keyframes toastFade {
	0% { opacity: 0; transform: translateY(8px); }
	15% { opacity: 1; transform: translateY(0); }
	80% { opacity: 1; transform: translateY(0); }
	100% { opacity: 0; transform: translateY(-4px); }
}

/* Text Selection Styling (x7f signature) */
::selection {
	background: var(--selection-bg);
	color: var(--selection-color);
}

a::selection {
	color: var(--selection-link);
}

/* Mode toggling */
body[data-view="compact"] .extended-section,
body[data-view="compact"] .hardware-hud,
body[data-view="compact"] .research-observatory,
body[data-view="compact"] .footer-telemetry {
	display: none !important;
}

body[data-view="compact"] .workspace-grid {
	display: block !important;
	max-width: 720px !important;
	margin: 0 auto !important;
	padding: 48px 24px 96px 24px !important;
}

body[data-view="compact"] .container {
	width: 100% !important;
	max-width: 720px !important;
	margin: 0 auto !important;
	padding: 0 !important;
}

/* Footer note */
.site-footer {
	margin: 56px 0 20px 40px;
	font-size: 13px;
	color: var(--muted);
	display: flex;
	justify-content: space-between;
	align-items: center;
	flex-wrap: wrap;
	gap: 12px;
}

.footer-meta {
	display: inline-flex;
	align-items: center;
	gap: 8px;
}

.key-hint {
	font-family: var(--font-mono);
	font-size: 11px;
	padding: 1px 5px;
	border: 1px solid var(--border-subtle);
	border-radius: 3px;
	color: var(--muted);
	cursor: pointer;
}

.key-hint:hover {
	color: var(--text);
	border-color: var(--text);
}

/* Mobile Responsiveness */
@media screen and (max-width: 640px) {
	body {
		margin: 24px 20px;
	}

	.sub, .links, .section-title, .entry, .honor-item, .edu-block, .site-footer, .terminal-drawer {
		margin-left: 0;
	}

	.sub__break {
		display: none;
	}

	.entry__header {
		flex-direction: column;
		align-items: flex-start;
		gap: 2px;
	}

	.action-btn-group {
		margin-left: 0;
		margin-top: 4px;
	}

	.dual-canvas-grid {
		grid-template-columns: 1fr;
	}

	.shortcuts-grid {
		grid-template-columns: 1fr;
	}
}

/* ==========================================================================
   Lean 4 Formal Verification & Arb Proof Tree Panel
   ========================================================================== */
.lean-container {
	display: flex;
	flex-direction: column;
	gap: 12px;
}

.lean-header-bar {
	display: flex;
	justify-content: space-between;
	align-items: center;
	flex-wrap: wrap;
	gap: 8px;
	padding-bottom: 8px;
	border-bottom: 1px solid var(--border-subtle);
}

.lean-badges {
	display: flex;
	gap: 6px;
	flex-wrap: wrap;
}

.lean-badge {
	font-family: var(--font-mono);
	font-size: 10px;
	padding: 2px 7px;
	background: var(--surface-bg);
	border: 1px solid var(--border-subtle);
	color: var(--muted);
	border-radius: 3px;
}

.lean-badge.lean-badge-cert {
	border-color: #2e7d32;
	color: #4caf50;
	background: rgba(46, 125, 50, 0.08);
	font-weight: 500;
}

.lean-step-tabs {
	display: flex;
	gap: 4px;
}

.lean-tab-btn {
	background: transparent;
	border: 1px solid var(--border-subtle);
	color: var(--muted);
	font-family: var(--font-mono);
	font-size: 10.5px;
	padding: 3px 8px;
	border-radius: 3px;
	cursor: pointer;
	transition: all 0.12s ease;
}

.lean-tab-btn:hover {
	color: var(--text);
	border-color: var(--border);
}

.lean-tab-btn.active {
	background: var(--text);
	color: var(--bg);
	border-color: var(--text);
	font-weight: 500;
}

.lean-code-frame {
	display: flex;
	background: var(--code-bg);
	border: 1px solid var(--border-subtle);
	border-radius: 4px;
	overflow: hidden;
	font-family: var(--font-mono);
	font-size: 11.5px;
	line-height: 1.5;
}

.lean-code-gutter {
	padding: 10px 8px;
	background: rgba(0, 0, 0, 0.12);
	color: var(--muted);
	text-align: right;
	user-select: none;
	border-right: 1px solid var(--border-subtle);
	font-size: 10.5px;
}

.lean-code-pre {
	margin: 0;
	padding: 10px 14px;
	overflow-x: auto;
	flex: 1;
	color: var(--text);
}

.lean-goal-box {
	background: var(--surface-bg);
	border: 1px solid var(--border-subtle);
	border-radius: 4px;
	padding: 10px 14px;
	font-family: var(--font-mono);
	font-size: 11px;
}

.lean-goal-title {
	color: var(--muted);
	margin-bottom: 6px;
	font-size: 10.5px;
	text-transform: uppercase;
	letter-spacing: 0.04em;
}

.lean-goal-content {
	color: var(--text);
	line-height: 1.45;
	white-space: pre-wrap;
}

.cert-lookup-box {
	background: var(--code-bg);
	border: 1px solid var(--border-subtle);
	border-radius: 4px;
	padding: 10px 14px;
}

.cert-lookup-header {
	display: flex;
	justify-content: space-between;
	font-family: var(--font-mono);
	font-size: 11px;
	margin-bottom: 6px;
	color: var(--text);
}

.cert-matrix-details {
	margin-top: 8px;
	display: flex;
	gap: 12px;
	flex-wrap: wrap;
	font-family: var(--font-mono);
	font-size: 11px;
	color: var(--muted);
}

.cert-matrix-details strong {
	color: var(--text);
}

/* ==========================================================================
   Research Companion & Reproducible Artifacts Modal (P)
   ========================================================================== */
.companion-overlay {
	position: fixed;
	top: 0;
	left: 0;
	right: 0;
	bottom: 0;
	background: var(--modal-overlay);
	backdrop-filter: blur(4px);
	display: none;
	align-items: center;
	justify-content: center;
	z-index: 2500;
}

.companion-overlay.open {
	display: flex;
	animation: fadeIn 0.12s ease-out;
}

.companion-modal {
	background: var(--bg);
	border: 1px solid var(--border-subtle);
	box-shadow: 0 24px 64px rgba(0, 0, 0, 0.4);
	border-radius: 8px;
	width: 94%;
	max-width: 740px;
	max-height: 90vh;
	display: flex;
	flex-direction: column;
	overflow: hidden;
}

.companion-header {
	display: flex;
	justify-content: space-between;
	align-items: flex-start;
	padding: 14px 18px;
	border-bottom: 1px solid var(--border-subtle);
}

.companion-title-group {
	display: flex;
	flex-direction: column;
	gap: 3px;
}

.companion-title {
	font-size: 14px;
	font-weight: 600;
	color: var(--text);
}

.companion-sub {
	font-family: var(--font-mono);
	font-size: 11px;
	color: var(--muted);
}

.companion-tabs {
	display: flex;
	border-bottom: 1px solid var(--border-subtle);
	background: var(--surface-bg);
	overflow-x: auto;
}

.companion-tab-btn {
	background: transparent;
	border: none;
	border-right: 1px solid var(--border-subtle);
	border-bottom: 2px solid transparent;
	color: var(--muted);
	font-family: var(--font-mono);
	font-size: 11px;
	padding: 8px 14px;
	cursor: pointer;
	white-space: nowrap;
	transition: all 0.1s ease;
}

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

.companion-tab-btn.active {
	color: var(--text);
	background: var(--bg);
	border-bottom-color: var(--text);
	font-weight: 500;
}

.companion-body {
	padding: 16px 18px;
	overflow-y: auto;
	flex: 1;
}

.companion-pane {
	display: none;
}

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

.pane-action-bar {
	display: flex;
	justify-content: space-between;
	align-items: center;
	margin-bottom: 10px;
	flex-wrap: wrap;
	gap: 8px;
}

.pane-meta {
	font-family: var(--font-mono);
	font-size: 11px;
	color: var(--muted);
}

.companion-code {
	background: var(--code-bg);
	border: 1px solid var(--border-subtle);
	border-radius: 4px;
	padding: 12px 14px;
	font-family: var(--font-mono);
	font-size: 11px;
	line-height: 1.48;
	margin: 0;
	max-height: 380px;
	overflow: auto;
	color: var(--text);
}

.scaling-chart-box {
	background: var(--code-bg);
	border: 1px solid var(--border-subtle);
	border-radius: 4px;
	padding: 12px;
	margin-bottom: 14px;
	display: flex;
	justify-content: center;
}

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

.scaling-stat-card {
	background: var(--surface-bg);
	border: 1px solid var(--border-subtle);
	border-radius: 4px;
	padding: 10px 12px;
	display: flex;
	flex-direction: column;
	gap: 4px;
}

.scaling-stat-card .stat-num {
	font-family: var(--font-mono);
	font-size: 15px;
	font-weight: 600;
	color: var(--text);
}

.scaling-stat-card .stat-label {
	font-size: 10.5px;
	color: var(--muted);
	line-height: 1.35;
}

.companion-footer {
	padding: 10px 18px;
	border-top: 1px solid var(--border-subtle);
	font-family: var(--font-mono);
	font-size: 10.5px;
	color: var(--muted);
	background: var(--surface-bg);
}

/* ==========================================================================
   Scientific Telemetry in Site Footer
   ========================================================================== */
.footer-telemetry {
	display: flex;
	align-items: center;
	gap: 8px;
	font-family: var(--font-mono);
	font-size: 10px;
	color: var(--muted);
	letter-spacing: -0.01em;
}

.footer-telemetry .dock-dot {
	width: 5px;
	height: 5px;
	border-radius: 50%;
	background: #4caf50;
	animation: spectralPulse 1.8s infinite ease-in-out;
}

.footer-telemetry strong {
	color: var(--text);
	font-weight: 500;
}

/* ==========================================================================
   Two-Column Camera-Ready / arXiv LaTeX Mode
   ========================================================================== */
.entry.camera-ready-active {
	background: #ffffff;
	color: #111111 !important;
	padding: 24px 28px;
	border-radius: 4px;
	border: 1px solid #d0d0d0;
	box-shadow: 0 8px 32px rgba(0, 0, 0, 0.12);
	font-family: "Computer Modern", "TeX Gyre Termes", Georgia, "Times New Roman", serif;
	transition: all 0.2s ease;
}

.entry.camera-ready-active .entry__title a {
	font-family: inherit;
	font-size: 16px;
	font-weight: 700;
	color: #000000 !important;
	letter-spacing: -0.01em;
}

.entry.camera-ready-active .entry__meta {
	font-family: inherit;
	font-style: italic;
	color: #444444;
	font-size: 12px;
}

.entry.camera-ready-active .entry__desc {
	font-family: inherit;
	font-size: 12.5px;
	line-height: 1.55;
	color: #222222;
	column-count: 2;
	column-gap: 20px;
	text-align: justify;
	margin-top: 12px;
}

.entry.camera-ready-active .entry__desc::first-letter {
	font-size: 260%;
	float: left;
	line-height: 0.8;
	margin: 2px 6px 0 0;
	font-weight: bold;
}

/* ==========================================================================
   Workspace Grid & Live Research Observatory (Desktop Viewports >=1200px)
   ========================================================================== */
.workspace-grid {
	width: 100%;
	position: relative;
}

.research-observatory {
	display: none;
}

@media screen and (min-width: 1200px) {
	.workspace-grid {
		display: flex;
		justify-content: center;
		align-items: flex-start;
		gap: 48px;
		max-width: 1180px;
		margin: 0 auto;
		padding: 48px 24px 96px 24px;
	}

	.container {
		width: 700px;
		max-width: 700px;
		margin: 0 !important;
		padding: 0 !important;
		flex-shrink: 0;
	}

	.research-observatory {
		display: block;
		width: 380px;
		flex-shrink: 0;
		position: sticky;
		top: 36px;
		max-height: calc(100vh - 48px);
		overflow-y: auto;
		scrollbar-width: none;
	}
	.research-observatory::-webkit-scrollbar {
		display: none;
	}
}

.observatory-sticky {
	display: flex;
	flex-direction: column;
	gap: 12px;
}

.observatory-header {
	display: flex;
	justify-content: space-between;
	align-items: center;
	padding-bottom: 8px;
	border-bottom: 1px solid var(--border-subtle);
}

.observatory-title {
	display: flex;
	align-items: center;
	gap: 7px;
	font-family: var(--font-mono);
	font-size: 10px;
	font-weight: 600;
	letter-spacing: 0.05em;
	color: var(--text);
}

.pulse-dot {
	width: 6px;
	height: 6px;
	background: #4caf50;
	border-radius: 50%;
	box-shadow: 0 0 8px #4caf50;
	animation: pulseGreen 2s infinite;
}

@keyframes pulseGreen {
	0%, 100% { opacity: 1; transform: scale(1); }
	50% { opacity: 0.4; transform: scale(0.85); }
}

.observatory-tabs {
	display: flex;
	gap: 2px;
	background: var(--obs-tab-bg);
	padding: 2px;
	border-radius: 4px;
	border: 1px solid var(--border-subtle);
}

.obs-tab {
	background: transparent;
	border: 1px solid transparent;
	color: var(--muted);
	font-family: var(--font-mono);
	font-size: 10px;
	padding: 2.5px 8px;
	border-radius: 3px;
	cursor: pointer;
	transition: all 0.12s ease;
}

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

.obs-tab.active {
	background: var(--obs-tab-active-bg);
	border-color: var(--obs-tab-active-border);
	color: var(--text);
	font-weight: 600;
	box-shadow: 0 1px 2px rgba(0, 0, 0, 0.06);
}

.obs-card {
	background: var(--obs-card-bg);
	border: 1px solid var(--obs-card-border);
	border-radius: 6px;
	padding: 12px 14px;
	box-shadow: var(--obs-card-shadow);
	transition: border-color 0.2s ease, box-shadow 0.2s ease;
}

.obs-card:hover {
	border-color: var(--border-subtle);
}

.obs-canvas-container {
	position: relative;
	background: var(--obs-canvas-bg);
	border: 1px solid var(--obs-canvas-border);
	border-radius: 4px;
	overflow: hidden;
	margin-bottom: 8px;
}

#observatoryManifoldCanvas,
#observatoryDagCanvas {
	width: 100%;
	height: auto;
	display: block;
	cursor: grab;
}

#observatoryManifoldCanvas:active {
	cursor: grabbing;
}

.obs-canvas-overlay-hint {
	position: absolute;
	bottom: 4px;
	right: 6px;
	font-family: var(--font-mono);
	font-size: 8.5px;
	color: var(--muted);
	opacity: 0.7;
	pointer-events: none;
	user-select: none;
}

.obs-formula-strip {
	display: flex;
	justify-content: space-between;
	align-items: center;
	padding: 6px 8px;
	background: var(--obs-formula-bg);
	border: 1px solid var(--border-subtle);
	border-radius: 3px;
	margin-bottom: 8px;
	font-family: var(--font-mono);
	font-size: 10.5px;
	color: var(--text);
}

.math-sym {
	letter-spacing: -0.01em;
}

.math-badge {
	font-size: 9.5px;
	background: var(--obs-badge-bg);
	padding: 1px 5px;
	border-radius: 3px;
	color: var(--obs-badge-color);
	border: 1px solid var(--obs-badge-border);
}

.obs-subtle {
	font-size: 9px;
	color: var(--muted);
}

.obs-stat-row {
	display: flex;
	justify-content: space-between;
	font-family: var(--font-mono);
	font-size: 10px;
	color: var(--muted);
}

.obs-stat-row strong {
	color: var(--text);
}

/* High-Fidelity Print / PDF Styling (Cmd+P) */
@media print {
	#readingProgress { display: none !important; }
	body {
		margin: 20mm;
		background: #ffffff !important;
		color: #111111 !important;
		font-size: 12pt;
	}

	.hardware-hud,
	.nav-controls,
	.action-btn-group,
	.interactive-panel,
	.code-decompile-panel,
	.terminal-drawer,
	.status-pill,
	.toast-container,
	.palette-overlay,
	.companion-overlay,
	.brief-overlay,
	.telemetry-dock,
	.contextual-margin,
	.game-overlay,
	.shortcuts-modal,
	.footer-meta,
	.site-footer,
	.explorable::after {
		display: none !important;
	}

	.explorable {
		border-bottom: none !important;
	}

	a {
		color: #111111 !important;
		text-decoration: underline !important;
	}

	.sub, .links, .section-title, .entry, .honor-item, .edu-block {
		margin-left: 0 !important;
	}

	.extended-section {
		display: block !important;
		page-break-inside: avoid;
	}

	.entry {
		page-break-inside: avoid;
	}
}