/* Shared design tokens. Change these to reskin the whole site from one place. */
:root {
  --ink: #1a1a1a;
  --muted: #6b6b6b;
  --line: #e2e2e2;
  --accent: #1f5fd6;
  --bg: #fafafa;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  font-family: -apple-system, Segoe UI, Roboto, Helvetica, Arial, sans-serif;
  color: var(--ink);
  background: var(--bg);
}

nav.toolnav {
  display: flex;
  gap: 8px;
  padding: 8px 20px;
  border-bottom: 1px solid var(--line);
  background: #fff;
}
nav.toolnav a {
  font-size: 13px;
  padding: 4px 12px;
  border-radius: 20px;
  text-decoration: none;
  color: var(--muted);
  border: 1px solid var(--line);
}
nav.toolnav a.active {
  color: var(--accent);
  border-color: var(--accent);
  font-weight: 600;
}