.highlight table td { padding: 5px; }
.highlight table pre { margin: 0; }
.highlight, .highlight .w {
  color: #24292f;
  background-color: #f6f8fa;
}
.highlight .k, .highlight .kd, .highlight .kn, .highlight .kp, .highlight .kr, .highlight .kt, .highlight .kv {
  color: #cf222e;
}
.highlight .gr {
  color: #f6f8fa;
}
.highlight .gd {
  color: #82071e;
  background-color: #ffebe9;
}
.highlight .nb {
  color: #953800;
}
.highlight .nc {
  color: #953800;
}
.highlight .no {
  color: #953800;
}
.highlight .nn {
  color: #953800;
}
.highlight .sr {
  color: #116329;
}
.highlight .na {
  color: #116329;
}
.highlight .nt {
  color: #116329;
}
.highlight .gi {
  color: #116329;
  background-color: #dafbe1;
}
.highlight .ges {
  font-weight: bold;
  font-style: italic;
}
.highlight .kc {
  color: #0550ae;
}
.highlight .l, .highlight .ld, .highlight .m, .highlight .mb, .highlight .mf, .highlight .mh, .highlight .mi, .highlight .il, .highlight .mo, .highlight .mx {
  color: #0550ae;
}
.highlight .sb {
  color: #0550ae;
}
.highlight .bp {
  color: #0550ae;
}
.highlight .ne {
  color: #0550ae;
}
.highlight .nl {
  color: #0550ae;
}
.highlight .py {
  color: #0550ae;
}
.highlight .nv, .highlight .vc, .highlight .vg, .highlight .vi, .highlight .vm {
  color: #0550ae;
}
.highlight .o, .highlight .ow {
  color: #0550ae;
}
.highlight .gh {
  color: #0550ae;
  font-weight: bold;
}
.highlight .gu {
  color: #0550ae;
  font-weight: bold;
}
.highlight .s, .highlight .sa, .highlight .sc, .highlight .dl, .highlight .sd, .highlight .s2, .highlight .se, .highlight .sh, .highlight .sx, .highlight .s1, .highlight .ss {
  color: #0a3069;
}
.highlight .nd {
  color: #8250df;
}
.highlight .nf, .highlight .fm {
  color: #8250df;
}
.highlight .err {
  color: #f6f8fa;
  background-color: #82071e;
}
.highlight .c, .highlight .ch, .highlight .cd, .highlight .cm, .highlight .cp, .highlight .cpf, .highlight .c1, .highlight .cs {
  color: #6e7781;
}
.highlight .gl {
  color: #6e7781;
}
.highlight .gt {
  color: #6e7781;
}
.highlight .ni {
  color: #24292f;
}
.highlight .si {
  color: #24292f;
}
.highlight .ge {
  color: #24292f;
  font-style: italic;
}
.highlight .gs {
  color: #24292f;
  font-weight: bold;
}
/*


 */

:root {
  --color-bg: #fafafa;
  --color-text: #1a1a2e;
  --color-primary: #cc342d;
  --color-primary-dark: #a02a24;
  --color-secondary: #4a4a6a;
  --color-border: #ddd;
  --color-code-bg: #f6f8fa;
  --color-nav-bg: #1a1a2e;
  --color-nav-text: #eee;
  --color-card-bg: #fff;
  --font-mono: "SF Mono", "Cascadia Code", "Fira Code", Consolas, monospace;
  --font-sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
  --radius: 6px;
}

* { box-sizing: border-box; margin: 0; padding: 0; }

body {
  font-family: var(--font-sans);
  color: var(--color-text);
  background: var(--color-bg);
  line-height: 1.6;
  min-height: 100vh;
  display: flex;
  flex-direction: column;
}

a { color: var(--color-primary); text-decoration: none; }
a:hover { color: var(--color-primary-dark); text-decoration: underline; }

.container {
  max-width: 960px;
  margin: 0 auto;
  padding: 0 1.5rem;
}

/* Nav */
.main-nav {
  background: var(--color-nav-bg);
  padding: 0.75rem 0;
}
.nav-container {
  max-width: 960px;
  margin: 0 auto;
  padding: 0 1.5rem;
  display: flex;
  align-items: center;
  justify-content: space-between;
}
.nav-brand a {
  color: var(--color-primary);
  font-weight: 700;
  font-size: 1.2rem;
  text-decoration: none;
}
.nav-links {
  list-style: none;
  display: flex;
  gap: 1.5rem;
}
.nav-links a {
  color: var(--color-nav-text);
  font-weight: 500;
}
.nav-links a:hover,
.nav-links a.active {
  color: var(--color-primary);
  text-decoration: none;
}

