/* =============================================
   THEME — BVC brand tokens (STYLE.md)
   ============================================= */
:root {
  /* BVC Core Colors */
  --bvc-navy:        #1B2A4A;
  --bvc-blue:        #4A8FD4;
  --bvc-teal:        #3DBDB8;
  --bvc-green:       #5CB87A;
  --bvc-light-bg:    #F4F7FB;
  --bvc-white:       #FFFFFF;
  --bvc-border:      #DDE4EF;
  --bvc-text-main:   #1B2A4A;
  --bvc-text-muted:  #6B7A99;
  --bvc-text-light:  #9AAABF;

  /* Typography */
  --font-main: 'Inter', system-ui, -apple-system, sans-serif;
  --font-mono: 'DM Mono', 'JetBrains Mono', Menlo, monospace;

  /* Radius tokens */
  --radius-sm:   6px;
  --radius-md:   12px;
  --radius-lg:   20px;
  --radius-pill: 99px;

  /* Spacing tokens (8pt grid) */
  --sp-xs:  4px;
  --sp-sm:  8px;
  --sp-md:  16px;
  --sp-lg:  32px;
  --sp-xl:  56px;
  --sp-2xl: 88px;

  /* Shadow tokens */
  --shadow-subtle:  0 2px 12px rgba(27, 42, 74, 0.06);
  --shadow-default: 0 4px 20px rgba(27, 42, 74, 0.10);

  /* Semantic aliases */
  --color-bg:            var(--bvc-light-bg);
  --color-text:          var(--bvc-text-main);
  --color-accent:        var(--bvc-teal);
  --color-accent-bg:     rgba(61, 189, 184, 0.10);
  --color-accent-border: rgba(61, 189, 184, 0.30);
  --color-muted:         var(--bvc-text-muted);
  --color-border:        var(--bvc-border);
  --color-label:         var(--bvc-navy);
  --color-card-bg:       var(--bvc-white);

  /* Header gradient */
  --color-header-from: #1B2A4A;
  --color-header-to:   #3DBDB8;

  /* Code block (dark) */
  --code-bg:        #0E1729;
  --code-header-bg: #131D33;
  --code-border:    #1F2D4A;

  --max-width: 720px;
}

/* =============================================
   RESET + BASE
   ============================================= */
*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }

body {
  font-family: var(--font-main);
  font-size: 0.95rem;
  line-height: 1.65;
  background: var(--color-bg);
  color: var(--color-text);
  min-height: 100vh;
}

/* =============================================
   LAYOUT
   ============================================= */
header {
  background: linear-gradient(135deg, var(--color-header-from) 0%, var(--color-header-to) 100%);
  color: var(--bvc-white);
  padding: var(--sp-xl) var(--sp-lg) var(--sp-lg);
}

.header-inner {
  max-width: var(--max-width);
  margin: 0 auto;
}

main {
  max-width: var(--max-width);
  margin: 0 auto;
  padding: var(--sp-xl) var(--sp-lg);
  display: flex;
  flex-direction: column;
  gap: var(--sp-xl);
}

footer {
  max-width: var(--max-width);
  margin: 0 auto;
  padding: 0 var(--sp-lg) var(--sp-2xl);
  font-size: 0.82rem;
  color: var(--color-muted);
}

footer a { color: var(--bvc-navy); text-decoration: none; }
footer a:hover { text-decoration: underline; }

/* =============================================
   COMPONENTS
   ============================================= */

/* --- Header badge & title --- */
.badge {
  display: inline-block;
  font-family: var(--font-mono);
  font-size: 0.7rem;
  font-weight: 500;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--bvc-teal);
  background: rgba(61, 189, 184, 0.10);
  border: 1px solid rgba(61, 189, 184, 0.30);
  border-radius: var(--radius-pill);
  padding: 2px 10px;
  margin-bottom: var(--sp-md);
}

h1 {
  font-family: var(--font-main);
  font-size: 2.4rem;
  font-weight: 700;
  letter-spacing: -0.02em;
  line-height: 1.15;
  margin-bottom: var(--sp-sm);
}

