/* ProofScan Documentation - OpenClaw Style (Light Theme) */

:root {
  /* Colors */
  --primary: #3b82f6;
  --primary-hover: #2563eb;
  --primary-light: #dbeafe;
  --secondary: #10b981;
  --accent: #f59e0b;
  
  /* Backgrounds */
  --bg-primary: #ffffff;
  --bg-secondary: #f8f9fa;
  --bg-tertiary: #f3f4f6;
  --bg-code: #f9fafb;
  --bg-hover: #f3f4f6;
  
  /* Text */
  --text-primary: #111827;
  --text-secondary: #6b7280;
  --text-muted: #9ca3af;
  --text-code: #1f2937;
  
  /* Borders */
  --border-light: #e5e7eb;
  --border-medium: #d1d5db;
  --border-dark: #9ca3af;
  
  /* Shadows */
  --shadow-sm: 0 1px 2px 0 rgba(0, 0, 0, 0.05);
  --shadow-md: 0 4px 6px -1px rgba(0, 0, 0, 0.1);
  --shadow-lg: 0 10px 15px -3px rgba(0, 0, 0, 0.1);
  
  /* Sizing */
  --header-height: 64px;
  --sidebar-width: 260px;
  --toc-width: 220px;
  --content-max-width: 800px;
  
  /* Spacing */
  --space-xs: 4px;
  --space-sm: 8px;
  --space-md: 16px;
  --space-lg: 24px;
  --space-xl: 32px;
  --space-2xl: 48px;
  
  /* Typography */
  --font-sans: -apple-system, BlinkMacSystemFont, 'Segoe UI', 'Roboto', 'Helvetica', 'Arial', sans-serif;
  --font-mono: 'Monaco', 'Courier New', 'Consolas', monospace;
}

/* Reset & Base */
* {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
}

html {
  scroll-behavior: smooth;
}

