.post-content a.solver-family-tag,
.post-content a.solver-family-tag:visited {
  display: inline-flex;
  align-items: center;
  margin: 0 0.08rem;
  padding: 0.11rem 0.34rem 0.13rem;
  border: 1px solid var(--border);
  border-radius: 0.3rem;
  background: var(--surface);
  color: var(--accent);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.68em;
  font-weight: 700;
  letter-spacing: -0.01em;
  line-height: 1;
  text-decoration: none;
  vertical-align: 0.08em;
  white-space: nowrap;
}

.post-content a.solver-family-tag:hover {
  border-color: color-mix(in srgb, var(--accent) 48%, var(--border));
  background: var(--accent-soft);
  color: var(--accent-hover);
}

.post-content a.solver-family-tag:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 2px;
}

.solver-explorer {
  --se-bg: #fbfaf5;
  --se-panel: #f6f5f0;
  --se-panel-raised: #fbfaf5;
  --se-panel-soft: #f1f0ea;
  --se-border: #d8d7cf;
  --se-border-soft: #e7e5de;
  --se-text: #3f433e;
  --se-muted: #737970;
  --se-faint: #989d95;
  --se-coral: #a94f42;
  --se-coral-soft: rgba(238, 144, 124, 0.12);
  --se-blue: #315fa8;
  --se-green: #8bd49c;
  --se-hover-border: #b9bdb4;
  --se-hover-bg: #ecece6;
  --se-scrollbar: #c1c3bc;
  --se-code-bg: #f7f6f1;
  --se-code-panel: #efeee8;
  --se-code-border: #deddd6;
  --se-code-text: #3f433e;
  --se-code-muted: #858b82;
  --se-code-line: #a1a59d;
  --se-code-hover: rgba(63, 67, 62, 0.045);
  --se-token-comment: #7b8178;
  --se-token-keyword: #7a3e9d;
  --se-token-string: #397052;
  --se-token-number: #a94f42;
  --se-token-function: #315fa8;
  --se-token-meta: #8a5b20;
  width: min(1180px, calc(100vw - 2rem));
  margin: 2.2rem 0 2.4rem 50%;
  overflow: hidden;
  border: 1px solid var(--se-border);
  border-radius: 1rem;
  background: var(--se-bg);
  box-shadow: 0 12px 32px rgba(48, 47, 40, 0.055);
  color: var(--se-text);
  font-family: ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  line-height: 1.45;
  transform: translateX(-50%);
}

.solver-explorer *,
.solver-explorer *::before,
.solver-explorer *::after {
  box-sizing: border-box;
}

.solver-explorer button,
.solver-explorer input {
  font: inherit;
}

.solver-explorer button {
  color: inherit;
}

.solver-explorer__header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  min-height: 4.65rem;
  padding: 0.78rem 0.9rem 0.78rem 1rem;
  border-bottom: 1px solid var(--se-border);
  background:
    radial-gradient(circle at 15% -100%, rgba(242, 154, 132, 0.16), transparent 52%),
    var(--se-panel-raised);
}

.solver-explorer__identity {
  min-width: 0;
}

