/* ── Pagefind search modal ────────────────────────────────────────────────── */

#pf-overlay {
  display: none;
  position: fixed;
  inset: 0;
  background: rgba(0, 0, 0, 0.5);
  z-index: 9999;
  align-items: flex-start;
  justify-content: center;
  padding-top: 8vh;
}

#pf-overlay.open {
  display: flex;
}

#pf-modal {
  background: var(--pst-color-background, #fff);
  border: 1px solid var(--pst-color-border, #dee2e6);
  border-radius: 0.75rem;
  box-shadow: 0 20px 60px rgba(0, 0, 0, 0.3);
  width: min(680px, 95vw);
  max-height: 80vh;
  display: flex;
  flex-direction: column;
  overflow: hidden;
}

/* ── header (tabs + close) ────────────────────────────────────────────────── */

#pf-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 0.75rem 1rem 0;
  border-bottom: 1px solid var(--pst-color-border, #dee2e6);
}

#pf-tabs {
  display: flex;
  gap: 0.25rem;
}

.pf-tab {
  background: none;
  border: none;
  border-bottom: 2px solid transparent;
  padding: 0.35rem 0.75rem;
  margin-bottom: -1px;
  font-size: 0.85rem;
  font-weight: 500;
  color: var(--pst-color-text-muted, #6c757d);
  cursor: pointer;
  transition: color 0.15s, border-color 0.15s;
  border-radius: 0.25rem 0.25rem 0 0;
}

.pf-tab:hover {
  color: var(--pst-color-primary, #0d6efd);
}

.pf-tab.active {
  color: var(--pst-color-primary, #0d6efd);
  border-bottom-color: var(--pst-color-primary, #0d6efd);
}

#pf-close {
  background: none;
  border: none;
  font-size: 1rem;
  line-height: 1;
  color: var(--pst-color-text-muted, #6c757d);
  cursor: pointer;
  padding: 0.25rem 0.4rem;
  border-radius: 0.25rem;
  transition: background 0.15s;
}

#pf-close:hover {
  background: var(--pst-color-surface, #f8f9fa);
}

/* ── search input ─────────────────────────────────────────────────────────── */

#pf-search-wrap {
  display: flex;
  align-items: center;
  gap: 0.6rem;
  padding: 0.75rem 1rem;
  border-bottom: 1px solid var(--pst-color-border, #dee2e6);
}

#pf-search-icon {
  width: 1.1rem;
  height: 1.1rem;
  flex-shrink: 0;
  color: var(--pst-color-text-muted, #6c757d);
}

#pf-input {
  flex: 1;
  border: none;
  outline: none;
  background: transparent;
  font-size: 1rem;
  color: var(--pst-color-text-base, #212529);
  font-family: var(--pst-font-family-base, inherit);
}

#pf-input::placeholder {
  color: var(--pst-color-text-muted, #6c757d);
}

/* ── results ──────────────────────────────────────────────────────────────── */

#pf-results {
  overflow-y: auto;
  flex: 1;
  padding: 0.5rem 0;
}

.pf-result {
  display: block;
  padding: 0.7rem 1rem;
  text-decoration: none;
  color: inherit;
  border-bottom: 1px solid var(--pst-color-border, #dee2e6);
  transition: background 0.1s;
}

.pf-result:last-child {
  border-bottom: none;
}

.pf-result:hover {
  background: var(--pst-color-surface, #f8f9fa);
}

.pf-result-top {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  margin-bottom: 0.25rem;
}

.pf-result-title {
  font-weight: 600;
  font-size: 0.9rem;
  color: var(--pst-color-primary, #0d6efd);
}

.pf-result-excerpt {
  font-size: 0.82rem;
  color: var(--pst-color-text-muted, #6c757d);
  line-height: 1.5;
}

.pf-result-excerpt mark {
  background: transparent;
  color: var(--pst-color-primary, #0d6efd);
  font-weight: 600;
}

/* ── type badges ──────────────────────────────────────────────────────────── */

.pf-badge {
  display: inline-block;
  font-size: 0.7rem;
  font-weight: 600;
  padding: 0.1rem 0.45rem;
  border-radius: 99px;
  text-transform: uppercase;
  letter-spacing: 0.03em;
  flex-shrink: 0;
}

.pf-badge--function {
  background: #fef3c7;
  color: #b45309;
}

.pf-badge--procedure {
  background: #dbeafe;
  color: #1d4ed8;
}

.pf-badge--constructor {
  background: #fce7f3;
  color: #be185d;
}

.pf-badge--operation {
  background: #ede9fe;
  color: #6d28d9;
}

.pf-badge--literal {
  background: #ffedd5;
  color: #c2410c;
}

.pf-badge--example {
  background: #f1f5f9;
  color: #475569;
}

.pf-badge--section {
  background: #d1fae5;
  color: #065f46;
}

/* ── empty / message states ───────────────────────────────────────────────── */

.pf-msg {
  text-align: center;
  padding: 2rem 1rem;
  color: var(--pst-color-text-muted, #6c757d);
  font-size: 0.9rem;
}

/* ── footer ───────────────────────────────────────────────────────────────── */

#pf-footer {
  padding: 0.4rem 1rem;
  font-size: 0.75rem;
  color: var(--pst-color-text-muted, #6c757d);
  border-top: 1px solid var(--pst-color-border, #dee2e6);
  text-align: right;
}

#pf-footer a {
  color: inherit;
}
