/* ============================================================
 * 公式・計算式リファレンス  /  Sprint 5: themes + a11y + print
 *
 * Theming strategy:
 *   - Color palette is defined entirely as CSS custom properties on :root.
 *   - The active theme is selected via the [data-theme="..."] attribute on
 *     <html>. We never rely on `prefers-color-scheme` directly inside the
 *     stylesheet for color values; instead, the inline <head> script reads
 *     localStorage / matchMedia and sets data-theme synchronously, so there
 *     is no flash-of-incorrect-theme.
 *   - All component CSS uses semantic tokens (--color-text, --color-surface,
 *     --color-mark-bg, ...) and never hardcodes hex values, so the dark
 *     theme picks up the new tokens automatically.
 * ============================================================ */

:root,
:root[data-theme="light"] {
  /* Base canvas */
  --color-bg: #f7f8fa;
  --color-surface: #ffffff;
  --color-surface-2: #f1f5f9;       /* subtle raised surface (table headers, badges) */
  --color-surface-3: #e2e8f0;       /* hover-on-surface, neutral chips */

  /* Text */
  --color-text: #1f2933;            /* main text, contrast 13.4:1 on --color-bg */
  --color-text-strong: #0f172a;
  --color-text-muted: #475569;      /* meta text, contrast 7.1:1 on --color-bg (AA Large + AAA Normal) */
  --color-text-inverse: #ffffff;

  /* Borders */
  --color-border: #cbd5e1;          /* visible border, 3.4:1 contrast on bg (passes AA non-text) */
  --color-border-strong: #94a3b8;

  /* Brand */
  --color-primary: #1d4ed8;         /* contrast 8.6:1 on white -> AA/AAA text */
  --color-primary-hover: #1e40af;
  --color-primary-soft: #eff6ff;
  --color-primary-soft-border: #bfdbfe;
  --color-primary-on: #ffffff;

  /* Highlights */
  --color-accent: #fef3c7;          /* tag chip background (light) */
  --color-accent-strong: #fde68a;   /* tag chip hover (light) */
  --color-mark-bg: #fde68a;         /* <mark> highlight background */
  --color-mark-fg: #422006;         /* <mark> text — 9.4:1 on #fde68a */

  /* Status colors */
  --color-error: #b91c1c;
  --color-success-fg: #047857;

  /* Example-block tints */
  --color-section-bg: #f8fafc;
  --color-given-bg: #f0f9ff;
  --color-given-border: #38bdf8;
  --color-step-bg: #fefce8;
  --color-step-border: #facc15;
  --color-answer-bg: #ecfdf5;
  --color-answer-border: #10b981;

  /* Focus ring */
  --color-focus-ring: #2563eb;
  --focus-ring-shadow: 0 0 0 3px rgba(37, 99, 235, 0.45);

  /* Shadows: keep semi-transparent so they look right in both themes */
  --shadow-sm: 0 1px 2px rgba(15, 23, 42, 0.06);
  --shadow-md: 0 4px 12px rgba(15, 23, 42, 0.10);
  --shadow-lg: 0 12px 28px rgba(15, 23, 42, 0.14);

  /* Backdrop tint for the mobile drawer overlay */
  --color-backdrop: rgba(15, 23, 42, 0.4);

  /* Layout tokens */
  --max-width: 1100px;
  --sidebar-width: 240px;
  --radius: 8px;
}

/* ===== Dark theme ===== */
:root[data-theme="dark"] {
  --color-bg: #0f172a;               /* slate-900 */
  --color-surface: #1e293b;          /* slate-800 */
  --color-surface-2: #334155;        /* slate-700, used for badges / table heads */
  --color-surface-3: #475569;        /* slate-600 */

  --color-text: #f1f5f9;             /* contrast 14.4:1 on --color-bg */
  --color-text-strong: #ffffff;
  --color-text-muted: #cbd5e1;       /* contrast 9.5:1 on --color-bg */
  --color-text-inverse: #0f172a;

  --color-border: #475569;           /* slate-600 */
  --color-border-strong: #64748b;

  --color-primary: #60a5fa;          /* blue-400, contrast 6.7:1 on slate-900 */
  --color-primary-hover: #93c5fd;
  --color-primary-soft: #1e3a8a;     /* deep blue, surface-like */
  --color-primary-soft-border: #2563eb;
  --color-primary-on: #0f172a;       /* used for text on light primary chips */

  --color-accent: #b45309;           /* amber-700, dark-friendly tag bg */
  --color-accent-strong: #d97706;
  --color-mark-bg: #facc15;          /* amber-400 — strongly visible on dark */
  --color-mark-fg: #1f2937;          /* dark text on amber, 11.4:1 contrast */

  --color-error: #fca5a5;            /* red-300 for dark bg readability */
  --color-success-fg: #34d399;

  --color-section-bg: #1e293b;
  --color-given-bg: #082f49;          /* sky-950 */
  --color-given-border: #38bdf8;
  --color-step-bg: #422006;           /* amber-950 */
  --color-step-border: #facc15;
  --color-answer-bg: #064e3b;         /* emerald-950 */
  --color-answer-border: #34d399;

  --color-focus-ring: #93c5fd;
  --focus-ring-shadow: 0 0 0 3px rgba(147, 197, 253, 0.55);

  --shadow-sm: 0 1px 2px rgba(0, 0, 0, 0.5);
  --shadow-md: 0 4px 12px rgba(0, 0, 0, 0.55);
  --shadow-lg: 0 12px 28px rgba(0, 0, 0, 0.65);

  --color-backdrop: rgba(0, 0, 0, 0.65);
}

* {
  box-sizing: border-box;
}

html, body {
  margin: 0;
  padding: 0;
}

body {
  font-family: -apple-system, BlinkMacSystemFont, "Helvetica Neue", "Hiragino Sans",
               "Yu Gothic UI", Meiryo, sans-serif;
  background-color: var(--color-bg);
  color: var(--color-text);
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
  /* Smooth color transitions when toggling themes */
  transition: background-color 0.18s ease, color 0.18s ease;
}

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

/* ============================================================
 * Skip link (a11y)
 * ============================================================ */
.skip-link {
  position: absolute;
  top: -200px;
  left: 0;
  z-index: 1000;
  background-color: var(--color-primary);
  color: var(--color-primary-on);
  padding: 0.6rem 1rem;
  border-radius: 0 0 var(--radius) 0;
  text-decoration: none;
  font-weight: 600;
  font-size: 0.95rem;
}

.skip-link:focus,
.skip-link:focus-visible {
  top: 0;
  outline: 3px solid var(--color-focus-ring);
  outline-offset: 0;
}

/* ============================================================
 * Global focus indicator (a11y)
 *   - Visible 3px outline + small offset so it is never lost over
 *     a colored background. Used everywhere via :focus-visible.
 * ============================================================ */
:where(a, button, input, select, textarea, [tabindex]):focus-visible {
  outline: 3px solid var(--color-focus-ring);
  outline-offset: 2px;
  border-radius: var(--radius);
}

/* Make sure the main landmark is targetable for the skip link without
 * showing a stray ring on click. */
main:focus,
main:focus-visible {
  outline: none;
}

/* ============================================================
 * Header
 * ============================================================ */
.site-header {
  background-color: var(--color-surface);
  border-bottom: 1px solid var(--color-border);
  padding: 0.85rem 0;
  box-shadow: var(--shadow-sm);
  position: sticky;
  top: 0;
  z-index: 30;
  /* Make sure the search-suggest dropdown can escape the header */
}

.header-inner {
  display: grid;
  grid-template-columns: auto 1fr auto;
  align-items: center;
  gap: 0.5rem 0.75rem;
}

.site-title {
  margin: 0;
  font-size: 1.25rem;
  font-weight: 700;
  grid-column: 2;
  grid-row: 1;
  min-width: 0;
}

.site-title a {
  color: var(--color-text);
  text-decoration: none;
}

.site-title a:hover {
  color: var(--color-primary);
}

.site-tagline {
  margin: 0;
  font-size: 0.85rem;
  color: var(--color-text-muted);
  grid-column: 2;
  grid-row: 2;
}

