.page-component-host[data-component="serializability-scheduler"]{margin-bottom:1.5em}.page-component-host[data-component="serializability-scheduler"] .page-component-source{white-space:pre-wrap}.serializability-scheduler{border:1px solid var(--b-line);background-color:var(--b-bg-1);padding:1rem;display:-ms-grid;display:grid;gap:0.75rem}.serializability-scheduler__header{display:flex;justify-content:center}.serializability-scheduler__widget-title{font-weight:600;text-align:center}.serializability-scheduler__details{display:-ms-grid;display:grid;gap:0.25rem}.serializability-scheduler__step-meta{display:flex;flex-wrap:wrap;gap:0.75rem;align-items:baseline}.serializability-scheduler__step-counter{color:var(--b-txt-dark);font-size:90%}.serializability-scheduler__step-title{font-weight:600}.serializability-scheduler__content{display:-ms-grid;display:grid;-ms-grid-columns:-webkit-max-content 1fr;-ms-grid-columns:max-content 1fr;grid-template-columns:-webkit-max-content 1fr;grid-template-columns:max-content 1fr;gap:0.6rem 1rem;align-items:start}.serializability-scheduler__label{font-weight:600}.serializability-scheduler__value{min-width:0}.serializability-scheduler__tokens{display:flex;flex-wrap:wrap;gap:0.4rem;min-height:2rem;align-items:center}.serializability-scheduler__token,.serializability-scheduler__empty{font-family:'Inconsolata', monospace;background-color:var(--b-bg-2);padding:0.2rem 0.45rem;border-radius:0.25rem;white-space:nowrap}.serializability-scheduler__empty{color:var(--b-txt-dark)}.serializability-scheduler__token--remove{background-color:color-mix(in srgb, var(--b-link) 20%, var(--b-bg-2));-webkit-box-shadow:0 0 0 2px var(--b-link);box-shadow:0 0 0 2px var(--b-link)}.serializability-scheduler__token--add{background-color:color-mix(in srgb, var(--b-focus) 30%, var(--b-bg-2));-webkit-box-shadow:0 0 0 2px var(--b-focus);box-shadow:0 0 0 2px var(--b-focus)}.serializability-scheduler__token--swap{background-color:color-mix(in srgb, #d9b44a 30%, var(--b-bg-2));-webkit-box-shadow:0 0 0 2px #d9b44a;box-shadow:0 0 0 2px #d9b44a}.serializability-scheduler__token--commit{background-color:color-mix(in srgb, #2a7b4f 20%, var(--b-bg-2));-webkit-box-shadow:0 0 0 2px #2a7b4f;box-shadow:0 0 0 2px #2a7b4f}.serializability-scheduler__note{min-height:1.5rem}.serializability-scheduler__note--measure{position:absolute;visibility:hidden;pointer-events:none;height:auto !important}.serializability-scheduler__controls{display:flex;justify-content:center;gap:0.75rem}.serializability-scheduler__button{min-width:7rem}.serializability-scheduler__error{margin:0}.serializability-scheduler__fallback{white-space:pre-wrap}@media (max-width: 700px){.serializability-scheduler__content{-ms-grid-columns:1fr;grid-template-columns:1fr;gap:0.35rem}}