.solver-explorer__eyebrow {
  display: block;
  margin-bottom: 0.22rem;
  color: var(--se-coral);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.58rem;
  font-weight: 750;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.solver-explorer h3.solver-explorer__title {
  margin: 0;
  color: var(--se-text);
  font-size: 1rem;
  font-weight: 720;
  letter-spacing: -0.015em;
  line-height: 1.2;
}

.solver-explorer__controls {
  display: flex;
  flex: 0 1 auto;
  align-items: center;
  justify-content: flex-end;
  gap: 0.45rem;
  min-width: 0;
}

.solver-explorer__search {
  position: relative;
  display: block;
  flex: 0 1 18rem;
  min-width: 9rem;
  margin: 0;
}

.solver-explorer__search-icon {
  position: absolute;
  z-index: 1;
  top: 50%;
  left: 0.68rem;
  color: var(--se-muted);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.82rem;
  pointer-events: none;
  transform: translateY(-52%);
}

.solver-explorer__search input {
  width: 100%;
  height: 2.2rem;
  margin: 0;
  padding: 0 2.2rem 0 1.9rem;
  border: 1px solid var(--se-border);
  border-radius: 0.55rem;
  outline: 0;
  background: var(--se-bg);
  color: var(--se-text);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.7rem;
}

.solver-explorer__search input::placeholder {
  color: var(--se-faint);
}

.solver-explorer__search input:focus {
  border-color: var(--se-coral);
  box-shadow: 0 0 0 3px rgba(242, 154, 132, 0.12);
}

.solver-explorer__search-key {
  position: absolute;
  top: 50%;
  right: 0.45rem;
  min-width: 1.25rem;
  padding: 0.08rem 0.23rem;
  border: 1px solid var(--se-border);
  border-radius: 0.26rem;
  color: var(--se-faint);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.56rem;
  line-height: 1.1;
  text-align: center;
  transform: translateY(-50%);
}

.solver-explorer__icon-button,
.solver-explorer__expand,
.solver-explorer__nav-button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  height: 2.2rem;
  margin: 0;
  border: 1px solid var(--se-border);
  border-radius: 0.55rem;
  background: var(--se-panel-soft);
  color: var(--se-muted);
  cursor: pointer;
}

.solver-explorer__icon-button:hover,
.solver-explorer__expand:hover,
.solver-explorer__nav-button:hover {
  border-color: var(--se-hover-border);
  background: var(--se-hover-bg);
  color: var(--se-text);
}

.solver-explorer__icon-button:focus-visible,
.solver-explorer__expand:focus-visible,
.solver-explorer__nav-button:focus-visible,
.solver-explorer__result:focus-visible {
  outline: 2px solid var(--se-coral);
  outline-offset: -2px;
}

.solver-explorer__icon-button {
  width: 2.2rem;
  flex: 0 0 2.2rem;
}

.solver-explorer__expand {
  width: 2.2rem;
  flex: 0 0 2.2rem;
  padding: 0;
}

.solver-explorer__icon-button > .fa-solid,
.solver-explorer__expand > .fa-solid {
  font-size: 0.78rem;
  line-height: 1;
}

.solver-explorer__statusbar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  min-height: 2rem;
  padding: 0.34rem 0.85rem;
  border-bottom: 1px solid var(--se-border-soft);
  background: var(--se-panel-soft);
  color: var(--se-muted);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.56rem;
  letter-spacing: 0.025em;
}

.solver-explorer__count strong {
  color: var(--se-text);
  font-weight: 700;
}

.solver-explorer__shortcuts {
  color: var(--se-faint);
  text-align: right;
}

.solver-explorer__body {
  display: grid;
  grid-template-columns: 220px 310px minmax(0, 1fr);
  height: min(590px, 70vh);
  min-height: 470px;
}

.solver-explorer__sidebar,
.solver-explorer__detail,
.solver-explorer__code-pane {
  min-width: 0;
  min-height: 0;
}

.solver-explorer__sidebar {
  display: flex;
  flex-direction: column;
  overflow: hidden;
  border-right: 1px solid var(--se-border);
  background: var(--se-panel-soft);
}

.solver-explorer__list-label {
  display: flex;
  align-items: center;
  justify-content: space-between;
  min-height: 2.2rem;
  padding: 0.45rem 0.65rem;
  border-bottom: 1px solid var(--se-border-soft);
  color: var(--se-faint);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.54rem;
  font-weight: 700;
  letter-spacing: 0.075em;
  text-transform: uppercase;
}

.solver-explorer__results {
  flex: 1;
  min-height: 0;
  overflow-y: auto;
  overscroll-behavior: contain;
  scrollbar-color: var(--se-scrollbar) transparent;
  scrollbar-width: thin;
}

.solver-explorer__result {
  position: relative;
  display: block;
  width: 100%;
  margin: 0;
  padding: 0.63rem 0.68rem 0.63rem 0.78rem;
  border: 0;
  border-bottom: 1px solid var(--se-border-soft);
  border-radius: 0;
  background: transparent;
  color: var(--se-muted);
  cursor: pointer;
  text-align: left;
}