.visually-hidden {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

/* ============================================================
 * Search box
 * ============================================================ */
.search-form {
  position: relative;
  grid-column: 1 / -1;
  grid-row: 3;
  margin-top: 0.4rem;
  width: 100%;
}

.search-input-wrapper {
  position: relative;
  display: flex;
  align-items: center;
}

.search-input {
  width: 100%;
  font-size: 0.95rem;
  font-family: inherit;
  color: var(--color-text);
  background-color: var(--color-bg);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  padding: 0.5rem 2.2rem 0.5rem 0.75rem;
  outline: none;
  transition: border-color 0.15s ease, box-shadow 0.15s ease, background-color 0.18s ease, color 0.18s ease;
  -webkit-appearance: none;
  appearance: none;
}

.search-input::placeholder {
  color: var(--color-text-muted);
  opacity: 0.85;
}

.search-input:focus,
.search-input:focus-visible {
  border-color: var(--color-primary);
  background-color: var(--color-surface);
  box-shadow: var(--focus-ring-shadow);
  outline: none;
}

.search-clear {
  position: absolute;
  right: 0.4rem;
  top: 50%;
  transform: translateY(-50%);
  width: 1.6rem;
  height: 1.6rem;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  background: transparent;
  border: none;
  border-radius: 50%;
  font-size: 1.1rem;
  line-height: 1;
  color: var(--color-text-muted);
  cursor: pointer;
}

.search-clear:hover {
  background-color: var(--color-surface-3);
  color: var(--color-text);
}

.search-suggest {
  list-style: none;
  margin: 0.25rem 0 0;
  padding: 0.25rem 0;
  position: absolute;
  top: 100%;
  left: 0;
  right: 0;
  z-index: 50;
  background-color: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  box-shadow: var(--shadow-md);
  max-height: 320px;
  overflow-y: auto;
}

.search-suggest li {
  margin: 0;
}

.search-suggest a {
  display: flex;
  flex-direction: column;
  gap: 0.1rem;
  padding: 0.5rem 0.75rem;
  color: var(--color-text);
  text-decoration: none;
  font-size: 0.9rem;
  line-height: 1.3;
  border-left: 3px solid transparent;
}

.search-suggest a:hover,
.search-suggest a:focus,
.search-suggest a.is-active {
  background-color: var(--color-primary-soft);
  color: var(--color-primary-hover);
  border-left-color: var(--color-primary);
  outline: none;
}

.search-suggest .suggest-name {
  font-weight: 600;
}

.search-suggest .suggest-meta {
  font-size: 0.75rem;
  color: var(--color-text-muted);
}

.search-suggest .suggest-empty {
  padding: 0.5rem 0.75rem;
  font-size: 0.85rem;
  color: var(--color-text-muted);
}

/* <mark> highlight: theme-aware, AA contrast */
mark,
.search-suggest mark,
.formula-list mark,
.tag-cloud mark,
.search-empty-suggestions mark {
  background-color: var(--color-mark-bg);
  color: var(--color-mark-fg);
  padding: 0 0.15em;
  border-radius: 2px;
  /* Outline boost for dark theme readability */
  box-shadow: 0 0 0 1px rgba(0, 0, 0, 0.05);
}

/* ============================================================
 * Hamburger nav toggle (mobile only)
 * ============================================================ */
.nav-toggle {
  grid-row: 1 / span 2;
  grid-column: 1;
  width: 40px;
  height: 40px;
  border: 1px solid var(--color-border);
  background-color: var(--color-surface);
  color: var(--color-text);
  border-radius: var(--radius);
  display: flex;
  flex-direction: column;
  justify-content: center;
  align-items: center;
  gap: 4px;
  cursor: pointer;
  padding: 0;
  transition: border-color 0.15s ease, background-color 0.15s ease;
}

.nav-toggle:hover {
  border-color: var(--color-primary);
  background-color: var(--color-primary-soft);
}

.nav-toggle-bar {
  display: block;
  width: 18px;
  height: 2px;
  background-color: var(--color-text);
  border-radius: 1px;
}

/* ============================================================
 * Theme toggle (Sprint 5)
 * ============================================================ */
.theme-toggle {
  grid-column: 3;
  grid-row: 1 / span 2;
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
  padding: 0.45rem 0.7rem;
  background-color: var(--color-surface);
  color: var(--color-text);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  font-size: 0.85rem;
  font-weight: 500;
  cursor: pointer;
  transition: border-color 0.15s ease, background-color 0.15s ease, color 0.15s ease;
  white-space: nowrap;
}

.theme-toggle:hover {
  border-color: var(--color-primary);
  color: var(--color-primary);
  background-color: var(--color-primary-soft);
}

.theme-toggle-icon {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 1.25rem;
  height: 1.25rem;
}

.theme-icon {
  display: none;
}

:root[data-theme="light"] .theme-icon--moon {
  /* In light mode, show the moon — clicking switches to dark */
  display: inline-block;
}

:root[data-theme="dark"] .theme-icon--sun {
  /* In dark mode, show the sun — clicking switches to light */
  display: inline-block;
}

/* ============================================================
 * Language Navigation (header)
 * ============================================================ */
.lang-nav {
  grid-column: 3;
  grid-row: 1 / span 2;
  display: flex;
  align-items: center;
  gap: 0.25rem;
  flex-wrap: wrap;
  justify-content: flex-end;
}

.lang-nav a {
  display: inline-block;
  padding: 0.3rem 0.5rem;
  font-size: 0.75rem;
  font-weight: 500;
  color: var(--color-text-muted);
  text-decoration: none;
  border-radius: var(--radius);
  border: 1px solid transparent;
  transition: color 0.15s, background-color 0.15s, border-color 0.15s;
}

.lang-nav a:hover {
  color: var(--color-primary);
  background-color: var(--color-primary-soft);
}

.lang-nav a[aria-current="true"] {
  color: var(--color-primary);
  background-color: var(--color-primary-soft);
  border-color: var(--color-primary-soft-border);
  font-weight: 600;
}

/* ============================================================
 * Layout (sidebar + main)
 * ============================================================ */
.layout {
  display: flex;
  flex-direction: column;
  gap: 0;
  padding-top: 1rem;
  padding-bottom: 2rem;
  min-height: calc(100vh - 200px);
}

.site-main {
  flex: 1 1 auto;
  min-width: 0;
}

/* ============================================================
 * Sidebar / Drawer
 * ============================================================ */
.category-nav {
  /* mobile: hidden drawer */
  position: fixed;
  top: 0;
  left: 0;
  bottom: 0;
  width: 280px;
  max-width: 80vw;
  background-color: var(--color-surface);
  border-right: 1px solid var(--color-border);
  z-index: 40;
  transform: translateX(-100%);
  transition: transform 0.2s ease;
  overflow-y: auto;
  box-shadow: var(--shadow-lg);
  padding-top: 1rem;
}

.category-nav.is-open {
  transform: translateX(0);
}

.category-nav-inner {
  padding: 1rem 1.25rem 2rem;
}

.category-nav-title {
  font-size: 0.75rem;
  font-weight: 700;
  color: var(--color-text-muted);
  text-transform: uppercase;
  letter-spacing: 0.06em;
  margin: 0 0 0.5rem;
}

.category-nav-title--secondary {
  margin-top: 1.25rem;
}

.category-nav-list {
  list-style: none;
  padding: 0;
  margin: 0;
  display: flex;
  flex-direction: column;
  gap: 0.15rem;
}

.category-nav-link {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.5rem;
  padding: 0.55rem 0.6rem;
  border-radius: var(--radius);
  color: var(--color-text);
  text-decoration: none;
  font-size: 0.95rem;
}

.category-nav-link:hover,
.category-nav-link:focus-visible {
  background-color: var(--color-primary-soft);
  color: var(--color-primary-hover);
  outline: none;
}

.category-nav-link.is-active {
  background-color: var(--color-primary-soft);
  color: var(--color-primary-hover);
  font-weight: 600;
}

.category-nav-link .nav-icon {
  display: inline-block;
  width: 1.5em;
  text-align: center;
  font-weight: 700;
  color: var(--color-primary);
}

.category-nav-link .nav-count {
  font-size: 0.75rem;
  color: var(--color-text-muted);
  background-color: var(--color-surface-2);
  border-radius: 999px;
  padding: 0.05rem 0.45rem;
}

.nav-backdrop {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  background-color: var(--color-backdrop);
  z-index: 35;
}

@media (min-width: 900px) {
  /* desktop: show sidebar inline, hide hamburger */
  .nav-toggle {
    display: none;
  }
  .layout {
    display: grid;
    grid-template-columns: var(--sidebar-width) 1fr;
    gap: 1.5rem;
    align-items: start;
  }
  .category-nav {
    position: sticky;
    top: 4.5rem;
    transform: none;
    box-shadow: none;
    border-right: none;
    background-color: transparent;
    width: auto;
    max-width: none;
    max-height: calc(100vh - 5.5rem);
    z-index: auto;
    padding-top: 0;
  }
  .category-nav-inner {
    padding: 0 0.5rem 1rem 0;
  }
  .nav-backdrop {
    display: none !important;
  }
  .header-inner {
    grid-template-columns: 1fr auto auto;
    grid-template-rows: auto auto;
    align-items: center;
    column-gap: 1rem;
  }
  .site-title {
    grid-column: 1;
    grid-row: 1;
  }
  .site-tagline {
    grid-column: 1;
    grid-row: 2;
  }
  .search-form {
    grid-column: 2;
    grid-row: 1 / span 2;
    margin-top: 0;
    max-width: 360px;
    width: 100%;
  }
  .theme-toggle {
    grid-column: 3;
    grid-row: 1 / span 2;
  }
  .lang-nav {
    grid-column: 3;
    grid-row: 1 / span 2;
    gap: 0.35rem;
  }
  .lang-nav a {
    padding: 0.35rem 0.6rem;
    font-size: 0.8rem;
  }
}

/* ============================================================
 * Common view headings
 * ============================================================ */
.view-title {
  margin-top: 0;
  font-size: 1.2rem;
  border-bottom: 2px solid var(--color-primary);
  padding-bottom: 0.5rem;
  margin-bottom: 1rem;
  color: var(--color-text);
}

.view-title--sub {
  margin-top: 2rem;
}

.view-meta {
  margin: 0 0 1rem;
  font-size: 0.875rem;
  color: var(--color-text-muted);
}

.section-heading {
  font-size: 1rem;
  font-weight: 700;
  margin: 1.5rem 0 0.6rem;
  border-left: 3px solid var(--color-primary);
  padding-left: 0.5rem;
  color: var(--color-text);
}

.hidden {
  display: none !important;
}

/* ============================================================
 * Breadcrumb
 * ============================================================ */
.breadcrumb {
  font-size: 0.85rem;
  color: var(--color-text-muted);
  margin: 0 0 1rem;
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: 0.25rem;
}

.breadcrumb ol {
  list-style: none;
  padding: 0;
  margin: 0;
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.25rem;
}

.breadcrumb li {
  display: flex;
  align-items: center;
}

.breadcrumb li + li::before {
  content: "›";
  margin: 0 0.4rem;
  color: var(--color-text-muted);
}

.breadcrumb a {
  color: var(--color-primary);
  text-decoration: none;
}

.breadcrumb a:hover {
  text-decoration: underline;
}

.breadcrumb .current {
  color: var(--color-text);
  font-weight: 600;
}

/* ============================================================
 * Category tiles (home)
 * ============================================================ */
.category-tile-list {
  list-style: none;
  padding: 0;
  margin: 0 0 2rem;
  display: grid;
  grid-template-columns: 1fr;
  gap: 0.75rem;
}

@media (min-width: 560px) {
  .category-tile-list {
    grid-template-columns: 1fr 1fr;
  }
}

@media (min-width: 900px) {
  .category-tile-list {
    grid-template-columns: 1fr 1fr 1fr;
  }
}

.category-tile {
  background-color: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  box-shadow: var(--shadow-sm);
  transition: box-shadow 0.15s ease, transform 0.15s ease, border-color 0.15s ease;
}

.category-tile:hover,
.category-tile:focus-within {
  box-shadow: var(--shadow-md);
  transform: translateY(-2px);
  border-color: var(--color-primary);
}

.category-tile a {
  display: flex;
  flex-direction: column;
  gap: 0.35rem;
  padding: 1rem 1.1rem 1.1rem;
  color: var(--color-text);
  text-decoration: none;
}

.category-tile-header {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  font-size: 1.05rem;
  font-weight: 700;
}

.category-tile-icon {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 2rem;
  height: 2rem;
  font-size: 1.1rem;
  color: var(--color-primary);
  background-color: var(--color-primary-soft);
  border-radius: 50%;
  font-weight: 700;
}

.category-tile-count {
  margin-left: auto;
  font-size: 0.78rem;
  font-weight: 500;
  color: var(--color-text-muted);
  background-color: var(--color-surface-2);
  border-radius: 999px;
  padding: 0.1rem 0.55rem;
}

.category-tile-desc {
  font-size: 0.85rem;
  color: var(--color-text-muted);
  margin: 0;
  line-height: 1.5;
}

.category-tile-subs {
  font-size: 0.78rem;
  color: var(--color-text-muted);
  margin-top: 0.25rem;
  display: flex;
  flex-wrap: wrap;
  gap: 0.25rem 0.4rem;
}

.category-tile-subs span {
  background-color: var(--color-primary-soft);
  color: var(--color-primary-hover);
  border-radius: 999px;
  padding: 0.05rem 0.5rem;
  font-size: 0.72rem;
  border: 1px solid var(--color-primary-soft-border);
}

/* ============================================================
 * Subcategory tiles (category page)
 * ============================================================ */
.subcategory-tile-list {
  list-style: none;
  padding: 0;
  margin: 0 0 1.25rem;
  display: grid;
  grid-template-columns: 1fr;
  gap: 0.5rem;
}

@media (min-width: 560px) {
  .subcategory-tile-list {
    grid-template-columns: 1fr 1fr;
  }
}

@media (min-width: 900px) {
  .subcategory-tile-list {
    grid-template-columns: 1fr 1fr 1fr;
  }
}

.subcategory-tile a {
  display: flex;
  flex-direction: column;
  gap: 0.2rem;
  padding: 0.7rem 0.85rem;
  background-color: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  text-decoration: none;
  color: var(--color-text);
  transition: border-color 0.15s ease, box-shadow 0.15s ease;
}

.subcategory-tile a:hover {
  border-color: var(--color-primary);
  box-shadow: var(--shadow-sm);
}

.subcategory-tile-name {
  font-weight: 600;
  font-size: 0.95rem;
  display: flex;
  align-items: center;
  gap: 0.4rem;
}

.subcategory-tile-count {
  margin-left: auto;
  font-size: 0.75rem;
  color: var(--color-text-muted);
  background-color: var(--color-surface-2);
  border-radius: 999px;
  padding: 0.05rem 0.5rem;
}

.subcategory-tile-desc {
  font-size: 0.8rem;
  color: var(--color-text-muted);
}

/* ============================================================
 * Empty state
 * ============================================================ */
.empty-state {
  background-color: var(--color-surface);
  border: 1px dashed var(--color-border);
  border-radius: var(--radius);
  padding: 2rem 1.5rem;
  text-align: center;
  color: var(--color-text-muted);
}

.empty-state-title {
  font-weight: 700;
  font-size: 1.05rem;
  color: var(--color-text);
  margin: 0 0 0.5rem;
}

.empty-state-message {
  margin: 0 0 1rem;
  font-size: 0.9rem;
  line-height: 1.6;
}

.empty-state-action {
  display: inline-block;
  padding: 0.45rem 1rem;
  border-radius: var(--radius);
  background-color: var(--color-primary);
  color: var(--color-primary-on);
  text-decoration: none;
  font-size: 0.9rem;
  font-weight: 500;
}

.empty-state-action:hover {
  background-color: var(--color-primary-hover);
}

/* ============================================================
 * Formula cards (list view & category list)
 * ============================================================ */
.formula-list {
  list-style: none;
  padding: 0;
  margin: 0;
  display: grid;
  grid-template-columns: 1fr;
  gap: 0.6rem;
}

.formula-list-item {
  background-color: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  box-shadow: var(--shadow-sm);
  transition: box-shadow 0.15s ease, transform 0.15s ease;
}

.formula-list-item:hover,
.formula-list-item:focus-within {
  box-shadow: var(--shadow-md);
  transform: translateY(-1px);
}

.formula-list-link {
  display: flex;
  flex-direction: column;
  gap: 0.25rem;
  padding: 0.85rem 1rem;
  color: var(--color-text);
  text-decoration: none;
}

.formula-list-link:hover {
  color: var(--color-primary-hover);
}

.formula-list-name {
  font-size: 1.05rem;
  font-weight: 600;
}

.formula-list-meta {
  font-size: 0.8rem;
  color: var(--color-text-muted);
  display: flex;
  gap: 0.5rem;
  flex-wrap: wrap;
}

.formula-list-description {
  font-size: 0.85rem;
  color: var(--color-text-muted);
  margin: 0.15rem 0 0;
}

.formula-list-expression {
  font-size: 0.95rem;
  color: var(--color-text);
  background-color: var(--color-surface-2);
  border-radius: 4px;
  padding: 0.25rem 0.55rem;
  display: inline-block;
  margin-top: 0.35rem;
  align-self: flex-start;
  max-width: 100%;
  overflow-x: auto;
}

.formula-list-expression .katex {
  font-size: 1em;
}

@media (min-width: 640px) {
  .formula-list {
    grid-template-columns: 1fr 1fr;
  }
}

/* ============================================================
 * Detail view
 * ============================================================ */
.back-button {
  display: inline-block;
  background: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  padding: 0.4rem 0.8rem;
  font-size: 0.9rem;
  color: var(--color-text);
  text-decoration: none;
  cursor: pointer;
  margin-bottom: 1rem;
}

.back-button:hover {
  background-color: var(--color-primary-soft);
  border-color: var(--color-primary);
  color: var(--color-primary);
}

.formula-detail {
  background-color: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  box-shadow: var(--shadow-sm);
  padding: 1.25rem 1.25rem 1.5rem;
}

.formula-detail h2 {
  margin-top: 0;
  font-size: 1.5rem;
  color: var(--color-text);
}

.formula-detail .meta {
  font-size: 0.85rem;
  color: var(--color-text-muted);
  margin-bottom: 1rem;
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
}

.formula-detail .badge {
  background-color: var(--color-surface-2);
  border-radius: 999px;
  padding: 0.15rem 0.65rem;
  font-size: 0.75rem;
  color: var(--color-text);
  border: 1px solid var(--color-border);
}

.formula-detail .badge.tag {
  background-color: var(--color-accent);
  color: var(--color-text);
  border-color: var(--color-accent-strong);
}

:root[data-theme="dark"] .formula-detail .badge.tag {
  /* Use brighter foreground on amber-700 */
  color: #fffbeb;
}

.formula-detail .description {
  margin: 0.5rem 0 1.25rem;
  color: var(--color-text);
}

.formula-detail .section-heading {
  font-size: 1rem;
  font-weight: 700;
  margin: 1.25rem 0 0.5rem;
  border-left: 3px solid var(--color-primary);
  padding-left: 0.5rem;
  color: var(--color-text);
}

/* 数式メイン表示ブロック */
.expression-block {
  background-color: var(--color-section-bg);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  padding: 1rem 1.25rem;
  text-align: center;
  overflow-x: auto;
  -webkit-overflow-scrolling: touch;
  font-size: 1.15rem;
  color: var(--color-text);
}

.expression-block .katex-display {
  margin: 0;
  font-size: 1.35em;
}

.expression-block .katex {
  font-size: 1.35em;
  /* KaTeX inherits color from this container; ensure dark theme contrast */
  color: var(--color-text);
}

.expression-plain-fallback {
  font-family: "Cambria Math", "Latin Modern Math", "STIX Two Math", "SF Mono",
               Menlo, Consolas, "Courier New", monospace;
  font-size: 1.1rem;
  color: var(--color-text);
}

/* Make sure KaTeX rendered math always uses the current theme foreground */
.katex,
.katex-display {
  color: inherit;
}

/* 記号テーブル */
.symbol-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.95rem;
  color: var(--color-text);
}

