/*! tailwindcss v4.2.2 | MIT License | https://tailwindcss.com */
@layer properties;
@layer theme, base, components, utilities;
@layer theme {
  :root, :host {
    --font-sans: ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji",
      "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
    --font-mono: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono",
      "Courier New", monospace;
    --default-font-family: var(--font-sans);
    --default-mono-font-family: var(--font-mono);
  }
}
@layer base {
  *, ::after, ::before, ::backdrop, ::file-selector-button {
    box-sizing: border-box;
    margin: 0;
    padding: 0;
    border: 0 solid;
  }
  html, :host {
    line-height: 1.5;
    -webkit-text-size-adjust: 100%;
    tab-size: 4;
    font-family: var(--default-font-family, ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");
    font-feature-settings: var(--default-font-feature-settings, normal);
    font-variation-settings: var(--default-font-variation-settings, normal);
    -webkit-tap-highlight-color: transparent;
  }
  hr {
    height: 0;
    color: inherit;
    border-top-width: 1px;
  }
  abbr:where([title]) {
    -webkit-text-decoration: underline dotted;
    text-decoration: underline dotted;
  }
  h1, h2, h3, h4, h5, h6 {
    font-size: inherit;
    font-weight: inherit;
  }
  a {
    color: inherit;
    -webkit-text-decoration: inherit;
    text-decoration: inherit;
  }
  b, strong {
    font-weight: bolder;
  }
  code, kbd, samp, pre {
    font-family: var(--default-mono-font-family, ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);
    font-feature-settings: var(--default-mono-font-feature-settings, normal);
    font-variation-settings: var(--default-mono-font-variation-settings, normal);
    font-size: 1em;
  }
  small {
    font-size: 80%;
  }
  sub, sup {
    font-size: 75%;
    line-height: 0;
    position: relative;
    vertical-align: baseline;
  }
  sub {
    bottom: -0.25em;
  }
  sup {
    top: -0.5em;
  }
  table {
    text-indent: 0;
    border-color: inherit;
    border-collapse: collapse;
  }
  :-moz-focusring {
    outline: auto;
  }
  progress {
    vertical-align: baseline;
  }
  summary {
    display: list-item;
  }
  ol, ul, menu {
    list-style: none;
  }
  img, svg, video, canvas, audio, iframe, embed, object {
    display: block;
    vertical-align: middle;
  }
  img, video {
    max-width: 100%;
    height: auto;
  }
  button, input, select, optgroup, textarea, ::file-selector-button {
    font: inherit;
    font-feature-settings: inherit;
    font-variation-settings: inherit;
    letter-spacing: inherit;
    color: inherit;
    border-radius: 0;
    background-color: transparent;
    opacity: 1;
  }
  :where(select:is([multiple], [size])) optgroup {
    font-weight: bolder;
  }
  :where(select:is([multiple], [size])) optgroup option {
    padding-inline-start: 20px;
  }
  ::file-selector-button {
    margin-inline-end: 4px;
  }
  ::placeholder {
    opacity: 1;
  }
  @supports (not (-webkit-appearance: -apple-pay-button))  or (contain-intrinsic-size: 1px) {
    ::placeholder {
      color: currentcolor;
      @supports (color: color-mix(in lab, red, red)) {
        color: color-mix(in oklab, currentcolor 50%, transparent);
      }
    }
  }
  textarea {
    resize: vertical;
  }
  ::-webkit-search-decoration {
    -webkit-appearance: none;
  }
  ::-webkit-date-and-time-value {
    min-height: 1lh;
    text-align: inherit;
  }
  ::-webkit-datetime-edit {
    display: inline-flex;
  }
  ::-webkit-datetime-edit-fields-wrapper {
    padding: 0;
  }
  ::-webkit-datetime-edit, ::-webkit-datetime-edit-year-field, ::-webkit-datetime-edit-month-field, ::-webkit-datetime-edit-day-field, ::-webkit-datetime-edit-hour-field, ::-webkit-datetime-edit-minute-field, ::-webkit-datetime-edit-second-field, ::-webkit-datetime-edit-millisecond-field, ::-webkit-datetime-edit-meridiem-field {
    padding-block: 0;
  }
  ::-webkit-calendar-picker-indicator {
    line-height: 1;
  }
  :-moz-ui-invalid {
    box-shadow: none;
  }
  button, input:where([type="button"], [type="reset"], [type="submit"]), ::file-selector-button {
    appearance: button;
  }
  ::-webkit-inner-spin-button, ::-webkit-outer-spin-button {
    height: auto;
  }
  [hidden]:where(:not([hidden="until-found"])) {
    display: none !important;
  }
}
@layer utilities {
  .invisible {
    visibility: hidden;
  }
  .absolute {
    position: absolute;
  }
  .container {
    width: 100%;
    @media (width >= 40rem) {
      max-width: 40rem;
    }
    @media (width >= 48rem) {
      max-width: 48rem;
    }
    @media (width >= 64rem) {
      max-width: 64rem;
    }
    @media (width >= 80rem) {
      max-width: 80rem;
    }
    @media (width >= 96rem) {
      max-width: 96rem;
    }
  }
  .contents {
    display: contents;
  }
  .table {
    display: table;
  }
  .transform {
    transform: var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,);
  }
  .filter {
    filter: var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,);
  }
}
:root {
  --otfw-bg: #ffffff;
  --otfw-bg-surface: #f8fafc;
  --otfw-bg-elevated: #ffffff;
  --otfw-text: #0f172a;
  --otfw-text-muted: #64748b;
  --otfw-border: #e2e8f0;
  --otfw-accent: #ff851b;
  --otfw-accent-contrast: #ffffff;
  --otfw-accent-soft: rgba(255, 133, 27, 0.12);
  --otfw-code-bg: #f1f5f9;
  --otfw-code-text: #be4f0c;
  --otfw-selection: rgba(255, 133, 27, 0.22);
  --otfw-sidebar-width: 17rem;
  --otfw-toc-width: 15rem;
  --otfw-content-max: 48rem;
  --otfw-navbar-height: 3.75rem;
  --otfw-radius: 0.625rem;
  --otfw-font: "Geist", ui-sans-serif, system-ui, -apple-system, "Segoe UI", sans-serif;
  --otfw-mono: ui-monospace, "SFMono-Regular", "JetBrains Mono", Menlo, monospace;
}
[data-theme="dark"] {
  --otfw-bg: #020617;
  --otfw-bg-surface: #0b1220;
  --otfw-bg-elevated: #0f172a;
  --otfw-text: #e2e8f0;
  --otfw-text-muted: #94a3b8;
  --otfw-border: #1e293b;
  --otfw-accent: #ff943d;
  --otfw-accent-contrast: #0b1220;
  --otfw-accent-soft: rgba(255, 148, 61, 0.16);
  --otfw-code-bg: #0f172a;
  --otfw-code-text: #ffb784;
  --otfw-selection: rgba(255, 148, 61, 0.3);
}
html {
  scroll-behavior: smooth;
  scroll-padding-top: calc(var(--otfw-navbar-height) + 1rem);
}
body {
  margin: 0;
  font-family: var(--otfw-font);
  background: var(--otfw-bg);
  color: var(--otfw-text);
  -webkit-font-smoothing: antialiased;
  transition: background-color 0.2s ease, color 0.2s ease;
}
::selection {
  background: var(--otfw-selection);
}
.web-docs-layout, .web-toc, .web-footer, .web-breadcrumbs, .web-pagination, .web-callout, .web-tabs, .web-code-group, .web-table {
  display: block;
}
.web-navbar, .web-navbar-link, .web-link, .web-sidebar-node, .web-sidebar, .web-sidebar-toggle, .otfw-sidebar-shell {
  display: contents;
}
.otfw-shell {
  display: flex;
  flex-direction: column;
  min-height: 100vh;
}
.otfw-shell-body {
  flex: 1;
}
.otfw-navbar {
  position: sticky;
  top: 0;
  z-index: 50;
  height: var(--otfw-navbar-height);
  background: var(--otfw-bg);
  @supports (color: color-mix(in lab, red, red)) {
    background: color-mix(in srgb, var(--otfw-bg) 85%, transparent);
  }
  backdrop-filter: blur(8px);
  border-bottom: 1px solid var(--otfw-border);
}
.otfw-navbar-inner {
  height: 100%;
  max-width: 90rem;
  margin: 0 auto;
  padding: 0 1.5rem;
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  gap: 1.5rem;
}
.otfw-navbar-search {
  justify-self: center;
}
.otfw-navbar-right {
  justify-self: end;
  display: flex;
  align-items: center;
  gap: 1.5rem;
}
.otfw-navbar-brand {
  display: flex;
  align-items: center;
  gap: 0.5rem;
  font-weight: 700;
  font-size: 1.05rem;
  color: var(--otfw-text);
  text-decoration: none;
}
.otfw-navbar-logo {
  width: 1.75rem;
  height: 1.75rem;
}
.otfw-navbar-version {
  display: inline-flex;
  align-items: center;
  line-height: 1;
  padding: 0.22rem 0.45rem;
  border-radius: 0.4rem;
  border: 1px solid var(--otfw-border);
  background: var(--otfw-bg-surface);
  color: var(--otfw-text-muted);
  font-size: 0.62rem;
  font-weight: 700;
  letter-spacing: 0.03em;
  text-transform: uppercase;
}
.otfw-navbar-brand {
  justify-self: start;
}
.otfw-navbar-nav {
  display: flex;
  align-items: center;
  gap: 1.5rem;
  font-size: 0.9rem;
}
.otfw-navbar-link {
  position: relative;
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
  color: var(--otfw-text-muted);
  text-decoration: none;
  font-weight: 500;
  transition: color 0.15s;
}
.otfw-navbar-link::after {
  content: "";
  position: absolute;
  left: 0;
  right: 0;
  bottom: -0.45rem;
  height: 2px;
  border-radius: 2px;
  background: var(--otfw-accent);
  transform: scaleX(0);
  transition: transform 0.18s ease, opacity 0.18s ease;
}
.otfw-navbar-link:hover {
  color: var(--otfw-text);
}
.otfw-navbar-link:hover::after {
  transform: scaleX(1);
  opacity: 0.35;
}
.otfw-navbar-link.otfw-active {
  color: var(--otfw-text);
  font-weight: 600;
}
.otfw-navbar-link.otfw-active::after {
  transform: scaleX(1);
  opacity: 1;
}
.otfw-nav-icon {
  display: inline-flex;
}
.otfw-nav-icon svg {
  display: block;
}
.otfw-navbar-actions {
  display: flex;
  align-items: center;
  gap: 0.5rem;
}
.otfw-navbar-icon {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 2rem;
  height: 2rem;
  padding: 0;
  border: none;
  background: none;
  border-radius: 0.5rem;
  color: var(--otfw-text-muted);
  cursor: pointer;
  font-family: inherit;
  line-height: 0;
}
.otfw-navbar-icon > * {
  display: inline-flex;
  align-items: center;
}
.otfw-navbar-icon:hover {
  color: var(--otfw-text);
  background: var(--otfw-bg-surface);
}
.otfw-navbar-lead {
  justify-self: start;
  display: flex;
  align-items: center;
  gap: 0.5rem;
  min-width: 0;
}
.otfw-navbar-burger {
  display: none;
}
@media (max-width: 767px) {
  :root[data-otfw-has-sidebar] .otfw-navbar-burger {
    display: inline-flex;
  }
}
@media (max-width: 767px) {
  .otfw-navbar-inner {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    padding: 0 1rem;
  }
  .otfw-navbar-lead {
    margin-right: auto;
  }
  .otfw-navbar-search {
    justify-self: auto;
  }
  .otfw-navbar-right {
    gap: 0.5rem;
  }
  .otfw-navbar-version {
    display: none;
  }
  :root[data-otfw-has-sidebar] .otfw-navbar-nav {
    display: none;
  }
}
.otfw-theme {
  position: relative;
  display: inline-flex;
}
.otfw-theme-trigger {
  width: auto;
  min-width: 2rem;
  padding: 0 0.3rem;
}
.otfw-theme-trigger-system {
  display: inline-flex;
  align-items: center;
  gap: 0.3rem;
}
.otfw-theme-trigger-badge {
  display: inline-flex;
  align-items: center;
  padding-left: 0.3rem;
  border-left: 1px solid var(--otfw-border);
  opacity: 0.85;
}
.otfw-theme-menu {
  position: absolute;
  top: calc(100% + 0.4rem);
  right: 0;
  z-index: 60;
  min-width: 9rem;
  padding: 0.3rem;
  display: flex;
  flex-direction: column;
  gap: 0.1rem;
  background: var(--otfw-bg-elevated);
  border: 1px solid var(--otfw-border);
  border-radius: 0.6rem;
  box-shadow: 0 12px 30px rgba(0, 0, 0, 0.18);
}
.otfw-theme-item {
  display: flex;
  width: 100%;
  align-items: center;
  gap: 0.55rem;
  padding: 0.45rem 0.6rem;
  border: none;
  background: none;
  border-radius: 0.4rem;
  color: var(--otfw-text-muted);
  font: inherit;
  font-size: 0.85rem;
  text-align: left;
  cursor: pointer;
}
.otfw-theme-item:hover {
  background: var(--otfw-bg-surface);
  color: var(--otfw-text);
}
.otfw-theme-item.is-active {
  color: var(--otfw-accent);
  font-weight: 600;
}
.otfw-tooltip {
  position: relative;
  display: inline-flex;
}
.otfw-tooltip-bubble {
  position: absolute;
  left: 50%;
  transform: translateX(-50%) translateY(3px);
  white-space: nowrap;
  padding: 0.28rem 0.5rem;
  border-radius: 0.4rem;
  background: var(--otfw-text);
  color: var(--otfw-bg);
  font-size: 0.72rem;
  font-weight: 500;
  opacity: 0;
  pointer-events: none;
  transition: opacity 0.12s ease, transform 0.12s ease;
  z-index: 70;
}
.otfw-tooltip-bottom .otfw-tooltip-bubble {
  top: 100%;
  margin-top: 0.45rem;
}
.otfw-tooltip-top .otfw-tooltip-bubble {
  bottom: 100%;
  margin-bottom: 0.45rem;
}
.otfw-tooltip:hover .otfw-tooltip-bubble, .otfw-tooltip:focus-within .otfw-tooltip-bubble {
  opacity: 1;
  transform: translateX(-50%) translateY(0);
}
.otfw-search-trigger {
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
  border: 1px solid var(--otfw-border);
  background: var(--otfw-bg-surface);
  color: var(--otfw-text-muted);
  border-radius: 0.5rem;
  cursor: pointer;
  font-family: inherit;
  padding: 0.4rem 0.65rem;
  font-size: 0.82rem;
}
.otfw-search-trigger:hover {
  color: var(--otfw-accent);
  border-color: var(--otfw-accent);
}
.otfw-search-kbd {
  display: none;
  align-items: center;
  height: 1.25rem;
  padding: 0 0.35rem;
  border: 1px solid var(--otfw-border);
  border-radius: 0.3rem;
  background: var(--otfw-bg);
  color: var(--otfw-text-muted);
  font-family: var(--otfw-mono);
  font-size: 0.68rem;
  line-height: 1;
}
@media (min-width: 768px) {
  .otfw-search-kbd {
    display: inline-flex;
  }
}
.otfw-search-label {
  display: none;
}
@media (min-width: 768px) {
  .otfw-search-label {
    display: inline;
  }
}
.web-search {
  display: contents;
}
.otfw-search-modal {
  position: fixed;
  inset: 0;
  z-index: 100;
  display: none;
  align-items: flex-start;
  justify-content: center;
  padding: 12vh 1rem 1rem;
  background: color-mix(in srgb, #000 45%, transparent);
  backdrop-filter: blur(2px);
}
.otfw-search-modal.is-open {
  display: flex;
}
.otfw-search-panel {
  width: 100%;
  max-width: 36rem;
  max-height: 70vh;
  display: flex;
  flex-direction: column;
  background: var(--otfw-bg-elevated);
  border: 1px solid var(--otfw-border);
  border-radius: 0.9rem;
  box-shadow: 0 20px 50px rgba(0, 0, 0, 0.3);
  overflow: hidden;
}
.otfw-search-field {
  display: flex;
  align-items: center;
  gap: 0.6rem;
  padding: 0.85rem 1rem;
  border-bottom: 1px solid var(--otfw-border);
  color: var(--otfw-text-muted);
}
.otfw-search-input-field {
  flex: 1;
  min-width: 0;
  border: none;
  background: none;
  outline: none;
  font: inherit;
  font-size: 1rem;
  color: var(--otfw-text);
}
.otfw-search-hint {
  display: flex;
  flex-wrap: wrap;
  gap: 1rem;
  padding: 0.6rem 1rem;
  border-top: 1px solid var(--otfw-border);
  color: var(--otfw-text-muted);
  font-size: 0.72rem;
}
.otfw-search-hint-item {
  display: inline-flex;
  align-items: center;
  gap: 0.3rem;
}
.otfw-search-hint kbd {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 1.3rem;
  height: 1.3rem;
  padding: 0 0.35rem;
  border: 1px solid var(--otfw-border);
  border-bottom-width: 2px;
  border-radius: 0.3rem;
  background: var(--otfw-bg-surface);
  color: var(--otfw-text);
  font-family: var(--otfw-mono);
  font-size: 0.7rem;
  line-height: 1;
}
.otfw-search-results {
  list-style: none;
  margin: 0;
  padding: 0.4rem;
  overflow-y: auto;
}
.otfw-search-result {
  display: block;
  padding: 0.6rem 0.75rem;
  border-radius: 0.5rem;
  text-decoration: none;
  color: var(--otfw-text);
}
.otfw-search-result.is-active {
  background: var(--otfw-accent-soft);
}
.otfw-search-result-crumb {
  display: block;
  font-size: 0.72rem;
  color: var(--otfw-text-muted);
  letter-spacing: 0.01em;
  margin-bottom: 0.1rem;
}
.otfw-search-result-title {
  display: block;
  font-weight: 600;
  font-size: 0.9rem;
}
.otfw-search-result-section {
  display: flex;
  align-items: center;
  gap: 0.3rem;
  font-size: 0.8rem;
  color: var(--otfw-text-muted);
  margin-top: 0.05rem;
}
.otfw-search-result-section::before {
  content: "#";
  color: var(--otfw-accent);
  font-weight: 700;
}
.otfw-search-result-excerpt {
  display: block;
  font-size: 0.8rem;
  color: var(--otfw-text-muted);
  margin-top: 0.15rem;
  line-height: 1.5;
}
.otfw-search-result-excerpt mark {
  background: var(--otfw-accent-soft);
  color: var(--otfw-accent);
  border-radius: 0.2rem;
  padding: 0 0.1rem;
}
.otfw-search-empty {
  padding: 1.5rem 1rem;
  text-align: center;
  color: var(--otfw-text-muted);
  font-size: 0.9rem;
}
.otfw-docs {
  max-width: 90rem;
  margin: 0 auto;
  padding: 0 1.5rem;
  display: grid;
  grid-template-columns: 1fr;
  gap: 2.5rem;
}
@media (min-width: 768px) {
  .otfw-docs {
    grid-template-columns: var(--otfw-sidebar-width) minmax(0, 1fr);
  }
}
@media (min-width: 1280px) {
  .otfw-docs {
    grid-template-columns: var(--otfw-sidebar-width) minmax(0, 1fr) var(--otfw-toc-width);
  }
}
.otfw-sidebar {
  position: fixed;
  top: var(--otfw-navbar-height);
  bottom: 0;
  left: 0;
  z-index: 40;
  width: min(19rem, 80vw);
  padding: 1.25rem 1.1rem 2rem;
  overflow-y: auto;
  overscroll-behavior: contain;
  background: var(--otfw-bg);
  border-right: 1px solid var(--otfw-border);
  transform: translateX(-100%);
  visibility: hidden;
  transition: transform 0.25s ease, visibility 0.25s ease;
}
.otfw-sidebar.is-open {
  transform: translateX(0);
  visibility: visible;
}
.otfw-sidebar-backdrop {
  position: fixed;
  top: var(--otfw-navbar-height);
  inset-inline: 0;
  bottom: 0;
  z-index: 39;
  background: var(--otfw-text);
  @supports (color: color-mix(in lab, red, red)) {
    background: color-mix(in srgb, var(--otfw-text) 45%, transparent);
  }
  opacity: 0;
  pointer-events: none;
  transition: opacity 0.25s ease;
}
.otfw-sidebar-backdrop.is-open {
  opacity: 1;
  pointer-events: auto;
}
@media (min-width: 768px) {
  .otfw-sidebar {
    position: sticky;
    top: var(--otfw-navbar-height);
    bottom: auto;
    left: auto;
    z-index: auto;
    width: auto;
    align-self: start;
    max-height: calc(100vh - var(--otfw-navbar-height));
    overflow-y: auto;
    padding: 2rem 0.5rem 2rem 0;
    background: none;
    border-right: none;
    transform: none;
    visibility: visible;
  }
  .otfw-sidebar-backdrop {
    display: none;
  }
}
@media (prefers-reduced-motion: reduce) {
  .otfw-sidebar, .otfw-sidebar-backdrop {
    transition: none;
  }
}
.otfw-drawer-links {
  display: none;
}
@media (max-width: 767px) {
  .otfw-drawer-links {
    display: flex;
    flex-direction: column;
    align-items: flex-start;
    gap: 0.9rem;
    margin-bottom: 1.25rem;
    padding-bottom: 1.25rem;
    border-bottom: 1px solid var(--otfw-border);
    font-size: 0.95rem;
  }
}
.otfw-sidebar-list, .otfw-sidebar-sublist {
  list-style: none;
  margin: 0;
  padding: 0;
}
.otfw-sidebar-sublist {
  margin: 0.25rem 0 0.75rem 0.25rem;
  padding-left: 0.75rem;
  border-left: 1px solid var(--otfw-border);
}
.otfw-sidebar-node {
  margin: 0.1rem 0;
}
.otfw-sidebar-group-title {
  display: block;
  margin: 1.1rem 0 0.4rem;
  font-size: 0.72rem;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--otfw-text-muted);
}
.otfw-sidebar-group {
  margin: 0.15rem 0;
}
.otfw-sidebar-group-toggle {
  display: flex;
  align-items: center;
  gap: 0.45rem;
  width: 100%;
  margin: 0.85rem 0 0.35rem;
  padding: 0.25rem 0.35rem;
  border: 0;
  border-radius: 0.4rem;
  background: transparent;
  font: inherit;
  font-size: 0.72rem;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--otfw-text-muted);
  cursor: pointer;
  text-align: left;
  transition: color 0.12s, background 0.12s;
}
.otfw-sidebar-group-toggle:hover {
  color: var(--otfw-text);
  background: var(--otfw-bg-surface);
}
.otfw-sidebar-group-toggle:focus-visible {
  outline: 2px solid var(--otfw-accent);
  outline-offset: 2px;
}
.otfw-sidebar-group-label {
  flex: 1;
  min-width: 0;
}
.otfw-sidebar-group-row {
  display: flex;
  align-items: center;
  gap: 0.1rem;
  margin-top: 0.35rem;
}
.otfw-sidebar-group-row .otfw-sidebar-link {
  flex: 1;
  min-width: 0;
  padding-left: 0.2rem;
}
.otfw-sidebar-group-toggle--icon {
  flex: none;
  width: auto;
  margin: 0;
  padding: 0.35rem;
  justify-content: center;
  color: var(--otfw-text-muted);
}
.otfw-sidebar-chevron {
  flex: none;
  transition: transform 0.18s ease;
}
.otfw-sidebar-chevron.is-open {
  transform: rotate(90deg);
}
@media (prefers-reduced-motion: reduce) {
  .otfw-sidebar-chevron {
    transition: none;
  }
}
.otfw-sidebar-link {
  display: flex;
  align-items: center;
  gap: 0.6rem;
  padding: 0.35rem 0.6rem;
  border-radius: 0.45rem;
  font-size: 0.875rem;
  color: var(--otfw-text-muted);
  text-decoration: none;
  transition: color 0.12s, background 0.12s;
}
.otfw-sidebar-dot {
  flex: none;
  width: 5px;
  height: 5px;
  border-radius: 99px;
  background: currentColor;
  opacity: 0.35;
  transition: opacity 0.12s;
}
.otfw-sidebar-link:hover {
  color: var(--otfw-text);
  background: var(--otfw-bg-surface);
}
.otfw-sidebar-link:hover .otfw-sidebar-dot {
  opacity: 0.6;
}
.otfw-sidebar-link.otfw-active {
  color: var(--otfw-accent);
  background: var(--otfw-accent-soft);
  font-weight: 600;
}
.otfw-sidebar-link.otfw-active .otfw-sidebar-dot {
  opacity: 1;
}
.otfw-content {
  min-width: 0;
  padding: 2.25rem 0 4rem;
}
.otfw-prose {
  max-width: var(--otfw-content-max);
}
.otfw-prose h1 {
  font-size: 2.1rem;
  font-weight: 800;
  line-height: 1.15;
  margin: 0 0 1rem;
  letter-spacing: -0.02em;
}
.otfw-prose h2 {
  font-size: 1.5rem;
  font-weight: 700;
  margin: 2.5rem 0 1rem;
  padding-bottom: 0.4rem;
  border-bottom: 1px solid var(--otfw-border);
  letter-spacing: -0.01em;
}
.otfw-prose h3 {
  font-size: 1.2rem;
  font-weight: 700;
  margin: 2rem 0 0.75rem;
}
.otfw-prose h4 {
  font-size: 1.05rem;
  font-weight: 700;
  margin: 1.6rem 0 0.6rem;
}
.otfw-prose h5 {
  font-size: 0.95rem;
  font-weight: 700;
  margin: 1.4rem 0 0.5rem;
}
.otfw-prose h6 {
  font-size: 0.85rem;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.04em;
  color: var(--otfw-text-muted);
  margin: 1.3rem 0 0.5rem;
}
.otfw-prose h1, .otfw-prose h2, .otfw-prose h3, .otfw-prose h4, .otfw-prose h5, .otfw-prose h6 {
  scroll-margin-top: calc(var(--otfw-navbar-height) + 1rem);
}
.otfw-heading-anchor {
  margin-left: 0.4rem;
  color: var(--otfw-text-muted);
  font-weight: 400;
  text-decoration: none;
  opacity: 0;
  transition: opacity 0.12s ease;
}
.otfw-heading-anchor::before {
  content: "#";
}
.otfw-prose :is(h1, h2, h3, h4, h5, h6):hover .otfw-heading-anchor, .otfw-heading-anchor:focus-visible {
  opacity: 1;
}
.otfw-heading-anchor:hover {
  color: var(--otfw-accent);
}
.otfw-prose p, .otfw-prose ul, .otfw-prose ol {
  line-height: 1.75;
  margin: 0 0 1.1rem;
  color: var(--otfw-text);
}
.otfw-prose ul, .otfw-prose ol {
  padding-left: 1.4rem;
}
.otfw-prose ul {
  list-style: disc;
}
.otfw-prose ul ul {
  list-style: circle;
}
.otfw-prose ol {
  list-style: decimal;
}
.otfw-prose li {
  margin: 0.35rem 0;
}
.otfw-prose li > p {
  margin: 0;
}
.otfw-prose li:has(> input[type="checkbox"]) {
  list-style: none;
}
.otfw-prose li:has(> input[type="checkbox"]) > p {
  display: inline;
}
.otfw-prose li > input[type="checkbox"] {
  appearance: none;
  -webkit-appearance: none;
  width: 1.05rem;
  height: 1.05rem;
  margin: 0 0.55em 0 0;
  border: 1.5px solid var(--otfw-border);
  border-radius: 0.3rem;
  background: var(--otfw-bg-surface);
  vertical-align: -0.18em;
  position: relative;
  opacity: 1;
  cursor: default;
}
.otfw-prose li > input[type="checkbox"]:checked {
  background: var(--otfw-accent);
  border-color: var(--otfw-accent);
}
.otfw-prose li > input[type="checkbox"]:checked::after {
  content: "";
  position: absolute;
  left: 0.34rem;
  top: 0.13rem;
  width: 0.26rem;
  height: 0.52rem;
  border: solid #fff;
  border-width: 0 2px 2px 0;
  transform: rotate(45deg);
}
.otfw-prose li:has(> input[type="checkbox"]:checked) > p {
  color: var(--otfw-text-muted);
}
.otfw-prose button:not([class]) {
  font: inherit;
  cursor: pointer;
  padding: 0.4rem 0.9rem;
  border: 1px solid var(--otfw-border);
  border-radius: 0.5rem;
  background: var(--otfw-bg-surface);
  color: inherit;
  transition: border-color 0.15s ease, background 0.15s ease;
}
.otfw-prose button:not([class]):hover {
  border-color: var(--otfw-accent);
}
.otfw-prose a {
  color: var(--otfw-accent);
  text-decoration: none;
  font-weight: 500;
}
.otfw-prose a:hover {
  text-decoration: underline;
}
.otfw-prose strong {
  font-weight: 700;
}
.otfw-prose code {
  font-family: var(--otfw-mono);
  font-size: 0.86em;
  background: var(--otfw-code-bg);
  color: var(--otfw-code-text);
  padding: 0.15em 0.4em;
  border-radius: 0.35rem;
}
.otfw-prose pre {
  margin: 0 0 1.4rem;
  padding: 1rem 1.1rem;
  border-radius: var(--otfw-radius);
  border: 1px solid var(--otfw-border);
  overflow-x: auto;
  font-family: var(--otfw-mono);
  font-size: 0.85rem;
  line-height: 1.6;
}
.otfw-prose pre code {
  background: none;
  color: inherit;
  padding: 0;
  font-size: inherit;
}
.otfw-code {
  margin: 0 0 1.4rem;
  border: 1px solid var(--otfw-border);
  border-radius: var(--otfw-radius);
  overflow: hidden;
  background: #2b303b;
}
.otfw-code-head {
  display: flex;
  align-items: center;
  gap: 0.55rem;
  padding: 0.4rem 0.5rem 0.4rem 0.95rem;
  background: #23272f;
  border-bottom: 1px solid rgba(255, 255, 255, 0.07);
}
.otfw-code-lang {
  text-transform: uppercase;
  letter-spacing: 0.05em;
  font-size: 0.66rem;
  font-weight: 700;
  color: rgba(255, 255, 255, 0.45);
}
.otfw-code-name {
  font-family: var(--otfw-mono);
  font-size: 0.78rem;
  color: rgba(255, 255, 255, 0.82);
}
.otfw-code pre {
  margin: 0;
  border: none;
  border-radius: 0;
  color: #e2e8f0;
}
.otfw-copy {
  margin-left: auto;
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
  padding: 0.28rem 0.6rem;
  border: 1px solid rgba(255, 255, 255, 0.16);
  border-radius: 999px;
  background: rgba(255, 255, 255, 0.06);
  color: rgba(255, 255, 255, 0.78);
  font-family: var(--otfw-font);
  font-size: 0.72rem;
  font-weight: 600;
  line-height: 1;
  cursor: pointer;
  transition: background 0.15s ease, color 0.15s ease, border-color 0.15s ease;
}
.otfw-copy:hover {
  background: rgba(255, 255, 255, 0.14);
  color: #fff;
}
.otfw-copy.is-copied {
  background: color-mix(in srgb, #10b981 22%, transparent);
  border-color: color-mix(in srgb, #10b981 55%, transparent);
  color: #34d399;
}
.otfw-copy .otfw-check-icon {
  display: none;
}
.otfw-copy.is-copied .otfw-copy-icon {
  display: none;
}
.otfw-copy.is-copied .otfw-check-icon {
  display: inline;
}
.otfw-prose blockquote {
  margin: 0 0 1.2rem;
  padding: 0.25rem 1.1rem;
  border-left: 3px solid var(--otfw-accent);
  color: var(--otfw-text-muted);
}
.otfw-prose hr {
  border: none;
  border-top: 1px solid var(--otfw-border);
  margin: 2rem 0;
}
.otfw-prose img {
  max-width: 100%;
  border-radius: var(--otfw-radius);
}
.otfw-prose table {
  width: 100%;
  border-collapse: collapse;
  margin: 0 0 1.4rem;
  font-size: 0.9rem;
}
.otfw-prose th, .otfw-prose td {
  text-align: left;
  padding: 0.55rem 0.8rem;
  border: 1px solid var(--otfw-border);
}
.otfw-prose th {
  background: var(--otfw-bg-surface);
  font-weight: 600;
}
.otfw-toc {
  display: none;
}
@media (min-width: 1280px) {
  .otfw-toc {
    display: block;
    position: sticky;
    top: var(--otfw-navbar-height);
    align-self: start;
    max-height: calc(100vh - var(--otfw-navbar-height));
    overflow-y: auto;
    padding: 2.25rem 0 2rem;
  }
}
.otfw-toc-heading {
  font-size: 0.72rem;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--otfw-text-muted);
  margin-bottom: 0.6rem;
}
.otfw-toc-list {
  list-style: none;
  margin: 0;
  padding: 0;
  border-left: 1px solid var(--otfw-border);
}
.otfw-toc-item {
  margin: 0;
}
.otfw-toc-sub .otfw-toc-link {
  padding-left: 1.5rem;
}
.otfw-toc-link {
  display: block;
  padding: 0.25rem 0 0.25rem 0.85rem;
  margin-left: -1px;
  border-left: 2px solid transparent;
  font-size: 0.82rem;
  color: var(--otfw-text-muted);
  text-decoration: none;
}
.otfw-toc-link:hover {
  color: var(--otfw-text);
}
.otfw-toc-link.otfw-active {
  color: var(--otfw-accent);
  border-left-color: var(--otfw-accent);
  font-weight: 600;
}
.otfw-breadcrumbs {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.35rem;
  margin-bottom: 1.25rem;
  font-size: 0.8rem;
  color: var(--otfw-text-muted);
}
.otfw-crumb {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
}
.otfw-crumb-sep {
  opacity: 0.5;
}
.otfw-crumb-link {
  color: var(--otfw-text-muted);
  text-decoration: none;
}
.otfw-crumb-link:hover {
  color: var(--otfw-accent);
}
.otfw-page-meta {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  flex-wrap: wrap;
  margin-top: 2.5rem;
}
.otfw-page-meta:empty {
  margin-top: 0;
}
.otfw-last-updated {
  font-size: 0.8rem;
  color: var(--otfw-text-muted);
}
.otfw-last-updated-time {
  font-weight: 600;
  color: var(--otfw-text);
}
.otfw-edit-page {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
  font-size: 0.8rem;
  font-weight: 500;
  color: var(--otfw-text-muted);
  text-decoration: none;
}
.otfw-edit-page:hover {
  color: var(--otfw-accent);
}
.otfw-page-meta + .otfw-pagination {
  margin-top: 1.5rem;
}
.otfw-pagination {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  margin-top: 3rem;
  padding-top: 1.5rem;
  border-top: 1px solid var(--otfw-border);
}
.otfw-page-link {
  display: flex;
  flex-direction: column;
  gap: 0.2rem;
  padding: 0.85rem 1.1rem;
  border: 1px solid var(--otfw-border);
  border-radius: var(--otfw-radius);
  text-decoration: none;
  min-width: 0;
  transition: border-color 0.15s;
}
.otfw-page-link:hover {
  border-color: var(--otfw-accent);
}
.otfw-page-next {
  text-align: right;
  margin-left: auto;
}
.otfw-page-dir {
  font-size: 0.75rem;
  color: var(--otfw-text-muted);
}
.otfw-page-title {
  font-weight: 600;
  color: var(--otfw-text);
}
.otfw-page-spacer {
  display: block;
}
.otfw-footer {
  border-top: 1px solid var(--otfw-border);
  background: var(--otfw-bg-surface);
  margin-top: 2rem;
}
.otfw-footer-inner {
  max-width: 90rem;
  margin: 0 auto;
  padding: 2rem 1.5rem;
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  gap: 1rem;
  font-size: 0.85rem;
  color: var(--otfw-text-muted);
}
.otfw-footer-links {
  display: flex;
  gap: 1.25rem;
}
.otfw-footer-link {
  color: var(--otfw-text-muted);
  text-decoration: none;
}
.otfw-footer-link:hover {
  color: var(--otfw-text);
}
.otfw-callout {
  --c: var(--otfw-text-muted);
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 0.85rem;
  margin: 1.5rem 0;
  padding: 1rem 1.1rem;
  border: 1px solid var(--c);
  @supports (color: color-mix(in lab, red, red)) {
    border: 1px solid color-mix(in srgb, var(--c) 28%, var(--otfw-border));
  }
  border-left: 3px solid var(--c);
  border-radius: 0.75rem;
  background: var(--c);
  @supports (color: color-mix(in lab, red, red)) {
    background: color-mix(in srgb, var(--c) 7%, var(--otfw-bg));
  }
}
.otfw-callout-icon {
  display: grid;
  place-items: center;
  flex: none;
  width: 1.65rem;
  height: 1.65rem;
  color: var(--c);
  font-size: 1.15rem;
  line-height: 1;
}
.otfw-callout-title {
  font-weight: 700;
  font-size: 0.9rem;
  color: var(--c);
  @supports (color: color-mix(in lab, red, red)) {
    color: color-mix(in srgb, var(--c) 60%, var(--otfw-text));
  }
  margin-bottom: 0.25rem;
}
.otfw-callout-content {
  min-width: 0;
}
.otfw-callout-body {
  font-size: 0.92rem;
  line-height: 1.65;
}
.otfw-callout-body > :last-child {
  margin-bottom: 0;
}
.otfw-callout-note {
  --c: var(--otfw-text-muted);
}
.otfw-callout-tip {
  --c: #10b981;
}
.otfw-callout-info {
  --c: #3b82f6;
}
.otfw-callout-warning {
  --c: #f59e0b;
}
.otfw-callout-danger {
  --c: #ef4444;
}
.otfw-tabs {
  margin: 1.5rem 0;
  border: 1px solid var(--otfw-border);
  border-radius: var(--otfw-radius);
  overflow: hidden;
}
.otfw-tabs-list {
  display: flex;
  gap: 0.25rem;
  padding: 0.4rem;
  background: var(--otfw-bg-surface);
  border-bottom: 1px solid var(--otfw-border);
}
.otfw-tab {
  padding: 0.35rem 0.85rem;
  border: none;
  border-radius: 0.4rem;
  background: transparent;
  color: var(--otfw-text-muted);
  font-family: inherit;
  font-size: 0.85rem;
  font-weight: 600;
  cursor: pointer;
}
.otfw-tab.otfw-active {
  background: var(--otfw-bg);
  color: var(--otfw-accent);
  box-shadow: 0 1px 2px rgba(0, 0, 0, 0.08);
}
.otfw-tabs-panels {
  padding: 1rem 1.1rem;
}
.otfw-tabs-panels pre {
  margin: 0;
  border: none;
}
.otfw-tab-panel > .otfw-code {
  margin: 0;
}
.otfw-hidden {
  display: none;
}
.otfw-steps {
  counter-reset: otfw-step;
  margin: 1.5rem 0;
  padding-left: 1.75rem;
  border-left: 1px solid var(--otfw-border);
}
.otfw-steps > h3, .otfw-steps > h4 {
  position: relative;
  counter-increment: otfw-step;
  margin-top: 1.6rem;
  font-size: 1.05rem;
}
.otfw-steps > h3:first-child, .otfw-steps > h4:first-child {
  margin-top: 0;
}
.otfw-steps > h3::before, .otfw-steps > h4::before {
  content: counter(otfw-step);
  position: absolute;
  left: calc(-1.75rem - 1px);
  top: 50%;
  transform: translate(-50%, -50%);
  display: grid;
  place-items: center;
  width: 1.7rem;
  height: 1.7rem;
  border-radius: 999px;
  background: var(--otfw-bg);
  border: 1px solid var(--otfw-border);
  color: var(--otfw-text-muted);
  font-size: 0.8rem;
  font-weight: 700;
}
.otfw-steps > h3:hover::before, .otfw-steps > h4:hover::before {
  border-color: var(--otfw-accent);
  color: var(--otfw-accent);
}
.otfw-table-wrap {
  overflow-x: auto;
  margin: 0 0 1.4rem;
}
.otfw-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.9rem;
}
.otfw-table th, .otfw-table td {
  text-align: left;
  padding: 0.55rem 0.8rem;
  border: 1px solid var(--otfw-border);
}
.otfw-table th {
  background: var(--otfw-bg-surface);
  font-weight: 600;
}
.otfw-cards {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(15rem, 1fr));
  gap: 1rem;
  margin: 1.5rem 0;
}
.otfw-card {
  display: flex;
  flex-direction: column;
  gap: 0.35rem;
  padding: 1.1rem 1.25rem;
  border: 1px solid var(--otfw-border);
  border-radius: 0.75rem;
  background: var(--otfw-bg-surface);
  text-decoration: none;
  transition: border-color 0.15s, transform 0.15s;
}
.otfw-card:hover {
  border-color: var(--otfw-accent);
  transform: translateY(-2px);
}
.otfw-card-title {
  font-weight: 700;
  color: var(--otfw-text);
}
.otfw-card-desc {
  font-size: 0.85rem;
  line-height: 1.5;
  color: var(--otfw-text-muted);
}
.otfw-blog {
  max-width: 90rem;
  margin: 0 auto;
  padding: 0 1.5rem;
}
.otfw-blog-main {
  width: 100%;
  max-width: var(--otfw-content-max);
  margin: 0 auto;
  padding: 3rem 0;
}
.otfw-blog-post {
  display: grid;
  grid-template-columns: 1fr;
  gap: 2.5rem;
}
@media (min-width: 1280px) {
  .otfw-blog-post {
    grid-template-columns: minmax(0, 1fr) var(--otfw-toc-width);
  }
  .otfw-blog-post .otfw-blog-main {
    margin: 0;
    justify-self: end;
  }
}
.otfw-blog-back {
  display: inline-block;
  margin-bottom: 1.5rem;
  font-size: 0.85rem;
  color: var(--otfw-text-muted);
  text-decoration: none;
}
.otfw-blog-back:hover {
  color: var(--otfw-text);
}
.otfw-post-banner {
  margin-bottom: 2.5rem;
  padding-bottom: 1.75rem;
  border-bottom: 1px solid var(--otfw-border);
}
.otfw-post-title {
  font-size: clamp(2rem, 5vw, 2.75rem);
  font-weight: 800;
  letter-spacing: -0.02em;
  line-height: 1.1;
  color: var(--otfw-text);
}
.otfw-post-desc {
  margin-top: 0.75rem;
  font-size: 1.15rem;
  color: var(--otfw-text-muted);
  line-height: 1.5;
}
.otfw-post-meta {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.75rem;
  margin-top: 1rem;
  font-size: 0.85rem;
  color: var(--otfw-text-muted);
}
.otfw-post-meta > * + *::before {
  content: "·";
  margin-right: 0.75rem;
  color: var(--otfw-border);
}
.otfw-reading-time, .otfw-post-author, .otfw-post-date {
  white-space: nowrap;
}
.otfw-post-tags {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
  margin-top: 1rem;
}
.otfw-post-tag {
  padding: 0.15rem 0.6rem;
  border-radius: 9999px;
  background: var(--otfw-bg-surface);
  border: 1px solid var(--otfw-border);
  font-size: 0.72rem;
  font-weight: 600;
  color: var(--otfw-text-muted);
}
.otfw-post-list {
  display: flex;
  flex-direction: column;
}
.otfw-post-card {
  display: block;
  padding: 1.6rem 0;
  border-top: 1px solid var(--otfw-border);
  text-decoration: none;
  transition: opacity 0.15s;
}
.otfw-post-card:hover .otfw-post-card-title {
  color: var(--otfw-accent);
}
.otfw-post-card .otfw-post-meta {
  margin-top: 0;
}
.otfw-post-card-title {
  margin-top: 0.4rem;
  font-size: 1.35rem;
  font-weight: 700;
  color: var(--otfw-text);
  transition: color 0.15s;
}
.otfw-post-card-desc {
  margin-top: 0.4rem;
  color: var(--otfw-text-muted);
  line-height: 1.5;
}
.otfw-post-empty {
  padding: 2rem 0;
  color: var(--otfw-text-muted);
}
.otfw-post-cover {
  display: block;
  width: 100%;
  aspect-ratio: 16 / 7;
  object-fit: cover;
  border-radius: 0.85rem;
  border: 1px solid var(--otfw-border);
  margin-bottom: 1.75rem;
}
.otfw-post-author {
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
}
.otfw-post-avatar {
  width: 1.4rem;
  height: 1.4rem;
  border-radius: 9999px;
  object-fit: cover;
  border: 1px solid var(--otfw-border);
}
.otfw-post-author-role {
  color: var(--otfw-text-muted);
  opacity: 0.8;
}
.otfw-post-card-cover {
  display: block;
  width: 100%;
  aspect-ratio: 16 / 8;
  object-fit: cover;
  border-radius: 0.6rem;
  border: 1px solid var(--otfw-border);
  margin-bottom: 1rem;
}
:root {
  --lab-ink: #111827;
  --lab-muted: #64748b;
  --lab-line: #dbe4ef;
  --lab-paper: #f8fafc;
  --lab-panel: #ffffff;
  --lab-blue: #2563eb;
  --lab-violet: #7c3aed;
  --lab-green: #047857;
  --lab-red: #be123c;
  --lab-amber: #b45309;
}
[data-theme="dark"] {
  --lab-ink: #e5edf8;
  --lab-muted: #9aa9bd;
  --lab-line: #263548;
  --lab-paper: #0b1220;
  --lab-panel: #111c2d;
  --lab-blue: #7db2ff;
  --lab-violet: #b69cff;
  --lab-green: #5ee3aa;
  --lab-red: #fb7185;
  --lab-amber: #fbbf24;
}
body {
  background: var(--lab-paper);
  color: var(--lab-ink);
}
.diff-lab {
  width: min(100%, 88rem);
  margin: 0 auto;
  padding: 4.5rem 1.5rem 6rem;
}
.lab-hero {
  max-width: 48rem;
  padding: 3rem 0 5.5rem;
}
.eyebrow, .section-kicker {
  color: var(--lab-blue);
  font-size: .72rem;
  font-weight: 800;
  letter-spacing: .13em;
  text-transform: uppercase;
}
.lab-hero h1 {
  max-width: 44rem;
  margin: .8rem 0 1.1rem;
  font-size: clamp(2.65rem, 7vw, 5.5rem);
  letter-spacing: -.065em;
  line-height: .95;
}
.lab-hero h1 span {
  color: var(--lab-violet);
}
.lab-hero p {
  margin: 0;
  color: var(--lab-muted);
  font-size: 1.2rem;
  line-height: 1.65;
}
.hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: .75rem;
  margin-top: 2rem;
}
.button {
  border-radius: .55rem;
  padding: .8rem 1.1rem;
  font-weight: 750;
  text-decoration: none;
}
.button-primary {
  background: var(--lab-ink);
  color: var(--lab-paper);
}
.button-primary:hover {
  opacity: .9;
}
.button-secondary {
  border: 1px solid var(--lab-line);
  background: var(--lab-panel);
  color: var(--lab-ink);
}
.button-secondary:hover {
  border-color: var(--lab-blue);
}
.capability-row {
  display: flex;
  flex-wrap: wrap;
  gap: .45rem;
  margin-top: 2.4rem;
}
.capability-row span {
  border: 1px solid var(--lab-line);
  border-radius: 100px;
  background: #fff;
  color: var(--lab-muted);
  font-family: var(--otfw-mono);
  font-size: .75rem;
  padding: .35rem .65rem;
}
.scenario-section {
  display: grid;
  grid-template-columns: 17rem 1fr;
  gap: 2rem;
  align-items: start;
  margin-bottom: 2rem;
}
.scenario-section h2, .workspace-heading h2 {
  margin: .35rem 0 0;
  font-size: 1.55rem;
  letter-spacing: -.035em;
}
.scenario-list {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: .75rem;
}
.scenario-card {
  border: 1px solid var(--lab-line);
  border-radius: .75rem;
  background: var(--lab-panel);
  color: var(--lab-ink);
  padding: 1rem;
  text-align: left;
  transition: border-color .15s, transform .15s;
}
.scenario-card:hover {
  border-color: var(--lab-blue);
  transform: translateY(-2px);
}
.scenario-card strong, .scenario-card span {
  display: block;
}
.scenario-card strong {
  margin-bottom: .2rem;
}
.scenario-card span {
  color: var(--lab-muted);
  font-size: .82rem;
}
.lab-workspace {
  border: 1px solid var(--lab-line);
  border-radius: 1.1rem;
  background: var(--lab-panel);
  box-shadow: 0 18px 60px rgba(15, 23, 42, .08);
  overflow: hidden;
}
.workspace-heading {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding: 1.5rem;
  border-bottom: 1px solid var(--lab-line);
}
.patch-status {
  display: inline-flex;
  align-items: center;
  gap: .5rem;
  border-radius: 100px;
  background: #f1f5f9;
  color: var(--lab-muted);
  font-size: .8rem;
  font-weight: 700;
  padding: .45rem .7rem;
}
.patch-status.is-valid {
  background: #ecfdf5;
  color: var(--lab-green);
}
.status-dot {
  width: .48rem;
  height: .48rem;
  border-radius: 50%;
  background: currentColor;
}
.editor-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
}
.code-pane + .code-pane {
  border-left: 1px solid var(--lab-line);
}
.pane-heading {
  display: flex;
  align-items: center;
  justify-content: space-between;
  min-height: 4.2rem;
  padding: .8rem 1rem;
  border-bottom: 1px solid var(--lab-line);
}
.pane-heading strong, .pane-label {
  display: block;
}
.pane-heading strong {
  font-size: .94rem;
}
.pane-label {
  color: var(--lab-red);
  font-size: .68rem;
  font-weight: 800;
  letter-spacing: .08em;
  text-transform: uppercase;
}
.pane-label-target {
  color: var(--lab-green);
}
.pane-language {
  color: var(--lab-muted);
  font-family: var(--otfw-mono);
  font-size: .73rem;
}
.editor-wrapper {
  height: 22rem;
  overflow: auto;
  background: #0f172a;
}
.cm-editor {
  height: 100%;
  font-size: .84rem;
}
.cm-scroller {
  font-family: var(--otfw-mono);
}
.results-pane {
  border-top: 1px solid var(--lab-line);
}
.result-topbar {
  display: flex;
  justify-content: space-between;
  gap: .75rem;
  padding: .65rem 1rem;
  border-bottom: 1px solid var(--lab-line);
  background: #fbfdff;
}
.tabs {
  display: flex;
  gap: .25rem;
}
.tabs button, .copy-button {
  border: 0;
  border-radius: .45rem;
  background: transparent;
  color: var(--lab-muted);
  cursor: pointer;
  font-size: .8rem;
  font-weight: 750;
  padding: .5rem .65rem;
}
.tabs button.active {
  background: #e8efff;
  color: var(--lab-blue);
}
.tabs button span {
  display: inline-grid;
  place-items: center;
  min-width: 1.2rem;
  border-radius: 100px;
  background: rgba(37, 99, 235, .12);
  font-size: .68rem;
  padding: .08rem .25rem;
}
.copy-button {
  border: 1px solid var(--lab-line);
  background: #fff;
  color: var(--lab-ink);
}
.results-content {
  min-height: 17rem;
  max-height: 26rem;
  overflow: auto;
  padding: 1rem;
}
.diff-overview {
  display: grid;
  gap: 1.25rem;
}
.overview-heading {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 1rem;
}
.overview-heading h3 {
  margin: .3rem 0 0;
  font-size: 1.15rem;
  letter-spacing: -.025em;
}
.overview-proof {
  border-radius: 100px;
  background: #f1f5f9;
  color: var(--lab-muted);
  font-size: .72rem;
  font-weight: 800;
  padding: .4rem .65rem;
  white-space: nowrap;
}
.overview-proof.is-valid {
  background: #ecfdf5;
  color: var(--lab-green);
}
.summary-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: .65rem;
}
.summary-card {
  border: 1px solid var(--lab-line);
  border-radius: .65rem;
  background: var(--lab-panel);
  color: var(--lab-ink);
  padding: .85rem;
  text-align: left;
}
.summary-card strong, .summary-card span {
  display: block;
}
.summary-card strong {
  font-family: var(--otfw-mono);
  font-size: 1.35rem;
}
.summary-card span {
  color: var(--lab-muted);
  font-size: .76rem;
  font-weight: 800;
  text-transform: uppercase;
}
.summary-card.added {
  border-bottom: 3px solid var(--lab-green);
}
.summary-card.changed {
  border-bottom: 3px solid var(--lab-blue);
}
.summary-card.removed {
  border-bottom: 3px solid var(--lab-red);
}
.diff-tree {
  font-family: var(--otfw-mono);
  font-size: .82rem;
  line-height: 1.7;
  border: 1px solid var(--lab-line);
  border-radius: .6rem;
  padding: .6rem 0;
  overflow-x: auto;
  background: var(--lab-paper);
}
.dt-row {
  display: flex;
  gap: .5rem;
  padding: 0 .9rem;
  white-space: pre;
}
.dt-mark {
  width: .7rem;
  flex: none;
  color: var(--lab-muted);
  user-select: none;
  text-align: center;
}
.dt-line, .dt-pre, .dt-old, .dt-arrow, .dt-rest {
  white-space: pre;
}
.dt-added {
  background: var(--lab-green);
  @supports (color: color-mix(in lab, red, red)) {
    background: color-mix(in srgb, var(--lab-green) 13%, transparent);
  }
}
.dt-deleted {
  background: var(--lab-red);
  @supports (color: color-mix(in lab, red, red)) {
    background: color-mix(in srgb, var(--lab-red) 13%, transparent);
  }
}
.dt-added .dt-mark {
  color: var(--lab-green);
}
.dt-deleted .dt-mark {
  color: var(--lab-red);
}
.dt-changed .dt-mark {
  color: var(--lab-amber);
}
.dt-added .dt-pre, .dt-added .dt-rest {
  color: var(--lab-green);
}
.dt-deleted .dt-pre, .dt-deleted .dt-rest {
  color: var(--lab-red);
  text-decoration: line-through;
}
.dt-changed .dt-rest {
  color: var(--lab-amber);
}
.dt-cold {
  background: var(--lab-amber);
  @supports (color: color-mix(in lab, red, red)) {
    background: color-mix(in srgb, var(--lab-amber) 12%, transparent);
  }
}
.dt-cnew {
  background: var(--lab-amber);
  @supports (color: color-mix(in lab, red, red)) {
    background: color-mix(in srgb, var(--lab-amber) 12%, transparent);
  }
}
.dt-cold .dt-mark, .dt-cnew .dt-mark {
  color: var(--lab-amber);
}
.dt-cold .dt-pre, .dt-cold .dt-rest {
  color: var(--lab-amber);
  text-decoration: line-through;
}
.dt-cnew .dt-pre, .dt-cnew .dt-rest {
  color: var(--lab-amber);
}
.dt-same {
  color: var(--lab-muted);
}
.dt-old {
  color: var(--lab-amber);
  text-decoration: line-through;
}
.dt-arrow {
  color: var(--lab-muted);
}
.op-legend {
  display: flex;
  flex-wrap: wrap;
  gap: 1rem;
  color: var(--lab-muted);
  font-size: .78rem;
}
.op-legend span {
  display: inline-flex;
  align-items: center;
  gap: .4rem;
}
.op-swatch {
  display: inline-block;
  width: .8rem;
  height: .8rem;
  border-radius: .2rem;
}
.op-swatch.kind-added {
  background: var(--lab-green);
}
.op-swatch.kind-changed {
  background: var(--lab-amber);
}
.op-swatch.kind-removed {
  background: var(--lab-red);
}
.plot-caption {
  margin: 0;
  color: var(--lab-muted);
  font-size: .8rem;
}
.change-list {
  display: grid;
  gap: .55rem;
}
.change-card {
  display: grid;
  grid-template-columns: 5.2rem minmax(0, 1fr) minmax(10rem, 1.4fr);
  align-items: center;
  gap: 1rem;
  width: 100%;
  border: 1px solid var(--lab-line);
  border-left: 3px solid var(--lab-blue);
  border-radius: .55rem;
  background: #fff;
  color: var(--lab-ink);
  padding: .8rem;
  text-align: left;
}
.change-card.kind-changed {
  border-left-color: var(--lab-amber);
}
.change-card.kind-removed {
  border-left-color: var(--lab-red);
}
.change-card.kind-added {
  border-left-color: var(--lab-green);
}
.change-card.selected {
  box-shadow: 0 0 0 2px rgba(37, 99, 235, .2);
}
.change-type {
  color: var(--lab-muted);
  font-size: .72rem;
  font-weight: 800;
  text-transform: uppercase;
}
.change-card code, .change-value {
  min-width: 0;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}
