/* Verification Report Styles */
:root {
  --bg-color: #ffffff;
  --text-color: #333333;
  --link-color: #0066cc;
  --border-color: #e0e0e0;
  --header-bg: #f5f5f5;
  --success-color: #28a745;
  --warning-color: #ffc107;
  --danger-color: #dc3545;
  --info-color: #17a2b8;
  --code-bg: #f4f4f4;
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg-color: #1a1a2e;
    --text-color: #e0e0e0;
    --link-color: #6db3f2;
    --border-color: #404040;
    --header-bg: #252540;
    --code-bg: #2d2d44;
  }
}

* { box-sizing: border-box; }

body {
  font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, sans-serif;
  line-height: 1.6;
  color: var(--text-color);
  background-color: var(--bg-color);
  margin: 0;
  padding: 0;
}

.container {
  max-width: 1200px;
  margin: 0 auto;
  padding: 20px;
}

/* Header */
header {
  background: var(--header-bg);
  border-bottom: 1px solid var(--border-color);
  padding: 15px 20px;
  position: sticky;
  top: 0;
  z-index: 100;
}

header h1 {
  margin: 0;
  font-size: 1.5rem;
}

header nav {
  margin-top: 10px;
}

header nav a {
  margin-right: 20px;
  text-decoration: none;
  color: var(--link-color);
}

/* Navigation sidebar */
.sidebar {
  position: fixed;
  left: 0;
  top: 60px;
  width: 280px;
  height: calc(100vh - 60px);
  overflow-y: auto;
  background: var(--header-bg);
  border-right: 1px solid var(--border-color);
  padding: 15px;
}

.sidebar ul {
  list-style: none;
  padding-left: 15px;
  margin: 5px 0;
}

.sidebar > ul {
  padding-left: 0;
}

.sidebar a {
  color: var(--text-color);
  text-decoration: none;
  display: block;
  padding: 3px 0;
}

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

/* Main content */
main {
  margin-left: 300px;
  padding: 20px;
}

@media (max-width: 768px) {
  .sidebar { display: none; }
  main { margin-left: 0; }
}

/* Tables */
table {
  width: 100%;
  border-collapse: collapse;
  margin: 20px 0;
}

th, td {
  padding: 10px;
  border: 1px solid var(--border-color);
  text-align: left;
}

th {
  background: var(--header-bg);
  font-weight: 600;
}

/* Verification tables */
.verification-table {
  width: 100%;
  border-collapse: collapse;
  margin: 15px 0;
  font-size: 0.9rem;
}

.verification-table th,
.verification-table td {
  padding: 8px 12px;
  border: 1px solid var(--border-color);
  text-align: left;
  vertical-align: top;
}

.verification-table th {
  background: var(--header-bg);
  font-weight: 600;
  white-space: nowrap;
}

.verification-table tr:hover {
  background: rgba(0, 102, 204, 0.05);
}

.verification-table a {
  color: var(--link-color);
  text-decoration: none;
}

.verification-table a:hover {
  text-decoration: underline;
}

.verification-table code {
  background: var(--code-bg);
  padding: 1px 4px;
  border-radius: 3px;
  font-size: 0.85em;
}

/* Status badges */
.badge {
  display: inline-block;
  padding: 2px 8px;
  border-radius: 4px;
  font-size: 0.85rem;
  font-weight: 500;
}

.badge-proved { background: var(--success-color); color: white; }
.badge-axiom { background: var(--info-color); color: white; }
.badge-sorry { background: var(--danger-color); color: white; }
.badge-def { background: var(--warning-color); color: black; }

/* Code blocks */
pre, code {
  font-family: 'SF Mono', Monaco, 'Cascadia Code', monospace;
  background: var(--code-bg);
  border-radius: 4px;
}

pre {
  padding: 15px;
  overflow-x: auto;
}

code {
  padding: 2px 6px;
}

/* Declaration cards */
.decl-card {
  border: 1px solid var(--border-color);
  border-radius: 8px;
  margin: 15px 0;
  overflow: hidden;
}

.decl-header {
  background: var(--header-bg);
  padding: 10px 15px;
  border-bottom: 1px solid var(--border-color);
  display: flex;
  justify-content: space-between;
  align-items: center;
}

.decl-body {
  padding: 15px;
}

.decl-name {
  font-family: monospace;
  font-weight: 600;
}

/* Search */
#search-input {
  width: 100%;
  padding: 10px 15px;
  border: 1px solid var(--border-color);
  border-radius: 4px;
  font-size: 1rem;
  background: var(--bg-color);
  color: var(--text-color);
}

#search-results {
  margin-top: 20px;
}

/* Progress bars */
.progress-bar {
  height: 20px;
  background: var(--border-color);
  border-radius: 4px;
  overflow: hidden;
}

.progress-fill {
  height: 100%;
  transition: width 0.3s ease;
}

.progress-proved { background: var(--success-color); }
.progress-axiom { background: var(--info-color); }
.progress-sorry { background: var(--danger-color); }

/* Links */
a { color: var(--link-color); }
a:hover { text-decoration: underline; }

/* Collapsible sections */
details {
  border: 1px solid var(--border-color);
  border-radius: 4px;
  margin: 10px 0;
}

details summary {
  padding: 10px 15px;
  cursor: pointer;
  background: var(--header-bg);
  font-weight: 500;
}

details[open] summary {
  border-bottom: 1px solid var(--border-color);
}

details > *:not(summary) {
  padding: 15px;
}

/* Ontology and Taxonomy tables */
.ontology-section,
.taxonomy-section {
  margin: 30px 0;
}

.ontology-table {
  width: 100%;
  border-collapse: collapse;
  margin: 15px 0;
}

.ontology-table th,
.ontology-table td {
  padding: 12px 15px;
  border: 1px solid var(--border-color);
  text-align: center;
}

.ontology-table th:first-child,
.ontology-table td:first-child {
  text-align: left;
  font-weight: 600;
}

.ontology-table thead th {
  background: var(--header-bg);
  font-weight: 600;
}

.ontology-table tbody th {
  background: var(--header-bg);
  width: 200px;
}

/* Indent and muted styles */
.indent {
  padding-left: 30px !important;
}

.muted {
  color: #888;
}