.symbol-table th, .symbol-table td {
  border: 1px solid var(--color-border);
  padding: 0.55rem 0.65rem;
  text-align: left;
  vertical-align: middle;
}

.symbol-table thead th {
  background-color: var(--color-surface-2);
  color: var(--color-text);
  font-size: 0.85rem;
  font-weight: 700;
}

.symbol-table .col-symbol {
  width: 18%;
  font-weight: 600;
  text-align: center;
}

.symbol-table .col-symbol .katex {
  font-size: 1.1em;
}

.symbol-table .col-unit {
  width: 22%;
  white-space: nowrap;
}

.symbol-table .col-unit .katex {
  font-size: 1em;
}

@media (max-width: 480px) {
  .symbol-table {
    font-size: 0.88rem;
  }
  .symbol-table th, .symbol-table td {
    padding: 0.4rem 0.45rem;
  }
  .symbol-table .col-symbol {
    width: 22%;
  }
}

/* 別名・タグ */
.aliases, .tags {
  list-style: none;
  padding: 0;
  margin: 0;
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
}

.aliases li, .tags li {
  background-color: var(--color-surface-2);
  color: var(--color-text);
  border: 1px solid var(--color-border);
  border-radius: 4px;
  font-size: 0.8rem;
  padding: 0.15rem 0.5rem;
}

