/* Karpal Documentation — Design Tokens & Styles */
/* Industrial Algebra branding: dark-first, cyan accents, monospace headings */

:root {
  --color-bg: #0a0a0f;
  --color-bg-alt: #111118;
  --color-bg-code: #08080d;
  --color-text: #e0e0e8;
  --color-text-muted: #888898;
  --color-accent: #00cccc;
  --color-accent-hover: #00ffff;
  --color-accent-light: rgba(0, 204, 204, 0.1);
  --color-border: #1a1a25;
  --color-sidebar-bg: #08080d;
  --color-sidebar-active: rgba(0, 204, 204, 0.08);
  --color-law-bg: rgba(212, 160, 23, 0.08);
  --color-law-border: #d4a017;
  --color-hero-bg: radial-gradient(ellipse at center, #111118 0%, #0a0a0f 70%);
  --color-accent-glow: rgba(0, 255, 255, 0.3);
  --color-card-bg: rgba(255, 255, 255, 0.02);
  --color-card-border: rgba(0, 204, 204, 0.15);

  --font-heading: 'JetBrains Mono', monospace;
  --font-body: 'Inter', -apple-system, BlinkMacSystemFont, 'Segoe UI', sans-serif;
  --font-code: 'JetBrains Mono', 'Fira Code', 'Consolas', monospace;
  --font-size-base: 1rem;
  --font-size-sm: 0.875rem;
  --font-size-xs: 0.8125rem;
  --font-size-lg: 1.125rem;
  --font-size-h1: 2rem;
  --font-size-h2: 1.5rem;
  --font-size-h3: 1.25rem;
  --line-height: 1.7;

  --space-xs: 0.25rem;
  --space-sm: 0.5rem;
  --space-md: 1rem;
  --space-lg: 1.5rem;
  --space-xl: 2rem;
  --space-2xl: 3rem;

  --sidebar-width: 260px;
  --content-max: 800px;
  --border-radius: 6px;
  --transition: 0.2s ease;
}

@media (prefers-color-scheme: light) {
  :root {
    --color-bg: #f8f9fc;
    --color-bg-alt: #ffffff;
    --color-bg-code: #282c34;
    --color-text: #1a1a2e;
    --color-text-muted: #6c757d;
    --color-accent: #008888;
    --color-accent-hover: #006666;
    --color-accent-light: rgba(0, 136, 136, 0.1);
    --color-border: #dee2e6;
    --color-sidebar-bg: #f0f2f5;
    --color-sidebar-active: rgba(0, 136, 136, 0.08);
    --color-law-bg: rgba(212, 160, 23, 0.06);
    --color-law-border: #d4a017;
    --color-hero-bg: radial-gradient(ellipse at center, #1a1a2e 0%, #0a0a0f 70%);
    --color-accent-glow: transparent;
    --color-card-bg: #ffffff;
    --color-card-border: #dee2e6;
  }
}

/* Selection */
::selection {
  background: rgba(0, 204, 204, 0.3);
  color: #ffffff;
}

/* Scrollbar */
::-webkit-scrollbar {
  width: 8px;
  height: 8px;
}
::-webkit-scrollbar-track {
  background: var(--color-bg);
}
::-webkit-scrollbar-thumb {
  background: #333340;
  border-radius: 4px;
}
::-webkit-scrollbar-thumb:hover {
  background: #44444f;
}

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

html { scroll-behavior: smooth; }

body {
  font-family: var(--font-body);
  font-size: var(--font-size-base);
  line-height: var(--line-height);
  color: var(--color-text);
  background: var(--color-bg);
}

a {
  color: var(--color-accent);
  text-decoration: none;
  transition: color var(--transition);
}
a:hover { color: var(--color-accent-hover); text-decoration: underline; }

/* Layout */
.sidebar {
  position: fixed;
  top: 0;
  left: 0;
  width: var(--sidebar-width);
  height: 100vh;
  overflow-y: auto;
  background: var(--color-sidebar-bg);
  border-right: 1px solid var(--color-border);
  padding: var(--space-lg) 0;
  z-index: 100;
  transition: transform var(--transition);
}

.content {
  margin-left: var(--sidebar-width);
  padding: var(--space-2xl) var(--space-xl);
  max-width: calc(var(--content-max) + var(--space-xl) * 2);
}

/* Sidebar */
.sidebar-header {
  padding: 0 var(--space-lg) var(--space-lg);
  border-bottom: 1px solid var(--color-border);
  margin-bottom: var(--space-md);
}

.sidebar-header .logo {
  font-family: var(--font-heading);
  font-size: 1.4rem;
  font-weight: 700;
  color: var(--color-text);
  text-decoration: none;
  transition: color var(--transition), text-shadow var(--transition);
}
.sidebar-header .logo:hover {
  color: var(--color-accent);
  text-shadow: 0 0 8px var(--color-accent-glow);
  text-decoration: none;
}

.sidebar-header .version {
  font-size: var(--font-size-xs);
  color: var(--color-text-muted);
  margin-left: var(--space-sm);
}

.nav-list {
  list-style: none;
  padding: 0;
}

.nav-list > li > a,
.nav-list .nav-section-title {
  display: block;
  padding: var(--space-xs) var(--space-lg);
  font-size: var(--font-size-sm);
  color: var(--color-text);
  text-decoration: none;
  transition: background var(--transition), color var(--transition);
}

.nav-list > li > a:hover { background: var(--color-sidebar-active); text-decoration: none; }
.nav-list > li > a.active { background: var(--color-sidebar-active); color: var(--color-accent); font-weight: 500; }

.nav-section-title {
  font-weight: 600;
  font-size: var(--font-size-xs) !important;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--color-text-muted) !important;
  margin-top: var(--space-md);
  cursor: default;
}

.nav-section ul {
  list-style: none;
  padding: 0;
}

.nav-section ul a {
  display: block;
  padding: var(--space-xs) var(--space-lg) var(--space-xs) calc(var(--space-lg) + var(--space-md));
  font-size: var(--font-size-xs);
  color: var(--color-text-muted);
  text-decoration: none;
  transition: background var(--transition), color var(--transition);
}
.nav-section ul a:hover { background: var(--color-sidebar-active); color: var(--color-text); text-decoration: none; }
.nav-section ul a.active { color: var(--color-accent); font-weight: 500; }

/* Sidebar toggle (mobile) */
.sidebar-toggle {
  display: none;
  position: fixed;
  top: var(--space-md);
  left: var(--space-md);
  z-index: 200;
  background: var(--color-bg);
  border: 1px solid var(--color-border);
  border-radius: var(--border-radius);
  padding: var(--space-sm);
  cursor: pointer;
  width: 40px;
  height: 40px;
  flex-direction: column;
  justify-content: center;
  align-items: center;
  gap: 4px;
}
.sidebar-toggle span {
  display: block;
  width: 20px;
  height: 2px;
  background: var(--color-text);
  transition: transform var(--transition);
}

@media (max-width: 768px) {
  .sidebar { transform: translateX(-100%); }
  .sidebar.open { transform: translateX(0); box-shadow: 4px 0 20px rgba(0,0,0,0.5); }
  .sidebar-toggle { display: flex; }
  .content { margin-left: 0; padding: var(--space-xl) var(--space-md); padding-top: calc(var(--space-2xl) + 40px); }
}

/* Typography */
h1, h2, h3 { font-family: var(--font-heading); }
h1 {
  font-size: var(--font-size-h1);
  font-weight: 700;
  margin-bottom: var(--space-lg);
  line-height: 1.3;
  text-shadow: 0 0 10px var(--color-accent-glow);
}
h2 { font-size: var(--font-size-h2); font-weight: 600; margin-top: var(--space-2xl); margin-bottom: var(--space-md); line-height: 1.3; border-bottom: 1px solid var(--color-border); padding-bottom: var(--space-sm); }
h3 { font-size: var(--font-size-h3); font-weight: 600; margin-top: var(--space-xl); margin-bottom: var(--space-sm); }
p { margin-bottom: var(--space-md); }
ul, ol { margin-bottom: var(--space-md); padding-left: var(--space-xl); }
li { margin-bottom: var(--space-xs); }

/* Inline code */
code:not([class*="language-"]) {
  font-family: var(--font-code);
  font-size: 0.9em;
  color: var(--color-accent);
  background: var(--color-bg-alt);
  padding: 0.15em 0.4em;
  border-radius: 3px;
  border: 1px solid var(--color-border);
}

/* Code blocks — Prism overrides */
pre[class*="language-"] {
  border-radius: var(--border-radius);
  margin-bottom: var(--space-lg);
  font-size: var(--font-size-sm);
  background: var(--color-bg-code) !important;
  border: 1px solid var(--color-border);
}

pre[class*="language-"] code {
  text-shadow: none !important;
}

/* Trait card */
.trait-card {
  border: 1px solid var(--color-card-border);
  border-left: 3px solid var(--color-accent);
  border-radius: var(--border-radius);
  margin-bottom: var(--space-xl);
  overflow: hidden;
}

.trait-card-header {
  background: var(--color-bg-alt);
  padding: var(--space-md) var(--space-lg);
  border-bottom: 1px solid var(--color-border);
}

.trait-card-header h3 {
  margin: 0;
  font-size: var(--font-size-h3);
}

.trait-card-header .trait-desc {
  color: var(--color-text-muted);
  font-size: var(--font-size-sm);
  margin-top: var(--space-xs);
}

.trait-card-body { padding: var(--space-lg); }

/* Law box */
.law-box {
  background: var(--color-law-bg);
  border-left: 4px solid var(--color-law-border);
  padding: var(--space-md) var(--space-lg);
  margin-bottom: var(--space-md);
  border-radius: 0 var(--border-radius) var(--border-radius) 0;
  font-family: var(--font-code);
  font-size: var(--font-size-sm);
  overflow-x: auto;
}
.law-box .law-name {
  font-family: var(--font-body);
  font-weight: 600;
  font-size: var(--font-size-xs);
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--color-text-muted);
  margin-bottom: var(--space-xs);
}

