.trace-widget {
  --trace-widget-border: color-mix(in srgb, currentColor 30%, transparent);
  --trace-widget-surface: color-mix(in srgb, currentColor 6%, transparent);
  --trace-widget-code-line:
    color-mix(in srgb, currentColor 5%, var(--bs-body-bg, Canvas));
  --trace-widget-emphasis:
    color-mix(in srgb, #2c7be5 18%, var(--bs-body-bg, Canvas));
  --trace-widget-success: #19733a;
  --trace-widget-error: #a22a2a;
  color: inherit;
  border: 1px solid var(--trace-widget-border);
  border-radius: 0.5rem;
  padding: 1rem;
  margin: 1rem 0;
  background: var(--trace-widget-surface);
}

.trace-widget__layout {
  display: grid;
  gap: 1rem;
  align-items: start;
}

.trace-widget__execution-comparison {
  display: grid;
  grid-template-columns: minmax(20rem, 1.35fr) minmax(17rem, 1fr);
  gap: 0.75rem;
  align-items: start;
}

.trace-widget__code-panel,
.trace-widget__state-panel {
  min-width: 0;
}

.trace-widget__heading {
  margin: 0 0 0.6rem;
  font-size: 1.05em;
  font-weight: 700;
}

.trace-widget__code {
  display: grid;
  gap: 0.22rem;
  width: 100%;
  list-style: none;
  counter-reset: trace-widget-line;
  margin: 0;
  padding: 0.35rem;
  border: 1px solid var(--trace-widget-border);
  border-radius: 0.35rem;
  background: var(--bs-body-bg, Canvas);
  font-family:
    var(--bs-font-monospace, ui-monospace, "Cascadia Code", Consolas, monospace);
}

.trace-widget__line {
  counter-increment: trace-widget-line;
  display: grid;
  grid-template-columns: 2.2rem minmax(0, 1fr);
  gap: 0.55rem;
  align-items: center;
  min-height: 2.15rem;
  padding: 0.28rem 0.55rem 0.28rem 0.45rem;
  border-left: 0.3rem solid transparent;
  border-radius: 0.18rem;
  background: var(--trace-widget-code-line);
  line-height: 1.5;
}

.trace-widget__line::before {
  content: counter(trace-widget-line);
  color: color-mix(in srgb, currentColor 62%, transparent);
  text-align: right;
  user-select: none;
}

.trace-widget__line > code {
  display: block;
  min-width: 0;
  padding: 0;
  color: inherit;
  background: transparent;
  font: inherit;
  white-space: pre;
}

.trace-widget__line--current {
  border-left-color: currentColor;
  background: var(--trace-widget-emphasis);
  font-weight: 700;
}

.trace-widget__line--executed::before {
  color: var(--trace-widget-success);
  font-weight: 700;
}

.trace-widget__line--pending::before {
  opacity: 0.72;
}

.trace-widget__state {
  display: grid;
  grid-template-rows: auto 1fr;
  width: 100%;
  margin: 0;
  border-collapse: separate;
  background: transparent;
}

.trace-widget__state thead {
  display: grid;
  margin-bottom: 0.6rem;
}

.trace-widget__state thead tr,
.trace-widget__state tbody tr {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.trace-widget__state thead tr {
  min-height: 1.575rem;
  align-items: center;
}

.trace-widget__state thead th {
  padding: 0 0.45rem;
  border: 0;
  background: transparent;
  font-size: 1.05em;
  font-weight: 700;
  text-align: left;
}

.trace-widget__state tbody {
  display: grid;
  gap: 0.22rem;
  padding: 0.35rem;
  border: 1px solid var(--trace-widget-border);
  border-radius: 0.35rem;
  background: var(--bs-body-bg, Canvas);
}

.trace-widget__state tbody tr {
  min-height: 2.15rem;
}

.trace-widget__state tbody td {
  display: flex;
  align-items: center;
  min-width: 0;
  padding: 0.28rem 0.45rem;
  border: 0;
  border-left: 1px solid var(--trace-widget-border);
  background: var(--trace-widget-code-line);
  text-align: left;
}

.trace-widget__state tbody td:first-child {
  border-left: 0;
}

.trace-widget__prediction-table {
  width: 100%;
  margin: 0;
  table-layout: fixed;
  border-collapse: collapse;
  background: var(--bs-body-bg, Canvas);
}

.trace-widget__prediction-table th,
.trace-widget__prediction-table td {
  border: 1px solid var(--trace-widget-border);
  padding: 0.4rem 0.55rem;
  text-align: left;
}

.trace-widget__prediction {
  width: min(100%, 34rem);
  margin: 0;
}

.trace-widget__input {
  width: 100%;
  min-width: 0;
  min-height: 2.35rem;
  color: inherit;
  background: var(--bs-body-bg, Canvas);
  border: 1px solid var(--trace-widget-border);
  border-radius: 0.3rem;
  padding: 0.35rem 0.5rem;
}

.trace-widget__input--correct {
  border-color: var(--trace-widget-success);
  box-shadow: inset 0 0 0 1px var(--trace-widget-success);
}

.trace-widget__input--incorrect {
  border-color: var(--trace-widget-error);
  box-shadow: inset 0 0 0 1px var(--trace-widget-error);
}

.trace-widget__input:focus,
.trace-widget__button:focus-visible {
  outline: 0.18rem solid currentColor;
  outline-offset: 0.12rem;
}

.trace-widget__actions {
  display: flex;
  flex-wrap: wrap;
  gap: 0.55rem;
  margin-top: 0.8rem;
}

.trace-widget__button {
  color: inherit;
  background: var(--bs-body-bg, Canvas);
  border: 1px solid currentColor;
  border-radius: 0.3rem;
  padding: 0.42rem 0.8rem;
  font: inherit;
  font-weight: 600;
  cursor: pointer;
}

.trace-widget__button:hover {
  background: var(--trace-widget-emphasis);
}

.trace-widget__button:disabled {
  cursor: not-allowed;
  opacity: 0.55;
}

.trace-widget__feedback {
  min-height: 1.6em;
  margin: 0.75rem 0 0;
  font-weight: 700;
}

.trace-widget__feedback--correct {
  color: var(--trace-widget-success);
}

.trace-widget__feedback--incorrect {
  color: var(--trace-widget-error);
}

.trace-widget__feedback--correct::before {
  content: "✓ ";
}

.trace-widget__feedback--incorrect::before {
  content: "！ ";
}

.trace-widget__complete {
  margin: 0.75rem 0 0;
  padding: 0.5rem 0.65rem;
  border: 2px double currentColor;
  border-radius: 0.3rem;
  font-weight: 700;
}

.trace-widget--slides {
  font-size: 0.54em;
  margin-top: 0.45rem;
  padding: 0.6rem;
}

.trace-widget--slides .trace-widget__execution-comparison {
  grid-template-columns: minmax(15rem, 1.25fr) minmax(13rem, 1fr);
  gap: 0.4rem;
}

.trace-widget--slides .trace-widget__code {
  gap: 0.14rem;
}

.trace-widget--slides .trace-widget__line {
  min-height: 1.45rem;
  padding-top: 0.16rem;
  padding-bottom: 0.16rem;
}

.trace-widget--slides .trace-widget__prediction-table th,
.trace-widget--slides .trace-widget__prediction-table td {
  padding: 0.26rem 0.4rem;
}

.trace-widget--slides .trace-widget__state thead {
  margin-bottom: 0.6rem;
}

.trace-widget--slides .trace-widget__state tbody {
  gap: 0.14rem;
}

.trace-widget--slides .trace-widget__state tbody tr {
  min-height: 1.45rem;
}

.trace-widget--slides .trace-widget__state tbody td {
  padding-top: 0.16rem;
  padding-bottom: 0.16rem;
}

.trace-widget--slides .trace-widget__prediction {
  width: min(100%, 29rem);
}

.trace-widget--slides .trace-widget__input {
  min-height: 1.65rem;
  padding: 0.2rem 0.35rem;
}

.trace-widget--slides .trace-widget__actions {
  margin-top: 0.45rem;
}

.trace-widget--slides .trace-widget__button {
  padding: 0.3rem 0.6rem;
}

.trace-widget--slides .trace-widget__feedback {
  min-height: 1.3em;
  margin-top: 0.3rem;
}

@media (prefers-color-scheme: dark) {
  .trace-widget {
    --trace-widget-success: #79d99a;
    --trace-widget-error: #ff9b9b;
  }
}

body.quarto-dark .trace-widget {
  --trace-widget-success: #79d99a;
  --trace-widget-error: #ff9b9b;
}

@media (max-width: 700px) {
  .trace-widget {
    padding: 0.75rem;
  }

  .trace-widget__execution-comparison,
  .trace-widget--slides .trace-widget__execution-comparison {
    grid-template-columns: 1fr;
  }

  .trace-widget__prediction,
  .trace-widget--slides .trace-widget__prediction {
    width: 100%;
  }
}