/* 例題 */
.examples {
  display: flex;
  flex-direction: column;
  gap: 1rem;
}

.example-card {
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  padding: 0.85rem 1rem 1rem;
  background-color: var(--color-surface);
}

.example-card + .example-card {
  margin-top: 0.25rem;
}

.example-title {
  font-size: 0.9rem;
  font-weight: 700;
  color: var(--color-primary);
  margin: 0 0 0.5rem;
}

.example-problem {
  margin: 0 0 0.75rem;
  font-weight: 500;
  color: var(--color-text);
}

.example-section {
  border-radius: 6px;
  padding: 0.55rem 0.75rem;
  margin-bottom: 0.6rem;
  color: var(--color-text);
}

.example-section .label {
  display: inline-block;
  font-size: 0.75rem;
  font-weight: 700;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  color: var(--color-text-muted);
  margin-bottom: 0.35rem;
}

.example-given {
  background-color: var(--color-given-bg);
  border-left: 3px solid var(--color-given-border);
}

.example-given ul {
  list-style: none;
  padding: 0;
  margin: 0;
  display: flex;
  flex-direction: column;
  gap: 0.2rem;
}

.example-given li {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
  align-items: center;
  font-size: 0.95rem;
}

.example-given li .given-label {
  color: var(--color-text-muted);
  font-size: 0.85rem;
  min-width: 4em;
}

.example-steps {
  background-color: var(--color-step-bg);
  border-left: 3px solid var(--color-step-border);
}

.example-steps ol {
  list-style: decimal inside;
  padding: 0;
  margin: 0;
  display: flex;
  flex-direction: column;
  gap: 0.4rem;
}

.example-steps ol li {
  padding-left: 0.25rem;
}

/* Force step KaTeX to scroll horizontally if too wide */
.example-steps .katex-display,
.example-given .katex-display,
.example-answer .katex-display {
  margin: 0.15rem 0;
  overflow-x: auto;
  -webkit-overflow-scrolling: touch;
}

.example-answer {
  background-color: var(--color-answer-bg);
  border-left: 3px solid var(--color-answer-border);
}

.example-answer .label {
  color: var(--color-success-fg);
}

/* In dark mode, examples contain inverted colors so explicitly bump
 * step/given label readability */
:root[data-theme="dark"] .example-section .label {
  color: var(--color-text);
}
:root[data-theme="dark"] .example-given li .given-label {
  color: var(--color-text);
}

/* 関連公式カード */
.related-list {
  list-style: none;
  padding: 0;
  margin: 0;
  display: grid;
  grid-template-columns: 1fr;
  gap: 0.5rem;
}

@media (min-width: 560px) {
  .related-list {
    grid-template-columns: 1fr 1fr;
  }
}

.related-list li a {
  display: flex;
  flex-direction: column;
  gap: 0.2rem;
  background-color: var(--color-primary-soft);
  border: 1px solid var(--color-primary-soft-border);
  border-radius: var(--radius);
  font-size: 0.9rem;
  padding: 0.5rem 0.7rem;
  color: var(--color-primary);
  text-decoration: none;
  transition: background-color 0.15s ease;
}

.related-list li a:hover {
  background-color: var(--color-primary-soft-border);
}

:root[data-theme="dark"] .related-list li a {
  color: var(--color-primary-hover);
}

.related-name {
  font-weight: 600;
}

.related-expr {
  font-size: 0.85rem;
  color: var(--color-text-muted);
  overflow-x: auto;
  -webkit-overflow-scrolling: touch;
}

.related-expr .katex {
  font-size: 1em;
  color: var(--color-text-muted);
}

.error-message {
  color: var(--color-error);
  font-weight: 600;
}

.error-hint code {
  background-color: var(--color-surface-2);
  color: var(--color-text);
  padding: 0.1rem 0.35rem;
  border-radius: 3px;
  font-size: 0.85em;
}

.site-footer {
  border-top: 1px solid var(--color-border);
  background-color: var(--color-surface);
  padding: 1rem 0;
  color: var(--color-text-muted);
  text-align: center;
}

/* ============================================================
 * KaTeX overflow safety
 * ============================================================ */
.katex-display {
  overflow-x: auto;
  overflow-y: hidden;
  -webkit-overflow-scrolling: touch;
  padding: 0.25rem 0;
}

.katex-display::-webkit-scrollbar {
  height: 6px;
}