body {
  font-family: var(--font-sans);
  font-size: 16px;
  line-height: 1.7;
  color: var(--text-primary);
  background: var(--bg-primary);
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

/* Typography */
h1, h2, h3, h4, h5, h6 {
  font-weight: 600;
  line-height: 1.3;
  margin-top: 0;
  margin-bottom: var(--space-md);
}

h1 {
  font-size: 36px;
  font-weight: 700;
  color: var(--text-primary);
  margin-bottom: var(--space-lg);
}

h2 {
  font-size: 28px;
  color: var(--text-primary);
  margin-top: var(--space-2xl);
  margin-bottom: var(--space-md);
  padding-bottom: var(--space-sm);
  border-bottom: 1px solid var(--border-light);
}

h3 {
  font-size: 22px;
  color: var(--text-secondary);
  margin-top: var(--space-xl);
  margin-bottom: var(--space-md);
}

h4 {
  font-size: 18px;
  color: var(--text-secondary);
  margin-top: var(--space-lg);
  margin-bottom: var(--space-sm);
}

p {
  margin-bottom: var(--space-md);
  color: var(--text-secondary);
}

a {
  color: var(--primary);
  text-decoration: none;
  transition: color 0.2s;
}

a:hover {
  color: var(--primary-hover);
}

/* Header */
.docs-header {
  position: sticky;
  top: 0;
  z-index: 100;
  height: var(--header-height);
  background: var(--bg-primary);
  border-bottom: 1px solid var(--border-light);
  box-shadow: var(--shadow-sm);
}

.header-container {
  max-width: 1400px;
  margin: 0 auto;
  padding: 0 var(--space-lg);
  height: 100%;
  display: flex;
  align-items: center;
  justify-content: space-between;
}

.header-left {
  display: flex;
  align-items: center;
  gap: var(--space-xl);
}

.logo {
  display: flex;
  align-items: center;
  gap: var(--space-sm);
  font-size: 20px;
  font-weight: 700;
  color: var(--text-primary);
  text-decoration: none;
}

.logo:hover {
  color: var(--primary);
}

.main-nav {
  display: flex;
  gap: var(--space-lg);
}

.main-nav a {
  color: var(--text-secondary);
  font-weight: 500;
  padding: var(--space-sm) var(--space-md);
  border-radius: 6px;
  transition: all 0.2s;
}

.main-nav a:hover,
.main-nav a.active {
  color: var(--primary);
  background: var(--bg-hover);
}

.header-right {
  display: flex;
  align-items: center;
  gap: var(--space-md);
}

/* Search Bar */
.search-bar {
  position: relative;
  width: 300px;
}

.search-input {
  width: 100%;
  padding: var(--space-sm) var(--space-md) var(--space-sm) 40px;
  border: 1px solid var(--border-medium);
  border-radius: 8px;
  font-size: 14px;
  background: var(--bg-secondary);
  transition: all 0.2s;
}

.search-input:focus {
  outline: none;
  border-color: var(--primary);
  background: var(--bg-primary);
  box-shadow: 0 0 0 3px var(--primary-light);
}

.search-icon {
  position: absolute;
  left: 12px;
  top: 50%;
  transform: translateY(-50%);
  color: var(--text-muted);
  pointer-events: none;
}

/* GitHub Link */
.github-link {
  display: flex;
  align-items: center;
  gap: var(--space-sm);
  padding: var(--space-sm) var(--space-md);
  border: 1px solid var(--border-medium);
  border-radius: 6px;
  font-weight: 500;
  color: var(--text-secondary);
  transition: all 0.2s;
}

.github-link:hover {
  border-color: var(--primary);
  color: var(--primary);
  background: var(--primary-light);
}

/* Main Layout */
.docs-layout {
  display: flex;
  max-width: 1400px;
  margin: 0 auto;
}

/* Sidebar (Left) */
.docs-sidebar {
  width: var(--sidebar-width);
  position: sticky;
  top: var(--header-height);
  height: calc(100vh - var(--header-height));
  overflow-y: auto;
  border-right: 1px solid var(--border-light);
  background: var(--bg-primary);
  padding: var(--space-lg) 0;
}

.sidebar-category {
  padding: var(--space-sm) var(--space-lg);
  font-weight: 600;
  font-size: 13px;
  color: var(--text-muted);
  text-transform: uppercase;
  letter-spacing: 0.5px;
  margin-top: var(--space-lg);
}

.sidebar-category:first-child {
  margin-top: 0;
}

.sidebar-item {
  display: block;
  padding: var(--space-sm) var(--space-lg);
  color: var(--text-secondary);
  font-size: 14px;
  transition: all 0.15s;
  border-left: 2px solid transparent;
}

.sidebar-item:hover {
  background: var(--bg-hover);
  color: var(--text-primary);
  border-left-color: var(--border-medium);
}

.sidebar-item.active {
  background: var(--primary-light);
  color: var(--primary);
  font-weight: 500;
  border-left-color: var(--primary);
}

.sidebar-sub-item {
  padding-left: calc(var(--space-lg) + var(--space-md));
  font-size: 13px;
}

/* Main Content */
.docs-content {
  flex: 1;
  min-width: 0;
  padding: var(--space-2xl) var(--space-2xl);
  max-width: var(--content-max-width);
  margin: 0 auto;
}

/* TOC (Right) */
.docs-toc,
.toc-sidebar {
  width: var(--toc-width);
  position: sticky;
  top: calc(var(--header-height) + var(--space-lg));
  height: fit-content;
  max-height: calc(100vh - var(--header-height) - var(--space-2xl));
  overflow-y: auto;
  padding: var(--space-lg);
  border-left: 1px solid var(--border-light);
}

.toc-title {
  font-weight: 600;
  font-size: 14px;
  color: var(--text-muted);
  margin-bottom: var(--space-md);
  text-transform: uppercase;
  letter-spacing: 0.5px;
}

.toc-link {
  display: block;
  padding: 6px 0 6px var(--space-md);
  border-left: 2px solid var(--border-light);
  font-size: 14px;
  color: var(--text-secondary);
  transition: all 0.2s;
}

.toc-link:hover {
  color: var(--primary);
  border-left-color: var(--primary);
}

.toc-link.active {
  color: var(--primary);
  border-left-color: var(--primary);
  font-weight: 500;
}

/* Breadcrumb */
.breadcrumb {
  display: flex;
  align-items: center;
  gap: var(--space-sm);
  font-size: 14px;
  color: var(--text-muted);
  margin-bottom: var(--space-lg);
  padding-bottom: var(--space-md);
  border-bottom: 1px solid var(--border-light);
}

.breadcrumb a {
  color: var(--text-muted);
  transition: color 0.2s;
}

.breadcrumb a:hover {
  color: var(--primary);
}

.breadcrumb-separator {
  color: var(--border-dark);
}

.breadcrumb-current {
  color: var(--text-primary);
  font-weight: 500;
}

/* Code Blocks */
pre {
  background: var(--bg-code);
  border: 1px solid var(--border-light);
  border-radius: 8px;
  padding: var(--space-md);
  margin: var(--space-lg) 0;
  overflow-x: auto;
  position: relative;
  font-family: var(--font-mono);
  font-size: 14px;
  line-height: 1.6;
}

code {
  font-family: var(--font-mono);
  font-size: 0.9em;
  color: var(--text-code);
}

p code,
li code {
  background: var(--bg-code);
  padding: 2px 6px;
  border-radius: 4px;
  border: 1px solid var(--border-light);
}

/* Copy Button */
.copy-btn {
  position: absolute;
  top: var(--space-sm);
  right: var(--space-sm);
  background: var(--bg-primary);
  border: 1px solid var(--border-medium);
  border-radius: 6px;
  padding: 6px 12px;
  font-size: 13px;
  cursor: pointer;
  transition: all 0.2s;
  color: var(--text-secondary);
}

.copy-btn:hover {
  background: var(--bg-hover);
  border-color: var(--primary);
  color: var(--primary);
}

.copy-btn.copied {
  color: var(--secondary);
  border-color: var(--secondary);
}

/* Tables */
table {
  width: 100%;
  border-collapse: collapse;
  margin: var(--space-lg) 0;
}

th, td {
  padding: var(--space-md);
  text-align: left;
  border-bottom: 1px solid var(--border-light);
}

th {
  background: var(--bg-secondary);
  font-weight: 600;
  color: var(--text-primary);
}

tr:hover {
  background: var(--bg-hover);
}

/* Lists */
ul, ol {
  margin-left: var(--space-lg);
  margin-bottom: var(--space-md);
}

li {
  margin-bottom: var(--space-sm);
  color: var(--text-secondary);
}

/* Note Boxes */
.note {
  padding: var(--space-md) var(--space-lg);
  border-radius: 8px;
  margin: var(--space-lg) 0;
  border-left: 4px solid;
}

.note.info {
  background: #eff6ff;
  border-left-color: var(--primary);
  color: #1e40af;
}

.note.warning {
  background: #fef3c7;
  border-left-color: var(--accent);
  color: #92400e;
}

.note.tip {
  background: #d1fae5;
  border-left-color: var(--secondary);
  color: #065f46;
}

.note-title {
  font-weight: 600;
  margin-bottom: var(--space-sm);
}

/* Responsive */
@media (max-width: 1024px) {
  .docs-toc,
.toc-sidebar {
    display: none;
  }
}

@media (max-width: 768px) {
  .docs-sidebar {
    position: fixed;
    left: -100%;
    top: var(--header-height);
    width: 280px;
    transition: left 0.3s;
    z-index: 50;
    box-shadow: var(--shadow-lg);
  }
  
  .docs-sidebar.open {
    left: 0;
  }
  
  .search-bar {
    width: 200px;
  }
  
  .main-nav {
    display: none;
  }
  
  .docs-content {
    padding: var(--space-lg);
  }
}

/* Mobile Menu Toggle */
.mobile-menu-toggle {
  display: none;
  background: none;
  border: none;
  padding: var(--space-sm);
  cursor: pointer;
  color: var(--text-secondary);
}

@media (max-width: 768px) {
  .mobile-menu-toggle {
    display: block;
  }
}