/* Main content */
main.container {
  flex: 1;
  padding-top: 2rem;
  padding-bottom: 3rem;
}

/* Footer */
.main-footer {
  background: var(--color-nav-bg);
  color: var(--color-nav-text);
  padding: 1.5rem 0;
  text-align: center;
  font-size: 0.85rem;
}

/* Flash */
.flash {
  padding: 0.75rem 1rem;
  border-radius: var(--radius);
  margin-bottom: 1.5rem;
}
.flash-notice { background: #d4edda; color: #155724; }
.flash-alert  { background: #f8d7da; color: #721c24; }

/* Cards */
.card {
  background: var(--color-card-bg);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  padding: 1.25rem;
  margin-bottom: 1rem;
}
.card h3 { margin-bottom: 0.5rem; }
.card p { color: var(--color-secondary); font-size: 0.95rem; }

/* Tags */
.tag {
  display: inline-block;
  background: var(--color-primary);
  color: #fff;
  font-size: 0.75rem;
  padding: 0.15rem 0.5rem;
  border-radius: 3px;
  margin-right: 0.25rem;
}
.tag-filter {
  display: inline-block;
  padding: 0.3rem 0.75rem;
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  font-size: 0.85rem;
  margin-right: 0.4rem;
  margin-bottom: 0.4rem;
}
.tag-filter.active {
  background: var(--color-primary);
  color: #fff;
  border-color: var(--color-primary);
}

/* Code blocks */
.code-block {
  background: var(--color-code-bg);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  overflow-x: auto;
  font-family: var(--font-mono);
  font-size: 0.85rem;
  line-height: 1.7;
}
.code-block pre {
  margin: 0;
  padding: 1rem;
}
.code-block .line {
  display: block;
}

/* Scenario form */
.scenario-section {
  margin-top: 2rem;
  padding-top: 1.5rem;
  border-top: 1px solid var(--color-border);
}
.scenario-card {
  background: var(--color-card-bg);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  padding: 1.25rem;
  margin-bottom: 1.5rem;
}
.scenario-card h4 { margin-bottom: 0.75rem; }

.form-group {
  margin-bottom: 0.75rem;
}
.form-group label {
  display: block;
  font-weight: 600;
  font-size: 0.85rem;
  margin-bottom: 0.25rem;
}
.form-group select {
  width: 100%;
  max-width: 300px;
  padding: 0.4rem;
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  font-size: 0.9rem;
}

.btn {
  display: inline-block;
  padding: 0.5rem 1.25rem;
  background: var(--color-primary);
  color: #fff;
  border: none;
  border-radius: var(--radius);
  font-size: 0.9rem;
  cursor: pointer;
}
.btn:hover {
  background: var(--color-primary-dark);
  color: #fff;
  text-decoration: none;
}

/* Result box */
.result-box {
  margin-top: 1rem;
  padding: 1rem;
  border-radius: var(--radius);
  font-family: var(--font-mono);
  font-size: 0.85rem;
  white-space: pre-wrap;
  word-break: break-word;
}
.result-box.success {
  background: #f0fff4;
  border: 1px solid #c6f6d5;
}
.result-box.error {
  background: #fff5f5;
  border: 1px solid #fed7d7;
  color: #c53030;
}
.result-meta {
  font-size: 0.75rem;
  color: var(--color-secondary);
  margin-top: 0.5rem;
}

/* Source browser */
.breadcrumbs {
  font-size: 0.85rem;
  margin-bottom: 1rem;
  color: var(--color-secondary);
}
.breadcrumbs a { margin: 0 0.25rem; }

.file-list {
  list-style: none;
}
.file-list li {
  padding: 0.4rem 0;
  border-bottom: 1px solid #eee;
}
.file-list li:last-child { border-bottom: none; }
.file-list .icon { margin-right: 0.5rem; }

/* Home page */
.hero {
  text-align: center;
  padding: 3rem 0;
}
.hero h1 {
  font-size: 2.2rem;
  margin-bottom: 0.5rem;
}
.hero p {
  font-size: 1.1rem;
  color: var(--color-secondary);
  margin-bottom: 1.5rem;
}

.examples-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(280px, 1fr));
  gap: 1rem;
  margin-top: 1.5rem;
}

h1 { margin-bottom: 1rem; }
h2 { margin-bottom: 0.75rem; }