.katex-display::-webkit-scrollbar-thumb {
  background-color: var(--color-border-strong);
  border-radius: 3px;
}

@media (max-width: 480px) {
  .formula-detail {
    padding: 1rem 0.85rem 1.25rem;
  }
  .expression-block {
    padding: 0.85rem 0.5rem;
  }
  .expression-block .katex {
    font-size: 1.2em;
  }
  .expression-block .katex-display {
    font-size: 1.2em;
  }
}

/* lock body scroll while drawer is open (mobile) */
body.nav-open {
  overflow: hidden;
}

/* ============================================================
 * Tag cloud / Tag chips
 * ============================================================ */
.tag-cloud {
  list-style: none;
  padding: 0;
  margin: 0;
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem 0.5rem;
}

.tag-cloud li {
  display: inline-flex;
}

.tag-chip {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
  padding: 0.3rem 0.65rem;
  background-color: var(--color-primary-soft);
  border: 1px solid var(--color-primary-soft-border);
  border-radius: 999px;
  color: var(--color-primary-hover);
  text-decoration: none;
  font-size: 0.85rem;
  font-weight: 500;
  transition: background-color 0.12s ease, transform 0.12s ease;
}

.tag-chip:hover,
.tag-chip:focus-visible {
  background-color: var(--color-primary-soft-border);
  transform: translateY(-1px);
  outline: 3px solid var(--color-focus-ring);
  outline-offset: 2px;
}

:root[data-theme="dark"] .tag-chip {
  /* In dark, use bright text for contrast on deep blue */
  color: var(--color-text);
}

.tag-chip .tag-count {
  font-size: 0.72rem;
  background-color: var(--color-surface);
  border-radius: 999px;
  padding: 0.05rem 0.5rem;
  color: var(--color-text-muted);
  font-weight: 600;
  border: 1px solid var(--color-border);
}

/* Tags rendered as inline links in formula detail meta */
.formula-detail .meta a.badge {
  text-decoration: none;
  cursor: pointer;
}

.formula-detail .meta a.badge:hover,
.formula-detail .meta a.badge:focus-visible {
  background-color: var(--color-accent-strong);
  outline: none;
}

/* ============================================================
 * Search result page
 * ============================================================ */
#search-meta strong {
  color: var(--color-text);
  font-weight: 700;
}

.search-snippet {
  font-size: 0.85rem;
  color: var(--color-text-muted);
  margin: 0.2rem 0 0;
  line-height: 1.5;
  word-break: break-word;
}

.search-empty-suggestions {
  display: flex;
  flex-direction: column;
  gap: 0.5rem;
  margin: 0.75rem 0 1rem;
  align-items: center;
}

.search-empty-suggestions p {
  margin: 0;
  font-size: 0.9rem;
  color: var(--color-text-muted);
}

.search-empty-suggestions ul {
  list-style: none;
  padding: 0;
  margin: 0;
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
  justify-content: center;
}

.search-empty-suggestions ul li a {
  display: inline-block;
  padding: 0.3rem 0.7rem;
  border-radius: 999px;
  background-color: var(--color-primary-soft);
  color: var(--color-primary-hover);
  border: 1px solid var(--color-primary-soft-border);
  text-decoration: none;
  font-size: 0.85rem;
}

.search-empty-suggestions ul li a:hover {
  background-color: var(--color-primary-soft-border);
}

.search-empty-categories {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
  justify-content: center;
  margin-bottom: 1rem;
}

.search-empty-categories a {
  display: inline-flex;
  align-items: center;
  gap: 0.3rem;
  padding: 0.3rem 0.7rem;
  border-radius: 999px;
  background-color: var(--color-surface-2);
  color: var(--color-text);
  text-decoration: none;
  font-size: 0.85rem;
  border: 1px solid var(--color-border);
}

.search-empty-categories a:hover {
  background-color: var(--color-primary-soft);
  color: var(--color-primary-hover);
  border-color: var(--color-primary-soft-border);
}

@media (max-width: 480px) {
  .search-input {
    font-size: 16px; /* prevent iOS zoom */
  }
  .theme-toggle-label {
    /* Save horizontal space on tiny screens — keep just the icon */
    display: none;
  }
  .theme-toggle {
    padding: 0.4rem 0.5rem;
  }
}

@media (max-width: 360px) {
  /* 320px: tighten paddings further */
  .container {
    padding: 0 0.65rem;
  }
  .site-title {
    font-size: 1.05rem;
  }
  .site-tagline {
    font-size: 0.78rem;
  }
  .formula-detail h2 {
    font-size: 1.25rem;
  }
  .view-title {
    font-size: 1.05rem;
  }
  .expression-block {
    padding: 0.75rem 0.4rem;
    font-size: 1.05rem;
  }
  .expression-block .katex,
  .expression-block .katex-display {
    font-size: 1.1em;
  }
  .formula-detail {
    padding: 0.85rem 0.7rem 1.1rem;
  }
}

/* ============================================================
 * Sprint 6: Detail title row (formula name + favorite toggle)
 * ============================================================ */
.formula-detail-title-row {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 0.75rem;
  flex-wrap: wrap;
  margin-bottom: 0.25rem;
}

.formula-detail-title-row h2 {
  margin: 0;
  flex: 1 1 auto;
  min-width: 0;
}

/* ============================================================
 * Sprint 6: Favorite toggle (detail view star button)
 * ============================================================ */
.favorite-toggle {
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
  padding: 0.45rem 0.85rem;
  background-color: var(--color-surface);
  color: var(--color-text);
  border: 1px solid var(--color-border);
  border-radius: 999px;
  font-size: 0.9rem;
  font-weight: 600;
  cursor: pointer;
  white-space: nowrap;
  transition: background-color 0.15s ease, border-color 0.15s ease, color 0.15s ease, transform 0.12s ease;
  flex: 0 0 auto;
}

.favorite-toggle:hover {
  background-color: var(--color-primary-soft);
  border-color: var(--color-primary);
  color: var(--color-primary);
}

.favorite-toggle:active {
  transform: scale(0.96);
}

.favorite-toggle .favorite-star {
  font-size: 1.1rem;
  line-height: 1;
  color: var(--color-text-muted);
  transition: color 0.15s ease;
}

.favorite-toggle:hover .favorite-star {
  color: var(--color-primary);
}

.favorite-toggle.is-on {
  background-color: var(--color-accent);
  color: var(--color-mark-fg);
  border-color: var(--color-accent-strong);
}

.favorite-toggle.is-on .favorite-star {
  color: #d97706; /* amber-600, gold-like */
}

:root[data-theme="dark"] .favorite-toggle.is-on {
  background-color: var(--color-accent-strong);
  color: #1f2937;
  border-color: var(--color-mark-bg);
}

:root[data-theme="dark"] .favorite-toggle.is-on .favorite-star {
  color: #fde68a; /* gold on dark */
}

/* ============================================================
 * Sprint 6: Copy buttons (next to expression block)
 * ============================================================ */
.copy-toolbar {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
  justify-content: flex-end;
  margin-top: 0.4rem;
  margin-bottom: 0.6rem;
}

.copy-button {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
  padding: 0.32rem 0.7rem;
  font-size: 0.82rem;
  font-weight: 500;
  background-color: var(--color-surface);
  color: var(--color-text);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  cursor: pointer;
  transition: background-color 0.15s ease, border-color 0.15s ease, color 0.15s ease;
}

.copy-button:hover {
  background-color: var(--color-primary-soft);
  border-color: var(--color-primary);
  color: var(--color-primary);
}

.copy-button .copy-button-icon {
  font-size: 0.95rem;
  line-height: 1;
}

.copy-button.is-copied {
  background-color: var(--color-primary-soft);
  border-color: var(--color-primary);
  color: var(--color-primary-hover);
}

/* ============================================================
 * Sprint 6: Toast notifications
 * ============================================================ */
.toast-region {
  position: fixed;
  bottom: 1.25rem;
  left: 50%;
  transform: translateX(-50%);
  z-index: 200;
  display: flex;
  flex-direction: column-reverse;
  align-items: center;
  gap: 0.4rem;
  pointer-events: none;
  max-width: calc(100% - 2rem);
}

.toast {
  pointer-events: auto;
  background-color: var(--color-text-strong);
  color: var(--color-text-inverse);
  padding: 0.55rem 1rem;
  border-radius: var(--radius);
  font-size: 0.9rem;
  font-weight: 500;
  box-shadow: var(--shadow-md);
  max-width: 32rem;
  opacity: 0;
  transform: translateY(8px);
  transition: opacity 0.18s ease, transform 0.18s ease;
}