/* Instance table */
.instance-table {
  width: 100%;
  border-collapse: collapse;
  margin-bottom: var(--space-lg);
  font-size: var(--font-size-sm);
}
.instance-table th, .instance-table td {
  padding: var(--space-sm) var(--space-md);
  border: 1px solid var(--color-border);
  text-align: left;
}
.instance-table th {
  background: var(--color-bg-alt);
  font-weight: 600;
}

/* Hero section (landing page) */
.hero {
  background: var(--color-hero-bg);
  color: #ffffff;
  padding: var(--space-2xl) var(--space-xl);
  border-radius: var(--border-radius);
  margin-bottom: var(--space-2xl);
  text-align: center;
}
.hero h1 {
  font-size: 2.5rem;
  margin-bottom: var(--space-sm);
  color: #ffffff;
  border: none;
  text-shadow: 0 0 20px var(--color-accent-glow), 0 0 40px rgba(0, 204, 204, 0.15);
}
.hero .tagline { font-size: var(--font-size-lg); color: rgba(255,255,255,0.85); margin-bottom: var(--space-xl); }
.hero-links { display: flex; gap: var(--space-md); justify-content: center; flex-wrap: wrap; }
.hero-links a {
  display: inline-block;
  padding: var(--space-sm) var(--space-lg);
  border-radius: var(--border-radius);
  font-weight: 500;
  text-decoration: none;
  transition: background var(--transition), color var(--transition), box-shadow var(--transition);
}
.hero-links .btn-primary {
  background: var(--color-accent);
  color: #0a0a0f;
}
.hero-links .btn-primary:hover {
  background: var(--color-accent-hover);
  text-decoration: none;
  box-shadow: 0 0 15px var(--color-accent-glow);
}
.hero-links .btn-secondary {
  border: 1px solid var(--color-accent);
  color: var(--color-accent);
}
.hero-links .btn-secondary:hover {
  background: rgba(0, 204, 204, 0.1);
  text-decoration: none;
  box-shadow: 0 0 10px rgba(0, 204, 204, 0.15);
}