.solver-explorer__result::before {
  position: absolute;
  top: 0;
  bottom: 0;
  left: 0;
  width: 2px;
  background: transparent;
  content: "";
}

.solver-explorer__result:hover {
  background: var(--se-hover-bg);
  color: var(--se-text);
}

.solver-explorer__result.is-active {
  background: var(--se-coral-soft);
  color: var(--se-text);
}

.solver-explorer__result.is-active::before {
  background: var(--se-coral);
}

.solver-explorer__result-name {
  display: block;
  overflow: hidden;
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.66rem;
  font-weight: 680;
  letter-spacing: -0.012em;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.solver-explorer__search-match {
  padding: 0;
  border-radius: 0.16rem;
  background: color-mix(in srgb, var(--se-coral) 18%, transparent);
  color: var(--se-coral);
  font-weight: inherit;
}

.solver-explorer__empty {
  padding: 1.1rem 0.8rem;
  color: var(--se-muted);
  font-size: 0.7rem;
}

.solver-explorer__detail {
  position: relative;
  overflow-y: auto;
  padding: 1rem 1.05rem 1.15rem;
  border-right: 1px solid var(--se-border);
  background: var(--se-panel);
  scrollbar-color: var(--se-scrollbar) transparent;
  scrollbar-width: thin;
}

.solver-explorer__detail-nav {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.6rem;
  margin-bottom: 1rem;
}

.solver-explorer__position {
  color: var(--se-faint);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.56rem;
  font-variant-numeric: tabular-nums;
  letter-spacing: 0.06em;
}

.solver-explorer__nav {
  display: flex;
  gap: 0.3rem;
}

.solver-explorer__nav-button {
  width: 1.8rem;
  height: 1.8rem;
  border-radius: 0.42rem;
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.8rem;
}

.solver-explorer__family {
  margin: 0 0 0.42rem;
  color: var(--se-text);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: clamp(1rem, 1.8vw, 1.28rem);
  font-weight: 760;
  letter-spacing: -0.035em;
  line-height: 1.15;
  overflow-wrap: anywhere;
}

.solver-explorer__implementation {
  margin-bottom: 1.05rem;
  color: var(--se-faint);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.54rem;
  overflow-wrap: anywhere;
}

.solver-explorer__description {
  margin: 0 0 0.85rem;
  color: var(--se-text);
  font-size: 0.8rem;
  font-weight: 650;
  line-height: 1.45;
}

.solver-explorer__long-description {
  margin: 0;
  color: var(--se-muted);
  font-size: 0.7rem;
  line-height: 1.62;
}

.solver-explorer__techniques-heading {
  margin: 1.25rem 0 0.55rem;
  color: var(--se-faint);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.53rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.solver-explorer__techniques {
  display: flex;
  flex-wrap: wrap;
  gap: 0.36rem;
}

.solver-explorer__technique {
  margin: 0;
  padding: 0.24rem 0.42rem;
  border: 1px solid var(--se-border);
  border-radius: 999px;
  background: var(--se-panel-soft);
  color: var(--se-muted);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.52rem;
  line-height: 1.2;
}

.solver-explorer__code-pane {
  display: flex;
  flex-direction: column;
  overflow: hidden;
  background: var(--se-code-bg);
}

.solver-explorer__code-header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.8rem;
  min-height: 2.7rem;
  padding: 0.45rem 0.65rem 0.45rem 0.85rem;
  border-bottom: 1px solid var(--se-code-border);
  background: var(--se-code-panel);
}

.solver-explorer__file-meta,
.solver-explorer__file-actions {
  display: flex;
  min-width: 0;
  align-items: center;
  gap: 0.48rem;
}

.solver-explorer__filename {
  overflow: hidden;
  color: var(--se-code-text);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.62rem;
  font-weight: 650;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.solver-explorer__language,
.solver-explorer__line-count {
  flex: 0 0 auto;
  color: var(--se-code-muted);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.52rem;
  letter-spacing: 0.035em;
}

.solver-explorer__language {
  padding: 0.17rem 0.3rem;
  border: 1px solid var(--se-code-border);
  border-radius: 0.25rem;
  color: var(--se-blue);
  line-height: 1;
  text-transform: uppercase;
}

.solver-explorer__code-scroll {
  flex: 1;
  min-height: 0;
  overflow: auto;
  overscroll-behavior: contain;
  scrollbar-color: var(--se-scrollbar) transparent;
  scrollbar-width: thin;
}

.solver-explorer pre.solver-explorer__pre {
  width: max-content;
  min-width: 100%;
  margin: 0;
  padding: 0.62rem 0 1.2rem;
  border: 0;
  border-radius: 0;
  background: transparent;
  box-shadow: none;
  color: var(--se-code-text);
  font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
  font-size: 0.63rem;
  line-height: 1.62;
  tab-size: 4;
}

.solver-explorer__code-line {
  display: grid;
  min-height: 1.02rem;
  grid-template-columns: 3.25rem minmax(max-content, 1fr);
}

.solver-explorer__code-line:hover {
  background: var(--se-code-hover);
}

.solver-explorer__line-number {
  padding: 0 0.75rem 0 0.35rem;
  color: var(--se-code-line);
  font-variant-numeric: tabular-nums;
  text-align: right;
  user-select: none;
}

.solver-explorer__line-source {
  padding-right: 1.4rem;
  white-space: pre;
}

.solver-explorer .tok-comment {
  color: var(--se-token-comment);
  font-style: italic;
}

.solver-explorer .tok-keyword {
  color: var(--se-token-keyword);
}

.solver-explorer .tok-string {
  color: var(--se-token-string);
}

.solver-explorer .tok-number,
.solver-explorer .tok-literal {
  color: var(--se-token-number);
}

.solver-explorer .tok-function {
  color: var(--se-token-function);
}

.solver-explorer .tok-preprocessor,
.solver-explorer .tok-decorator {
  color: var(--se-token-meta);
}

.solver-explorer__loading {
  display: grid;
  height: 100%;
  place-items: center;
  color: var(--se-muted);
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  font-size: 0.65rem;
}

.solver-explorer__error {
  max-width: 32rem;
  padding: 1.2rem;
  color: var(--se-coral);
  text-align: center;
}

.solver-explorer figcaption {
  margin: 0;
  padding: 0.48rem 0.85rem 0.55rem;
  border-top: 1px solid var(--se-border-soft);
  background: var(--se-panel-soft);
  color: var(--se-faint);
  font-size: 0.58rem;
  line-height: 1.4;
  text-align: left;
}

.solver-explorer:fullscreen,
.solver-explorer.is-overlay {
  width: 100vw;
  height: 100vh;
  max-width: none;
  margin: 0;
  border: 0;
  border-radius: 0;
  transform: none;
}

.solver-explorer.is-overlay {
  position: fixed;
  z-index: 10000;
  inset: 0;
}

.solver-explorer:fullscreen .solver-explorer__body,
.solver-explorer.is-overlay .solver-explorer__body {
  height: calc(100vh - 9.2rem);
  min-height: 0;
  grid-template-columns: minmax(230px, 18vw) minmax(310px, 25vw) minmax(0, 1fr);
}

.solver-explorer:fullscreen .solver-explorer__search,
.solver-explorer.is-overlay .solver-explorer__search {
  flex-basis: 25rem;
}

:root[data-theme="dark"] .solver-explorer {
  --se-bg: #1d1f1c;
  --se-panel: #20231f;
  --se-panel-raised: #1d1f1c;
  --se-panel-soft: #191b18;
  --se-border: #343832;
  --se-border-soft: #2a2d28;
  --se-text: #e3e6df;
  --se-muted: #a4a9a0;
  --se-faint: #747b72;
  --se-coral: #f0a18f;
  --se-coral-soft: rgba(240, 161, 143, 0.11);
  --se-blue: #91b8f7;
  --se-hover-border: #4a5048;
  --se-hover-bg: #292d28;
  --se-scrollbar: #394655;
  --se-code-bg: #0b0f14;
  --se-code-panel: #10161d;
  --se-code-border: #27313d;
  --se-code-text: #c7d0db;
  --se-code-muted: #657384;
  --se-code-line: #465361;
  --se-code-hover: rgba(255, 255, 255, 0.028);
  --se-token-comment: #65737e;
  --se-token-keyword: #c792ea;
  --se-token-string: #c3e88d;
  --se-token-number: #f78c6c;
  --se-token-function: #82aaff;
  --se-token-meta: #ffcb6b;
  box-shadow: 0 16px 36px rgba(0, 0, 0, 0.22);
}

body.solver-explorer-open {
  overflow: hidden;
}

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

@media (max-width: 900px) {
  .solver-explorer__body {
    grid-template-columns: 190px 270px minmax(420px, 1fr);
    overflow-x: auto;
  }

  .solver-explorer:fullscreen .solver-explorer__body,
  .solver-explorer.is-overlay .solver-explorer__body {
    grid-template-columns: 210px 290px minmax(460px, 1fr);
    overflow-x: auto;
  }
}

@media (max-width: 680px) {
  .solver-explorer {
    width: calc(100vw - 1rem);
  }

  .solver-explorer__header {
    align-items: stretch;
    flex-direction: column;
    gap: 0.65rem;
  }

  .solver-explorer__controls {
    width: 100%;
  }

  .solver-explorer__search {
    flex: 1 1 auto;
  }

  .solver-explorer__shortcuts {
    display: none;
  }

  .solver-explorer__expand {
    width: 2.2rem;
    padding: 0;
  }

  .solver-explorer__body {
    display: grid;
    height: auto;
    min-height: 0;
    overflow: visible;
    grid-template-columns: 1fr;
  }

  .solver-explorer__sidebar {
    height: 8.3rem;
    border-right: 0;
    border-bottom: 1px solid var(--se-border);
  }

  .solver-explorer__results {
    display: flex;
    overflow-x: auto;
    overflow-y: hidden;
  }

  .solver-explorer__result {
    width: 9.5rem;
    min-width: 9.5rem;
    border-right: 1px solid var(--se-border-soft);
    border-bottom: 0;
  }

  .solver-explorer__result::before {
    top: auto;
    right: 0;
    width: auto;
    height: 2px;
  }

  .solver-explorer__detail {
    max-height: 19rem;
    border-right: 0;
    border-bottom: 1px solid var(--se-border);
  }

  .solver-explorer__code-pane {
    height: 27rem;
  }

  .solver-explorer:fullscreen .solver-explorer__body,
  .solver-explorer.is-overlay .solver-explorer__body {
    height: calc(100vh - 8.65rem);
    overflow: auto;
    grid-template-columns: 1fr;
  }

  .solver-explorer:fullscreen .solver-explorer__sidebar,
  .solver-explorer.is-overlay .solver-explorer__sidebar {
    height: 7.3rem;
  }

  .solver-explorer:fullscreen .solver-explorer__detail,
  .solver-explorer.is-overlay .solver-explorer__detail {
    min-height: 15rem;
    max-height: 34vh;
  }

  .solver-explorer:fullscreen .solver-explorer__code-pane,
  .solver-explorer.is-overlay .solver-explorer__code-pane {
    height: 58vh;
    min-height: 24rem;
  }
}

@media (max-width: 420px) {
  .solver-explorer__icon-button {
    display: none;
  }

  .solver-explorer__statusbar {
    padding-inline: 0.65rem;
  }

  .solver-explorer__code-header {
    padding-inline: 0.55rem;
  }

  .solver-explorer__line-count {
    display: none;
  }
}

@media (prefers-reduced-motion: no-preference) {
  .solver-explorer__result,
  .solver-explorer__icon-button,
  .solver-explorer__expand,
  .solver-explorer__nav-button {
    transition: border-color 120ms ease, background-color 120ms ease, color 120ms ease;
  }
}