.toast.is-visible {
  opacity: 1;
  transform: translateY(0);
}

.toast.is-leaving {
  opacity: 0;
  transform: translateY(-4px);
}

.toast--success {
  background-color: var(--color-success-fg);
  color: #ffffff;
}

.toast--error {
  background-color: var(--color-error);
  color: #ffffff;
}

.toast--warn {
  background-color: var(--color-accent-strong);
  color: var(--color-mark-fg);
}

:root[data-theme="dark"] .toast {
  background-color: var(--color-surface);
  color: var(--color-text);
  border: 1px solid var(--color-border);
}

:root[data-theme="dark"] .toast--success {
  background-color: var(--color-success-fg);
  color: #042f1d;
  border-color: var(--color-success-fg);
}

:root[data-theme="dark"] .toast--error {
  background-color: var(--color-error);
  color: #1f0c0c;
  border-color: var(--color-error);
}

:root[data-theme="dark"] .toast--warn {
  background-color: var(--color-mark-bg);
  color: var(--color-mark-fg);
  border-color: var(--color-mark-bg);
}

/* ============================================================
 * Sprint 6: Favorites list cards (re-uses .formula-list-item layout)
 *   Adds a small "解除" button anchored at the top-right corner.
 * ============================================================ */
.favorites-view #favorites-list .formula-list-item,
#favorites-list .formula-list-item {
  position: relative;
}

.favorite-remove {
  position: absolute;
  top: 0.5rem;
  right: 0.5rem;
  z-index: 2;
  background-color: var(--color-surface-2);
  color: var(--color-text);
  border: 1px solid var(--color-border);
  border-radius: 999px;
  padding: 0.2rem 0.65rem;
  font-size: 0.72rem;
  font-weight: 600;
  cursor: pointer;
  transition: background-color 0.15s ease, border-color 0.15s ease, color 0.15s ease;
}

.favorite-remove:hover,
.favorite-remove:focus-visible {
  background-color: var(--color-error);
  color: #ffffff;
  border-color: var(--color-error);
  outline: none;
}

/* ============================================================
 * Sprint 6: Recent history (sidebar widget)
 * ============================================================ */
.nav-recent {
  margin-top: 0.5rem;
}

.nav-recent .category-nav-title {
  margin-top: 1.25rem;
}

.nav-recent-link {
  font-size: 0.85rem !important;
  padding: 0.4rem 0.6rem !important;
}

.nav-recent-link .nav-icon {
  width: 1.2em !important;
  font-size: 0.75rem;
  color: var(--color-text-muted) !important;
}