/* Feature cards (landing page) */
.features {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));
  gap: var(--space-lg);
  margin-bottom: var(--space-2xl);
}
.feature-card {
  padding: var(--space-lg);
  background: var(--color-card-bg);
  border: 1px solid var(--color-card-border);
  border-radius: var(--border-radius);
  transition: box-shadow var(--transition), border-color var(--transition);
}
.feature-card:hover {
  border-color: var(--color-accent);
  box-shadow: 0 0 15px rgba(0, 204, 204, 0.1);
}
.feature-card h3 { margin-top: 0; font-size: var(--font-size-base); }
.feature-card p { color: var(--color-text-muted); font-size: var(--font-size-sm); margin-bottom: 0; }

/* Hierarchy connectors */
.hierarchy { font-family: var(--font-code); font-size: var(--font-size-sm); line-height: 1.8; }
.hierarchy .node { color: var(--color-accent); font-weight: 500; }
.hierarchy .arrow { color: var(--color-text-muted); }

/* Breadcrumb */
.breadcrumb {
  font-size: var(--font-size-sm);
  color: var(--color-text-muted);
  margin-bottom: var(--space-lg);
}
.breadcrumb a { color: var(--color-text-muted); }
.breadcrumb a:hover { color: var(--color-accent); }

/* Page description */
.page-desc {
  font-size: var(--font-size-lg);
  color: var(--color-text-muted);
  margin-bottom: var(--space-xl);
}

/* Footer */
.footer {
  margin-top: var(--space-2xl);
  padding-top: var(--space-lg);
  border-top: 1px solid var(--color-border);
  font-size: var(--font-size-sm);
  color: var(--color-text-muted);
}