:root {
  --bg: #0b0d10;
  --card-bg: #1a1e29;
  --border-color: #2a2f3e;
  --text-primary: #f0f2f5;
  --text-secondary: #8b92a8;
  --accent: #00d4aa;
  --accent-secondary: #d946ef;
  --success: #10b981;
  --error: #ef4444;
  --warning: #f59e0b;
  --sh-keyword: #ff7b72;
  --sh-type: #79c0ff;
  --sh-string: #a5d6ff;
  --sh-number: #79c0ff;
  --sh-comment: #8b949e;
  --font-body: Inter, system-ui, -apple-system, sans-serif;
  --font-mono: "JetBrains Mono", "SFMono-Regular", Consolas, Menlo, monospace;
  --radius-card: 12px;
  --radius-button: 8px;
  --max-width: 1280px;
}

* {
  box-sizing: border-box;
}

html,
body {
  margin: 0;
  padding: 0;
  background: var(--bg);
  color: var(--text-primary);
  font-family: var(--font-body);
  line-height: 1.5;
}

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

a:hover {
  text-decoration: underline;
}

header {
  border-bottom: 1px solid var(--border-color);
  background: var(--card-bg);
}

.header-inner {
  max-width: var(--max-width);
  margin: 0 auto;
  padding: 0.75rem 1rem;
  display: flex;
  align-items: center;
  gap: 1rem;
  flex-wrap: wrap;
}

.logo {
  font-size: 1.25rem;
  font-weight: 700;
  color: var(--accent);
}

.search-bar {
  flex: 1;
  display: flex;
  gap: 0.5rem;
  min-width: 240px;
}

.search-bar input {
  flex: 1;
  padding: 0.5rem 0.75rem;
  border: 1px solid var(--border-color);
  border-radius: var(--radius-button);
  background: var(--bg);
  color: var(--text-primary);
  font-family: var(--font-mono);
}

.search-bar button {
  padding: 0.5rem 1rem;
  border: none;
  border-radius: var(--radius-button);
  background: var(--accent);
  color: #fff;
  font-weight: 600;
  cursor: pointer;
}

.main-nav {
  max-width: var(--max-width);
  margin: 0 auto;
  padding: 0 1rem;
  display: flex;
  gap: 1.5rem;
  overflow-x: auto;
}

.main-nav a {
  display: block;
  padding: 0.75rem 0;
  color: var(--text-secondary);
  font-size: 0.9rem;
  white-space: nowrap;
}

.main-nav a:hover {
  color: var(--text-primary);
  text-decoration: none;
}

.container {
  max-width: var(--max-width);
  margin: 0 auto;
  padding: 1.5rem 1rem;
}

.page-header {
  margin-bottom: 1.5rem;
}

.page-header h1 {
  margin: 0 0 0.25rem;
  font-size: 1.75rem;
}

.page-header .subtitle {
  margin: 0;
  color: var(--text-secondary);
}

.card {
  background: var(--card-bg);
  border: 1px solid var(--border-color);
  border-radius: var(--radius-card);
  padding: 1.25rem;
  margin-bottom: 1rem;
}

.card h2 {
  margin: 0 0 1rem;
  font-size: 1.1rem;
}

.btn {
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  padding: 0.6rem 1.25rem;
  border: none;
  border-radius: var(--radius-button);
  font-weight: 600;
  cursor: pointer;
  font-size: 0.9rem;
}

.btn-primary {
  background: var(--accent);
  color: #fff;
}

.btn-secondary {
  background: transparent;
  color: var(--text-secondary);
  border: 1px solid var(--border-color);
}

.btn:hover {
  opacity: 0.9;
}

.form-group {
  margin-bottom: 1rem;
}

.form-group label {
  display: block;
  margin-bottom: 0.35rem;
  font-size: 0.9rem;
  font-weight: 500;
}

.form-input,
.form-select,
.form-textarea {
  width: 100%;
  padding: 0.6rem 0.75rem;
  border: 1px solid var(--border-color);
  border-radius: var(--radius-button);
  background: var(--bg);
  color: var(--text-primary);
  font-family: inherit;
}

.form-textarea {
  min-height: 160px;
  font-family: var(--font-mono);
  font-size: 0.85rem;
}

.form-hint {
  font-size: 0.8rem;
  color: var(--text-secondary);
  margin-top: 0.25rem;
}

.data-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.9rem;
}

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

.data-table th {
  color: var(--text-secondary);
  font-weight: 600;
}

footer {
  border-top: 1px solid var(--border-color);
  background: var(--card-bg);
  margin-top: 2rem;
  padding: 1.5rem 1rem;
  text-align: center;
  color: var(--text-secondary);
  font-size: 0.85rem;
}

@media (max-width: 768px) {
  .header-inner {
    flex-direction: column;
    align-items: stretch;
  }

  .search-bar {
    width: 100%;
  }

  .main-nav {
    gap: 1rem;
  }
}

/* Syntax highlighting */
.sh-keyword { color: var(--sh-keyword); }
.sh-type { color: var(--sh-type); }
.sh-string { color: var(--sh-string); }
.sh-number { color: var(--sh-number); }
.sh-comment { color: var(--sh-comment); font-style: italic; }

.source-viewer {
  background: var(--bg);
  border: 1px solid var(--border-color);
  border-radius: var(--radius-button);
  padding: 1rem;
  overflow: auto;
  max-height: 600px;
}

.source-viewer code {
  font-family: var(--font-mono);
  font-size: 0.85rem;
  line-height: 1.6;
  white-space: pre;
}

/* Mobile-first responsive adjustments */
@media (max-width: 768px) {
  .page-header {
    padding: 1rem;
  }

  .page-header h1 {
    font-size: 1.5rem;
  }

  .card {
    padding: 1rem;
  }

  .contract-tabs,
  .verify-tabs {
    flex-wrap: wrap;
    gap: 0.5rem;
  }

  .contract-tab,
  .verify-tab {
    padding: 0.5rem;
    font-size: 0.85rem;
  }

  .data-table-wrapper {
    overflow-x: auto;
    -webkit-overflow-scrolling: touch;
  }

  .data-table {
    min-width: 600px;
  }

  .btn {
    width: 100%;
    margin-bottom: 0.5rem;
  }

  .btn + .btn {
    margin-left: 0;
  }

  .grid-2,
  .grid-auto-160,
  .grid-auto-180,
  .grid-auto-220,
  .grid-auto-240 {
    grid-template-columns: 1fr;
  }
}

@media (max-width: 480px) {
  .header-inner {
    padding: 0.75rem;
  }

  .logo {
    font-size: 1.1rem;
  }

  .main-nav {
    gap: 0.75rem;
    font-size: 0.85rem;
  }

  .container {
    padding: 0 0.75rem;
  }

  .page-header h1 {
    font-size: 1.25rem;
  }

  .subtitle {
    font-size: 0.85rem;
  }
}