.nav-recent-link .nav-label {
  flex: 1 1 auto;
  min-width: 0;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

/* Recent history block on the home view */
.home-recent-history {
  margin-top: 1.5rem;
  margin-bottom: 1.5rem;
}

/* ============================================================
 * Reduced motion preference (a11y)
 * ============================================================ */
@media (prefers-reduced-motion: reduce) {
  *,
  *::before,
  *::after {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.01ms !important;
    scroll-behavior: auto !important;
  }
}

/* ============================================================
 * Sprint 7: alternate units + external reference links
 * ============================================================ */

/* Customary unit list shown under the SI unit in the symbol table */
.unit-alternatives {
  display: block;
  margin-top: 0.25rem;
  font-size: 0.78rem;
  color: var(--color-text-muted);
  white-space: normal;
  word-break: break-word;
  line-height: 1.45;
}

.unit-alternatives-label {
  font-weight: 600;
  margin-right: 0.15rem;
  color: var(--color-text-muted);
}

.unit-alternative {
  display: inline-block;
}

:root[data-theme="dark"] .unit-alternatives,
:root[data-theme="dark"] .unit-alternatives-label,
:root[data-theme="dark"] .unit-alternative {
  /* Bump readability of muted text on dark backgrounds */
  color: var(--color-text);
  opacity: 0.78;
}

/* External references list shown under the related-formula section */
.reference-list {
  list-style: none;
  padding: 0;
  margin: 0.25rem 0 0;
  display: flex;
  flex-direction: column;
  gap: 0.35rem;
}

.reference-list li {
  margin: 0;
}

.reference-list .reference-link {
  display: inline-flex;
  align-items: center;
  gap: 0.15rem;
  color: var(--color-primary);
  text-decoration: underline;
  font-size: 0.92rem;
  word-break: break-word;
}

.reference-list .reference-link:hover,
.reference-list .reference-link:focus-visible {
  text-decoration: none;
  background-color: var(--color-primary-soft);
  border-radius: 3px;
  padding: 0 0.15rem;
}

:root[data-theme="dark"] .reference-list .reference-link {
  color: var(--color-primary-hover);
}

.reference-link-icon {
  font-size: 0.85em;
  opacity: 0.85;
}

/* ============================================================
 * Print styles (Sprint 5 AC#5)
 *
 *   Hide site chrome (header, sidebar, drawer, nav, footer) and let
 *   the formula detail flow on the page. Encourage examples and the
 *   symbol table to stay together with break-inside: avoid.
 * ============================================================ */
@media print {
  /* Force light palette for print to maximize ink contrast */
  :root,
  :root[data-theme="dark"],
  :root[data-theme="light"] {
    --color-bg: #ffffff;
    --color-surface: #ffffff;
    --color-surface-2: #f1f5f9;
    --color-surface-3: #e2e8f0;
    --color-text: #000000;
    --color-text-strong: #000000;
    --color-text-muted: #333333;
    --color-border: #94a3b8;
    --color-border-strong: #475569;
    --color-primary: #1d4ed8;
    --color-primary-hover: #1d4ed8;
    --color-primary-soft: #f1f5f9;
    --color-primary-soft-border: #cbd5e1;
    --color-accent: #fde68a;
    --color-accent-strong: #facc15;
    --color-mark-bg: #fde68a;
    --color-mark-fg: #000000;
    --color-section-bg: #ffffff;
    --color-given-bg: #f3f4f6;
    --color-given-border: #94a3b8;
    --color-step-bg: #f9fafb;
    --color-step-border: #94a3b8;
    --color-answer-bg: #f3f4f6;
    --color-answer-border: #94a3b8;
    --shadow-sm: none;
    --shadow-md: none;
    --shadow-lg: none;
  }

  body {
    background: #ffffff !important;
    color: #000000 !important;
  }

  /* Hide everything that is chrome, not content */
  .skip-link,
  .site-header,
  .category-nav,
  .nav-backdrop,
  .nav-toggle,
  .theme-toggle,
  .breadcrumb,
  .site-footer,
  .back-button,
  #search-form,
  .search-form,
  .search-suggest,
  /* Sprint 6: hide interactive controls (copy, favorite, toast) when printing */
  .favorite-toggle,
  .favorite-remove,
  .copy-toolbar,
  .toast-region {
    display: none !important;
  }

  /* When printing, the title row no longer has the favorite button — strip its
     flex layout so the heading flows naturally. */
  .formula-detail-title-row {
    display: block !important;
  }

  /* Layout reset for print */
  .layout {
    display: block !important;
    grid-template-columns: none !important;
    padding: 0 !important;
    min-height: 0 !important;
  }
  .container {
    max-width: 100% !important;
    padding: 0 !important;
  }
  .site-main {
    width: 100%;
  }

  /* Show formula detail in a clean printable form */
  .formula-detail {
    box-shadow: none !important;
    border: 1px solid #cbd5e1 !important;
    padding: 0.5cm !important;
    background: #ffffff !important;
  }

  .view-title,
  .formula-detail h2,
  .section-heading {
    color: #000000 !important;
    page-break-after: avoid;
    break-after: avoid;
  }

  .formula-detail h2 {
    font-size: 18pt;
  }
  .section-heading {
    font-size: 12pt;
    border-left-color: #1d4ed8 !important;
  }

  /* Keep math, symbol table, and example cards from splitting awkwardly */
  .expression-block,
  .symbol-table,
  .example-card {
    break-inside: avoid;
    page-break-inside: avoid;
  }

  .expression-block {
    border-color: #94a3b8 !important;
    background-color: #ffffff !important;
  }

  /* If a detail has many examples, ensure each one starts cleanly */
  .example-card {
    border: 1px solid #cbd5e1 !important;
    margin-bottom: 0.4cm !important;
  }
  /* But avoid forcing a page break before the FIRST example — only later ones */
  .example-card + .example-card {
    page-break-before: auto;
    break-before: auto;
  }

  /* Symbol table: ensure header row repeats on each page */
  .symbol-table {
    page-break-inside: auto;
  }
  .symbol-table thead {
    display: table-header-group;
  }
  .symbol-table tr {
    page-break-inside: avoid;
  }

  /* Show the URL behind external links for paper readers */
  a[href^="http"]:not([href*="cdn.jsdelivr"])::after {
    content: " (" attr(href) ")";
    font-size: 0.85em;
    color: #444;
  }

  /* Hide tag links and aliases-as-links underline noise */
  .formula-detail .meta a.badge {
    text-decoration: none !important;
    color: #000000 !important;
  }

  /* Related list shouldn't take half a page if on its own */
  .related-list {
    break-inside: avoid;
  }

  /* Sprint 7: keep alternate units and references on the printed page */
  .unit-alternatives,
  .unit-alternatives-label,
  .unit-alternative {
    color: #000000 !important;
    opacity: 1 !important;
  }

  .reference-list {
    break-inside: avoid;
  }

  .reference-list .reference-link {
    color: #1d4ed8 !important;
  }

  /* The decorative ↗ glyph is meaningless on paper (URL is appended),
     so suppress it. */
  .reference-link-icon {
    display: none !important;
  }

  mark {
    background-color: #fde68a !important;
    color: #000000 !important;
    box-shadow: none !important;
  }

  /* Sprint 8: hide the interactive calculator block when printing —
     the user is reading the formula, not solving it on paper. */
  .calculator,
  .notfound-search,
  .notfound-actions {
    display: none !important;
  }
}

/* ============================================================
 * Sprint 8: Simple calculator
 * ============================================================ */
.calculator {
  margin-top: 1.5rem;
  background-color: var(--color-section-bg);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  padding: 1rem 1.1rem 1.2rem;
}

.calculator .section-heading {
  margin-top: 0;
}

.calculator-help {
  margin: 0 0 0.6rem;
  font-size: 0.9rem;
  color: var(--color-text-muted);
  line-height: 1.55;
}

.calculator-help--note {
  font-size: 0.82rem;
  font-style: italic;
}

.calculator-form {
  display: flex;
  flex-direction: column;
  gap: 0.65rem;
}

.calculator-row {
  display: flex;
  flex-direction: column;
  gap: 0.3rem;
}

.calculator-label {
  font-size: 0.92rem;
  font-weight: 600;
  color: var(--color-text);
}

.calculator-input-group {
  display: flex;
  gap: 0.4rem;
  align-items: stretch;
  flex-wrap: wrap;
}

.calculator-input {
  flex: 1 1 auto;
  min-width: 0;
  padding: 0.5rem 0.65rem;
  font-size: 1rem;
  background-color: var(--color-surface);
  color: var(--color-text);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
}

.calculator-input::placeholder {
  color: var(--color-text-muted);
  opacity: 0.7;
}

.calculator-input:focus,
.calculator-input:focus-visible {
  border-color: var(--color-primary);
  outline: 3px solid var(--color-focus-ring);
  outline-offset: 1px;
}

.calculator-unit {
  flex: 0 0 auto;
  min-width: 6.5rem;
  padding: 0.5rem 0.55rem;
  font-size: 0.95rem;
  background-color: var(--color-surface);
  color: var(--color-text);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
}

.calculator-unit:focus,
.calculator-unit:focus-visible {
  outline: 3px solid var(--color-focus-ring);
  outline-offset: 1px;
}

.calculator-actions {
  display: flex;
  gap: 0.55rem;
  margin-top: 0.45rem;
  flex-wrap: wrap;
}

.calculator-button {
  display: inline-block;
  padding: 0.5rem 1rem;
  border-radius: var(--radius);
  border: 1px solid var(--color-border);
  background-color: var(--color-surface);
  color: var(--color-text);
  font-size: 0.95rem;
  font-weight: 500;
  cursor: pointer;
}

.calculator-button:hover {
  background-color: var(--color-primary-soft);
  border-color: var(--color-primary);
  color: var(--color-primary);
}

.calculator-button--primary {
  background-color: var(--color-primary);
  color: var(--color-primary-on);
  border-color: var(--color-primary);
}

.calculator-button--primary:hover {
  background-color: var(--color-primary-hover);
  color: var(--color-primary-on);
  border-color: var(--color-primary-hover);
}

.calculator-result {
  margin-top: 0.85rem;
  padding: 0.75rem 0.85rem;
  background-color: var(--color-surface);
  border: 1px solid var(--color-border);
  border-left: 4px solid var(--color-border);
  border-radius: var(--radius);
  font-size: 0.95rem;
}

.calculator-result-empty {
  margin: 0;
  color: var(--color-text-muted);
  font-style: italic;
}

.calculator-result--ok {
  border-left-color: var(--color-success-fg, #047857);
  background-color: var(--color-answer-bg);
}

.calculator-result--error {
  border-left-color: var(--color-error);
  background-color: var(--color-step-bg);
}

.calculator-result-head {
  margin: 0 0 0.4rem;
  font-size: 1rem;
  color: var(--color-text);
}

.calculator-result-symbol {
  font-weight: 700;
  color: var(--color-text-strong);
}

.calculator-result-value {
  font-family: ui-monospace, SFMono-Regular, "Menlo", monospace;
  font-weight: 600;
  color: var(--color-text-strong);
}

.calculator-result-alt-label {
  margin: 0.5rem 0 0.2rem;
  font-size: 0.82rem;
  color: var(--color-text-muted);
}

.calculator-result-alt {
  list-style: none;
  padding: 0;
  margin: 0;
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem 1rem;
  font-size: 0.85rem;
  color: var(--color-text-muted);
}

.calculator-result-alt li {
  font-family: ui-monospace, SFMono-Regular, "Menlo", monospace;
}

.calculator-error-title {
  margin: 0 0 0.25rem;
  font-weight: 700;
  color: var(--color-error);
}

.calculator-error-message {
  margin: 0;
  color: var(--color-text);
  font-size: 0.92rem;
  line-height: 1.5;
}

@media (min-width: 640px) {
  .calculator-row {
    flex-direction: row;
    align-items: center;
    gap: 0.6rem;
  }
  .calculator-label {
    flex: 0 0 11rem;
    margin: 0;
  }
}

/* ============================================================
 * Sprint 8: Sitemap view
 * ============================================================ */
.sitemap-content {
  display: flex;
  flex-direction: column;
  gap: 1.4rem;
  margin-top: 1rem;
}

.sitemap-category {
  background-color: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  padding: 0.9rem 1rem 1rem;
  box-shadow: var(--shadow-sm);
}

.sitemap-category-title {
  display: inline-flex;
  align-items: baseline;
  gap: 0.45rem;
  text-decoration: none;
  color: var(--color-text-strong);
  font-size: 1.15rem;
  font-weight: 700;
  margin-bottom: 0.5rem;
}

.sitemap-category-title:hover {
  color: var(--color-primary);
  text-decoration: underline;
}

.sitemap-category-icon {
  font-size: 1.1rem;
}

.sitemap-category-count {
  font-size: 0.82rem;
  color: var(--color-text-muted);
  font-weight: 500;
}

.sitemap-subcategory {
  margin-top: 0.65rem;
  padding-top: 0.55rem;
  border-top: 1px dashed var(--color-border);
}

.sitemap-subcategory:first-of-type {
  border-top: none;
  padding-top: 0;
}

.sitemap-subcategory-title {
  font-weight: 600;
  font-size: 0.95rem;
  color: var(--color-text);
  text-decoration: none;
  display: inline-flex;
  align-items: baseline;
  gap: 0.35rem;
  margin-bottom: 0.35rem;
}

a.sitemap-subcategory-title:hover {
  color: var(--color-primary);
  text-decoration: underline;
}

.sitemap-subcategory-count {
  font-size: 0.78rem;
  color: var(--color-text-muted);
  font-weight: 400;
}

.sitemap-formula-list {
  list-style: none;
  padding: 0;
  margin: 0.25rem 0 0;
  display: grid;
  grid-template-columns: 1fr;
  gap: 0.25rem;
}

@media (min-width: 640px) {
  .sitemap-formula-list {
    grid-template-columns: 1fr 1fr;
  }
}

.sitemap-formula-link {
  display: inline-flex;
  align-items: baseline;
  gap: 0.5rem;
  padding: 0.25rem 0.4rem;
  border-radius: 4px;
  text-decoration: none;
  color: var(--color-primary);
  font-size: 0.92rem;
  line-height: 1.4;
}

.sitemap-formula-link:hover,
.sitemap-formula-link:focus-visible {
  background-color: var(--color-primary-soft);
  text-decoration: underline;
}

.sitemap-formula-name {
  font-weight: 600;
}

.sitemap-formula-expr {
  color: var(--color-text-muted);
  font-size: 0.82rem;
  font-family: ui-monospace, SFMono-Regular, "Menlo", monospace;
  /* Sprint 13: long expressions could otherwise blow out the row width
     and force horizontal scroll on the whole sitemap; cap each preview
     and let it scroll independently. */
  display: inline-block;
  max-width: 100%;
  vertical-align: bottom;
  overflow-x: auto;
  overflow-y: hidden;
}

/* Sprint 13: lazy-render placeholder. While the node is queued for
   KaTeX rendering it shows expression_plain (friendly ASCII) so the
   page is usable before KaTeX runs. The wrapper class
   (.formula-list-expression / .sitemap-formula-expr) already styles
   font/colour; we only ensure long previews don't blow out width. */
.tex-lazy {
  white-space: nowrap;
}

/* ============================================================
 * Sprint 8: Help / 使い方 page
 * ============================================================ */
.help-content {
  display: flex;
  flex-direction: column;
  gap: 1.2rem;
  margin-top: 1rem;
}

.help-section {
  background-color: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  padding: 0.9rem 1.1rem 1rem;
  box-shadow: var(--shadow-sm);
}

.help-section .section-heading {
  margin-top: 0;
  font-size: 1.05rem;
}

.help-section p {
  margin: 0 0 0.55rem;
  line-height: 1.65;
}

.help-list {
  margin: 0.35rem 0 0;
  padding-left: 1.2rem;
  line-height: 1.6;
}

.help-list li {
  margin-bottom: 0.25rem;
}

.help-kbd-list {
  margin: 0.4rem 0 0;
  display: grid;
  grid-template-columns: minmax(8rem, max-content) 1fr;
  gap: 0.45rem 0.9rem;
  align-items: baseline;
}

.help-kbd-list dt {
  margin: 0;
}

.help-kbd-list dd {
  margin: 0;
  font-size: 0.92rem;
  color: var(--color-text-muted);
}

kbd {
  display: inline-block;
  padding: 0.1rem 0.5rem;
  font-family: ui-monospace, SFMono-Regular, "Menlo", monospace;
  font-size: 0.85em;
  background-color: var(--color-surface-2);
  border: 1px solid var(--color-border);
  border-radius: 4px;
  color: var(--color-text);
  box-shadow: 0 1px 0 var(--color-border-strong);
}

/* ============================================================
 * Sprint 8: 404 / Not Found view
 * ============================================================ */
.notfound {
  background-color: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius);
  padding: 1.4rem 1.2rem 1.6rem;
  box-shadow: var(--shadow-sm);
  text-align: center;
}

.notfound-status {
  font-size: 3.5rem;
  font-weight: 800;
  margin: 0;
  color: var(--color-primary);
  letter-spacing: 0.05em;
  line-height: 1;
}

.notfound .view-title {
  margin-top: 0.5rem;
}

.notfound-search {
  display: flex;
  gap: 0.45rem;
  flex-wrap: wrap;
  justify-content: center;
  margin: 1rem auto 0.4rem;
  max-width: 32rem;
}

.notfound-search .search-input {
  flex: 1 1 18rem;
  min-width: 12rem;
  padding: 0.55rem 0.85rem;
  border-radius: var(--radius);
  border: 1px solid var(--color-border);
  background-color: var(--color-surface);
  color: var(--color-text);
  font-size: 0.95rem;
}

.notfound-search .search-input:focus,
.notfound-search .search-input:focus-visible {
  border-color: var(--color-primary);
  outline: 3px solid var(--color-focus-ring);
  outline-offset: 1px;
}

.notfound-actions {
  display: flex;
  gap: 0.5rem;
  flex-wrap: wrap;
  justify-content: center;
  margin: 0.9rem 0 0.6rem;
}

.empty-state-action--secondary {
  background-color: var(--color-surface);
  color: var(--color-primary);
  border: 1px solid var(--color-primary-soft-border);
}

.empty-state-action--secondary:hover {
  background-color: var(--color-primary-soft);
  color: var(--color-primary-hover);
}

.notfound-categories {
  margin-top: 1rem;
  text-align: left;
}

.notfound-categories-label {
  margin: 0 0 0.4rem;
  font-size: 0.9rem;
  color: var(--color-text-muted);
  text-align: center;
}

/* The category links list reuses .search-empty-categories from Sprint 4 */

/* ============================================================
 * Sprint 11: Pagination
 * ============================================================ */
.pager-nav-wrapper {
  list-style: none;
  margin: 1rem 0 0.5rem;
  padding: 0;
}

.pager-nav {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
  list-style: none;
  margin: 0;
  padding: 0.5rem 0;
  justify-content: center;
}

.pager-nav li { list-style: none; }

.pager-btn {
  min-width: 2.4rem;
  padding: 0.35rem 0.7rem;
  border: 1px solid var(--color-border);
  background-color: var(--color-surface);
  color: var(--color-text);
  border-radius: var(--radius);
  font-size: 0.9rem;
  cursor: pointer;
  transition: background-color 0.15s, border-color 0.15s, color 0.15s;
}

/* Static pages render pager controls as <a>/<span> instead of <button>. */
a.pager-btn,
span.pager-btn {
  display: inline-block;
  text-align: center;
  text-decoration: none;
}

.pager-btn:hover:not(.is-disabled):not([disabled]) {
  border-color: var(--color-primary);
  color: var(--color-primary);
  background-color: var(--color-primary-soft);
}

.pager-btn.is-active {
  background-color: var(--color-primary);
  color: #fff;
  border-color: var(--color-primary);
  font-weight: 600;
}

.pager-btn.is-disabled,
.pager-btn[disabled] {
  opacity: 0.45;
  cursor: not-allowed;
}

.pager-ellipsis {
  display: inline-block;
  padding: 0.35rem 0.4rem;
  color: var(--color-text-muted);
  user-select: none;
}

.sitemap-more-link {
  display: inline-block;
  margin-top: 0.35rem;
  font-size: 0.88rem;
  color: var(--color-primary);
  text-decoration: none;
}
.sitemap-more-link:hover { text-decoration: underline; }

/* ============================================================
 * i18n: Language Selector
 * ============================================================ */
.lang-selector {
  position: relative;
  margin-left: 0.5rem;
}

.lang-toggle {
  display: flex;
  align-items: center;
  gap: 0.25rem;
  padding: 0.35rem 0.5rem;
  background: transparent;
  border: 1px solid var(--color-border);
  border-radius: 4px;
  color: var(--color-text);
  font-size: 0.85rem;
  cursor: pointer;
  transition: background-color 0.15s, border-color 0.15s;
}

.lang-toggle:hover,
.lang-toggle:focus {
  background-color: var(--color-surface);
  border-color: var(--color-primary-soft-border);
  outline: none;
}

.lang-toggle:focus-visible {
  box-shadow: 0 0 0 2px var(--color-primary-soft);
}

.lang-icon {
  font-size: 1rem;
  line-height: 1;
}

.lang-code {
  font-weight: 500;
  text-transform: uppercase;
}

.lang-arrow {
  font-size: 0.7rem;
  opacity: 0.6;
}

.lang-menu {
  position: absolute;
  top: 100%;
  right: 0;
  z-index: 1000;
  min-width: 120px;
  margin: 0.25rem 0 0;
  padding: 0.25rem 0;
  background: var(--color-bg);
  border: 1px solid var(--color-border);
  border-radius: 6px;
  box-shadow: 0 4px 12px rgba(0, 0, 0, 0.1);
  list-style: none;
}

[data-theme="dark"] .lang-menu {
  box-shadow: 0 4px 12px rgba(0, 0, 0, 0.3);
}

.lang-menu[hidden] {
  display: none;
}

.lang-menu li {
  padding: 0.5rem 0.75rem;
  cursor: pointer;
  font-size: 0.9rem;
  transition: background-color 0.1s;
}

.lang-menu li:hover,
.lang-menu li:focus {
  background-color: var(--color-primary-soft);
  outline: none;
}

.lang-menu li[aria-selected="true"] {
  font-weight: 600;
  color: var(--color-primary);
}

/* Mobile: hide lang label, show only icon + code */
@media (max-width: 640px) {
  .lang-toggle {
    padding: 0.3rem 0.4rem;
  }

  .lang-icon {
    display: none;
  }
}

/* Fallback indicator for content not in current language */
.fallback-indicator {
  font-size: 0.75rem;
  color: var(--color-text-muted);
  font-style: italic;
  margin-left: 0.25rem;
}
