/* Hextra++ customizations for clef-lang.com
   ─────────────────────────────────────────────
   This file is concatenated AFTER Hextra's pre-compiled main.css,
   which is fully Tailwind v4 @layer'd. Unlayered CSS here wins the
   cascade automatically — no !important needed.
*/

/* ── Brand colors ──────────────────────────────────────────── */
:root {
  --primary-hue: 215;
  --primary-saturation: 65%;
  --primary-lightness: 48%;
}

/* ── Dark mode links — orange for readability ──────────────── */
.dark .content a {
  color: #F59E0B;
}

/* ── Code: Fira Code with ligatures ────────────────────────── */
code, pre, kbd {
  font-family: 'Fira Code', ui-monospace, SFMono-Regular, monospace;
  font-feature-settings: "liga" 1, "calt" 1;
  font-weight: 400;
}

/* Single size control — Hextra compounds .9em × .9em = .81em.
   Set both levels to the same value so there's no compounding. */
.hextra-code-block     { font-size: 0.95em; }
.hextra-code-block pre { font-size: 1em; }

/* ── Spec pages ────────────────────────────────────────────── */
[data-spec="true"] {
  border-left: 3px solid hsl(var(--primary-hue), var(--primary-saturation), var(--primary-lightness));
  padding-left: 1rem;
}

/* ── Provenance block ──────────────────────────────────────── */
.provenance {
  border-left: 3px solid #888;
  padding-left: 1rem;
  margin: 1.5rem 0;
  font-size: 0.9em;
  opacity: 0.85;
}

/* ── Blog card grid ────────────────────────────────────────── */
.blog-card-grid {
  display: grid;
  grid-template-columns: repeat(1, 1fr);
  gap: 1.25rem;
  margin-top: 1rem;
}
@media (min-width: 640px) {
  .blog-card-grid { grid-template-columns: repeat(2, 1fr); }
}
@media (min-width: 1024px) {
  .blog-card-grid { grid-template-columns: repeat(3, 1fr); }
}

.blog-card {
  display: flex;
  flex-direction: column;
  justify-content: space-between;
  border-radius: 0.75rem;
  border: 1px solid #e5e7eb;
  background: #fff;
  padding: 1.5rem;
  text-decoration: none;
  color: inherit;
  transition: border-color 0.2s, box-shadow 0.2s;
}
.blog-card:hover {
  border-color: hsl(var(--primary-hue), var(--primary-saturation), var(--primary-lightness));
  box-shadow: 0 4px 12px rgba(0, 0, 0, 0.06);
}
:is(.dark) .blog-card {
  border-color: #374151;
  background: #111827;
}
:is(.dark) .blog-card:hover {
  border-color: hsl(var(--primary-hue), var(--primary-saturation), var(--primary-lightness));
  box-shadow: 0 4px 12px rgba(0, 0, 0, 0.3);
}

.blog-card-body { flex: 1; }