.change-card code {
  color: var(--lab-violet);
  font-family: var(--otfw-mono);
  font-size: .83rem;
}
.change-value {
  color: var(--lab-muted);
  font-family: var(--otfw-mono);
  font-size: .78rem;
}
.json-viewer {
  margin: 0;
  color: #0f3b8d;
  font-family: var(--otfw-mono);
  font-size: .8rem;
  line-height: 1.6;
  white-space: pre-wrap;
}
.empty-state {
  border: 1px dashed var(--lab-line);
  border-radius: .65rem;
  color: var(--lab-muted);
  padding: 2.5rem 1rem;
  text-align: center;
}
.proof-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 1px;
  margin-top: 4rem;
  overflow: hidden;
  border: 1px solid var(--lab-line);
  border-radius: 1rem;
  background: var(--lab-line);
}
.proof-card {
  display: flex;
  flex-direction: column;
  min-height: 14rem;
  background: var(--lab-panel);
  color: var(--lab-ink);
  padding: 1.5rem;
  text-decoration: none;
  transition: background .15s;
}
.proof-card:hover {
  background: var(--lab-paper);
}
.proof-number {
  color: var(--lab-violet);
  font-family: var(--otfw-mono);
  font-size: .76rem;
  font-weight: 800;
}
.proof-grid h2 {
  margin: 2.4rem 0 .6rem;
  font-size: 1.15rem;
  letter-spacing: -.025em;
}
.proof-grid p {
  color: var(--lab-muted);
  line-height: 1.6;
  margin: 0;
}
.proof-link {
  margin-top: auto;
  padding-top: 1rem;
  color: var(--lab-blue);
  font-size: .82rem;
  font-weight: 750;
}
.bench-table {
  width: 100%;
  border-collapse: collapse;
}
.bench-table th, .bench-table td {
  border-bottom: 1px solid var(--lab-line);
  padding: .5rem .7rem;
}
.bench-table th {
  text-align: left;
}
.bench-table .n {
  text-align: right;
  font-family: var(--otfw-mono);
  white-space: nowrap;
}
.bench-table .best {
  font-weight: 800;
  color: var(--lab-green);
}
.bench-table .c {
  text-align: center;
  white-space: nowrap;
}
.table-scroll {
  overflow-x: auto;
}
[data-theme="dark"] .button-secondary, [data-theme="dark"] .capability-row span, [data-theme="dark"] .copy-button, [data-theme="dark"] .change-card {
  background: var(--lab-panel);
}
[data-theme="dark"] .patch-status, [data-theme="dark"] .overview-proof {
  background: #19263a;
}
[data-theme="dark"] .patch-status.is-valid, [data-theme="dark"] .overview-proof.is-valid {
  background: #123829;
}
[data-theme="dark"] .result-topbar {
  background: #101b2b;
}
[data-theme="dark"] .editor-wrapper {
  background: #0a1020;
}
.otfw-footer {
  background: #0b1220;
  border-top: 1px solid #1f2b40;
}
.otfw-footer-inner {
  color: #93a2b8;
}
.otfw-footer-link {
  color: #cdd8e6;
}
.otfw-footer-link:hover {
  color: #ffffff;
}
@media (max-width: 760px) {
  .diff-lab {
    padding: 2rem 1rem 4rem;
  }
  .lab-hero {
    padding: 2rem 0 3.5rem;
  }
  .scenario-section, .editor-grid {
    grid-template-columns: 1fr;
  }
  .scenario-list {
    grid-template-columns: 1fr;
  }
  .code-pane + .code-pane {
    border-top: 1px solid var(--lab-line);
    border-left: 0;
  }
  .workspace-heading {
    align-items: flex-start;
    flex-direction: column;
  }
  .change-card {
    grid-template-columns: 1fr;
    gap: .3rem;
  }
  .summary-grid {
    grid-template-columns: 1fr;
  }
  .proof-grid {
    grid-template-columns: 1fr;
  }
  .proof-card {
    min-height: 0;
  }
  .proof-grid h2 {
    margin-top: 1.5rem;
  }
}
@property --tw-rotate-x {
  syntax: "*";
  inherits: false;
}
@property --tw-rotate-y {
  syntax: "*";
  inherits: false;
}
@property --tw-rotate-z {
  syntax: "*";
  inherits: false;
}
@property --tw-skew-x {
  syntax: "*";
  inherits: false;
}
@property --tw-skew-y {
  syntax: "*";
  inherits: false;
}
@property --tw-blur {
  syntax: "*";
  inherits: false;
}
@property --tw-brightness {
  syntax: "*";
  inherits: false;
}
@property --tw-contrast {
  syntax: "*";
  inherits: false;
}
@property --tw-grayscale {
  syntax: "*";
  inherits: false;
}
@property --tw-hue-rotate {
  syntax: "*";
  inherits: false;
}
@property --tw-invert {
  syntax: "*";
  inherits: false;
}
@property --tw-opacity {
  syntax: "*";
  inherits: false;
}
@property --tw-saturate {
  syntax: "*";
  inherits: false;
}
@property --tw-sepia {
  syntax: "*";
  inherits: false;
}
@property --tw-drop-shadow {
  syntax: "*";
  inherits: false;
}
@property --tw-drop-shadow-color {
  syntax: "*";
  inherits: false;
}
@property --tw-drop-shadow-alpha {
  syntax: "<percentage>";
  inherits: false;
  initial-value: 100%;
}
@property --tw-drop-shadow-size {
  syntax: "*";
  inherits: false;
}
@layer properties {
  @supports ((-webkit-hyphens: none) and (not (margin-trim: inline))) or ((-moz-orient: inline) and (not (color:rgb(from red r g b)))) {
    *, ::before, ::after, ::backdrop {
      --tw-rotate-x: initial;
      --tw-rotate-y: initial;
      --tw-rotate-z: initial;
      --tw-skew-x: initial;
      --tw-skew-y: initial;
      --tw-blur: initial;
      --tw-brightness: initial;
      --tw-contrast: initial;
      --tw-grayscale: initial;
      --tw-hue-rotate: initial;
      --tw-invert: initial;
      --tw-opacity: initial;
      --tw-saturate: initial;
      --tw-sepia: initial;
      --tw-drop-shadow: initial;
      --tw-drop-shadow-color: initial;
      --tw-drop-shadow-alpha: 100%;
      --tw-drop-shadow-size: initial;
    }
  }
}