.subtitle {
  font-size: 0.95rem;
  color: rgba(255, 255, 255, 0.75);
  line-height: 1.65;
  max-width: 500px;
}

.subtitle a { color: var(--bvc-white); text-decoration: underline; text-underline-offset: 2px; }
.subtitle a:hover { opacity: 0.85; }

/* --- Section label --- */
.section-label {
  font-family: var(--font-mono);
  font-size: 0.72rem;
  font-weight: 500;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--color-label);
  margin-bottom: var(--sp-md);
}

/* --- Run options --- */
.run-options {
  display: flex;
  flex-direction: column;
  gap: var(--sp-md);
}

.run-option {
  display: flex;
  flex-direction: column;
  gap: var(--sp-sm);
  background: var(--color-card-bg);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  padding: var(--sp-md) var(--sp-lg);
  box-shadow: var(--shadow-subtle);
  transition: border-color 0.15s, box-shadow 0.15s;
}

.run-option:hover {
  border-color: var(--bvc-teal);
  box-shadow: var(--shadow-default);
}

.run-option-label {
  font-family: var(--font-mono);
  font-size: 0.72rem;
  font-weight: 500;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--bvc-teal);
}

.run-option p {
  font-size: 0.95rem;
  color: var(--color-text);
  line-height: 1.65;
}

.run-option a { color: var(--bvc-teal); text-decoration: none; }
.run-option a:hover { text-decoration: underline; }

.run-option pre {
  background: var(--code-bg);
  border: 1px solid var(--code-border);
  border-radius: var(--radius-md);
  padding: var(--sp-md);
  overflow-x: auto;
  margin-top: var(--sp-sm);
}

.run-option code {
  font-family: var(--font-mono);
  font-size: 0.82rem;
  line-height: 1.7;
  color: #E2E8F2;
}

/* --- Notebook cards --- */
.nb-list {
  display: flex;
  flex-direction: column;
  gap: var(--sp-sm);
}

.nb-row {
  display: flex;
  align-items: center;
  gap: var(--sp-sm);
}

.nb-row .nb-card {
  flex: 1;
}

.nb-molab-btn {
  display: inline-flex;
  align-items: center;
  flex-shrink: 0;
}

.nb-molab-btn img {
  display: block;
  height: 28px;
}

.nb-card {
  display: flex;
  align-items: center;
  gap: var(--sp-md);
  background: var(--color-card-bg);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-md);
  padding: var(--sp-md) var(--sp-lg);
  box-shadow: var(--shadow-subtle);
  text-decoration: none;
  color: inherit;
  transition: border-color 0.15s, box-shadow 0.15s, transform 0.1s;
}

.nb-card:hover {
  border-color: var(--bvc-teal);
  box-shadow: var(--shadow-default);
  transform: translateY(-1px);
}

.nb-num {
  flex-shrink: 0;
  width: 2rem;
  height: 2rem;
  background: var(--color-accent-bg);
  border: 1px solid var(--color-accent-border);
  border-radius: var(--radius-sm);
  display: flex;
  align-items: center;
  justify-content: center;
  font-family: var(--font-mono);
  font-size: 0.82rem;
  font-weight: 500;
  color: var(--bvc-teal);
}

.nb-title {
  font-size: 0.975rem;
  font-weight: 600;
  color: var(--color-text);
}

.nb-arrow {
  margin-left: auto;
  color: var(--color-muted);
  font-size: 1rem;
  transition: color 0.15s, transform 0.15s;
}

.nb-card:hover .nb-arrow {
  color: var(--bvc-teal);
  transform: translateX(3px);
}

/* =============================================
   SYNTAX COLOR TOKENS (STYLE.md §7)
   ============================================= */
:root {
  --syntax-keyword:  #FF7B9C;
  --syntax-class:    #3DBDB8;
  --syntax-function: #82B5F0;
  --syntax-string:   #5CB87A;
  --syntax-number:   #F4956A;
  --syntax-comment:  #6B7A99;
  --syntax-operator: #9AAABF;
  --syntax-default:  #E2E8F2;
}