.blog-card-tags {
  display: flex;
  gap: 0.5rem;
  margin-bottom: 0.75rem;
  flex-wrap: wrap;
}
.blog-card-tag {
  font-size: 0.7rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: hsl(var(--primary-hue), var(--primary-saturation), var(--primary-lightness));
  background: hsl(var(--primary-hue), var(--primary-saturation), var(--primary-lightness), 0.1);
  padding: 0.15rem 0.5rem;
  border-radius: 9999px;
}
.blog-card-title {
  font-size: 1.15rem;
  font-weight: 700;
  line-height: 1.35;
  margin: 0 0 0.5rem;
  color: #0f172a;
}
:is(.dark) .blog-card-title { color: #f1f5f9; }

.blog-card-desc {
  font-size: 0.875rem;
  line-height: 1.6;
  color: #64748b;
  margin: 0;
  display: -webkit-box;
  -webkit-line-clamp: 3;
  -webkit-box-orient: vertical;
  overflow: hidden;
}
:is(.dark) .blog-card-desc { color: #94a3b8; }

.blog-card-footer {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-top: 1.25rem;
  padding-top: 0.75rem;
  border-top: 1px solid #f1f5f9;
  font-size: 0.775rem;
  color: #94a3b8;
}
:is(.dark) .blog-card-footer {
  border-top-color: #1e293b;
  color: #64748b;
}
.blog-card-author { font-weight: 500; }


/* ── Blog post header (subtitle deck, read time, tags) ───────── */
.blog-post-deck {
  margin: 0.75rem 0 0;
  font-size: 1.25rem;
  line-height: 1.5;
  font-weight: 400;
  color: #475569;
}
:is(.dark) .blog-post-deck { color: #94a3b8; }

.blog-post-tags {
  display: inline-flex;
  flex-wrap: wrap;
  gap: 0.5rem;
  margin-left: 0.5rem;
}
.blog-post-tag {
  font-size: 0.7rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  text-decoration: none;
  color: hsl(var(--primary-hue), var(--primary-saturation), var(--primary-lightness));
  background: hsl(var(--primary-hue), var(--primary-saturation), var(--primary-lightness), 0.1);
  padding: 0.15rem 0.5rem;
  border-radius: 9999px;
  transition: background 0.2s;
}
.blog-post-tag:hover {
  background: hsl(var(--primary-hue), var(--primary-saturation), var(--primary-lightness), 0.2);
}


/* ── Search modal ────────────────────────────────────────────── */
.clef-search-modal {
  position: fixed;
  inset: 0;
  z-index: 100;
  display: flex;
  align-items: flex-start;
  justify-content: center;
  padding-top: 15vh;
}

.clef-search-backdrop {
  position: fixed;
  inset: 0;
  background: rgba(0, 0, 0, 0.5);
  backdrop-filter: blur(4px);
}

.clef-search-container {
  position: relative;
  width: 100%;
  max-width: 640px;
  max-height: 70vh;
  margin: 0 1rem;
  display: flex;
  flex-direction: column;
  background: #fff;
  border: 1px solid #e5e7eb;
  border-radius: 0.75rem;
  box-shadow: 0 25px 50px -12px rgba(0, 0, 0, 0.25);
  overflow: hidden;
}
:is(.dark) .clef-search-container {
  background: #111827;
  border-color: #374151;
}

/* ── Navbar search trigger: orange border + orange "Smart Search..." placeholder ── */
.hextra-search-input {
  border: 1px solid #fb923c;
}
.hextra-search-input:focus {
  border-color: #ea580c;
}
/* Override Tailwind's gray placeholder utility (high-specificity, needs !important) */
.hextra-search-input::placeholder {
  color: #ea580c !important;
  opacity: 1;
}
:is(.dark) .hextra-search-input {
  border-color: #ea580c;
}
:is(.dark) .hextra-search-input::placeholder {
  color: #fb923c !important;
}

/* ── Header with search input ── */
.clef-search-header {
  display: flex;
  align-items: center;
  gap: 0.75rem;
  padding: 0.75rem 1rem;
  border-bottom: 1px solid #e5e7eb;
}
:is(.dark) .clef-search-header {
  border-bottom-color: #374151;
}

.clef-search-icon {
  flex-shrink: 0;
  color: #9ca3af;
}

.clef-search-header input {
  flex: 1;
  border: none;
  outline: none;
  background: transparent;
  font-size: 1rem;
  color: #111827;
}
:is(.dark) .clef-search-header input {
  color: #f3f4f6;
}
.clef-search-header input::placeholder {
  color: #9ca3af;
}

/* Shared base — both header buttons get identical box size */
.clef-search-btn {
  flex-shrink: 0;
  box-sizing: border-box;
  min-width: 3.5rem;
  padding: 0.25rem 0.6rem;
  font-size: 0.75rem;
  line-height: 1.2;
  text-align: center;
  border: 1px solid transparent;
  border-radius: 0.25rem;
  cursor: pointer;
  transition: color 0.15s, border-color 0.15s, background 0.15s;
}

/* Disabled header buttons (Share/Clear with no query): grayed and inert. */
.clef-search-btn:disabled,
.clef-search-btn:disabled:hover {
  color: #9ca3af;
  border-color: #d1d5db;
  background: transparent;
  cursor: not-allowed;
  opacity: 0.55;
}
:is(.dark) .clef-search-btn:disabled,
:is(.dark) .clef-search-btn:disabled:hover {
  color: #6b7280;
  border-color: #374151;
}

/* Share — primary positive action, blue outline */
.clef-search-btn-share {
  color: #1d4ed8;
  border-color: #60a5fa;
  background: transparent;
}
.clef-search-btn-share:hover {
  color: #1e3a8a;
  border-color: #2563eb;
  background: rgba(96, 165, 250, 0.1);
}
.clef-search-btn-share.clef-share-copied {
  color: #047857;
  border-color: #34d399;
  background: rgba(52, 211, 153, 0.12);
}
:is(.dark) .clef-search-btn-share {
  color: #93c5fd;
  border-color: #2563eb;
}
:is(.dark) .clef-search-btn-share:hover {
  color: #bfdbfe;
  border-color: #60a5fa;
  background: rgba(37, 99, 235, 0.2);
}
:is(.dark) .clef-search-btn-share.clef-share-copied {
  color: #6ee7b7;
  border-color: #34d399;
  background: rgba(16, 185, 129, 0.2);
}

/* Clear — destructive of the modal context, orange outline */
.clef-search-btn-clear {
  color: #c2410c;
  border-color: #fb923c;
  background: transparent;
}
.clef-search-btn-clear:hover {
  color: #9a3412;
  border-color: #ea580c;
  background: rgba(251, 146, 60, 0.1);
}
:is(.dark) .clef-search-btn-clear {
  color: #fdba74;
  border-color: #ea580c;
}
:is(.dark) .clef-search-btn-clear:hover {
  color: #fed7aa;
  border-color: #fb923c;
  background: rgba(234, 88, 12, 0.18);
}

/* Exit — neutral close */
.clef-search-btn-exit {
  color: #6b7280;
  border-color: #d1d5db;
  background: #f9fafb;
}
.clef-search-btn-exit:hover {
  color: #111827;
  border-color: #9ca3af;
  background: #f3f4f6;
}
:is(.dark) .clef-search-btn-exit {
  color: #9ca3af;
  border-color: #4b5563;
  background: #1f2937;
}
:is(.dark) .clef-search-btn-exit:hover {
  color: #f3f4f6;
  border-color: #6b7280;
  background: #374151;
}

/* ── Results area ── */
.clef-search-results {
  flex: 1;
  overflow-y: auto;
  padding: 0.5rem;
}

.clef-search-empty,
.clef-search-loading {
  padding: 2rem 1rem;
  text-align: center;
  color: #9ca3af;
  font-size: 0.875rem;
}

.clef-search-result {
  display: block;
  padding: 0.625rem 0.75rem;
  border-radius: 0.5rem;
  text-decoration: none;
  color: inherit;
  cursor: pointer;
  transition: background-color 0.1s;
}
.clef-search-result:hover,
.clef-search-result.clef-result-selected {
  background: #f3f4f6;
}
:is(.dark) .clef-search-result:hover,
:is(.dark) .clef-search-result.clef-result-selected {
  background: #1f2937;
}

.clef-result-header {
  display: flex;
  align-items: center;
  gap: 0.5rem;
}

.clef-result-type {
  display: inline-block;
  font-size: 0.65rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  padding: 0.1rem 0.4rem;
  border-radius: 9999px;
  color: var(--badge-color);
  background: color-mix(in srgb, var(--badge-color) 12%, transparent);
}

.clef-result-title {
  font-size: 0.9rem;
  font-weight: 600;
  color: #111827;
}
:is(.dark) .clef-result-title {
  color: #f3f4f6;
}

.clef-result-section {
  display: block;
  font-size: 0.775rem;
  color: hsl(var(--primary-hue), var(--primary-saturation), var(--primary-lightness));
  margin-top: 0.125rem;
}

.clef-result-snippet {
  font-size: 0.8rem;
  line-height: 1.5;
  color: #6b7280;
  margin: 0.25rem 0 0;
  display: -webkit-box;
  -webkit-line-clamp: 2;
  -webkit-box-orient: vertical;
  overflow: hidden;
}
:is(.dark) .clef-result-snippet {
  color: #9ca3af;
}

/* ── AI Synthesis area ── */
.clef-search-synthesis {
  border-bottom: 1px solid #e5e7eb;
  padding: 0.75rem 1rem;
  background: #f9fafb;
  max-height: 40%;
  overflow-y: auto;
  flex-shrink: 0;
}
:is(.dark) .clef-search-synthesis {
  border-bottom-color: #374151;
  background: #0d1117;
}

.clef-synthesis-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-bottom: 0.5rem;
}

.clef-synthesis-label {
  font-size: 0.75rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: hsl(var(--primary-hue), var(--primary-saturation), var(--primary-lightness));
}

.clef-synthesis-close {
  background: none;
  border: none;
  font-size: 1.25rem;
  color: #9ca3af;
  cursor: pointer;
  line-height: 1;
  padding: 0 0.25rem;
}
.clef-synthesis-close:hover {
  color: #6b7280;
}

.clef-synthesis-content {
  font-size: 0.85rem;
  line-height: 1.65;
  color: #374151;
}
.clef-synthesis-content p {
  margin: 0.25rem 0;
}
.clef-synthesis-content code {
  font-size: 0.8rem;
  padding: 0.1rem 0.3rem;
  border-radius: 0.25rem;
  background: rgba(0, 0, 0, 0.06);
}
.clef-synthesis-content strong {
  font-weight: 600;
}
:is(.dark) .clef-synthesis-content {
  color: #d1d5db;
}
:is(.dark) .clef-synthesis-content code {
  background: rgba(255, 255, 255, 0.08);
}
.clef-synthesis-spinner {
  display: inline-block;
  width: 14px;
  height: 14px;
  border: 2px solid #d1d5db;
  border-top-color: #2563eb;
  border-radius: 50%;
  animation: clef-spin 0.6s linear infinite;
  vertical-align: middle;
  margin-right: 6px;
}
:is(.dark) .clef-synthesis-spinner {
  border-color: #4b5563;
  border-top-color: #60a5fa;
}
@keyframes clef-spin {
  to { transform: rotate(360deg); }
}

/* ── Footer ── */
.clef-search-footer {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 0.5rem 1rem;
  border-top: 1px solid #e5e7eb;
  font-size: 0.75rem;
  color: #9ca3af;
}
:is(.dark) .clef-search-footer {
  border-top-color: #374151;
}

.clef-synthesize-btn {
  font-size: 0.75rem;
  font-weight: 500;
  padding: 0.3rem 0.75rem;
  border: 1px solid hsl(var(--primary-hue), var(--primary-saturation), var(--primary-lightness));
  border-radius: 0.375rem;
  color: hsl(var(--primary-hue), var(--primary-saturation), var(--primary-lightness));
  background: transparent;
  cursor: pointer;
  transition: background-color 0.15s, color 0.15s;
}
.clef-synthesize-btn:hover:not(:disabled) {
  background: hsl(var(--primary-hue), var(--primary-saturation), var(--primary-lightness));
  color: #fff;
}
/* Grayed and inert until there are results to summarize. */
.clef-synthesize-btn:disabled {
  color: #9ca3af;
  border-color: #d1d5db;
  background: transparent;
  cursor: not-allowed;
  opacity: 0.55;
}
:is(.dark) .clef-synthesize-btn:disabled {
  color: #6b7280;
  border-color: #374151;
}


/* ═══════════════════════════════════════════════════════════════
   SYNTAX HIGHLIGHTING — SpeakEZ palette
   Selectors match Hextra's .highlight .chroma .X structure
   so they have equal specificity and win by source order.
   ═══════════════════════════════════════════════════════════════ */

/* ── Light theme ───────────────────────────────────────────── */
.highlight {
  /* Comments — warm brown italic */
  .chroma .c   { color: #92400e; font-style: italic }
  .chroma .ch  { color: #92400e; font-style: italic }
  .chroma .cm  { color: #92400e; font-style: italic }
  .chroma .c1  { color: #92400e; font-style: italic }
  .chroma .cs  { color: #92400e; font-weight: bold; font-style: italic }
  .chroma .cp  { color: #92400e; font-weight: bold; font-style: italic }
  .chroma .cpf { color: #92400e; font-weight: bold; font-style: italic }

  /* Keywords — forest green bold */
  .chroma .k   { color: #047857; font-weight: bold }
  .chroma .kc  { color: #059669; font-weight: bold }
  .chroma .kd  { color: #047857; font-weight: bold }
  .chroma .kn  { color: #047857; font-weight: bold }
  .chroma .kp  { color: #047857; font-weight: bold }
  .chroma .kr  { color: #047857; font-weight: bold }
  .chroma .kt  { color: #047857; font-weight: bold }

  /* Strings — deep red */
  .chroma .s   { color: #b91c1c }
  .chroma .sa  { color: #b91c1c }
  .chroma .sb  { color: #b91c1c }
  .chroma .sc  { color: #b91c1c }
  .chroma .dl  { color: #b91c1c }
  .chroma .sd  { color: #92400e; font-style: italic }
  .chroma .s2  { color: #b91c1c }
  .chroma .se  { color: #a16207 }
  .chroma .sh  { color: #b91c1c }
  .chroma .si  { color: #b91c1c }
  .chroma .sx  { color: #b91c1c }
  .chroma .sr  { color: #854d0e }
  .chroma .s1  { color: #b91c1c }
  .chroma .ss  { color: #b91c1c }

  /* Numbers — warm amber */
  .chroma .m   { color: #a16207 }
  .chroma .mb  { color: #a16207 }
  .chroma .mf  { color: #a16207 }
  .chroma .mh  { color: #a16207 }
  .chroma .mi  { color: #a16207 }
  .chroma .il  { color: #a16207 }
  .chroma .mo  { color: #a16207 }
  .chroma .l   { color: #a16207 }
  .chroma .ld  { color: #a16207 }

  /* Names */
  .chroma .n   { color: #1e293b }
  .chroma .na  { color: #92400e; font-style: italic }
  .chroma .nb  { color: #92400e }
  .chroma .bp  { color: #1d4ed8 }
  .chroma .nc  { color: #b45309; font-weight: bold }
  .chroma .no  { color: #92400e }
  .chroma .nd  { color: #92400e; font-weight: bold }
  .chroma .ni  { color: #1e293b }
  .chroma .ne  { color: #c2410c; font-weight: bold }
  .chroma .nf  { color: #c2410c; font-weight: bold }
  .chroma .fm  { color: #92400e }
  .chroma .nl  { color: #1e293b }
  .chroma .nn  { color: #854d0e; font-style: italic }
  .chroma .nx  { color: #1e293b }
  .chroma .py  { color: #92400e }
  .chroma .nt  { color: #047857 }
  .chroma .nv  { color: #92400e }
  .chroma .vc  { color: #92400e }
  .chroma .vg  { color: #92400e }
  .chroma .vi  { color: #92400e }
  .chroma .vm  { color: #1d4ed8 }

  /* Operators — dark slate bold */
  .chroma .o   { color: #334155; font-weight: bold }
  .chroma .ow  { color: #334155; font-weight: bold }

  /* Punctuation */
  .chroma .p   { color: #64748b }

  /* Error */
  .chroma .err { color: #a61717; background-color: #e3d2d2 }

  /* Generic */
  .chroma .gd  { color: #000000; background-color: #ffdddd }
  .chroma .ge  { font-style: italic }
  .chroma .gr  { color: #aa0000 }
  .chroma .gh  { color: #854d0e; font-weight: bold }
  .chroma .gi  { color: #000000; background-color: #ddffdd }
  .chroma .go  { color: #888888 }
  .chroma .gp  { color: #555555 }
  .chroma .gs  { font-weight: bold }
  .chroma .gu  { color: #aaaaaa }
  .chroma .gt  { color: #aa0000 }
  .chroma .gl  { text-decoration: underline }
  .chroma .w   { color: #bbbbbb }
}

/* ── Dark theme ────────────────────────────────────────────── */
.dark .highlight {
  /* Comments — warm amber italic */
  .chroma .c   { color: #D4A574; font-style: italic }
  .chroma .ch  { color: #D4A574; font-style: italic }
  .chroma .cm  { color: #D4A574; font-style: italic }
  .chroma .c1  { color: #D4A574; font-style: italic }
  .chroma .cs  { color: #D4A574; font-weight: bold; font-style: italic }
  .chroma .cp  { color: #D4A574; font-weight: bold; font-style: italic }
  .chroma .cpf { color: #D4A574; font-weight: bold; font-style: italic }

  /* Keywords — subdued green */
  .chroma .k   { color: #059669 }
  .chroma .kc  { color: #10B981 }
  .chroma .kd  { color: #059669 }
  .chroma .kn  { color: #059669 }
  .chroma .kp  { color: #059669 }
  .chroma .kr  { color: #059669 }
  .chroma .kt  { color: #059669 }

  /* Strings — base text */
  .chroma .s   { color: #EAEAEA }
  .chroma .sa  { color: #EAEAEA }
  .chroma .sb  { color: #EAEAEA }
  .chroma .sc  { color: #EAEAEA }
  .chroma .dl  { color: #EAEAEA }
  .chroma .sd  { color: #D4A574; font-style: italic }
  .chroma .s2  { color: #EAEAEA }
  .chroma .se  { color: #EFBF04 }
  .chroma .sh  { color: #EAEAEA }
  .chroma .si  { color: #EAEAEA }
  .chroma .sx  { color: #EAEAEA }
  .chroma .sr  { color: #D97706 }
  .chroma .s1  { color: #EAEAEA }
  .chroma .ss  { color: #EAEAEA }

  /* Numbers — golden yellow */
  .chroma .m   { color: #EFBF04 }
  .chroma .mb  { color: #EFBF04 }
  .chroma .mf  { color: #EFBF04 }
  .chroma .mh  { color: #EFBF04 }
  .chroma .mi  { color: #EFBF04 }
  .chroma .il  { color: #EFBF04 }
  .chroma .mo  { color: #EFBF04 }
  .chroma .l   { color: #EFBF04 }
  .chroma .ld  { color: #EFBF04 }

  /* Names */
  .chroma .n   { color: #EAEAEA }
  .chroma .na  { color: #D97706; font-style: italic }
  .chroma .nb  { color: #F59E0B }
  .chroma .bp  { color: #3B82F6 }
  .chroma .nc  { color: #FBBF24 }
  .chroma .no  { color: #D97706 }
  .chroma .nd  { color: #D97706 }
  .chroma .ni  { color: #EAEAEA }
  .chroma .ne  { color: #F97316 }
  .chroma .nf  { color: #F97316 }
  .chroma .fm  { color: #F59E0B }
  .chroma .nl  { color: #EAEAEA }
  .chroma .nn  { color: #BF9903; font-style: italic }
  .chroma .nx  { color: #EAEAEA }
  .chroma .py  { color: #F59E0B }
  .chroma .nt  { color: #059669 }
  .chroma .nv  { color: #D97706 }
  .chroma .vc  { color: #D97706 }
  .chroma .vg  { color: #D97706 }
  .chroma .vi  { color: #D97706 }
  .chroma .vm  { color: #3B82F6 }

  /* Operators — light gray */
  .chroma .o   { color: #BEBEBE }
  .chroma .ow  { color: #BEBEBE }

  /* Punctuation */
  .chroma .p   { color: #8A8A8D }

  /* Error */
  .chroma .err { color: #f85149 }

  /* Generic */
  .chroma .gd  { color: #FB923C; background-color: rgba(251, 146, 60, 0.1) }
  .chroma .ge  { font-style: italic }
  .chroma .gr  { color: #ffa198 }
  .chroma .gh  { color: #D97706; font-weight: bold }
  .chroma .gi  { color: #10B981; background-color: rgba(16, 185, 129, 0.1) }
  .chroma .go  { color: #8A8A8D }
  .chroma .gp  { color: #8A8A8D }
  .chroma .gs  { font-weight: bold }
  .chroma .gu  { color: #8A8A8D }
  .chroma .gt  { color: #F97316 }
  .chroma .gl  { text-decoration: underline }
  .chroma .w   { color: #6e7681 }
}