:root {
  --ink: #111412;
  --muted: #595f59;
  --panel: #ebe8de;
  --panel-strong: #f0eee5;
  --line: rgba(35, 38, 35, 0.22);
  --accent: #5b46d8;
  --accent-dark: #35259b;
  --focus: #4f37ff;
  --shadow: rgba(14, 15, 13, 0.22);
  --home-label-font: "Outfit", "Avenir Next Condensed", "Arial Narrow", "Helvetica Neue", Arial, sans-serif;
  --home-news-font: "Outfit", "Arial Narrow", "Helvetica Neue", Arial, sans-serif;
  --home-library-font: "Cactus Classical Serif", Georgia, "Times New Roman", serif;
  --home-paper-font: "Cactus Classical Serif", Georgia, "Times New Roman", serif;
  --repository-label-font: "Doto", "Courier New", monospace;
  --punch-card-font: "Sixtyfour", "Doto", "Courier New", monospace;
  --punch-card-value-font: "Special Elite", "Doto", "Courier New", monospace;
  --home-panel-title-font-size: 18px;
  --home-panel-title-font-weight: 650;
  --home-panel-title-letter-spacing: 0.05em;
  --home-panel-title-line-height: 1;
  --home-panel-title-text-transform: uppercase;
  --home-panel-action-font-size: 7px;
  --home-panel-action-font-weight: 600;
  --home-panel-action-letter-spacing: 0.05em;
  --content-frame-head-image: image-set(
    url("/media/content/content-frame-head.avif") type("image/avif"),
    url("/media/content/content-frame-head.webp") type("image/webp"),
    url("/media/content/content-frame-head.png") type("image/png")
  );
  --content-frame-repeat-image: image-set(
    url("/media/content/content-frame-repeat-placeholder.avif") type("image/avif"),
    url("/media/content/content-frame-repeat-placeholder.webp") type("image/webp"),
    url("/media/content/content-frame-repeat-placeholder.png") type("image/png")
  );
  --domain-tile-texture-image: image-set(
    url("/media/domains/stone-texture.avif") type("image/avif"),
    url("/media/domains/stone-texture.webp") type("image/webp"),
    url("/media/domains/stone-texture.jpg") type("image/jpeg")
  );
}

/* MLTTDB architecture workbench. The phone route keeps the standard article. */
.mlttdb-workbench {
  display: none;
}

@media (min-width: 761px) {
  .content-shell-mlttdb::before,
  .content-shell-mlttdb::after {
    clip-path: inset(0 1100px 0 0);
  }

  .content-main.content-main-mlttdb {
    padding: 0;
    overflow: visible;
  }

  .content-main-mlttdb > .breadcrumbs,
  .content-main-mlttdb > .home-close {
    display: none;
  }

  .content-article-mlttdb {
    position: relative;
    width: 1033px;
    height: 1602px;
    margin-left: 0;
    overflow: visible;
  }

  .content-article-mlttdb > .mlttdb-standard-title {
    position: absolute;
    width: 1px;
    height: 1px;
    padding: 0;
    margin: -1px;
    overflow: hidden;
    clip: rect(0, 0, 0, 0);
    white-space: nowrap;
    border: 0;
  }

  .mlttdb-workbench {
    --mlttdb-accent: #5136a3;
    --mlttdb-ink: #08080a;
    position: relative;
    display: block;
    top: 54px;
    width: 1024px;
    height: 1548px;
    color: var(--mlttdb-ink);
    font-family: var(--home-label-font);
    text-shadow: 0 1px 0 rgba(255, 255, 255, 0.28);
  }

  .mlttdb-workbench-overlay {
    position: absolute;
    top: -3.475113px;
    left: -2.316742px;
    z-index: 1;
    width: 888px;
    height: 1342px;
    transform: scale(1.1583710407);
    transform-origin: top left;
  }

  .mlttdb-workbench-background,
  .mlttdb-workbench-background img {
    position: absolute;
    inset: 0;
    z-index: 0;
    display: block;
    width: 100%;
    height: 100%;
    pointer-events: none;
  }

  .mlttdb-workbench-home {
    position: absolute;
    top: 16px;
    left: 796px;
    z-index: 3;
    width: 74px;
    height: 82px;
    border-radius: 50%;
  }

  .mlttdb-workbench-home:focus-visible {
    outline: 4px solid var(--focus);
    outline-offset: 4px;
  }

  .mlttdb-workbench-header,
  .mlttdb-path-card,
  .mlttdb-contract,
  .mlttdb-platforms,
  .mlttdb-workbench-footer {
    position: absolute;
    z-index: 1;
  }

  .mlttdb-workbench-header {
    top: 60px;
    left: 87px;
    width: 640px;
  }

  .mlttdb-workbench-eyebrow {
    margin: 0;
    color: var(--mlttdb-accent);
    font-size: 18px;
    font-weight: 750;
    letter-spacing: 0.14em;
    line-height: 1;
    text-transform: uppercase;
  }

  .mlttdb-workbench-heading {
    margin: 18px 0 0;
    color: var(--mlttdb-ink);
    font-size: 64px;
    font-weight: 720;
    letter-spacing: -0.035em;
    line-height: 1.02;
  }

  .mlttdb-workbench-heading span {
    display: block;
  }

  .mlttdb-workbench-intro {
    width: 470px;
    margin: 18px 0 0;
    color: #111116;
    font-size: 18px;
    font-weight: 560;
    letter-spacing: 0.003em;
    line-height: 1.42;
  }

  .mlttdb-path-card {
    top: 401px;
    width: 310px;
    height: 408px;
  }

  .mlttdb-path-card-agda {
    left: 40px;
  }

  .mlttdb-path-card-preprocessors {
    left: 548px;
    width: 307px;
  }

  .mlttdb-path-medallion {
    position: absolute;
    top: 50px;
    left: 68px;
    display: grid;
    width: 96px;
    height: 96px;
    place-items: center;
    color: var(--mlttdb-accent);
    background: rgba(239, 235, 247, 0.82);
    border: 1px solid rgba(76, 53, 147, 0.2);
    border-radius: 50%;
    box-shadow:
      0 9px 14px rgba(30, 24, 49, 0.14),
      inset 0 1px 1px rgba(255, 255, 255, 0.72);
  }

  .mlttdb-path-card-preprocessors .mlttdb-path-medallion {
    left: 122px;
  }

  .mlttdb-placeholder-icon {
    display: block;
    width: 64px;
    height: 64px;
    fill: none;
    stroke: currentColor;
    stroke-width: 3;
    stroke-linecap: round;
    stroke-linejoin: round;
    vector-effect: non-scaling-stroke;
  }

  .mlttdb-path-card h3 {
    position: absolute;
    top: 194px;
    left: 58px;
    width: 226px;
    padding: 0 0 13px;
    margin: 0;
    color: var(--mlttdb-accent);
    border-bottom: 1px solid rgba(64, 52, 99, 0.26);
    font-size: 29px;
    font-weight: 700;
    letter-spacing: -0.025em;
    line-height: 1;
  }

  .mlttdb-path-card-preprocessors h3 {
    left: 45px;
    width: 230px;
  }

  .mlttdb-path-card ul {
    position: absolute;
    top: 265px;
    right: 20px;
    left: 57px;
    display: grid;
    gap: 20px;
    padding: 0;
    margin: 0;
    list-style: none;
  }

  .mlttdb-path-card-preprocessors ul {
    right: 15px;
    left: 45px;
  }

  .mlttdb-path-card li {
    position: relative;
    padding-left: 18px;
    font-size: 18px;
    font-weight: 560;
    line-height: 1.32;
  }

  .mlttdb-path-card li::before {
    content: "";
    position: absolute;
    top: 0.56em;
    left: 0;
    width: 6px;
    height: 6px;
    background: var(--mlttdb-accent);
    box-shadow: 1px 1px 0 rgba(255, 255, 255, 0.5);
  }

  .mlttdb-contract {
    top: 885px;
    left: 40px;
    width: 810px;
    height: 132px;
  }

  .mlttdb-contract h3 {
    margin: 15px 0 0;
    color: var(--mlttdb-accent);
    font-size: 17px;
    font-weight: 760;
    letter-spacing: 0.14em;
    line-height: 1;
    text-align: center;
    text-transform: uppercase;
  }

  .mlttdb-contract ul {
    position: absolute;
    top: 53px;
    right: 40px;
    left: 40px;
    display: grid;
    grid-template-columns: repeat(5, minmax(0, 1fr));
    height: 59px;
    padding: 0;
    margin: 0;
    list-style: none;
  }

  .mlttdb-contract li {
    display: grid;
    grid-template-columns: 42px minmax(0, 1fr);
    gap: 8px;
    align-items: center;
    min-width: 0;
    padding: 0 8px;
    border-left: 1px solid rgba(30, 27, 38, 0.2);
  }

  .mlttdb-contract li:first-child {
    border-left: 0;
  }

  .mlttdb-contract .mlttdb-placeholder-icon {
    width: 38px;
    height: 38px;
    color: #15141a;
    stroke-width: 2.5;
  }

  .mlttdb-contract span {
    font-size: 13.5px;
    font-weight: 650;
    letter-spacing: -0.01em;
    line-height: 1.14;
  }

  .mlttdb-platforms {
    top: 1091px;
    left: 69px;
    width: 747px;
    height: 128px;
    padding: 0;
    margin: 0;
    list-style: none;
  }

  .mlttdb-platforms li {
    position: absolute;
    top: 0;
    display: flex;
    height: 128px;
    align-items: center;
    gap: 17px;
    padding-left: 38px;
    color: var(--mlttdb-accent);
    font-size: 28px;
    font-weight: 720;
    line-height: 1;
  }

  .mlttdb-platforms li:nth-child(1) {
    left: 0;
    width: 246px;
  }

  .mlttdb-platforms li:nth-child(2) {
    left: 267px;
    width: 211px;
  }

  .mlttdb-platforms li:nth-child(3) {
    left: 516px;
    width: 231px;
  }

  .mlttdb-platforms .mlttdb-placeholder-icon {
    width: 58px;
    height: 58px;
    color: var(--mlttdb-accent);
    stroke-width: 3.2;
  }

  .mlttdb-workbench-footer {
    top: 1220px;
    left: 87px;
    width: 710px;
    padding-top: 18px;
    margin: 0;
    color: rgba(246, 243, 239, 0.94);
    border-top: 1px solid rgba(238, 233, 226, 0.52);
    font-size: 16.5px;
    font-weight: 600;
    letter-spacing: 0.005em;
    line-height: 1.3;
    text-align: center;
    text-shadow: 0 1px 2px rgba(0, 0, 0, 0.92);
  }
}

/* State Machine Studio refinement slab. The phone route keeps the standard article. */
.fsm-studio-workbench {
  display: none;
}

.fsm-studio-demo-screen {
  display: none;
}

@media (min-width: 761px) {
  .content-shell-fsm-studio::before,
  .content-shell-fsm-studio::after {
    clip-path: inset(0 1100px 0 0);
  }

  .content-main.content-main-fsm-studio {
    padding: 0;
    overflow: visible;
  }

  .content-main-fsm-studio > .breadcrumbs,
  .content-main-fsm-studio > .home-close {
    display: none;
  }

  .content-article-fsm-studio {
    position: relative;
    width: 1033px;
    height: 1546px;
    margin-left: 0;
    overflow: visible;
  }

  .content-article-fsm-studio > .fsm-studio-standard-title {
    position: absolute;
    width: 1px;
    height: 1px;
    padding: 0;
    margin: -1px;
    overflow: hidden;
    clip: rect(0, 0, 0, 0);
    white-space: nowrap;
    border: 0;
  }

  .fsm-studio-workbench {
    --fsm-studio-accent: #4e31a8;
    --fsm-studio-ink: #171512;
    position: relative;
    top: 54px;
    display: block;
    width: 1024px;
    height: 1492px;
    color: var(--fsm-studio-ink);
    font-family: var(--home-label-font);
    text-shadow: 0 1px 0 rgba(255, 255, 255, 0.45);
  }

  .fsm-studio-workbench-background,
  .fsm-studio-workbench-background img {
    position: absolute;
    inset: 0;
    z-index: 0;
    display: block;
    width: 100%;
    height: 100%;
    pointer-events: none;
  }

  .fsm-studio-workbench-overlay {
    position: absolute;
    inset: 0 auto auto 0;
    z-index: 1;
    width: 1321px;
    height: 1049px;
    transform: scale(0.7751703255);
    transform-origin: top left;
  }

  .fsm-studio-demo-screen {
    position: absolute;
    top: 936px;
    left: 113px;
    z-index: 2;
    display: block;
    width: 572px;
    height: 373px;
    overflow: hidden;
    background: #111;
    clip-path: polygon(0 0, 100% 0, 100% 80%, 97.8% 100%, 14.5% 100%, 0 81%);
  }

  .fsm-studio-demo-screen iframe {
    display: block;
    width: 100%;
    height: 100%;
    border: 0;
    background: #fff;
    transition: opacity 140ms ease;
  }

  .fsm-studio-demo-screen::after {
    position: absolute;
    inset: 0;
    display: grid;
    color: rgba(238, 235, 226, 0.92);
    background: rgba(17, 17, 17, 0.76);
    content: "Loading model…";
    font-size: 14px;
    font-weight: 700;
    letter-spacing: 0.08em;
    opacity: 0;
    place-items: center;
    pointer-events: none;
    text-shadow: 0 1px 2px #000;
    text-transform: uppercase;
    transition: opacity 140ms ease;
  }

  .fsm-studio-demo-screen.is-loading iframe {
    opacity: 0.24;
  }

  .fsm-studio-demo-screen.is-loading::after {
    opacity: 1;
  }

  .fsm-studio-domain-selector {
    position: absolute;
    top: 838px;
    left: 52px;
    z-index: 3;
    display: grid;
    grid-template-columns: repeat(8, minmax(0, 1fr));
    gap: 5px;
    width: 920px;
  }

  .fsm-studio-domain-button {
    --fsm-studio-domain-texture-position: 50% 50%;
    --fsm-studio-domain-texture-size: 370% auto;
    position: relative;
    display: grid;
    min-width: 0;
    height: 66px;
    padding: 5px 3px 6px;
    color: rgba(29, 29, 26, 0.72);
    font: inherit;
    grid-template-rows: 35px auto;
    justify-items: center;
    background-color: rgba(235, 231, 219, 0.94);
    background-image:
      linear-gradient(145deg, rgba(255, 255, 255, 0.16), rgba(225, 218, 207, 0.08)),
      var(--domain-tile-texture-image);
    background-position: center, var(--fsm-studio-domain-texture-position);
    background-repeat: no-repeat;
    background-size: auto, var(--fsm-studio-domain-texture-size);
    border: 1px solid rgba(42, 42, 36, 0.32);
    border-radius: 5px 5px 8px 5px;
    box-shadow:
      0 3px 6px rgba(25, 24, 20, 0.18),
      inset 0 1px rgba(255, 255, 255, 0.64),
      inset 0 0 0 1px rgba(255, 255, 255, 0.14);
    cursor: pointer;
    text-shadow: 0 1px rgba(255, 255, 255, 0.42);
    transition: color 150ms ease, border-color 150ms ease, box-shadow 150ms ease, transform 150ms ease;
  }

  .fsm-studio-domain-button:nth-child(2n) {
    --fsm-studio-domain-texture-position: 77% 31%;
    --fsm-studio-domain-texture-size: 405% auto;
  }

  .fsm-studio-domain-button:nth-child(3n) {
    --fsm-studio-domain-texture-position: 22% 78%;
    --fsm-studio-domain-texture-size: 355% auto;
  }

  .fsm-studio-domain-icon {
    display: grid;
    width: 31px;
    height: 31px;
    place-items: center;
  }

  .fsm-studio-domain-icon img {
    display: block;
    width: 100%;
    height: 100%;
    object-fit: contain;
    opacity: 0.62;
    transition: filter 150ms ease, opacity 150ms ease, transform 150ms ease;
  }

  .fsm-studio-domain-button > span:last-child {
    display: block;
    max-width: 100%;
    overflow: hidden;
    font-size: 10px;
    font-weight: 720;
    letter-spacing: 0.01em;
    line-height: 1;
    text-overflow: ellipsis;
    text-transform: uppercase;
    white-space: nowrap;
  }

  .fsm-studio-domain-button:hover,
  .fsm-studio-domain-button:focus-visible,
  .fsm-studio-domain-button.is-active {
    color: #2d215d;
    border-color: rgba(78, 49, 168, 0.58);
    box-shadow:
      0 5px 10px rgba(52, 40, 118, 0.2),
      0 0 0 1px rgba(78, 49, 168, 0.12),
      inset 0 1px rgba(255, 255, 255, 0.74);
  }

  .fsm-studio-domain-button:hover,
  .fsm-studio-domain-button:focus-visible {
    transform: translateY(-2px);
  }

  .fsm-studio-domain-button.is-active::after {
    position: absolute;
    right: 20%;
    bottom: 1px;
    left: 20%;
    height: 3px;
    background: var(--fsm-studio-accent);
    border-radius: 2px;
    box-shadow: 0 0 5px rgba(78, 49, 168, 0.3);
    content: "";
  }

  .fsm-studio-domain-button:hover .fsm-studio-domain-icon img,
  .fsm-studio-domain-button:focus-visible .fsm-studio-domain-icon img,
  .fsm-studio-domain-button.is-active .fsm-studio-domain-icon img {
    filter: brightness(0) saturate(100%) invert(24%) sepia(58%) saturate(2770%) hue-rotate(246deg) brightness(78%) contrast(94%);
    opacity: 0.94;
    transform: scale(1.04);
  }

  .fsm-studio-domain-button:focus-visible,
  .fsm-studio-example-button:focus-visible {
    outline: 3px solid var(--focus);
    outline-offset: 2px;
  }

  .fsm-studio-example-browser {
    position: absolute;
    top: 936px;
    left: 716px;
    z-index: 3;
    width: 278px;
    height: 373px;
  }

  .fsm-studio-example-panel[hidden] {
    display: none;
  }

  .fsm-studio-example-panel h3 {
    margin: 0 0 10px;
    color: #211c18;
    font-size: 16px;
    font-weight: 760;
    letter-spacing: 0.035em;
    line-height: 1.1;
    text-shadow: 0 1px rgba(255, 255, 255, 0.66);
    text-transform: uppercase;
  }

  .fsm-studio-example-panel ol {
    display: grid;
    gap: 10px;
    padding: 0;
    margin: 0;
    list-style: none;
  }

  .fsm-studio-example-button {
    --fsm-studio-example-texture-position: 28% 35%;
    display: grid;
    width: 100%;
    min-height: 96px;
    padding: 11px 12px;
    color: #25211d;
    font: inherit;
    text-align: left;
    grid-template-columns: 34px minmax(0, 1fr);
    gap: 10px;
    align-items: center;
    background-color: rgba(235, 231, 220, 0.95);
    background-image:
      linear-gradient(145deg, rgba(255, 255, 255, 0.16), rgba(216, 209, 196, 0.08)),
      var(--domain-tile-texture-image);
    background-position: center, var(--fsm-studio-example-texture-position);
    background-repeat: no-repeat;
    background-size: auto, 210% auto;
    border: 1px solid rgba(46, 42, 36, 0.36);
    border-radius: 6px 6px 10px 6px;
    box-shadow:
      0 4px 8px rgba(25, 23, 20, 0.2),
      inset 0 1px rgba(255, 255, 255, 0.65),
      inset 0 0 0 1px rgba(255, 255, 255, 0.12);
    cursor: pointer;
    transition: border-color 150ms ease, box-shadow 150ms ease, transform 150ms ease;
  }

  .fsm-studio-example-panel li:nth-child(2) .fsm-studio-example-button {
    --fsm-studio-example-texture-position: 72% 58%;
  }

  .fsm-studio-example-panel li:nth-child(3) .fsm-studio-example-button {
    --fsm-studio-example-texture-position: 42% 88%;
  }

  .fsm-studio-example-button > span {
    display: grid;
    width: 31px;
    height: 31px;
    color: #f1ede5;
    place-items: center;
    background: rgba(58, 54, 48, 0.78);
    border: 2px solid rgba(247, 241, 229, 0.7);
    border-radius: 50%;
    box-shadow: 0 0 0 1px rgba(38, 34, 30, 0.46);
    font-size: 11px;
    font-weight: 800;
  }

  .fsm-studio-example-button strong {
    font-size: 14px;
    font-weight: 680;
    line-height: 1.18;
  }

  .fsm-studio-example-button:hover,
  .fsm-studio-example-button:focus-visible,
  .fsm-studio-example-button.is-active {
    border-color: rgba(78, 49, 168, 0.64);
    box-shadow:
      0 7px 12px rgba(52, 40, 118, 0.22),
      inset 4px 0 rgba(78, 49, 168, 0.78),
      inset 0 1px rgba(255, 255, 255, 0.72);
  }

  .fsm-studio-example-button:hover,
  .fsm-studio-example-button:focus-visible {
    transform: translateX(-2px);
  }

  .fsm-studio-example-button.is-active > span {
    color: #fff;
    background: var(--fsm-studio-accent);
  }

  .fsm-studio-workbench-home {
    position: absolute;
    top: 4px;
    left: 1209px;
    z-index: 5;
    width: 96px;
    height: 142px;
    border-radius: 46px 46px 22px 22px;
  }

  .fsm-studio-workbench-home:focus-visible {
    outline: 5px solid var(--focus);
    outline-offset: 4px;
  }

  .fsm-studio-workbench-header,
  .fsm-studio-levels,
  .fsm-studio-machine-symbols,
  .fsm-studio-workbench-quote,
  .fsm-studio-feature-card,
  .fsm-studio-workbench-footer {
    position: absolute;
    z-index: 2;
  }

  .fsm-studio-workbench-header {
    top: 32px;
    left: 49px;
    width: 850px;
    height: 190px;
  }

  .fsm-studio-brand-mark {
    position: absolute;
    top: 0;
    left: 0;
    display: grid;
    width: 105px;
    height: 105px;
    color: #2f2468;
    place-items: center;
    background: rgba(222, 216, 208, 0.44);
    border: 8px solid rgba(79, 48, 164, 0.9);
    border-radius: 14px;
    box-shadow:
      0 6px 8px rgba(15, 13, 12, 0.28),
      inset 0 0 0 2px rgba(33, 27, 27, 0.48),
      inset 0 0 0 9px rgba(255, 255, 255, 0.24);
  }

  .fsm-studio-brand-mark .fsm-studio-placeholder-icon {
    width: 69px;
    height: 69px;
    color: #25194f;
    filter: drop-shadow(1px 2px 0 rgba(255, 255, 255, 0.42));
    stroke-width: 4;
  }

  .fsm-studio-workbench-header > div {
    margin-left: 135px;
    padding-top: 8px;
  }

  .fsm-studio-workbench-header h2 {
    margin: 0;
    color: #141311;
    font-size: 64px;
    font-weight: 700;
    letter-spacing: -0.035em;
    line-height: 0.98;
    text-shadow:
      0 2px 0 rgba(255, 255, 255, 0.72),
      0 4px 4px rgba(21, 19, 18, 0.32);
  }

  .fsm-studio-workbench-subtitle {
    margin: 10px 0 0;
    color: var(--fsm-studio-accent);
    font-size: 23px;
    font-weight: 700;
    letter-spacing: -0.01em;
    line-height: 1.1;
  }

  .fsm-studio-workbench-intro {
    position: absolute;
    top: 137px;
    left: 0;
    width: 690px;
    margin: 0;
    color: #201d19;
    font-size: 19px;
    font-weight: 600;
    line-height: 1.33;
  }

  .fsm-studio-levels {
    inset: 0;
    padding: 0;
    margin: 0;
    list-style: none;
  }

  .fsm-studio-levels li {
    position: absolute;
    left: 714px;
    width: 205px;
  }

  .fsm-studio-levels li:nth-child(1) {
    top: 267px;
  }

  .fsm-studio-levels li:nth-child(2) {
    top: 469px;
  }

  .fsm-studio-levels li:nth-child(3) {
    top: 681px;
  }

  .fsm-studio-levels h3 {
    margin: 0;
    font-size: 25px;
    font-weight: 500;
    letter-spacing: -0.025em;
    line-height: 1.05;
  }

  .fsm-studio-levels p {
    margin: 11px 0 0;
    font-size: 16px;
    font-weight: 500;
    line-height: 1.28;
  }

  .fsm-studio-placeholder-icon {
    display: block;
    width: 42px;
    height: 42px;
    fill: none;
    stroke: currentColor;
    stroke-width: 3;
    stroke-linecap: round;
    stroke-linejoin: round;
    vector-effect: non-scaling-stroke;
  }

  .fsm-studio-machine-symbols {
    inset: 0;
    color: #eee8df;
    pointer-events: none;
    text-shadow: none;
  }

  .fsm-studio-machine-symbol {
    position: absolute;
    display: grid;
    place-items: center;
    color: #32226f;
    background: rgba(92, 61, 184, 0.86);
    border: 3px solid rgba(87, 59, 169, 0.92);
    border-radius: 50%;
    box-shadow:
      0 0 0 6px rgba(236, 228, 214, 0.54),
      0 0 0 8px rgba(160, 114, 25, 0.72),
      0 3px 6px rgba(21, 17, 19, 0.36);
  }

  .fsm-studio-machine-symbol .fsm-studio-placeholder-icon {
    width: 18px;
    height: 18px;
    color: #ddd5ce;
    stroke-width: 4;
  }

  .fsm-studio-machine-symbol-primary {
    top: 281px;
    left: 344px;
    width: 24px;
    height: 24px;
  }

  .fsm-studio-machine-symbol-secondary {
    top: 287px;
    left: 486px;
    width: 16px;
    height: 16px;
    box-shadow:
      0 0 0 3px rgba(236, 228, 214, 0.55),
      0 0 0 5px rgba(160, 114, 25, 0.68),
      0 2px 4px rgba(21, 17, 19, 0.3);
  }

  .fsm-studio-machine-symbol-secondary .fsm-studio-placeholder-icon {
    display: none;
  }

  .fsm-studio-machine-symbols-middle,
  .fsm-studio-machine-symbols-lower {
    position: absolute;
    padding: 0;
    margin: 0;
    list-style: none;
  }

  .fsm-studio-machine-symbols-middle {
    top: 482px;
    left: 229px;
    width: 365px;
    height: 90px;
  }

  .fsm-studio-machine-symbols-middle li {
    position: absolute;
    display: grid;
    width: 34px;
    height: 34px;
    color: #ede7de;
    place-items: center;
  }

  .fsm-studio-machine-symbols-middle li:nth-child(1) { top: 0; left: 0; }
  .fsm-studio-machine-symbols-middle li:nth-child(2) { top: -3px; left: 97px; }
  .fsm-studio-machine-symbols-middle li:nth-child(3) { top: 0; left: 194px; }
  .fsm-studio-machine-symbols-middle li:nth-child(4) { top: 39px; left: -2px; }
  .fsm-studio-machine-symbols-middle li:nth-child(5) { top: 39px; left: 95px; }
  .fsm-studio-machine-symbols-middle li:nth-child(6) { top: 38px; left: 192px; }
  .fsm-studio-machine-symbols-middle li:nth-child(7) { top: 28px; left: 300px; }

  .fsm-studio-machine-symbols-middle .fsm-studio-placeholder-icon {
    width: 21px;
    height: 21px;
    stroke-width: 3.5;
    filter: drop-shadow(1px 1px 1px rgba(0, 0, 0, 0.86));
  }

  .fsm-studio-machine-symbols-lower {
    top: 716px;
    left: 164px;
    display: grid;
    grid-template-columns: repeat(6, 52px);
    gap: 26px;
  }

  .fsm-studio-machine-symbols-lower li {
    display: grid;
    width: 52px;
    height: 52px;
    color: #ede7de;
    place-items: center;
  }

  .fsm-studio-machine-symbols-lower .fsm-studio-placeholder-icon {
    width: 29px;
    height: 29px;
    stroke-width: 3.4;
    filter: drop-shadow(1px 2px 1px rgba(0, 0, 0, 0.9));
  }

  .fsm-studio-workbench-quote {
    top: 164px;
    left: 956px;
    width: 276px;
    height: 159px;
    padding: 34px 26px 20px 56px;
    margin: 0;
  }

  .fsm-studio-workbench-quote > span {
    position: absolute;
    top: 5px;
    left: 18px;
    color: var(--fsm-studio-accent);
    font-size: 64px;
    font-weight: 700;
    line-height: 1;
    text-shadow: 1px 2px 0 rgba(20, 14, 40, 0.45);
  }

  .fsm-studio-workbench-quote p {
    margin: 0;
    font-size: 26px;
    font-weight: 600;
    letter-spacing: -0.015em;
    line-height: 1.14;
  }

  .fsm-studio-feature-card {
    left: 946px;
    width: 318px;
    height: 238px;
    padding: 15px 22px;
  }

  .fsm-studio-feature-card-collaboration {
    top: 344px;
  }

  .fsm-studio-feature-card-rigor {
    top: 613px;
  }

  .fsm-studio-feature-card h3 {
    margin: 0;
    font-size: 14px;
    font-weight: 700;
    letter-spacing: 0.025em;
    line-height: 1;
    text-transform: uppercase;
  }

  .fsm-studio-feature-card ul {
    display: grid;
    gap: 13px;
    padding: 0;
    margin: 17px 0 0;
    list-style: none;
  }

  .fsm-studio-feature-card li {
    display: grid;
    grid-template-columns: 43px minmax(0, 1fr);
    gap: 10px;
    align-items: center;
    min-width: 0;
    font-size: 18px;
    font-weight: 500;
    line-height: 1.08;
  }

  .fsm-studio-feature-card .fsm-studio-placeholder-icon {
    width: 37px;
    height: 37px;
    color: #22201d;
    stroke-width: 3;
  }

  .fsm-studio-workbench-footer {
    top: 876px;
    left: 48px;
    display: grid;
    grid-template-columns: 110px 500px minmax(0, 1fr);
    width: 1233px;
    height: 157px;
    align-items: center;
  }

  .fsm-studio-footer-shield {
    display: grid;
    width: 94px;
    height: 112px;
    place-items: center;
    color: #2f245b;
    filter: drop-shadow(0 5px 3px rgba(18, 16, 15, 0.28));
  }

  .fsm-studio-footer-shield .fsm-studio-placeholder-icon {
    width: 86px;
    height: 100px;
    stroke-width: 2.8;
  }

  .fsm-studio-footer-copy {
    align-self: center;
    padding-left: 10px;
  }

  .fsm-studio-footer-copy strong,
  .fsm-studio-footer-copy span {
    display: block;
  }

  .fsm-studio-footer-copy strong {
    color: var(--fsm-studio-accent);
    font-size: 29px;
    font-weight: 700;
    letter-spacing: -0.015em;
    line-height: 1.1;
  }

  .fsm-studio-footer-copy span {
    margin-top: 12px;
    font-size: 19px;
    font-weight: 600;
    line-height: 1.15;
  }

  .fsm-studio-workbench-footer ul {
    display: grid;
    grid-template-columns: repeat(3, minmax(0, 1fr));
    height: 116px;
    padding: 0;
    margin: 0;
    list-style: none;
  }

  .fsm-studio-workbench-footer li {
    display: grid;
    align-content: center;
    justify-items: center;
    border-left: 1px solid rgba(159, 113, 24, 0.82);
    font-size: 16px;
    font-weight: 600;
    line-height: 1.12;
    text-align: center;
  }

  .fsm-studio-workbench-footer li .fsm-studio-placeholder-icon {
    width: 51px;
    height: 51px;
    margin-bottom: 7px;
    color: #25211d;
    stroke-width: 3;
  }
}

@media (min-width: 761px) and (prefers-reduced-motion: reduce) {
  .fsm-studio-demo-screen iframe,
  .fsm-studio-demo-screen::after,
  .fsm-studio-domain-button,
  .fsm-studio-domain-icon img,
  .fsm-studio-example-button {
    transition: none;
  }
}

/* Domains collection plates */
.domain-index-intro {
  max-width: 44rem;
  margin: -0.5rem 0 1.8rem;
  color: rgba(30, 33, 29, 0.76);
}

.domain-index-intro p {
  margin: 0;
}

.domain-grid {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 1rem;
}

.domain-plate {
  --domain-tile-texture-position: 50% 50%;
  --domain-tile-texture-size: 290% auto;
  position: relative;
  display: flex;
  min-width: 0;
  aspect-ratio: 5 / 6;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  padding: 1.25rem 0.75rem 1.15rem;
  overflow: hidden;
  color: rgba(25, 26, 23, 0.78);
  background-image:
    linear-gradient(145deg, rgba(255, 255, 255, 0.1), rgba(225, 218, 207, 0.08)),
    var(--domain-tile-texture-image);
  background-position: center, var(--domain-tile-texture-position);
  background-repeat: no-repeat;
  background-size: auto, var(--domain-tile-texture-size);
  border: 1px solid rgba(42, 42, 36, 0.24);
  border-radius: 7px 7px 12px 7px;
  box-shadow:
    0 0.8rem 1.3rem rgba(25, 24, 20, 0.12),
    0 0.16rem 0.3rem rgba(25, 24, 20, 0.16),
    inset 0 1px rgba(255, 255, 255, 0.6);
  font-family: var(--home-news-font);
  text-align: center;
  text-shadow: 0 1px 0 rgba(255, 255, 255, 0.4);
  transition: color 180ms ease, border-color 180ms ease, box-shadow 180ms ease, transform 180ms ease;
}

.domain-plate:nth-child(1) {
  --domain-tile-texture-position: 4% 8%;
  --domain-tile-texture-size: 290% auto;
}

.domain-plate:nth-child(2) {
  --domain-tile-texture-position: 32% 24%;
  --domain-tile-texture-size: 320% auto;
}

.domain-plate:nth-child(3) {
  --domain-tile-texture-position: 60% 7%;
  --domain-tile-texture-size: 280% auto;
}

.domain-plate:nth-child(4) {
  --domain-tile-texture-position: 96% 27%;
  --domain-tile-texture-size: 310% auto;
}

.domain-plate:nth-child(5) {
  --domain-tile-texture-position: 10% 86%;
  --domain-tile-texture-size: 300% auto;
}

.domain-plate:nth-child(6) {
  --domain-tile-texture-position: 38% 96%;
  --domain-tile-texture-size: 330% auto;
}

.domain-plate:nth-child(7) {
  --domain-tile-texture-position: 70% 78%;
  --domain-tile-texture-size: 285% auto;
}

.domain-plate:nth-child(8) {
  --domain-tile-texture-position: 96% 92%;
  --domain-tile-texture-size: 315% auto;
}

.domain-plate::before {
  position: absolute;
  inset: 0.38rem;
  pointer-events: none;
  border: 1px solid rgba(255, 255, 255, 0.32);
  border-radius: 4px 4px 9px 4px;
  content: "";
}

.domain-plate-icon {
  display: grid;
  width: 3.7rem;
  height: 3.7rem;
  margin: 0 0 0.68rem;
  place-items: center;
}

.domain-plate-icon img {
  display: block;
  width: 100%;
  height: 100%;
  object-fit: contain;
  opacity: 0.66;
  transition: filter 180ms ease, opacity 180ms ease, transform 180ms ease;
}

.domain-plate h2 {
  margin: 0 0 0.48rem;
  color: rgba(22, 23, 20, 0.82);
  font-size: 0.94rem;
  font-weight: 720;
  letter-spacing: 0.055em;
  line-height: 1;
  text-transform: uppercase;
}

.domain-plate ul {
  display: flex;
  flex-direction: column;
  gap: 0.15rem;
  margin: 0;
  padding: 0;
  color: rgba(26, 27, 24, 0.7);
  font-size: 0.76rem;
  line-height: 1.22;
  list-style: none;
}

.domain-plate:hover,
.domain-plate:focus-visible {
  color: var(--accent-dark);
  border-color: rgba(91, 70, 216, 0.5);
  box-shadow:
    0 1rem 1.6rem rgba(48, 37, 116, 0.18),
    0 0.18rem 0.35rem rgba(25, 24, 20, 0.14),
    inset 0 1px rgba(255, 255, 255, 0.72);
  transform: translateY(-0.2rem);
}

.domain-plate:hover .domain-plate-icon img,
.domain-plate:focus-visible .domain-plate-icon img {
  filter: brightness(0) saturate(100%) invert(24%) sepia(74%) saturate(3025%) hue-rotate(246deg) brightness(84%) contrast(94%);
  opacity: 0.9;
  transform: scale(1.04);
}

.domain-plate:focus-visible {
  outline: 3px solid var(--focus);
  outline-offset: 3px;
}

@media (prefers-reduced-motion: reduce) {
  .domain-plate,
  .domain-plate-icon img {
    transition: none;
  }
}

/* Domain page sibling navigation */
.domain-subnav {
  position: absolute;
  top: 68px;
  right: 138px;
  left: 42px;
  z-index: 3;
}

.content-main.content-main-domain {
  padding-top: 164px;
  padding-right: 42px;
  padding-left: 42px;
}

.domain-subnav-list {
  display: grid;
  grid-template-columns: repeat(8, minmax(0, 1fr));
  gap: 6px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.domain-subnav-list li {
  --domain-subnav-texture-position: 50% 50%;
  --domain-subnav-texture-size: 360% auto;
  min-width: 0;
}

.domain-subnav-list li:nth-child(1) {
  --domain-subnav-texture-position: 4% 8%;
  --domain-subnav-texture-size: 360% auto;
}

.domain-subnav-list li:nth-child(2) {
  --domain-subnav-texture-position: 32% 24%;
  --domain-subnav-texture-size: 390% auto;
}

.domain-subnav-list li:nth-child(3) {
  --domain-subnav-texture-position: 60% 7%;
  --domain-subnav-texture-size: 350% auto;
}

.domain-subnav-list li:nth-child(4) {
  --domain-subnav-texture-position: 96% 27%;
  --domain-subnav-texture-size: 380% auto;
}

.domain-subnav-list li:nth-child(5) {
  --domain-subnav-texture-position: 10% 86%;
  --domain-subnav-texture-size: 370% auto;
}

.domain-subnav-list li:nth-child(6) {
  --domain-subnav-texture-position: 38% 96%;
  --domain-subnav-texture-size: 400% auto;
}

.domain-subnav-list li:nth-child(7) {
  --domain-subnav-texture-position: 70% 78%;
  --domain-subnav-texture-size: 355% auto;
}

.domain-subnav-list li:nth-child(8) {
  --domain-subnav-texture-position: 96% 92%;
  --domain-subnav-texture-size: 385% auto;
}

.domain-subnav-link {
  position: relative;
  display: flex;
  min-width: 0;
  min-height: 70px;
  padding: 7px 2px 8px;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  gap: 2px;
  overflow: hidden;
  color: rgba(30, 31, 28, 0.72);
  background-color: rgba(235, 231, 219, 0.92);
  background-image:
    linear-gradient(145deg, rgba(255, 255, 255, 0.12), rgba(225, 218, 207, 0.1)),
    var(--domain-tile-texture-image);
  background-position: center, var(--domain-subnav-texture-position);
  background-repeat: no-repeat;
  background-size: auto, var(--domain-subnav-texture-size);
  border: 1px solid rgba(42, 42, 36, 0.3);
  border-radius: 5px 5px 8px 5px;
  box-shadow:
    0 3px 6px rgba(25, 24, 20, 0.17),
    inset 0 1px rgba(255, 255, 255, 0.62),
    inset 0 -1px rgba(42, 40, 35, 0.09);
  font-family: var(--home-label-font);
  text-align: center;
  text-shadow: 0 1px rgba(255, 255, 255, 0.36);
  transition: color 150ms ease, background-color 150ms ease, border-color 150ms ease, box-shadow 150ms ease, transform 150ms ease;
}

.domain-subnav-icon {
  display: grid;
  width: 29px;
  height: 29px;
  place-items: center;
}

.domain-subnav-icon img {
  display: block;
  width: 100%;
  height: 100%;
  object-fit: contain;
  opacity: 0.58;
  transition: filter 150ms ease, opacity 150ms ease, transform 150ms ease;
}

.domain-subnav-label {
  display: block;
  max-width: 100%;
  overflow: hidden;
  font-size: 11px;
  font-weight: 680;
  letter-spacing: 0.035em;
  line-height: 1;
  text-overflow: ellipsis;
  text-transform: uppercase;
  white-space: nowrap;
}

.domain-subnav-link:hover,
.domain-subnav-link:focus-visible {
  color: var(--accent-dark);
  background-color: rgba(244, 241, 232, 0.96);
  border-color: rgba(91, 70, 216, 0.34);
  box-shadow:
    0 7px 12px rgba(52, 40, 118, 0.17),
    0 0 0 1px rgba(91, 70, 216, 0.1),
    inset 0 1px rgba(255, 255, 255, 0.72);
  transform: translateY(-2px);
}

.domain-subnav-link:hover .domain-subnav-icon img,
.domain-subnav-link:focus-visible .domain-subnav-icon img {
  filter: brightness(0) saturate(100%) invert(24%) sepia(74%) saturate(3025%) hue-rotate(246deg) brightness(84%) contrast(94%);
  opacity: 0.92;
  transform: scale(1.05);
}

.domain-subnav-link.is-current {
  color: rgba(23, 24, 21, 0.9);
  border-color: rgba(45, 43, 38, 0.48);
  box-shadow:
    0 3px 6px rgba(25, 24, 20, 0.17),
    inset 0 0 0 1px rgba(255, 255, 255, 0.3),
    inset 0 1px rgba(255, 255, 255, 0.64);
  font-weight: 800;
}

.domain-subnav-link.is-current::after {
  position: absolute;
  right: 22%;
  bottom: 1px;
  left: 22%;
  height: 3px;
  background: var(--accent);
  border-radius: 2px;
  box-shadow: 0 0 5px rgba(91, 70, 216, 0.24);
  content: "";
}

.domain-subnav-link.is-current .domain-subnav-icon img {
  opacity: 0.84;
}

.domain-subnav-link:focus-visible {
  outline: 2px solid var(--focus);
  outline-offset: 2px;
}

@media (prefers-reduced-motion: reduce) {
  .domain-subnav-link,
  .domain-subnav-icon img {
    transition: none;
  }
}

/* Domain detail reference layout */
.content-article-domain-detail h1 {
  max-width: none;
  margin-bottom: 1.25rem;
}

.domain-detail {
  display: grid;
  width: 100%;
  gap: 0.9rem;
  color: rgba(31, 31, 29, 0.82);
  font-family: var(--home-label-font);
}

.domain-detail-information-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.9rem;
}

.domain-detail-panel {
  position: relative;
  min-width: 0;
  overflow: hidden;
  border: 1px solid rgba(57, 54, 48, 0.2);
  border-radius: 10px;
  box-shadow:
    0 8px 15px rgba(28, 27, 23, 0.16),
    0 2px 4px rgba(28, 27, 23, 0.18),
    inset 0 1px rgba(255, 255, 255, 0.68);
}

.domain-detail-panel {
  --domain-detail-texture-position: 50% 50%;
  --domain-detail-texture-size: 185% auto;
  display: grid;
  min-height: 260px;
  padding: 0.72rem;
  grid-template-rows: auto 1fr;
  background-color: #eeebe2;
  background-image:
    linear-gradient(145deg, rgba(255, 255, 255, 0.1), rgba(224, 218, 206, 0.05)),
    var(--domain-tile-texture-image);
  background-position: center, var(--domain-detail-texture-position);
  background-repeat: no-repeat;
  background-size: auto, var(--domain-detail-texture-size);
}

.domain-detail-panel-challenges {
  --domain-detail-texture-position: 12% 22%;
  --domain-detail-texture-size: 180% auto;
}

.domain-detail-panel-solutions {
  --domain-detail-texture-position: 82% 38%;
  --domain-detail-texture-size: 195% auto;
}

.domain-detail-panel-heading {
  display: flex;
  min-height: 2.25rem;
  padding: 0 0.35rem 0.55rem;
  align-items: center;
  gap: 0.62rem;
}

.domain-detail-panel-heading h2 {
  margin: 0;
  color: rgba(29, 29, 27, 0.82);
  font-size: 0.98rem;
  font-weight: 780;
  letter-spacing: 0.055em;
  line-height: 1;
  text-transform: uppercase;
}

.domain-detail-icon {
  display: block;
  width: 1.65rem;
  height: 1.65rem;
  flex: 0 0 auto;
  overflow: visible;
  fill: none;
  stroke: currentColor;
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 1.75;
}

.domain-detail-icon-fill {
  fill: currentColor;
  stroke: none;
}

.domain-detail-panel-body {
  min-height: 0;
  padding: 0.55rem 0.75rem;
  border: 1px solid rgba(72, 68, 59, 0.2);
  border-radius: 7px;
  box-shadow:
    inset 0 1px 2px rgba(44, 41, 35, 0.08),
    inset 0 1px rgba(255, 255, 255, 0.45);
}

.domain-challenge-list,
.domain-solution-list {
  margin: 0;
}

.domain-challenge-list {
  display: flex;
  min-height: 100%;
  padding: 0.2rem 0.4rem 0.2rem 1.2rem;
  flex-direction: column;
  justify-content: space-evenly;
  gap: 0.65rem;
  font-size: 0.86rem;
  line-height: 1.35;
}

.domain-challenge-list li {
  padding-left: 0.18rem;
}

.domain-challenge-list li::marker {
  color: rgba(45, 44, 40, 0.58);
  font-size: 0.72em;
}

.domain-solution-list {
  display: grid;
  height: 100%;
  padding: 0;
  grid-template-rows: repeat(5, minmax(0, 1fr));
  list-style: none;
}

.domain-solution-list li {
  display: grid;
  min-height: 0;
  padding: 0.23rem 0.1rem;
  grid-template-columns: 2rem minmax(0, 1fr);
  align-items: center;
  gap: 0.42rem;
  border-bottom: 1px solid rgba(72, 68, 59, 0.17);
}

.domain-solution-list li:last-child {
  border-bottom: 0;
}

.domain-solution-list .domain-detail-icon {
  width: 1.55rem;
  height: 1.55rem;
  justify-self: center;
  opacity: 0.82;
}

.domain-solution-list span {
  display: block;
  min-width: 0;
}

.domain-solution-list strong,
.domain-solution-list small {
  display: block;
}

.domain-solution-list strong {
  color: rgba(27, 27, 25, 0.86);
  font-size: 0.82rem;
  font-weight: 760;
  line-height: 1.08;
}

.domain-solution-list small {
  margin-top: 0.12rem;
  color: rgba(38, 38, 35, 0.7);
  font-size: 0.68rem;
  line-height: 1.15;
}

/* Desktop domain application portfolio */
.domain-applications-desktop {
  display: none;
}

@media (min-width: 761px) {
  .domain-applications-desktop {
    display: grid;
    width: 100%;
    gap: 1rem;
    color: rgba(31, 31, 29, 0.84);
    font-family: var(--home-label-font);
  }

  .domain-applications-foundation {
    align-items: stretch;
  }

  .domain-application-workbench {
    --domain-application-surface-position: 44% 58%;
    position: relative;
    min-width: 0;
    padding: 1rem;
    overflow: hidden;
    background-color: #e9e5dc;
    background-image:
      linear-gradient(145deg, rgba(255, 255, 255, 0.18), rgba(214, 207, 194, 0.08)),
      var(--domain-tile-texture-image);
    background-position: center, var(--domain-application-surface-position);
    background-repeat: no-repeat;
    background-size: auto, 168% auto;
    border: 1px solid rgba(57, 54, 48, 0.24);
    border-radius: 11px 11px 17px 11px;
    box-shadow:
      0 12px 22px rgba(28, 27, 23, 0.16),
      0 2px 5px rgba(28, 27, 23, 0.18),
      inset 0 1px rgba(255, 255, 255, 0.72);
  }

  .domain-application-workbench-heading {
    display: grid;
    padding: 0.2rem 0.35rem 0.9rem;
    grid-template-columns: minmax(0, 1fr) minmax(17rem, 0.82fr);
    column-gap: 2rem;
    align-items: end;
  }

  .domain-application-workbench-heading h2 {
    margin: 0;
    color: rgba(27, 27, 25, 0.9);
    font-size: clamp(1.55rem, 2vw, 2.05rem);
    font-weight: 760;
    letter-spacing: -0.025em;
    line-height: 1;
  }

  .domain-application-workbench-heading > p:last-child {
    margin: 0;
    color: rgba(38, 38, 35, 0.68);
    font-size: 0.78rem;
    line-height: 1.35;
  }

  .domain-application-eyebrow {
    grid-column: 1 / -1;
    margin: 0 0 0.3rem;
    color: var(--accent-dark);
    font-size: 0.64rem;
    font-weight: 760;
    letter-spacing: 0.13em;
    line-height: 1;
    text-transform: uppercase;
  }

  .domain-application-tabs {
    display: grid;
    padding: 0.42rem;
    grid-template-columns: repeat(3, minmax(0, 1fr));
    gap: 0.42rem;
    background: rgba(46, 44, 39, 0.1);
    border: 1px solid rgba(49, 47, 42, 0.17);
    border-radius: 9px;
    box-shadow:
      inset 0 2px 4px rgba(34, 32, 28, 0.1),
      0 1px rgba(255, 255, 255, 0.5);
  }

  .domain-application-tab {
    position: relative;
    display: grid;
    min-width: 0;
    min-height: 76px;
    padding: 0.7rem 0.8rem 0.62rem;
    justify-items: start;
    align-content: center;
    gap: 0.13rem;
    color: rgba(35, 35, 32, 0.66);
    background: rgba(231, 226, 216, 0.68);
    border: 1px solid rgba(54, 52, 46, 0.15);
    border-radius: 6px 6px 9px 6px;
    box-shadow: inset 0 1px rgba(255, 255, 255, 0.45);
    font-family: inherit;
    text-align: left;
    text-shadow: 0 1px rgba(255, 255, 255, 0.35);
    transition: color 150ms ease, background 150ms ease, border-color 150ms ease, box-shadow 150ms ease, transform 150ms ease;
  }

  .domain-application-tab::after {
    position: absolute;
    right: 0.75rem;
    bottom: 0.55rem;
    left: 0.75rem;
    height: 2px;
    background: transparent;
    border-radius: 2px;
    content: "";
  }

  .domain-application-tab:hover,
  .domain-application-tab:focus-visible {
    color: rgba(27, 27, 25, 0.88);
    background: rgba(242, 238, 228, 0.86);
    border-color: rgba(91, 70, 216, 0.28);
    transform: translateY(-1px);
  }

  .domain-application-tab:focus-visible {
    outline: 2px solid var(--focus);
    outline-offset: 2px;
  }

  .domain-application-tab.is-active,
  .domain-application-tab[aria-selected="true"] {
    color: rgba(25, 25, 23, 0.92);
    background: rgba(247, 244, 235, 0.95);
    border-color: rgba(61, 51, 127, 0.28);
    box-shadow:
      0 5px 10px rgba(49, 40, 103, 0.12),
      inset 0 1px rgba(255, 255, 255, 0.72);
  }

  .domain-application-tab.is-active::after,
  .domain-application-tab[aria-selected="true"]::after {
    background: var(--accent);
    box-shadow: 0 0 7px rgba(91, 70, 216, 0.28);
  }

  .domain-application-tab-kicker,
  .domain-application-tab small {
    display: block;
    overflow: hidden;
    max-width: 100%;
    text-overflow: ellipsis;
    white-space: nowrap;
  }

  .domain-application-tab-kicker {
    color: rgba(58, 49, 117, 0.72);
    font-size: 0.56rem;
    font-weight: 720;
    letter-spacing: 0.09em;
    text-transform: uppercase;
  }

  .domain-application-tab strong {
    font-size: 1rem;
    font-weight: 780;
    letter-spacing: -0.01em;
    line-height: 1.05;
  }

  .domain-application-tab small {
    color: rgba(45, 44, 40, 0.56);
    font-size: 0.63rem;
    font-weight: 560;
  }

  .domain-application-tab-panels {
    min-width: 0;
    margin-top: 0.75rem;
  }

  .domain-application-tab-panel {
    min-width: 0;
    padding: 0.95rem;
    background: rgba(247, 244, 235, 0.74);
    border: 1px solid rgba(61, 58, 51, 0.17);
    border-radius: 9px 9px 14px 9px;
    box-shadow:
      inset 0 2px 5px rgba(39, 37, 32, 0.06),
      inset 0 1px rgba(255, 255, 255, 0.62);
  }

  .domain-application-tab-panel[hidden] {
    display: none;
  }

  .domain-application-tab-panel + .domain-application-tab-panel {
    margin-top: 0.75rem;
  }

  .domain-application-source-intro,
  .domain-application-context {
    max-width: 66rem;
    color: rgba(39, 39, 36, 0.76);
  }

  .domain-application-source-intro {
    padding: 0.2rem 0.35rem 0.85rem;
    border-bottom: 1px solid rgba(63, 60, 53, 0.16);
  }

  .domain-application-context {
    padding: 0.85rem 0.35rem 0;
  }

  .domain-application-context h3 {
    margin: 0 0 0.4rem;
    color: rgba(31, 31, 29, 0.86);
    font-size: 0.88rem;
    font-weight: 760;
    letter-spacing: 0.055em;
    text-transform: uppercase;
  }

  .domain-application-prose {
    font-size: 0.76rem;
    line-height: 1.48;
  }

  .domain-application-prose > :first-child {
    margin-top: 0;
  }

  .domain-application-prose > :last-child {
    margin-bottom: 0;
  }

  .domain-application-prose p,
  .domain-application-prose ul,
  .domain-application-prose ol,
  .domain-application-prose pre {
    margin: 0.42rem 0;
  }

  .domain-application-prose ul,
  .domain-application-prose ol {
    padding-left: 1.25rem;
  }

  .domain-application-prose pre {
    max-width: 100%;
    padding: 0.7rem;
    overflow: auto;
    color: rgba(239, 238, 232, 0.9);
    background: rgba(27, 28, 26, 0.9);
    border-radius: 6px;
    font-size: 0.68rem;
    line-height: 1.35;
    white-space: pre;
  }

  .domain-application-prose code {
    font-size: 0.92em;
  }

  .domain-application-list {
    display: grid;
    margin-top: 0.9rem;
    gap: 0.55rem;
  }

  .domain-application-card {
    overflow: clip;
    background: rgba(235, 231, 221, 0.76);
    border: 1px solid rgba(57, 54, 48, 0.18);
    border-radius: 7px 7px 11px 7px;
    box-shadow:
      0 4px 8px rgba(31, 29, 25, 0.08),
      inset 0 1px rgba(255, 255, 255, 0.58);
  }

  .domain-application-card summary {
    display: grid;
    min-height: 58px;
    padding: 0.65rem 0.8rem;
    grid-template-columns: 2.2rem minmax(0, 1fr) auto;
    align-items: center;
    gap: 0.65rem;
    color: rgba(30, 30, 28, 0.83);
    cursor: pointer;
    list-style: none;
    transition: color 150ms ease, background 150ms ease;
  }

  .domain-application-card summary::-webkit-details-marker {
    display: none;
  }

  .domain-application-card summary:hover,
  .domain-application-card summary:focus-visible {
    color: var(--accent-dark);
    background: rgba(245, 241, 232, 0.8);
  }

  .domain-application-card summary:focus-visible {
    outline: 2px solid var(--focus);
    outline-offset: -2px;
  }

  .domain-application-number {
    color: rgba(69, 55, 166, 0.76);
    font-size: 0.72rem;
    font-variant-numeric: tabular-nums;
    font-weight: 780;
    letter-spacing: 0.08em;
  }

  .domain-application-card summary strong {
    min-width: 0;
    font-size: 0.9rem;
    font-weight: 720;
    line-height: 1.2;
  }

  .domain-application-summary-action {
    display: inline-flex;
    align-items: center;
    gap: 0.35rem;
    color: rgba(51, 47, 81, 0.64);
    font-size: 0.6rem;
    font-weight: 680;
    letter-spacing: 0.06em;
    text-transform: uppercase;
  }

  .domain-application-summary-action::after {
    display: block;
    width: 0.42rem;
    height: 0.42rem;
    border-right: 1.5px solid currentColor;
    border-bottom: 1.5px solid currentColor;
    content: "";
    transform: rotate(45deg) translateY(-0.12rem);
    transition: transform 150ms ease;
  }

  .domain-application-card[open] .domain-application-summary-action::after {
    transform: rotate(225deg) translate(-0.08rem, -0.04rem);
  }

  .domain-application-card-body {
    display: grid;
    padding: 0.9rem;
    grid-template-columns: repeat(2, minmax(0, 1fr));
    gap: 0.7rem;
    background: rgba(249, 247, 240, 0.64);
    border-top: 1px solid rgba(57, 54, 48, 0.14);
  }

  .domain-application-section {
    min-width: 0;
    padding: 0.75rem;
    background: rgba(255, 255, 255, 0.25);
    border: 1px solid rgba(62, 59, 52, 0.13);
    border-radius: 6px;
  }

  .domain-application-section-candidate-checked-statements,
  .domain-application-section-example-architecture,
  .domain-application-section-representative-typed-artifacts,
  .domain-application-section-checks-and-evidence {
    grid-column: 1 / -1;
  }

  .domain-application-section h4 {
    margin: 0 0 0.45rem;
    color: rgba(44, 39, 78, 0.83);
    font-size: 0.66rem;
    font-weight: 780;
    letter-spacing: 0.075em;
    line-height: 1.2;
    text-transform: uppercase;
  }

  .domain-application-demo-panel {
    padding: 0.95rem;
  }

  .domain-demo-grid {
    display: grid;
    margin-top: 0.9rem;
    grid-template-columns: repeat(2, minmax(0, 1fr));
    gap: 0.8rem;
  }

  .domain-demo-card {
    min-width: 0;
    padding: 0.7rem;
    background-color: #ebe7dd;
    background-image:
      linear-gradient(155deg, rgba(255, 255, 255, 0.13), rgba(218, 211, 198, 0.05)),
      var(--domain-tile-texture-image);
    background-position: center, 18% 72%;
    background-repeat: no-repeat;
    background-size: auto, 205% auto;
    border: 1px solid rgba(55, 52, 46, 0.2);
    border-radius: 8px 8px 12px 8px;
    box-shadow:
      0 7px 13px rgba(30, 28, 24, 0.12),
      inset 0 1px rgba(255, 255, 255, 0.64);
  }

  .domain-demo-card:nth-child(2) {
    background-position: center, 76% 34%;
    background-size: auto, 220% auto;
  }

  .domain-demo-card:nth-child(3) {
    grid-column: 1 / -1;
    background-position: center, 56% 88%;
    background-size: auto, 178% auto;
  }

  .domain-demo-frame {
    position: relative;
    aspect-ratio: 768 / 372;
    overflow: hidden;
    background: #151615;
    border: 1px solid rgba(21, 21, 19, 0.52);
    border-radius: 7px;
    box-shadow:
      inset 0 2px 7px rgba(0, 0, 0, 0.42),
      0 1px rgba(255, 255, 255, 0.46);
  }

  .domain-demo-frame iframe,
  .domain-demo-lightbox-frame iframe {
    display: block;
    width: 100%;
    height: 100%;
    background: #151615;
    border: 0;
  }

  .domain-demo-frame iframe {
    position: relative;
    z-index: 1;
    opacity: 0;
    transition: opacity 180ms ease;
  }

  .domain-demo-frame.is-loaded iframe {
    opacity: 1;
  }

  .domain-demo-loading {
    position: absolute;
    inset: 0;
    display: grid;
    place-items: center;
    color: rgba(230, 228, 219, 0.72);
    background:
      radial-gradient(circle at 50% 45%, rgba(91, 70, 216, 0.12), transparent 34%),
      #151615;
    font-size: 0.65rem;
    font-weight: 680;
    letter-spacing: 0.07em;
    text-transform: uppercase;
  }

  .domain-demo-frame.is-loaded .domain-demo-loading {
    display: none;
  }

  .domain-demo-caption {
    padding: 0.7rem 0.2rem 0.15rem;
  }

  .domain-demo-caption > div:first-child {
    display: grid;
    grid-template-columns: 2rem minmax(0, 1fr);
    align-items: baseline;
    gap: 0.35rem;
  }

  .domain-demo-index {
    color: rgba(73, 57, 181, 0.74);
    font-size: 0.67rem;
    font-variant-numeric: tabular-nums;
    font-weight: 800;
    letter-spacing: 0.08em;
  }

  .domain-demo-caption h3 {
    margin: 0;
    color: rgba(27, 27, 25, 0.88);
    font-size: 0.9rem;
    font-weight: 760;
    line-height: 1.18;
  }

  .domain-demo-expand {
    display: inline-flex;
    min-height: 34px;
    margin: 0.65rem 0 0 2.35rem;
    padding: 0.36rem 0.65rem;
    align-items: center;
    gap: 0.42rem;
    color: rgba(41, 35, 82, 0.8);
    background: rgba(245, 242, 233, 0.7);
    border: 1px solid rgba(60, 50, 127, 0.22);
    border-radius: 5px;
    box-shadow: inset 0 1px rgba(255, 255, 255, 0.62);
    font-family: inherit;
    font-size: 0.66rem;
    font-weight: 720;
    letter-spacing: 0.035em;
    transition: color 150ms ease, background 150ms ease, border-color 150ms ease, box-shadow 150ms ease, transform 150ms ease;
  }

  .domain-demo-expand:hover,
  .domain-demo-expand:focus-visible {
    color: var(--accent-dark);
    background: rgba(252, 249, 241, 0.94);
    border-color: rgba(91, 70, 216, 0.42);
    box-shadow:
      0 4px 9px rgba(56, 43, 131, 0.12),
      0 0 0 2px rgba(91, 70, 216, 0.1);
    transform: translateY(-1px);
  }

  .domain-demo-expand:focus-visible {
    outline: 2px solid var(--focus);
    outline-offset: 2px;
  }

  .domain-demo-expand svg {
    width: 0.92rem;
    height: 0.92rem;
    fill: none;
    stroke: currentColor;
    stroke-linecap: round;
    stroke-linejoin: round;
    stroke-width: 1.7;
  }

  .domain-demo-notes {
    margin-top: 0.65rem;
    border-top: 1px solid rgba(58, 55, 49, 0.15);
  }

  .domain-demo-notes summary {
    padding: 0.58rem 0.2rem 0.32rem;
    color: rgba(49, 44, 77, 0.7);
    cursor: pointer;
    font-size: 0.65rem;
    font-weight: 720;
    letter-spacing: 0.045em;
    text-transform: uppercase;
  }

  .domain-demo-notes summary:focus-visible {
    outline: 2px solid var(--focus);
    outline-offset: 2px;
  }

  .domain-demo-notes-body {
    padding: 0.4rem 0.2rem 0.3rem;
  }

  .domain-demo-layers {
    display: grid;
    margin-top: 0.7rem;
    gap: 0.5rem;
  }

  .domain-demo-layers section {
    padding: 0.62rem;
    background: rgba(255, 255, 255, 0.22);
    border: 1px solid rgba(57, 54, 48, 0.13);
    border-radius: 5px;
  }

  .domain-demo-layers h4 {
    margin: 0 0 0.35rem;
    color: rgba(47, 41, 86, 0.8);
    font-size: 0.66rem;
    font-weight: 760;
  }

  .domain-demo-lightbox {
    width: min(96vw, 1680px);
    max-width: none;
    height: min(92vh, 1100px);
    max-height: none;
    padding: 0;
    overflow: visible;
    background: transparent;
    border: 0;
    color: rgba(28, 28, 26, 0.9);
  }

  .domain-demo-lightbox::backdrop {
    background: rgba(16, 16, 15, 0.78);
    backdrop-filter: blur(9px);
  }

  .domain-demo-lightbox-shell {
    display: grid;
    width: 100%;
    height: 100%;
    padding: 0.72rem;
    grid-template-rows: auto minmax(0, 1fr);
    background-color: #e6e2d8;
    background-image:
      linear-gradient(145deg, rgba(255, 255, 255, 0.15), rgba(214, 207, 194, 0.08)),
      var(--domain-tile-texture-image);
    background-position: center, 38% 54%;
    background-repeat: no-repeat;
    background-size: auto, 146% auto;
    border: 1px solid rgba(44, 42, 37, 0.42);
    border-radius: 12px 12px 20px 12px;
    box-shadow:
      0 28px 70px rgba(0, 0, 0, 0.46),
      inset 0 1px rgba(255, 255, 255, 0.72);
  }

  .domain-demo-lightbox-shell > header {
    display: flex;
    min-height: 62px;
    padding: 0.18rem 0.35rem 0.65rem 0.6rem;
    align-items: center;
    justify-content: space-between;
    gap: 1rem;
  }

  .domain-demo-lightbox-shell > header span {
    display: block;
    color: rgba(64, 51, 150, 0.72);
    font-size: 0.57rem;
    font-weight: 740;
    letter-spacing: 0.1em;
    text-transform: uppercase;
  }

  .domain-demo-lightbox-shell > header h2 {
    margin: 0.16rem 0 0;
    color: rgba(27, 27, 25, 0.9);
    font-size: 1.08rem;
    font-weight: 760;
    line-height: 1.1;
  }

  .domain-demo-lightbox-shell > header button {
    display: grid;
    width: 2.5rem;
    height: 2.5rem;
    padding: 0 0 0.12rem;
    place-items: center;
    color: rgba(36, 34, 31, 0.82);
    background: rgba(242, 239, 230, 0.78);
    border: 1px solid rgba(45, 42, 37, 0.3);
    border-radius: 50%;
    box-shadow:
      0 4px 9px rgba(29, 27, 23, 0.16),
      inset 0 1px rgba(255, 255, 255, 0.72);
    font-family: inherit;
    font-size: 1.45rem;
    line-height: 1;
  }

  .domain-demo-lightbox-shell > header button:hover,
  .domain-demo-lightbox-shell > header button:focus-visible {
    color: var(--accent-dark);
    border-color: rgba(91, 70, 216, 0.42);
  }

  .domain-demo-lightbox-shell > header button:focus-visible {
    outline: 2px solid var(--focus);
    outline-offset: 2px;
  }

  .domain-demo-lightbox-frame {
    position: relative;
    min-width: 0;
    min-height: 0;
    overflow: hidden;
    background: #151615;
    border: 1px solid rgba(18, 18, 17, 0.58);
    border-radius: 8px 8px 14px 8px;
    box-shadow:
      inset 0 3px 9px rgba(0, 0, 0, 0.5),
      0 1px rgba(255, 255, 255, 0.5);
  }

  .domain-demo-lightbox-frame iframe {
    position: relative;
    z-index: 1;
    opacity: 0;
  }

  .domain-demo-lightbox-frame.is-loaded iframe {
    opacity: 1;
  }

  .domain-demo-lightbox-loading {
    position: absolute;
    inset: 0;
    display: grid;
    place-items: center;
    color: rgba(230, 228, 219, 0.72);
    background:
      radial-gradient(circle at 50% 45%, rgba(91, 70, 216, 0.14), transparent 28%),
      #151615;
    font-size: 0.7rem;
    font-weight: 680;
    letter-spacing: 0.08em;
    text-transform: uppercase;
  }

  .domain-demo-lightbox-frame.is-loaded .domain-demo-lightbox-loading {
    display: none;
  }

  body.domain-demo-open {
    overflow: hidden;
  }
}

@media (min-width: 761px) and (prefers-reduced-motion: reduce) {
  .domain-application-tab,
  .domain-application-summary-action::after,
  .domain-demo-expand,
  .domain-demo-frame iframe {
    transition: none;
  }

  .domain-demo-lightbox::backdrop {
    backdrop-filter: none;
  }
}

/* Agda Libraries repository label board */
.content-article-libraries-index h1 {
  max-width: none;
  font-size: clamp(2.24rem, 3.64vw, 3.255rem);
  text-wrap: balance;
}

.library-repository-index {
  width: 100%;
  max-width: 865px;
}

.library-repository-index-all {
  display: none;
}

.library-repository-board {
  position: relative;
  width: 100%;
  aspect-ratio: 1206 / 994;
  isolation: isolate;
}

.library-repository-board-art {
  position: absolute;
  inset: 0;
  z-index: 0;
  pointer-events: none;
  -webkit-mask-image: linear-gradient(to bottom, #000 0%, #000 94%, rgba(0, 0, 0, 0.82) 97%, transparent 100%);
  mask-image: linear-gradient(to bottom, #000 0%, #000 94%, rgba(0, 0, 0, 0.82) 97%, transparent 100%);
}

.library-repository-board-primary,
.library-repository-board-repeat {
  position: absolute;
  right: 0;
  left: 0;
  display: block;
  background-image: url("/media/libraries/repo-labels.png");
  background-position: center top;
  background-repeat: no-repeat;
}

.library-repository-board-primary {
  top: 0;
  height: 80%;
  background-size: 100% 100%;
}

.library-repository-board-repeat {
  top: 79.45%;
  bottom: 0;
  background-size: 100% auto;
}

.library-repository-grid {
  position: absolute;
  inset: 0;
  z-index: 1;
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  grid-template-rows: repeat(5, minmax(0, 1fr));
}

.library-repository-link {
  display: grid;
  min-width: 0;
  place-items: center;
  color: rgba(30, 28, 25, 0.82);
  font-family: var(--repository-label-font);
  text-align: center;
  text-decoration: none;
}

.library-repository-link span {
  display: grid;
  width: 70%;
  min-height: 40%;
  padding: 1.1em 1.45em 2.18em 1.45em;
  place-items: center;
  font-size: clamp(1rem, 1.45vw, 1.4rem);
  font-weight: 650;
  letter-spacing: 0.035em;
  line-height: 1.06;
  text-wrap: balance;
  text-shadow: 0 1px rgba(255, 255, 255, 0.5);
  transition: color 150ms ease, filter 150ms ease, text-shadow 150ms ease, transform 150ms ease;
}

.library-repository-link:hover span,
.library-repository-link:focus-visible span {
  color: var(--accent-dark);
  filter: drop-shadow(0 0 5px rgba(91, 70, 216, 0.22));
  text-shadow: 0 1px rgba(255, 255, 255, 0.66);
  transform: translateY(-2px) scale(1.025);
}

.library-repository-link:focus-visible {
  outline: 0;
}

.library-repository-link:focus-visible span {
  outline: 2px solid var(--focus);
  outline-offset: 3px;
}

.library-index-intro {
  margin-top: 1.2rem;
}

@media (min-width: 761px) {
  .library-repository-index-all {
    display: block;
  }

  .library-repository-index-all .library-repository-board-primary {
    height: var(--library-repository-primary-height);
    background-size: 100% auto;
  }

  .library-repository-index-all .library-repository-board-repeat {
    top: var(--library-repository-primary-height);
    background-repeat: repeat-y;
    background-size: 100% auto;
  }

  .library-repository-index-all .library-repository-grid {
    grid-template-rows: repeat(var(--library-repository-rows), minmax(0, 1fr));
  }

  .library-repository-index-all .library-repository-link span {
    width: 70%;
    padding: 0.7em 0.8em 1.6em;
    font-size: clamp(0.8rem, 1.08vw, 1.06rem);
    line-height: 1.08;
    overflow-wrap: anywhere;
  }
}

@media (prefers-reduced-motion: reduce) {
  .library-repository-link span {
    transition: none;
  }
}

/* Individual Agda library pages: live content over SVG-cut source fragments. */
@media (min-width: 761px) {
  .content-main.content-main-library {
    padding: 48px 0 0;
  }

  .content-article-library-detail {
    width: 100%;
  }

  .library-workbench {
    position: relative;
    display: flow-root;
    width: 1033px;
    min-height: 856.086px;
    margin-left: 0;
    overflow: visible;
    color: rgba(29, 35, 38, 0.9);
    font-family: var(--repository-label-font);
    isolation: isolate;
    left: -40px;
  }

  .library-workbench-fragments {
    position: absolute;
    top: 0;
    left: 0;
    z-index: 0;
    display: block;
    width: 100%;
    height: 856.086px;
    overflow: visible;
    pointer-events: none;
  }

  .library-fragment-set-sheet-fixed {
    display: none;
  }

  .library-fragment-set-sheet-clamps {
    display: block;
  }

  .library-mask-debug-layer {
    display: none;
  }

  .library-workbench.is-mask-debug .library-fragment-set {
    filter: none;
  }

  .library-workbench.is-mask-debug-inside .library-fragment-set,
  .library-workbench.is-mask-debug-outline .library-fragment-set {
    display: none;
  }

  .library-workbench.is-mask-debug-inside .library-mask-debug-layer-inside,
  .library-workbench.is-mask-debug-outside .library-mask-debug-layer-outside,
  .library-workbench.is-mask-debug-outline .library-mask-debug-layer-outline {
    display: block;
  }

  .library-workbench.is-mask-debug .library-selector-nav,
  .library-workbench.is-mask-debug .library-punch-index,
  .library-workbench.is-mask-debug .library-metadata,
  .library-workbench.is-mask-debug .library-architecture,
  .library-workbench.is-mask-debug .library-card-footer,
  .library-workbench.is-mask-debug .library-sheet-surface,
  .library-workbench.is-mask-debug .library-repository-sheet,
  .library-workbench.is-mask-debug .library-module-browser {
    visibility: hidden;
  }

  .library-workbench-close {
    position: absolute;
    top: -6px;
    right: 34px;
    z-index: 4;
    display: grid;
    width: 74px;
    height: 74px;
    place-items: center;
    color: transparent;
    text-decoration: none;
  }

  .library-workbench-close span {
    display: none;
  }

  .library-workbench-close:focus-visible {
    border-radius: 7px;
    outline: 3px solid var(--focus);
    outline-offset: 3px;
  }

  .library-selector-nav {
    position: absolute;
    top: 42.719px;
    left: 9.58%;
    z-index: 2;
    width: 78.08%;
    height: 104.956px;
  }

  .library-selector-list {
    position: relative;
    height: 100%;
    margin: 0;
    padding: 0;
    list-style: none;
  }

  .library-selector-list li {
    position: absolute;
    height: 44.29%;
    min-width: 0;
  }

  .library-selector-list li:nth-child(-n + 4) {
    top: 0;
  }

  .library-selector-list li:nth-child(n + 5) {
    top: 55.71%;
  }

  .library-selector-list li:nth-child(4n + 1) {
    left: 0;
    width: 26.02%;
  }

  .library-selector-list li:nth-child(4n + 2) {
    left: 26.58%;
    width: 22.86%;
  }

  .library-selector-list li:nth-child(4n + 3) {
    left: 50.93%;
    width: 24.07%;
  }

  .library-selector-list li:nth-child(4n) {
    left: 76.39%;
    width: 23.61%;
  }

  .library-selector {
    display: grid;
    width: 100%;
    height: 100%;
    place-items: center;
    color: rgba(30, 31, 30, 0.88);
    font-size: clamp(7px, 0.88vw, 13px);
    font-weight: 690;
    letter-spacing: 0.035em;
    line-height: 1;
    text-align: center;
    text-decoration: none;
  }

  .library-selector span {
    display: grid;
    width: 79%;
    height: 52%;
    padding: 0 0.2em;
    place-items: center;
    overflow: hidden;
    border-radius: 2px;
    text-overflow: ellipsis;
    text-shadow: 0 1px rgba(255, 255, 255, 0.64);
    white-space: nowrap;
    transition: color 150ms ease, background-color 150ms ease, box-shadow 150ms ease, transform 150ms ease;
  }

  .library-selector:hover span,
  .library-selector:focus-visible span {
    color: var(--accent-dark);
    background: rgba(255, 255, 255, 0.24);
    box-shadow: inset 0 0 0 1px rgba(91, 70, 216, 0.28), 0 0 7px rgba(91, 70, 216, 0.16);
    transform: translateY(-1px);
  }

  .library-selector.is-current span {
    color: #082c38;
    background: rgba(50, 184, 196, 0.72);
    box-shadow:
      inset 0 1px rgba(222, 255, 255, 0.74),
      inset 0 -1px rgba(6, 80, 93, 0.34),
      0 0 5px rgba(24, 147, 160, 0.3);
    font-weight: 800;
  }

  .library-selector:focus-visible {
    outline: 0;
  }

  .library-selector:focus-visible span {
    outline: 2px solid var(--focus);
    outline-offset: 1px;
  }

  .library-punch-index {
    position: absolute;
    top: 184.486px;
    left: 13.55%;
    z-index: 2;
    width: 36.6%;
    overflow: hidden;
    color: rgba(30, 32, 31, 0.74);
    font-family: var(--punch-card-font);
    font-size: clamp(3px, 0.28vw, 4px);
    font-weight: 400;
    font-variation-settings: "BLED" 0, "SCAN" -35;
    letter-spacing: 0.08em;
    line-height: 1;
    white-space: nowrap;
  }

  .library-metadata {
    /* Source-aligned to the three 39px color bands at x=129..190, y=301..416. */
    position: absolute;
    top: 225.641px;
    left: 15.24%;
    z-index: 2;
    display: grid;
    width: 36.1%;
    height: 185.162px;
    margin: 0;
    grid-template-rows: repeat(3, 29.236px) repeat(2, 48.727px);
    color: rgba(28, 31, 30, 0.9);
    font-family: var(--punch-card-font);
    font-size: clamp(9px, 0.91vw, 13px);
    font-synthesis: none;
    letter-spacing: 0;
  }

  .library-metadata > div {
    display: grid;
    min-width: 0;
    grid-template-columns: 24% 4.5% minmax(0, 1fr);
    align-content: center;
    align-items: baseline;
  }

  .library-metadata dt,
  .library-metadata dd {
    min-width: 0;
    margin: 0;
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
  }

  .library-metadata dt {
    display: grid;
    grid-template-columns: minmax(0, 1fr) auto;
    align-items: baseline;
    font-size: clamp(6px, 0.63vw, 9px);
    font-weight: 400;
    font-variation-settings: "BLED" 15, "SCAN" -20;
    line-height: 1;
    text-transform: uppercase;
  }

  .library-metadata dt::after {
    content: ":";
  }

  .library-metadata dd {
    grid-column: 3;
    color: #000;
    font-family: var(--punch-card-value-font);
    font-weight: 400;
    font-variation-settings: normal;
    line-height: 1;
  }

  .library-metadata-name dd {
    line-height: 1;
    white-space: nowrap;
  }

  .library-metadata-name strong {
    font-size: clamp(10px, 1vw, 14.3px);
    font-weight: 400;
    font-variation-settings: normal;
  }

  .library-metadata-relations dd {
    max-height: 2.4em;
    padding-right: 0.2em;
    overflow-x: hidden;
    overflow-y: auto;
    line-height: 1.2;
    scrollbar-color: rgba(26, 111, 124, 0.38) transparent;
    scrollbar-width: thin;
    text-overflow: clip;
    white-space: normal;
  }

  .library-metadata a {
    color: #000;
    text-decoration-color: rgba(0, 0, 0, 0.4);
    text-underline-offset: 0.12em;
  }

  .library-metadata a:hover,
  .library-metadata a:focus-visible {
    color: var(--accent-dark);
  }

  .library-card-footer {
    position: absolute;
    top: 416.058px;
    left: 11.6%;
    z-index: 2;
    display: flex;
    width: 39.5%;
    margin: 0;
    justify-content: space-between;
    color: rgba(178, 63, 50, 0.78);
    font-family: var(--punch-card-font);
    font-size: clamp(4px, 0.42vw, 6px);
    font-weight: 400;
    font-variation-settings: "BLED" 15, "SCAN" -20;
    letter-spacing: 0.035em;
  }

  .library-architecture {
    position: absolute;
    top: 174.213px;
    left: 55.45%;
    z-index: 2;
    display: grid;
    width: 39.1%;
    height: 269.667px;
    margin: 0;
    padding: 1.15% 1.35% 1.4%;
    overflow: hidden;
    box-sizing: border-box;
    place-items: center;
  }

  .library-architecture img {
    display: block;
    width: 100%;
    height: 100%;
    opacity: 0.9;
    filter: saturate(0.82) contrast(0.96);
    mix-blend-mode: multiply;
    object-fit: contain;
  }

  .library-architecture figcaption {
    position: absolute;
    right: 5.4%;
    bottom: 3.8%;
    left: 5.4%;
    overflow: hidden;
    color: rgba(34, 62, 72, 0.66);
    font-size: clamp(5px, 0.54vw, 8px);
    font-weight: 690;
    letter-spacing: 0.04em;
    line-height: 1;
    text-align: right;
    text-overflow: ellipsis;
    text-transform: uppercase;
    white-space: nowrap;
  }

  .library-architecture-placeholder {
    display: grid;
    width: 88%;
    height: 84%;
    place-items: center;
    color: rgba(39, 74, 85, 0.58);
  }

  .library-architecture-placeholder svg {
    width: 100%;
    height: 100%;
    overflow: visible;
  }

  .library-architecture-placeholder path,
  .library-architecture-placeholder circle {
    fill: none;
    stroke: currentColor;
    stroke-dasharray: 7 5;
    stroke-linecap: round;
    stroke-linejoin: round;
    stroke-width: 2;
    vector-effect: non-scaling-stroke;
  }

  .library-architecture-placeholder span {
    position: absolute;
    right: 8%;
    bottom: 8%;
    left: 8%;
    font-size: clamp(6px, 0.68vw, 10px);
    font-weight: 780;
    letter-spacing: 0.08em;
    text-align: center;
    text-transform: uppercase;
  }

  .library-summary-paper {
    position: relative;
    z-index: 1;
    display: flow-root;
    width: 100%;
    min-height: 391.311px;
    margin-top: 464.775px;
  }

  .library-sheet-surface {
    position: absolute;
    top: 0;
    right: 5.8055%;
    bottom: 0;
    left: 9.5065%;
    z-index: 1;
    min-height: 391.311px;
    background-color: #efede7;
    background-image:
      image-set(
        url("/media/libraries/agda-lib-sheet-top.avif") type("image/avif"),
        url("/media/libraries/agda-lib-sheet-top.webp") type("image/webp"),
        url("/media/libraries/agda-lib-sheet-top.png") type("image/png")
      ),
      image-set(
        url("/media/libraries/agda-lib-sheet-repeat.avif") type("image/avif"),
        url("/media/libraries/agda-lib-sheet-repeat.webp") type("image/webp"),
        url("/media/libraries/agda-lib-sheet-repeat.png") type("image/png")
      );
    background-position: center top, center 228.639px;
    background-repeat: no-repeat, repeat-y;
    background-size: 100% auto, 100% auto;
    box-shadow: 0 4px 5px rgba(33, 31, 27, 0.23);
    pointer-events: none;
  }

  .library-repository-sheet {
    position: relative;
    z-index: 2;
    display: flex;
    min-height: 346.715px;
    margin: 16.345px 13.8% 28.251px 15.75%;
    padding: 4.9% 3.7% 2.4%;
    overflow: visible;
    flex-direction: column;
    color: rgba(29, 35, 38, 0.9);
    font-family: var(--repository-label-font);
  }

  .library-sheet-tabs {
    position: absolute;
    top: 0;
    right: 0;
    left: 0;
    display: flex;
    justify-content: space-between;
    pointer-events: none;
    font-size: clamp(5px, 0.62vw, 9px);
    font-weight: 720;
    letter-spacing: 0.04em;
  }

  .library-sheet-tabs span {
    min-width: 15%;
    padding: 0.48% 1.2% 0.75%;
    color: #f4eee2;
    background: #326fb2;
    clip-path: polygon(0 0, 86% 0, 100% 100%, 0 100%);
    text-align: center;
  }

  .library-sheet-tabs span:last-child {
    color: #fff5e9;
    background: #c95c4f;
    clip-path: polygon(14% 0, 100% 0, 100% 100%, 0 100%);
  }

  .library-sheet-header {
    position: relative;
    flex: 0 0 auto;
    padding: 0 0 1.8%;
    border-bottom: 1px dashed rgba(35, 151, 158, 0.8);
  }

  .library-sheet-header::after {
    position: absolute;
    right: 0;
    bottom: -7px;
    left: 0;
    border-bottom: 1px dashed rgba(190, 77, 61, 0.7);
    content: "";
  }

  .content-article-library-detail .library-sheet-header h1 {
    max-width: none;
    margin: 0 0 1.1%;
    overflow: hidden;
    color: #326fae;
    font-family: var(--repository-label-font);
    font-size: clamp(18px, 1.72vw, 28px);
    font-weight: 650;
    letter-spacing: 0.025em;
    line-height: 1;
    text-overflow: ellipsis;
    white-space: nowrap;
  }

  .content-article-library-detail .library-sheet-header h1::after {
    display: none;
  }

  .library-repository-url {
    display: flex;
    min-width: 0;
    margin: 0;
    align-items: center;
    gap: 0.48em;
    color: #315f9a;
    font-size: clamp(11px, 0.9vw, 15px);
    font-weight: 560;
    text-decoration: none;
  }

  .library-repository-url svg {
    width: 1em;
    flex: 0 0 auto;
    fill: currentColor;
  }

  .library-repository-url span {
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
  }

  a.library-repository-url:hover,
  a.library-repository-url:focus-visible {
    color: var(--accent-dark);
  }

  .library-repository-url-placeholder {
    color: rgba(49, 95, 154, 0.68);
  }

  .library-sheet-summary {
    margin: 2.2% 0 0;
    color: rgba(35, 39, 39, 0.82);
    font-size: clamp(13px, 0.95vw, 16px);
    line-height: 1.45;
  }

  .content-article-library-detail .library-sheet-copy.content-body {
    max-width: none;
    min-height: auto;
    margin-top: 2.4%;
    padding: 0 1.4% 4% 0;
    overflow: visible;
    flex: 0 0 auto;
    color: rgba(31, 36, 37, 0.9);
    font-family: var(--repository-label-font);
    font-size: clamp(15px, 1.05vw, 18px);
    line-height: 1.55;
    scrollbar-color: rgba(48, 111, 174, 0.42) transparent;
    scrollbar-width: thin;
  }

  .library-sheet-copy > :first-child {
    margin-top: 0;
  }

  .library-sheet-copy h2,
  .library-sheet-copy h3 {
    color: #326fae;
    font-family: var(--repository-label-font);
    letter-spacing: 0.02em;
  }

  .library-sheet-copy h2 {
    margin: 1.2em 0 0.45em;
    font-size: 1.25em;
  }

  .library-sheet-copy h3 {
    font-size: 1.1em;
  }

  .library-sheet-copy p,
  .library-sheet-copy ul,
  .library-sheet-copy ol,
  .library-sheet-copy pre {
    margin-top: 0.55em;
    margin-bottom: 0.55em;
  }

  .content-article-library-detail .library-sheet-copy pre {
    padding: 0.7em 0.9em;
    overflow: auto;
    color: #25364b !important;
    background: rgba(255, 255, 255, 0.25) !important;
    border-left: 2px solid rgba(50, 111, 174, 0.72);
    white-space: pre-wrap;
    overflow-wrap: anywhere;
  }

  .library-sheet-copy a {
    color: #245f9f;
  }

  .library-module-browser {
    position: relative;
    z-index: 2;
    display: flow-root;
    width: 100%;
    min-height: 391.311px;
    margin: 28.251px 0;
  }

  .library-module-sheet-surface {
    position: absolute;
    inset: 0 5.8055% 0 9.5065%;
    z-index: 1;
    min-height: 391.311px;
    background-color: #efede7;
    background-image:
      image-set(
        url("/media/libraries/agda-lib-sheet-top.avif") type("image/avif"),
        url("/media/libraries/agda-lib-sheet-top.webp") type("image/webp"),
        url("/media/libraries/agda-lib-sheet-top.png") type("image/png")
      ),
      image-set(
        url("/media/libraries/agda-lib-sheet-repeat.avif") type("image/avif"),
        url("/media/libraries/agda-lib-sheet-repeat.webp") type("image/webp"),
        url("/media/libraries/agda-lib-sheet-repeat.png") type("image/png")
      );
    background-position: center top, center 228.639px;
    background-repeat: no-repeat, repeat-y;
    background-size: 100% auto, 100% auto;
    box-shadow: 0 4px 5px rgba(33, 31, 27, 0.23);
    pointer-events: none;
  }

  .library-module-sheet-clamps {
    position: absolute;
    top: 0;
    left: 0;
    z-index: 1;
    display: block;
    width: 100%;
    height: 391.311px;
    overflow: visible;
    pointer-events: none;
  }

  .library-module-sheet-content {
    position: relative;
    z-index: 2;
    display: flex;
    min-height: 346.715px;
    margin: 16.345px 13.8% 28.251px 15.75%;
    padding: 4.9% 3.7% 2.4%;
    overflow: visible;
    flex-direction: column;
    color: rgba(29, 35, 38, 0.9);
    font-family: var(--repository-label-font);
  }

  .library-module-sheet-header {
    position: relative;
    display: flex;
    padding: 0 0 1.8%;
    align-items: end;
    justify-content: space-between;
    gap: 3%;
    border-bottom: 1px dashed rgba(35, 151, 158, 0.8);
  }

  .library-module-sheet-header::after {
    position: absolute;
    right: 0;
    bottom: -7px;
    left: 0;
    border-bottom: 1px dashed rgba(190, 77, 61, 0.7);
    content: "";
  }

  .library-module-sheet-header h2 {
    margin: 0;
    color: #326fae;
    font-family: var(--repository-label-font);
    font-size: clamp(16px, 1.5vw, 24px);
    font-weight: 650;
    letter-spacing: 0.025em;
    line-height: 1;
  }

  .library-module-sheet-header p {
    margin: 0;
    color: rgba(35, 39, 39, 0.76);
    font-size: clamp(12px, 0.85vw, 14px);
    line-height: 1.4;
  }

  .library-module-sheet-header > div > p {
    margin-top: 0.5em;
    color: #315f9a;
    font-weight: 620;
  }

  .library-module-sheet-header > p {
    max-width: 45%;
    text-align: right;
  }

  .library-module-menu,
  .library-module-reader {
    margin-top: 3.2%;
  }

  .library-module-tree {
    margin: 0;
    padding: 0;
    list-style: none;
  }

  .library-module-tree-nested {
    margin: 0.18em 0 0.22em 0.72em;
    padding-left: 0.82em;
    border-left: 1px dashed rgba(50, 111, 174, 0.38);
  }

  .library-module-node + .library-module-node {
    margin-top: 0.12em;
  }

  .library-module-branch > summary {
    display: grid;
    min-height: 2.35em;
    padding: 0.32em 0.52em;
    grid-template-columns: auto minmax(0, 1fr) auto;
    align-items: center;
    gap: 0.5em;
    color: rgba(31, 56, 73, 0.92);
    border-radius: 2px;
    cursor: pointer;
    font-size: clamp(13px, 0.95vw, 16px);
    font-weight: 670;
    list-style: none;
  }

  .library-module-branch > summary::-webkit-details-marker {
    display: none;
  }

  .library-module-branch > summary::before {
    display: grid;
    width: 1.45em;
    height: 1.45em;
    place-items: center;
    color: #f4eee2;
    background: #326fae;
    border-radius: 1px;
    box-shadow: inset 0 1px rgba(255, 255, 255, 0.38);
    content: "+";
    font-weight: 760;
    line-height: 1;
  }

  .library-module-branch[open] > summary::before {
    content: "−";
  }

  .library-module-branch > summary:hover,
  .library-module-branch > summary:focus-visible {
    color: var(--accent-dark);
    background: rgba(255, 255, 255, 0.28);
    outline: 1px solid rgba(91, 70, 216, 0.28);
    outline-offset: 1px;
  }

  .library-module-branch-name {
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
  }

  .library-module-branch-count {
    color: rgba(49, 95, 154, 0.68);
    font-size: 0.82em;
    font-weight: 590;
    white-space: nowrap;
  }

  .library-module-entry {
    display: grid;
    width: 100%;
    min-height: 2.35em;
    padding: 0.34em 0.55em;
    grid-template-columns: auto minmax(0, 1fr) auto;
    align-items: center;
    gap: 0.52em;
    color: rgba(29, 35, 38, 0.9);
    background: transparent;
    border: 0;
    border-radius: 2px;
    cursor: pointer;
    font: inherit;
    font-size: clamp(13px, 0.95vw, 16px);
    line-height: 1.25;
    text-align: left;
  }

  .library-module-entry-parent {
    margin: 0.14em 0 0.2em 0.72em;
    width: calc(100% - 0.72em);
  }

  .library-module-entry:hover,
  .library-module-entry:focus-visible {
    color: #241e76;
    background: rgba(91, 70, 216, 0.1);
    box-shadow: inset 2px 0 #5b46d8;
    outline: 0;
  }

  .library-module-entry-marker {
    color: #c95c4f;
    font-size: 1.12em;
    line-height: 1;
  }

  .library-module-entry-name {
    min-width: 0;
    overflow: hidden;
    text-overflow: ellipsis;
    white-space: nowrap;
  }

  .library-module-entry-meta {
    color: rgba(49, 95, 154, 0.68);
    font-size: 0.78em;
    white-space: nowrap;
  }

  .library-module-empty-node {
    display: block;
    padding: 0.34em 0.55em;
    color: rgba(29, 35, 38, 0.58);
    font-size: clamp(13px, 0.95vw, 16px);
  }

  .library-module-reader[hidden] {
    display: none;
  }

  .library-module-reader-toolbar {
    display: flex;
    min-width: 0;
    margin-bottom: 0.75em;
    align-items: center;
    justify-content: space-between;
    gap: 1em;
  }

  .library-module-back {
    display: inline-flex;
    min-height: 2.35em;
    padding: 0.42em 0.72em;
    align-items: center;
    gap: 0.48em;
    color: #f4eee2;
    background: #326fae;
    border: 1px solid rgba(28, 70, 112, 0.65);
    border-radius: 2px;
    box-shadow: inset 0 1px rgba(255, 255, 255, 0.34), 0 1px 2px rgba(33, 31, 27, 0.18);
    cursor: pointer;
    font: inherit;
    font-size: clamp(13px, 0.95vw, 16px);
    font-weight: 650;
  }

  .library-module-back:hover,
  .library-module-back:focus-visible {
    background: #5142bc;
    outline: 2px solid var(--focus);
    outline-offset: 2px;
  }

  .library-module-reader-toolbar p {
    min-width: 0;
    margin: 0;
    overflow: hidden;
    color: #315f9a;
    font-size: clamp(13px, 0.95vw, 16px);
    font-weight: 650;
    text-align: right;
    text-overflow: ellipsis;
    white-space: nowrap;
  }

  .library-module-frame {
    position: relative;
    min-height: 520px;
    overflow: hidden;
    background: rgba(255, 255, 255, 0.58);
    border: 1px solid rgba(49, 95, 154, 0.42);
    border-radius: 3px;
    box-shadow: inset 0 0 0 3px rgba(255, 255, 255, 0.28);
  }

  .library-module-frame::before {
    position: absolute;
    inset: 0;
    display: grid;
    place-items: center;
    color: rgba(49, 95, 154, 0.72);
    content: "Loading generated source…";
    font-size: clamp(13px, 0.95vw, 16px);
    font-weight: 650;
    letter-spacing: 0.04em;
  }

  .library-module-frame.is-loaded::before {
    display: none;
  }

  .library-module-frame iframe {
    position: relative;
    z-index: 1;
    display: block;
    width: 100%;
    height: clamp(520px, 68vh, 760px);
    opacity: 0;
    background: #fff;
    border: 0;
    transition: opacity 120ms ease;
  }

  .library-module-frame.is-loaded iframe {
    opacity: 1;
  }
}

@media (min-width: 761px) and (prefers-reduced-motion: reduce) {
  .library-selector span,
  .library-module-frame iframe {
    transition: none;
  }
}

/* Papers collection and embedded PDF reader */
.paper-index-intro {
  max-width: 44rem;
  margin: -0.5rem 0 2rem;
  color: rgba(30, 33, 29, 0.76);
}

.paper-index-intro p {
  margin: 0;
}

.paper-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1.35rem;
  align-items: stretch;
}

.paper-card-link {
  display: flex;
  flex: 1 1 auto;
  flex-direction: column;
  min-width: 0;
  padding: 2rem 2rem 1.65rem;
}

.paper-card {
  position: relative;
  display: flex;
  min-height: 25rem;
  height: 100%;
  flex-direction: column;
  padding: 0;
  overflow: hidden;
  color: #20211e;
  background:
    linear-gradient(115deg, rgba(255, 255, 255, 0.98), rgba(247, 246, 241, 0.98)),
    #ffffff;
  border: 1px solid rgba(34, 34, 29, 0.16);
  border-radius: 3px 3px 8px 3px;
  box-shadow:
    0 1.1rem 1.8rem rgba(24, 23, 19, 0.14),
    0 0.18rem 0.35rem rgba(24, 23, 19, 0.12),
    inset 0 1px rgba(255, 255, 255, 0.92);
  font-family: var(--home-paper-font);
  transition: transform 180ms ease, border-color 180ms ease, box-shadow 180ms ease;
}

.paper-card::before {
  position: absolute;
  top: 0;
  right: 0;
  width: 2rem;
  height: 2rem;
  background:
    linear-gradient(225deg, rgba(91, 70, 216, 0.18) 0 49%, rgba(28, 26, 22, 0.12) 50% 52%, #eceae3 53% 100%);
  content: "";
}

.paper-card::after {
  position: absolute;
  left: 0;
  top: 0;
  bottom: 0;
  width: 0.28rem;
  background: linear-gradient(180deg, #735cf0, #4330b5);
  content: "";
}

.paper-card:hover,
.paper-card:focus-within {
  border-color: rgba(91, 70, 216, 0.52);
  box-shadow:
    0 1.25rem 2.2rem rgba(39, 31, 95, 0.2),
    0 0.2rem 0.45rem rgba(24, 23, 19, 0.12),
    inset 0 1px rgba(255, 255, 255, 0.96);
  transform: translateY(-0.22rem);
}

.paper-card-link:focus-visible {
  outline-offset: 0.35rem;
}

.paper-card-year {
  margin: 0 0 0.9rem;
  color: var(--accent-dark);
  font-family: var(--home-label-font);
  font-size: 0.78rem;
  font-weight: 780;
  letter-spacing: 0.12em;
  line-height: 1;
  text-transform: uppercase;
}

.paper-card h2 {
  margin: 0;
  color: #171815;
  font-size: 1.8rem;
  font-weight: 700;
  letter-spacing: -0.025em;
  line-height: 1.08;
}

.paper-card-authors {
  margin: 0.85rem 0 0;
  color: rgba(32, 33, 30, 0.7);
  font-size: 0.95rem;
  font-style: italic;
  line-height: 1.35;
}

.paper-card-abstract {
  margin: 1.35rem 0 1.5rem;
  color: rgba(32, 33, 30, 0.82);
  font-size: 0.93rem;
  line-height: 1.52;
}

.paper-card-abstract strong {
  margin-right: 0.18em;
  color: #20211e;
  font-variant: small-caps;
  letter-spacing: 0.02em;
}

.paper-card-open {
  align-self: flex-start;
  margin-top: auto;
  color: var(--accent-dark);
  font-family: var(--home-label-font);
  font-size: 0.78rem;
  font-weight: 780;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.paper-card-download {
  position: absolute;
  right: 1.4rem;
  bottom: 1.18rem;
  z-index: 2;
  display: grid;
  width: 2.25rem;
  height: 2.25rem;
  place-items: center;
  color: var(--accent-dark);
  background: rgba(255, 255, 255, 0.92);
  border: 1px solid rgba(91, 70, 216, 0.42);
  border-radius: 50%;
  box-shadow: 0 0.2rem 0.5rem rgba(39, 31, 95, 0.16);
  transition: color 150ms ease, background-color 150ms ease, transform 150ms ease;
}

.paper-card-download:hover,
.paper-card-download:focus-visible {
  color: #ffffff;
  background: var(--accent-dark);
  transform: translateY(-0.1rem);
}

.paper-card-download svg {
  width: 1.1rem;
  height: 1.1rem;
}

.content-main.content-main-paper {
  --paper-slab-top: 55px;
  height: var(--content-frame-viewport-height, 941px);
  min-height: 941px;
  padding: 0;
  overflow: hidden;
}

.content-main-paper .content-article-paper {
  width: 100%;
  height: var(--content-frame-viewport-height, 941px);
  min-height: 941px;
  padding-top: var(--paper-slab-top);
}

.paper-reader {
  width: 100%;
  height: calc(var(--content-frame-viewport-height, 941px) - var(--paper-slab-top));
  min-height: calc(941px - var(--paper-slab-top));
  margin: 0;
  overflow: hidden;
  border-radius: 16px 16px 32px 16px;
}

.paper-reader-frame {
  width: 100%;
  height: calc(var(--content-frame-viewport-height, 941px) - var(--paper-slab-top));
  overflow: hidden;
  background: #ffffff;
  border: 0;
  border-radius: 0;
  box-shadow: none;
}

.paper-reader-frame iframe {
  display: block;
  width: 100%;
  height: 100%;
  border: 0;
  background: #ffffff;
}

.paper-reader-missing {
  min-height: 24rem;
  display: grid;
  place-items: center;
  padding: 2rem;
  color: rgba(32, 33, 30, 0.7);
  background: rgba(255, 255, 255, 0.48);
  border: 1px dashed rgba(91, 70, 216, 0.52);
}

.home-panel-title-home_papers_heading:hover,
.home-panel-title-home_papers_heading:focus-visible,
.home-panel-action-home_papers_heading:hover,
.home-panel-action-home_papers_heading:focus-visible {
  color: #ffffff;
  text-shadow:
    0 0 2px rgba(255, 255, 255, 0.95),
    0 0 8px rgba(91, 63, 242, 0.92),
    0 0 18px rgba(91, 63, 242, 0.7);
}

@media (min-width: 761px) {
  .home-panel-title-home_agda_libraries_heading:hover,
  .home-panel-title-home_agda_libraries_heading:focus-visible,
  .home-panel-action-home_agda_libraries_heading:hover,
  .home-panel-action-home_agda_libraries_heading:focus-visible,
  .home-panel-title-home_news_heading:hover {
    color: #ffffff;
    text-shadow:
      0 0 2px rgba(255, 255, 255, 0.95),
      0 0 8px rgba(91, 63, 242, 0.92),
      0 0 18px rgba(91, 63, 242, 0.7);
  }
}

@media (prefers-reduced-motion: reduce) {
  .paper-card,
  .paper-card-download {
    transition: none;
  }
}

* {
  box-sizing: border-box;
}

html {
  min-height: 100%;
  background: #d5d3ca;
  color: var(--ink);
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  letter-spacing: 0;
}

body {
  min-height: 100vh;
  margin: 0;
}

a {
  color: inherit;
  text-decoration: none;
}

img {
  display: block;
  max-width: 100%;
  height: auto;
}

:focus-visible {
  outline: 3px solid var(--focus);
  outline-offset: 3px;
}

.skip-link {
  position: fixed;
  left: 1rem;
  top: 0.75rem;
  z-index: 100;
  padding: 0.65rem 0.85rem;
  color: #ffffff;
  background: #35259b;
  border-radius: 4px;
  box-shadow: 0 0.75rem 1.5rem rgba(14, 15, 13, 0.22);
  transform: translateY(calc(-100% - 1rem));
}

.skip-link:focus {
  transform: translateY(0);
}

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

.page-home {
  overflow: hidden;
  background: #d5d3ca;
}

.home-scene {
  position: fixed;
  inset: 0;
  overflow: hidden;
  background: #d5d3ca;
}

.home-preloader,
.content-home-handoff {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  gap: 14px;
  background:
    radial-gradient(circle at 50% 42%, rgba(238, 235, 224, 0.52), rgba(213, 211, 202, 0.94) 42%, #d5d3ca 72%);
}

.home-preloader {
  position: absolute;
  inset: 0;
  z-index: 30;
  opacity: 1;
  pointer-events: auto;
  transition: opacity 180ms ease-out, visibility 180ms ease-out;
}

.home-preloader-mark {
  width: 34px;
  height: 34px;
  border: 1px solid rgba(28, 29, 25, 0.34);
  border-radius: 50%;
  box-shadow:
    inset 0 1px 3px rgba(255, 255, 255, 0.44),
    0 8px 24px rgba(36, 34, 28, 0.14);
}

.home-preloader-track {
  width: min(220px, 38vw);
  height: 2px;
  overflow: hidden;
  background: rgba(28, 29, 25, 0.18);
}

.home-preloader-bar {
  display: block;
  width: 100%;
  height: 100%;
  background: rgba(28, 29, 25, 0.68);
  transform: scaleX(var(--home-preload-progress, 0.08));
  transform-origin: left center;
  transition: transform 120ms ease-out;
}

.home-scene.is-home-preloading .scene-canvas {
  opacity: 0;
}

.home-scene.home-scene-initial-ready .scene-canvas {
  opacity: 1;
  transition: opacity 180ms ease-out;
}

.home-scene.home-scene-initial-ready .home-preloader {
  visibility: hidden;
  opacity: 0;
  pointer-events: none;
}

.scene-canvas,
.scene-base {
  position: absolute;
}

.scene-canvas {
  left: 50%;
  top: 50%;
  transform: translate(-50%, -50%);
}

.scene-image {
  position: absolute;
  inset: 0;
  width: 100%;
  height: 100%;
  object-fit: fill;
  user-select: none;
  pointer-events: none;
}

.scene-picture {
  position: absolute;
  inset: 0;
  display: block;
}

.scene-image-outpaint {
  z-index: 0;
}

.scene-picture-outpaint {
  z-index: 0;
}

.scene-base,
.scene-picture-base {
  z-index: 1;
}

.scene-image-base {
  z-index: 0;
}

.work-video-layer {
  position: absolute;
  inset: 0;
  z-index: 1;
  pointer-events: none;
}

.work-video-overlay {
  position: absolute;
  left: var(--x);
  top: var(--y);
  width: var(--w);
  height: var(--h);
  overflow: hidden;
  visibility: hidden;
  opacity: 0;
  clip-path: inset(var(--mask-top, 0%) var(--mask-right, 0%) var(--mask-bottom, 0%) var(--mask-left, 0%));
  pointer-events: none;
}

.work-video-overlay.is-video-visible {
  visibility: visible;
  opacity: 1;
}

.work-video {
  display: block;
  width: 100%;
  height: 100%;
  object-fit: fill;
}

.social-widget-hover-layer {
  position: absolute;
  inset: 0;
  z-index: 2;
  pointer-events: none;
}

.social-widget-hover-mask {
  position: absolute;
  left: var(--x);
  top: var(--y);
  width: var(--w);
  height: var(--h);
  overflow: hidden;
  opacity: 0;
  pointer-events: none;
  transition: opacity 400ms ease-out;
}

.social-widget-hover-mask.is-social-hover-active {
  opacity: 1;
  transition-duration: 200ms;
}

.social-widget-hover-picture,
.social-widget-hover-image {
  position: absolute;
  display: block;
  pointer-events: none;
  user-select: none;
}

.social-widget-hover-picture {
  left: var(--image-left);
  top: var(--image-top);
  width: var(--image-width);
  height: var(--image-height);
}

.social-widget-hover-image {
  inset: 0;
  width: 100%;
  height: 100%;
  max-width: none;
  object-fit: fill;
}

.home-feature-video-layer {
  position: absolute;
  inset: 0;
  z-index: 4;
  visibility: hidden;
  pointer-events: none;
}

.home-feature-video-layer.is-ready {
  visibility: visible;
}

.home-feature-video-coordinate-plane {
  position: absolute;
  left: 0;
  top: 0;
  transform-origin: 0 0;
}

.home-feature-video-plane {
  position: absolute;
  left: 0;
  top: 0;
  overflow: hidden;
  background: #111;
  cursor: pointer;
  pointer-events: auto;
  transform-origin: 0 0;
  backface-visibility: hidden;
}

.home-feature-video-plane:focus-visible {
  outline: 2px solid rgba(242, 238, 255, 0.95);
  outline-offset: 4px;
}

.home-feature-video {
  display: block;
  width: 100%;
  height: 100%;
  object-fit: cover;
  pointer-events: none;
}

.home-feature-video-shadow {
  position: absolute;
  inset: 0;
  z-index: 1;
  box-shadow: inset 0 2px 5px 1px black;
  pointer-events: none;
}

.home-feature-video-controls-plane {
  display: none;
}

@media (min-width: 761px) {
  .home-feature-video-plane {
    z-index: 1;
  }

  .home-feature-video-play-indicator {
    position: absolute;
    left: 50%;
    top: 50%;
    z-index: 2;
    display: grid;
    width: 58px;
    height: 58px;
    place-items: center;
    color: rgba(35, 35, 31, 0.82);
    background:
      radial-gradient(circle at 36% 30%, rgba(255, 255, 252, 0.98), rgba(218, 215, 204, 0.98) 57%, rgba(172, 169, 159, 0.98) 100%);
    border: 1.5px solid rgba(55, 54, 48, 0.68);
    border-radius: 50%;
    box-shadow:
      0 4px 7px rgba(20, 19, 16, 0.34),
      inset 0 1px 1px rgba(255, 255, 255, 0.94),
      inset 0 -2px 3px rgba(46, 44, 39, 0.16);
    opacity: 1;
    visibility: visible;
    pointer-events: none;
    filter: none;
    transform: translate(-50%, -50%);
    transition:
      color 140ms ease-out,
      border-color 170ms ease-out,
      box-shadow 170ms ease-out,
      filter 170ms ease-out,
      opacity 130ms ease-out,
      transform 130ms ease-out,
      visibility 0s linear 0s;
  }

  .home-feature-video-play-indicator svg {
    display: block;
    width: 39px;
    height: 39px;
    transform: translateX(2px);
  }

  .home-feature-video-plane.is-playing .home-feature-video-play-indicator {
    opacity: 0;
    visibility: hidden;
    transform: translate(-50%, -50%) scale(0.9);
    transition:
      opacity 130ms ease-out,
      transform 130ms ease-out,
      visibility 0s linear 130ms;
  }

  .home-feature-video-plane:not(.is-playing):hover .home-feature-video-play-indicator,
  .home-feature-video-plane:not(.is-playing):focus-visible .home-feature-video-play-indicator {
    color: #4f37e8;
    border-color: rgba(91, 70, 216, 0.72);
    filter:
      drop-shadow(0 0 2px rgba(113, 79, 255, 0.34))
      drop-shadow(0 0 7px rgba(113, 79, 255, 0.24))
      drop-shadow(0 0 15px rgba(113, 79, 255, 0.14));
    box-shadow:
      0 4px 7px rgba(20, 19, 16, 0.3),
      0 0 0 1px rgba(242, 238, 255, 0.72),
      inset 0 1px 1px rgba(255, 255, 255, 0.96),
      inset 0 -2px 3px rgba(65, 48, 151, 0.12);
  }

  .home-feature-video-controls-plane {
    position: absolute;
    left: 0;
    top: 0;
    z-index: 2;
    display: block;
    overflow: hidden;
    visibility: hidden;
    opacity: 0;
    pointer-events: none;
    transform-origin: 0 0;
    backface-visibility: hidden;
    transition: opacity 120ms ease-out;
  }

  .home-feature-video-controls-plane.is-playing {
    visibility: visible;
    opacity: 1;
  }

  .home-feature-video-seek {
    --home-feature-seek-progress: 0%;
    position: absolute;
    left: 5%;
    bottom: 3.5%;
    width: 90%;
    height: 16px;
    padding: 0;
    margin: 0;
    appearance: none;
    -webkit-appearance: none;
    color: rgba(223, 216, 255, 0.92);
    background: transparent;
    border: 0;
    cursor: pointer;
    opacity: 0.68;
    pointer-events: auto;
    accent-color: rgba(137, 111, 255, 0.92);
    transition: opacity 120ms ease-out;
  }

  .home-feature-video-seek:hover,
  .home-feature-video-seek:focus-visible {
    opacity: 1;
  }

  .home-feature-video-seek:focus-visible {
    outline: 1px solid rgba(242, 238, 255, 0.9);
    outline-offset: 2px;
  }

  .home-feature-video-seek::-webkit-slider-runnable-track {
    height: 2px;
    background: linear-gradient(
      to right,
      rgba(176, 153, 255, 0.9) 0,
      rgba(176, 153, 255, 0.9) var(--home-feature-seek-progress),
      rgba(245, 242, 235, 0.34) var(--home-feature-seek-progress),
      rgba(245, 242, 235, 0.34) 100%
    );
    border-radius: 999px;
    box-shadow: 0 1px 2px rgba(0, 0, 0, 0.72);
  }

  .home-feature-video-seek::-webkit-slider-thumb {
    width: 7px;
    height: 7px;
    margin-top: -2.5px;
    -webkit-appearance: none;
    background: rgba(239, 236, 229, 0.96);
    border: 1px solid rgba(43, 37, 68, 0.74);
    border-radius: 50%;
    box-shadow: 0 1px 3px rgba(0, 0, 0, 0.7);
  }

  .home-feature-video-seek::-moz-range-track {
    height: 2px;
    background: rgba(245, 242, 235, 0.34);
    border: 0;
    border-radius: 999px;
    box-shadow: 0 1px 2px rgba(0, 0, 0, 0.72);
  }

  .home-feature-video-seek::-moz-range-progress {
    height: 2px;
    background: rgba(176, 153, 255, 0.9);
    border-radius: 999px;
  }

  .home-feature-video-seek::-moz-range-thumb {
    width: 7px;
    height: 7px;
    background: rgba(239, 236, 229, 0.96);
    border: 1px solid rgba(43, 37, 68, 0.74);
    border-radius: 50%;
    box-shadow: 0 1px 3px rgba(0, 0, 0, 0.7);
  }

  @media (prefers-reduced-motion: reduce) {
    .home-feature-video-play-indicator,
    .home-feature-video-controls-plane,
    .home-feature-video-seek {
      transition: none;
    }
  }
}

.home-graffiti-layer {
  position: absolute;
  inset: 0;
  z-index: 4;
  overflow: visible;
  visibility: hidden;
  pointer-events: none;
  mix-blend-mode: multiply;
  filter: brightness(1.2);
}

.home-graffiti-layer.is-ready {
  visibility: visible;
}

.home-graffiti-layer.graffiti-hidden {
  opacity: 0;
}

.home-graffiti-plane {
  position: absolute;
  left: 0;
  top: 0;
  transform-origin: 0 0;
}

.home-graffiti-item {
  position: absolute;
  left: 0;
  top: 0;
  display: flex;
  align-items: stretch;
  justify-content: stretch;
  overflow: visible;
  padding: 0;
  transform-origin: 0 0;
  backface-visibility: hidden;
  will-change: transform;
  pointer-events: none;
}

.home-typography-layer {
  position: absolute;
  inset: 0;
  z-index: 5;
  overflow: visible;
  visibility: hidden;
  pointer-events: none;
}

.home-typography-layer.is-ready {
  visibility: visible;
}

.home-typography-plane {
  position: absolute;
  left: 0;
  top: 0;
  transform-origin: 0 0;
}

.home-typography-item {
  position: absolute;
  left: 0;
  top: 0;
  display: flex;
  align-items: center;
  justify-content: center;
  overflow: hidden;
  padding: 0;
  color: rgba(24, 24, 21, 0.82);
  font-family: var(--home-label-font);
  font-weight: 760;
  line-height: 1.06;
  text-align: center;
  text-shadow: 0 1px 0 rgba(255, 255, 255, 0.36);
  transition:
    background-color 560ms ease-out,
    color 560ms ease-out,
    filter 680ms ease-out,
    text-shadow 680ms ease-out;
  transform-origin: 0 0;
  backface-visibility: hidden;
  will-change: transform;
}

.home-typography-item * {
  transition: color 560ms ease-out, text-shadow 680ms ease-out;
}

[data-home-selectable-region] {
  pointer-events: auto;
  cursor: pointer;
  -webkit-user-select: text;
  user-select: text;
}

[data-home-selectable-region] * {
  -webkit-user-select: text;
  user-select: text;
}

/* Font sizes in this projected layer are base-image pixels. The whole
   typography plane scales with the 1664x936 main image, so avoid viewport
   and container query font units here. */
.home-typography-fallback {
  display: block;
  max-width: 100%;
  max-height: 100%;
  padding: 4px;
  overflow: hidden;
  font-size: 8px;
  line-height: 1.06;
  overflow-wrap: anywhere;
}

.home-static-label {
  display: flex;
  width: 100%;
  height: 100%;
  align-items: center;
  justify-content: flex-start;
  color: rgba(27, 28, 25, 0.75);
  font-family: var(--home-news-font);
  font-size: var(--home-type-font-size, 16px);
  font-weight: var(--home-type-font-weight, 600);
  letter-spacing: var(--home-type-letter-spacing, 0.06em);
  line-height: var(--home-type-line-height, 1);
  overflow: hidden;
  text-align: left;
  text-transform: uppercase;
  white-space: pre-line;
}

.home-panel-face {
  position: relative;
  width: 100%;
  height: 100%;
  color: rgba(25, 26, 23, 0.74);
  font-family: var(--home-news-font);
  overflow: visible;
  text-align: left;
  text-shadow: 0 1px 0 rgba(255, 255, 255, 0.24);
}

.home-panel-title,
.home-panel-action {
  position: absolute;
  display: block;
  margin: 0;
  max-width: 100%;
  overflow: visible;
  white-space: nowrap;
}

.home-panel-title {
  left: 14px;
  top: 10px;
  font-size: var(--home-panel-title-font-size);
  font-weight: var(--home-panel-title-font-weight);
  letter-spacing: var(--home-panel-title-letter-spacing);
  line-height: var(--home-panel-title-line-height);
  text-transform: var(--home-panel-title-text-transform);
}

.home-panel-action {
  color: rgba(31, 32, 28, 0.7);
  font-size: var(--home-panel-action-font-size);
  font-weight: var(--home-panel-action-font-weight);
  letter-spacing: var(--home-panel-action-letter-spacing);
  line-height: 1;
  text-transform: uppercase;
}

.home-typography-item[data-region-id="home_papers_heading"],
.home-typography-item[data-region-id="home_agda_libraries_heading"],
.home-typography-item[data-region-id="home_our_works_heading"],
.home-typography-item[data-region-id="home_connect_heading"],
.home-typography-item[data-region-id="home_news_heading"],
.home-typography-item[data-region-id="book_meeting_section"] {
  overflow: visible;
}

.home-typography-item[data-region-id="home_papers_heading"] .home-panel-title {
  left: 8%;
  top: 22%;
}

.home-typography-item[data-region-id="home_papers_heading"] .home-panel-action {
  right: 11%;
  top: 31%;
  font-size: 11px;
}

.home-typography-item[data-region-id="home_agda_libraries_heading"] .home-panel-title {
  left: 5%;
  top: 29%;
}

.home-typography-item[data-region-id="home_agda_libraries_heading"] .home-panel-action {
  right: 4%;
  top: 37%;
  font-size: 11px;
}

.home-typography-item[data-region-id="home_our_works_heading"] .home-panel-title {
  left: 5%;
  top: 37%;
  text-transform: none;
}

.home-typography-item[data-region-id="home_news_heading"] .home-panel-title {
  left: 8%;
  top: 27%;
}

.home-typography-item[data-region-id="book_meeting_section"] .home-panel-title {
  left: 14px;
  top: 9px;
  font-size: 17px;
  letter-spacing: 0.045em;
}

.home-meeting-slots,
.home-meeting-slot,
.home-meeting-more-slots {
  position: absolute;
  display: block;
  margin: 0;
  overflow: hidden;
  color: rgba(26, 27, 23, 0.72);
  font-family: var(--home-news-font);
  text-shadow: 0 1px 0 rgba(255, 255, 255, 0.26);
  text-transform: uppercase;
  transition: color 560ms ease-out, filter 680ms ease-out, text-shadow 680ms ease-out;
}

.home-meeting-slots {
  left: 72px;
  top: 53px;
  width: 106px;
  height: 130px;
}

.home-meeting-slot {
  left: 4px;
  width: 100%;
  height: 20px;
  font-size: 12.2px;
  font-weight: 600;
  letter-spacing: 0.02em;
  line-height: 20px;
  white-space: nowrap;
}

.home-meeting-slot:nth-child(1) {
  top: 0;
}

.home-meeting-slot:nth-child(2) {
  top: 44px;
}

.home-meeting-slot:nth-child(3) {
  top: 88px;
}

.home-meeting-slot-date,
.home-meeting-slot-time {
  display: inline;
}

.home-meeting-slot-date::after {
  content: " / ";
}

.home-meeting-slot-time {
  font-size: inherit;
  font-weight: 700;
  letter-spacing: 0.025em;
}

.home-meeting-slot.is-home-meeting-slot-empty {
  opacity: 0.42;
}

.home-meeting-more-slots {
  left: 94px;
  top: 190px;
  width: 82px;
  height: 18px;
  font-size: 11.2px;
  font-weight: 700;
  letter-spacing: 0.04em;
  line-height: 1;
  white-space: nowrap;
}

.home-typography-item[data-region-id="book_meeting_section"].is-hotspot-active .home-panel-title,
.home-meeting-slot:hover,
.home-meeting-slot:focus-within,
.home-meeting-more-slots:hover,
.home-meeting-more-slots:focus-visible {
  color: #f2eeff;
  filter:
    drop-shadow(0 0 2px rgba(113, 79, 255, 0.28))
    drop-shadow(0 0 8px rgba(113, 79, 255, 0.18))
    drop-shadow(0 0 18px rgba(113, 79, 255, 0.1));
  text-shadow:
    0 0 1px rgba(255, 255, 255, 0.46),
    0 0 5px rgba(113, 79, 255, 0.24),
    0 0 14px rgba(113, 79, 255, 0.15),
    0 0 28px rgba(113, 79, 255, 0.08);
  transition: color 140ms ease-out, filter 170ms ease-out, text-shadow 170ms ease-out;
}

.home-typography-kind-section-heading,
.home-typography-kind-action-label,
.home-typography-kind-tile-label,
.home-typography-kind-tile-caption,
.home-typography-kind-social-caption,
.home-typography-kind-arrow-label {
  align-items: stretch;
  justify-content: stretch;
  text-align: left;
}

.home-typography-kind-section-heading .home-static-label,
.home-typography-kind-tile-label .home-static-label {
  color: rgba(25, 26, 23, 0.73);
  text-shadow: 0 1px 0 rgba(255, 255, 255, 0.24);
  white-space: nowrap;
}

.home-typography-item[data-region-id="home_our_works_heading"] .home-static-label {
  margin-left: 20px;
  text-transform: none;
}

.home-typography-kind-action-label .home-static-label,
.home-typography-kind-social-caption .home-static-label,
.home-typography-kind-arrow-label .home-static-label {
  white-space: nowrap;
}

.home-typography-kind-action-label .home-static-label,
.home-typography-kind-tile-caption .home-static-label,
.home-typography-kind-social-caption .home-static-label,
.home-typography-kind-arrow-label .home-static-label {
  color: rgba(32, 33, 29, 0.7);
  font-weight: var(--home-type-font-weight, 500);
}

.home-typography-kind-action-label .home-static-label {
  justify-content: center;
  text-align: center;
}

.home-typography-kind-tile-caption .home-static-label,
.home-typography-kind-social-caption .home-static-label {
  align-items: flex-start;
}

.home-typography-kind-arrow-label .home-static-label {
  justify-content: center;
  text-align: center;
}

.home-typography-kind-domains {
  align-items: stretch;
  justify-content: stretch;
  color: rgba(25, 26, 23, 0.78);
  font-family: var(--home-news-font);
  overflow: visible;
  text-align: center;
  text-shadow: 0 1px 0 rgba(255, 255, 255, 0.22);
  text-transform: none;
}

.home-domains-panel {
  display: grid;
  grid-template-columns: repeat(6, minmax(0, 1fr));
  column-gap: 8px;
  width: 100%;
  height: 100%;
  padding: 13px 0px 0px;
  overflow: hidden;
}

.home-domain-card {
  display: flex;
  min-width: 0;
  height: 100%;
  flex-direction: column;
  align-items: center;
  padding: 0 7px;
  overflow: hidden;
  transition: color 560ms ease-out, filter 680ms ease-out, text-shadow 680ms ease-out;
}

.home-domain-icon {
  display: block;
  width: 32.4px;
  height: 32.4px;
  margin: 0 0 5px;
  opacity: 0.66;
  transition: filter 170ms ease-out, opacity 170ms ease-out;
}

.home-domain-card h3 {
  margin: 0 0 3px;
  color: rgba(22, 23, 20, 0.78);
  font-size: 13px;
  font-weight: 650;
  letter-spacing: 0.035em;
  line-height: 1;
  text-transform: uppercase;
}

.home-domain-card ul {
  display: flex;
  min-height: 0;
  flex-direction: column;
  gap: 1px;
  margin: 0;
  padding: 0;
  color: rgba(26, 27, 24, 0.72);
  font-size: 10.4px;
  font-weight: 400;
  line-height: 1.12;
  list-style: none;
}

.home-domain-card li {
  margin: 0;
  padding: 0;
}

.home-domain-card.is-hotspot-active {
  color: #f2eeff;
  filter:
    drop-shadow(0 0 2px rgba(113, 79, 255, 0.28))
    drop-shadow(0 0 8px rgba(113, 79, 255, 0.18))
    drop-shadow(0 0 18px rgba(113, 79, 255, 0.1));
  text-shadow:
    0 0 1px rgba(255, 255, 255, 0.46),
    0 0 5px rgba(113, 79, 255, 0.24),
    0 0 14px rgba(113, 79, 255, 0.15),
    0 0 28px rgba(113, 79, 255, 0.08);
  transition: color 140ms ease-out, filter 170ms ease-out, text-shadow 170ms ease-out;
}

.home-domain-card.is-hotspot-active h3,
.home-domain-card.is-hotspot-active ul {
  color: inherit;
  transition: color 140ms ease-out, text-shadow 170ms ease-out;
}

.home-domain-card.is-hotspot-active .home-domain-icon {
  filter: brightness(0) saturate(100%) invert(94%) sepia(9%) saturate(690%) hue-rotate(203deg) brightness(106%) contrast(101%);
  opacity: 0.92;
}

.home-typography-kind-formal-stages {
  align-items: stretch;
  justify-content: stretch;
  overflow: visible;
  color: rgba(10, 11, 9, 0.82);
  font-family: var(--home-news-font);
  text-align: left;
  text-shadow: none;
  text-transform: uppercase;
}

.home-formal-stages-panel {
  position: relative;
  width: 100%;
  height: 100%;
}

.home-formal-stage {
  position: absolute;
  top: 13px;
  display: flex;
  align-items: center;
  height: 25px;
  min-width: 0;
  white-space: nowrap;
}

.home-formal-stage:nth-child(1) {
  left: 9px;
}

.home-formal-stage:nth-child(2) {
  left: 194px;
}

.home-formal-stage:nth-child(3) {
  left: 394px;
}

.home-formal-stage:nth-child(4) {
  left: 591px;
}

.home-formal-stage-number {
  margin-right: 10px;
  font-size: 18px;
  font-weight: 600;
  letter-spacing: 0;
  line-height: 1;
  display: none;
}

.home-formal-stage-label {
  font-size: 12px;
  font-weight: 600;
  letter-spacing: 0.055em;
  line-height: 1;
}

.home-formal-stage-arrow {
  position: absolute;
  top: 0;
  margin-left: 0;
  font-size: 20px;
  font-weight: 400;
  letter-spacing: 0;
  line-height: 1;
  transform: translateY(-1px);
}

.home-formal-stage:nth-child(1) .home-formal-stage-arrow {
  left: 148px;
}

.home-formal-stage:nth-child(2) .home-formal-stage-arrow {
  left: 167px;
}

.home-formal-stage:nth-child(3) .home-formal-stage-arrow {
  left: 168px;
}

.home-hero-graffiti-panel,
.home-hero-graffiti-blend-layer,
.home-hero-graffiti-picture,
.home-hero-graffiti-image {
  display: block;
  width: 100%;
  height: 100%;
}

.home-hero-graffiti-image {
  object-fit: contain;
  object-position: center;
  opacity: 0.96;
  pointer-events: none;
  user-select: none;
}

.home-work-card,
.home-news-card,
.home-paper-card {
  width: 100%;
  height: 100%;
  overflow: hidden;
}

.home-work-card {
  display: flex;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  gap: 2px;
  padding: 5px 4px 4px;
  text-transform: uppercase;
}

.home-work-card h3,
.home-work-card p {
  margin: 0;
  max-width: 100%;
  overflow: hidden;
}

.home-work-card h3 {
  font-size: 17px;
  line-height: 1;
  font-weight: 700;
  letter-spacing: 0.02em;
  overflow-wrap: normal;
  white-space: normal;
}

.home-work-card p {
  display: -webkit-box;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 3;
  max-width: 12ch;
  color: rgba(28, 29, 25, 0.68);
  font-size: 12px;
  line-height: 1.05;
  font-weight: 600;
  letter-spacing: 0.035em;
  overflow-wrap: normal;
  text-wrap: balance;
}

@media (min-width: 761px) {
  .home-work-card[data-home-selectable-region="codexscribe_link"] {
    gap: 1px;
  }

  .home-work-card[data-home-selectable-region="codexscribe_link"] p {
    max-width: 100%;
    font-size: 11px;
    line-height: 1;
  }
}

.home-news-card {
  position: relative;
  display: block;
  padding: 0;
  text-align: left;
  text-transform: none;
}

.home-news-date {
  position: absolute;
  left: 28px;
  top: 7px;
  display: block;
  width: 46px;
  color: rgba(21, 22, 20, 0.82);
  font-family: var(--home-news-font);
  font-weight: 600;
  text-transform: uppercase;
}

.home-news-date span:first-child {
  display: block;
  font-size: 14px;
  font-weight: 500;
  letter-spacing: 0.055em;
  line-height: 1;
}

.home-news-date span:last-child {
  display: block;
  margin-top: 2px;
  font-size: 25px;
  font-weight: 400;
  letter-spacing: 0;
  line-height: 0.92;
}

.home-news-card h3 {
  position: absolute;
  left: 75px;
  top: 5px;
  max-width: 170px;
  margin: 0;
  color: rgba(23, 24, 21, 0.78);
  font-family: var(--home-news-font);
  font-size: 14px;
  font-weight: 400;
  line-height: 1.12;
  overflow: hidden;
  overflow-wrap: normal;
  text-wrap: balance;
}

.home-typography-kind-interview {
  justify-content: stretch;
  align-items: stretch;
  color: rgba(25, 27, 24, 0.78);
  font-family: var(--home-label-font);
  text-align: left;
  text-shadow: 0 1px 0 rgba(255, 255, 255, 0.2);
  text-transform: uppercase;
}

.home-interview-card {
  position: relative;
  width: 100%;
  height: 100%;
  overflow: hidden;
}

.home-interview-card p {
  position: absolute;
  margin: 0;
  overflow: hidden;
}

.home-interview-title {
  left: 5%;
  top: 4%;
  max-width: 70%;
  font-size: 30px;
  line-height: 1;
  font-weight: 500;
  letter-spacing: 0.12em;
  white-space: nowrap;
}

.home-interview-duration {
  right: 5%;
  top: 7%;
  font-family: var(--home-library-font);
  font-size: 14px;
  line-height: 1;
  font-weight: 100;
  letter-spacing: 0.04em;
  white-space: nowrap;
}

.home-interview-subtitle {
  left: 5%;
  top: 87%;
  max-width: 78%;
  font-size: 13px;
  font-weight: 200;
  letter-spacing: 0.035em;
  line-height: 1.1;
  text-transform: none;
}

.home-interview-sound-toggle {
  position: absolute;
  right: 4.5%;
  top: 86.3%;
  z-index: 2;
  display: grid;
  width: 38px;
  height: 38px;
  padding: 0;
  place-items: center;
  overflow: hidden;
  color: rgba(35, 35, 31, 0.82);
  background:
    radial-gradient(circle at 36% 30%, rgba(255, 255, 252, 0.98), rgba(218, 215, 204, 0.98) 57%, rgba(172, 169, 159, 0.98) 100%);
  border: 1.5px solid rgba(55, 54, 48, 0.68);
  border-radius: 50%;
  box-shadow:
    0 3px 5px rgba(20, 19, 16, 0.3),
    inset 0 1px 1px rgba(255, 255, 255, 0.94),
    inset 0 -2px 3px rgba(46, 44, 39, 0.16);
  cursor: pointer;
  pointer-events: auto;
  filter: none;
  transition: color 140ms ease-out, border-color 170ms ease-out, box-shadow 170ms ease-out, filter 170ms ease-out, transform 130ms ease-out;
}

.home-interview-sound-toggle:hover,
.home-interview-sound-toggle:focus-visible,
.home-interview-sound-toggle[aria-pressed="true"] {
  color: #4f37e8;
  border-color: rgba(91, 70, 216, 0.72);
  filter:
    drop-shadow(0 0 2px rgba(113, 79, 255, 0.34))
    drop-shadow(0 0 7px rgba(113, 79, 255, 0.24))
    drop-shadow(0 0 15px rgba(113, 79, 255, 0.14));
  box-shadow:
    0 3px 5px rgba(20, 19, 16, 0.28),
    0 0 0 1px rgba(242, 238, 255, 0.72),
    inset 0 1px 1px rgba(255, 255, 255, 0.96),
    inset 0 -2px 3px rgba(65, 48, 151, 0.12);
  transform: translateY(-1px);
}

.home-interview-sound-toggle:active {
  transform: translateY(1px) scale(0.98);
}

.home-interview-sound-toggle:focus-visible {
  outline: 2px solid rgba(79, 55, 255, 0.86);
  outline-offset: 3px;
}

.home-interview-sound-icon {
  display: block;
  width: 29px;
  height: 29px;
}

.home-interview-sound-icon-on,
.home-interview-sound-toggle[aria-pressed="true"] .home-interview-sound-icon-muted {
  display: none;
}

.home-interview-sound-toggle[aria-pressed="true"] .home-interview-sound-icon-on {
  display: block;
}

@media (prefers-reduced-motion: reduce) {
  .home-interview-sound-toggle {
    transition: none;
  }
}

.home-typography-kind-library {
  align-items: flex-start;
  font-family: var(--home-library-font);
  justify-content: flex-start;
  text-align: left;
  text-shadow: 0 1px 0 rgba(255, 255, 255, 0.22);
}

.home-typography-kind-library .home-typography-fallback {
  color: rgba(28, 28, 24, 0.72);
  width: 100%;
  height: 100%;
  padding: 6px 0 0 29px;
  font-size: 22px;
  font-weight: 500;
  line-height: 1.08;
  letter-spacing: 0.01em;
  overflow-wrap: normal;
  white-space: nowrap;
}

.home-typography-kind-paper {
  background-color: transparent;
  color: rgba(22, 21, 18, 0.74);
  overflow: visible;
  text-shadow: none;
  transition:
    background-color 90ms ease-out 130ms,
    color 120ms ease-out,
    filter 120ms ease-out,
    text-shadow 120ms ease-out,
    transform 130ms ease-out;
}

.home-typography-item[data-region-id="agda_view_all_link"] .home-typography-fallback {
  color: rgba(24, 24, 21, 0.78);
  font-family: var(--home-news-font);
  font-size: 6px;
  font-weight: 600;
  line-height: 1;
  text-transform: uppercase;
}

.home-paper-card {
  position: relative;
  z-index: 1;
  display: grid;
  grid-template-rows: minmax(0, 60%) minmax(0, 40%);
  width: 100%;
  height: 100%;
  padding: 6px 13px 7px;
  color: rgba(22, 21, 18, 0.74);
  font-family: var(--home-paper-font);
  font-weight: 100;
  text-align: left;
  text-shadow: none;
}

.home-paper-zoom-content {
  position: absolute;
  inset: 0;
  background-color: transparent;
  isolation: isolate;
  transform: scale(1);
  transform-origin: center center;
  transition: transform 130ms ease-out;
}

.home-paper-zoom-content::before {
  position: absolute;
  z-index: 0;
  inset: 0;
  background: #fff;
  content: "";
  opacity: 0;
  transition: opacity 90ms ease-out 130ms;
}

.home-paper-card h3,
.home-paper-card p {
  margin: 0;
  overflow: hidden;
}

.home-paper-title-block {
  display: flex;
  min-height: 0;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  margin-top: 0;
  padding: 5px 5px 3px;
  text-align: center;
}

.home-paper-date {
  position: absolute;
  top: 4px;
  right: 14px;
  display: block;
  max-width: 55px;
  color: rgba(22, 21, 18, 0.38);
  font-size: 3px;
  line-height: 1;
  overflow: hidden;
  text-align: center;
  text-transform: uppercase;
  white-space: nowrap;
}

.home-paper-card h3 {
  max-width: 100%;
  font-size: 13.5px;
  line-height: 1.06;
  font-weight: 100;
  text-wrap: balance;
}

.home-paper-authors {
  display: block;
  margin-top: 2.5px;
  max-width: 100%;
  color: rgba(22, 21, 18, 0.48);
  font-size: 3.2px;
  font-weight: 100;
  line-height: 1.1;
  text-align: center;
  white-space: nowrap;
}

.home-paper-body {
  display: block;
  min-height: 0;
  margin-top: 0;
  padding-top: 2px;
  border-top: 0.25px solid rgba(22, 21, 18, 0.17);
  text-align: justify;
  text-justify: inter-word;
}

.home-paper-abstract,
.home-paper-index {
  color: rgba(22, 21, 18, 0.5);
  font-size: 3.2px;
  font-weight: 100;
  line-height: 1.18;
}

.home-paper-abstract strong,
.home-paper-index em {
  color: rgba(22, 21, 18, 0.72);
  font-style: italic;
  font-weight: 100;
}

.home-paper-abstract {
  display: -webkit-box;
  max-height: 28px;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 6;
}

.home-paper-index {
  display: none;
  margin-top: 3px;
}

.home-typography-kind-paper.is-hotspot-active .home-paper-card {
  display: flex;
  flex-direction: column;
  justify-content: flex-start;
  padding: 8px 15px 7px;
}

.home-typography-kind-paper.is-hotspot-active .home-paper-date {
  position: static;
  max-width: none;
  color: rgba(22, 21, 18, 0.46);
  font-size: 4px;
  text-align: center;
}

.home-typography-kind-paper.is-hotspot-active .home-paper-title-block {
  margin-top: 3px;
  padding: 0;
}

.home-typography-kind-paper.is-hotspot-active .home-paper-body {
  border-top: 0;
  padding-top: 0;
}

.home-typography-kind-paper.is-hotspot-active .home-paper-card h3 {
  font-size: 12px;
  line-height: 1.03;
}

.home-typography-kind-paper.is-hotspot-active .home-paper-authors {
  margin-top: 3px;
  color: rgba(22, 21, 18, 0.6);
  font-size: 4.5px;
  text-align: center;
  white-space: normal;
}

.home-typography-kind-paper.is-hotspot-active .home-paper-body {
  margin-top: 5px;
}

.home-typography-kind-paper.is-hotspot-active .home-paper-abstract,
.home-typography-kind-paper.is-hotspot-active .home-paper-index {
  display: block;
  max-height: none;
  color: rgba(22, 21, 18, 0.58);
  font-size: 4.5px;
  line-height: 1.12;
  -webkit-line-clamp: unset;
}

.home-typography-item.is-hotspot-active:not(.home-typography-kind-paper):not(.home-typography-kind-domains):not([data-region-id="book_meeting_section"]) {
  color: #f2eeff;
  filter:
    drop-shadow(0 0 2px rgba(113, 79, 255, 0.28))
    drop-shadow(0 0 8px rgba(113, 79, 255, 0.18))
    drop-shadow(0 0 18px rgba(113, 79, 255, 0.1));
  text-shadow:
    0 0 1px rgba(255, 255, 255, 0.46),
    0 0 5px rgba(113, 79, 255, 0.24),
    0 0 14px rgba(113, 79, 255, 0.15),
    0 0 28px rgba(113, 79, 255, 0.08);
  transition: color 140ms ease-out, filter 170ms ease-out, text-shadow 170ms ease-out;
}

.home-typography-item.is-hotspot-active:not(.home-typography-kind-paper):not(.home-typography-kind-domains):not([data-region-id="book_meeting_section"]) * {
  color: inherit;
  transition: color 140ms ease-out, text-shadow 170ms ease-out;
}

.home-typography-kind-paper.is-hotspot-active {
  background-color: #fff;
  filter: none;
  transform: var(--home-paper-flat-transform) !important;
  z-index: 20;
  text-shadow: none;
  transition:
    background-color 90ms ease-out,
    color 140ms ease-out,
    filter 170ms ease-out,
    text-shadow 170ms ease-out,
    transform 170ms ease-out 90ms;
}

.home-typography-kind-paper.is-hotspot-active .home-paper-zoom-content {
  transform: scale(2);
  transition: transform 170ms ease-out 90ms;
}

.home-typography-kind-paper.is-hotspot-active .home-paper-zoom-content::before {
  opacity: 1;
  transition: opacity 90ms ease-out;
}

.hotspot-layer {
  position: absolute;
  inset: 0;
  z-index: 3;
}

.hotspot {
  position: absolute;
  left: var(--x);
  top: var(--y);
  width: var(--w);
  height: var(--h);
  border-radius: 4px;
}

.hotspot-link {
  display: block;
}

.hotspot-link:hover,
.hotspot-link:focus-visible {
  background: transparent;
  box-shadow: none;
}

.hotspot-debug-only {
  display: none;
  pointer-events: none;
}

.hotspot-debug-label {
  display: none;
}

.debug-hotspots .hotspot {
  background: rgba(91, 70, 216, 0.14);
  box-shadow: inset 0 0 0 1px rgba(91, 70, 216, 0.82);
}

.debug-hotspots .hotspot-debug-only {
  display: block;
}

.debug-hotspots .hotspot-debug-label {
  display: inline-block;
  position: absolute;
  left: 0;
  top: 0;
  max-width: 22rem;
  padding: 0.2rem 0.35rem;
  overflow: hidden;
  color: #ffffff;
  background: rgba(24, 20, 62, 0.9);
  font-size: 0.72rem;
  line-height: 1.1;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.region-editor-layer {
  position: absolute;
  inset: 0;
  z-index: 6;
  display: none;
  pointer-events: none;
}

.region-editor-svg {
  display: block;
  width: 100%;
  height: 100%;
  cursor: crosshair;
  touch-action: none;
}

.region-editor-enabled .hotspot-layer,
.region-editor-enabled .work-video-layer,
.region-editor-enabled .home-graffiti-layer,
.region-editor-enabled .home-feature-video-layer {
  pointer-events: none;
}

.region-editor-enabled .region-editor-layer {
  display: block;
  pointer-events: auto;
}

.region-editor-content-inspection .hotspot-layer,
.region-editor-content-inspection .work-video-layer,
.region-editor-content-inspection .home-graffiti-layer,
.region-editor-content-inspection .home-feature-video-layer,
.region-editor-content-inspection .region-editor-layer {
  display: none !important;
}

.region-editor-content-inspection .home-typography-layer,
.region-editor-content-inspection .home-typography-plane,
.region-editor-content-inspection .home-typography-item {
  pointer-events: auto;
}

.region-editor-shape {
  cursor: move;
}

.region-editor-video-adjust {
  cursor: pointer;
}

.region-editor-region {
  fill: rgba(91, 63, 242, 0.14);
  stroke: rgba(91, 63, 242, 0.88);
  stroke-width: 2;
  vector-effect: non-scaling-stroke;
}

.region-editor-shape.is-selected .region-editor-region {
  fill: rgba(255, 245, 160, 0.18);
  stroke: #ffd84f;
  stroke-width: 3;
}

.region-editor-svg.is-quad-edit-active .region-editor-quad-region,
.region-editor-svg.is-quad-edit-active .region-editor-shape.is-selected .region-editor-quad-region {
  fill: none;
  stroke: rgba(0, 0, 0, 0.001);
  stroke-width: 8;
  stroke-dasharray: none;
  pointer-events: stroke;
  vector-effect: non-scaling-stroke;
}

.region-editor-quad-dash-edge {
  fill: none;
  stroke-dasharray: 5 5;
  stroke-linecap: butt;
  stroke-linejoin: miter;
  stroke-opacity: 1;
  stroke-width: 1;
  pointer-events: none;
  vector-effect: non-scaling-stroke;
}

.region-editor-quad-dash-edge-black {
  stroke: #000000;
  stroke-dashoffset: 0;
}

.region-editor-quad-dash-edge-white {
  stroke: #ffffff;
  stroke-dashoffset: 5;
}

.region-editor-quad-extension-guide {
  fill: none;
  stroke-linecap: round;
  stroke-opacity: 0.5;
  pointer-events: none;
  vector-effect: non-scaling-stroke;
}

.region-editor-quad-extension-guide-black {
  stroke: #000000;
  stroke-width: 3;
}

.region-editor-quad-extension-guide-white {
  stroke: #ffffff;
  stroke-width: 1;
}

.region-editor-video-adjust-region {
  fill: rgba(22, 147, 118, 0.1);
  stroke: rgba(22, 147, 118, 0.96);
  stroke-width: 2;
  vector-effect: non-scaling-stroke;
}

.region-editor-video-adjust-handle {
  cursor: default;
}

.region-editor-point-cross,
.region-editor-draft {
  fill: none;
  stroke: #ffd84f;
  stroke-width: 2;
  stroke-dasharray: 8 6;
  vector-effect: non-scaling-stroke;
}

.region-editor-draft-point {
  fill: #ffd84f;
  stroke: #1a1712;
  stroke-width: 1.5;
  vector-effect: non-scaling-stroke;
}

.region-editor-svg.is-quad-edit-active .region-editor-draft {
  fill: none;
  stroke: rgba(0, 0, 0, 0.001);
  stroke-width: 8;
  stroke-dasharray: none;
  pointer-events: stroke;
  vector-effect: non-scaling-stroke;
}

.region-editor-svg.is-quad-edit-active .region-editor-draft-point {
  fill: rgba(255, 255, 255, 0.4);
  stroke: rgba(26, 24, 20, 0.64);
  stroke-width: 0.75;
  vector-effect: non-scaling-stroke;
}

.region-editor-handle {
  fill: #ffffff;
  stroke: #5b3ff2;
  stroke-width: 2.5;
  cursor: grab;
  vector-effect: non-scaling-stroke;
}

.region-editor-handle.is-active-handle {
  display: none;
}

.region-editor-shape-label {
  fill: #ffffff;
  paint-order: stroke;
  stroke: rgba(20, 18, 15, 0.88);
  stroke-width: 4;
  font-size: 16px;
  font-weight: 760;
  pointer-events: none;
}

.region-editor-panel {
  position: fixed;
  top: 1rem;
  z-index: 60;
  display: none;
  width: min(26rem, calc(100vw - 2rem));
  max-height: calc(100vh - 2rem);
  overflow: auto;
  padding: 1rem;
  color: #171914;
  background: rgba(244, 241, 231, 0.96);
  border: 1px solid rgba(20, 18, 15, 0.22);
  box-shadow: 0 1.25rem 3rem rgba(0, 0, 0, 0.26);
  backdrop-filter: blur(10px);
}

.region-editor-panel.is-right-side {
  right: 1rem;
  left: auto;
}

.region-editor-panel.is-left-side {
  right: auto;
  left: 1rem;
}

.region-editor-enabled .region-editor-panel {
  display: block;
}

.region-editor-panel-header {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 1rem;
  margin-bottom: 0.9rem;
}

.region-editor-panel-header strong,
.region-editor-panel-header small,
.region-editor-list span,
.region-editor-list small {
  display: block;
}

.region-editor-panel-header strong {
  font-size: 1rem;
}

.region-editor-panel-header small,
.region-editor-status,
.region-editor-selected-meta,
.region-editor-list small {
  color: rgba(23, 25, 20, 0.64);
  font-size: 0.75rem;
  line-height: 1.3;
}

.region-editor-icon-button {
  display: grid;
  width: 2rem;
  height: 2rem;
  place-items: center;
  padding: 0;
}

.region-editor-tools,
.region-editor-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
}

.region-editor-panel button {
  min-height: 2rem;
  padding: 0.35rem 0.6rem;
  color: #171914;
  background: rgba(255, 255, 255, 0.38);
  border: 1px solid rgba(20, 18, 15, 0.22);
  border-radius: 5px;
  font: inherit;
  cursor: pointer;
}

.region-editor-panel button:hover,
.region-editor-panel button:focus-visible,
.region-editor-panel button.is-selected {
  color: #ffffff;
  background: #5b3ff2;
  border-color: #5b3ff2;
}

.region-editor-panel .region-editor-danger-button {
  color: #8d1f13;
  border-color: rgba(141, 31, 19, 0.32);
}

.region-editor-panel .region-editor-danger-button:hover,
.region-editor-panel .region-editor-danger-button:focus-visible {
  color: #ffffff;
  background: #8d1f13;
  border-color: #8d1f13;
}

.region-editor-status {
  min-height: 1rem;
  margin: 0.65rem 0;
}

.region-editor-selected-meta {
  margin: 0;
}

.region-editor-selected {
  display: grid;
  gap: 0.55rem;
  padding: 0.7rem;
  margin-bottom: 0.9rem;
  background: rgba(255, 255, 255, 0.28);
  border: 1px solid rgba(20, 18, 15, 0.12);
}

.region-editor-selected label {
  display: grid;
  gap: 0.2rem;
  font-size: 0.78rem;
  font-weight: 720;
}

.region-editor-panel input,
.region-editor-panel textarea {
  width: 100%;
  min-width: 0;
  padding: 0.42rem 0.5rem;
  color: #171914;
  background: rgba(255, 255, 255, 0.64);
  border: 1px solid rgba(20, 18, 15, 0.22);
  border-radius: 4px;
  font: inherit;
}

.region-editor-panel textarea {
  min-height: 7rem;
  resize: vertical;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 0.72rem;
  line-height: 1.35;
}

.region-editor-list {
  display: grid;
  gap: 0.75rem;
}

.region-editor-list h3 {
  margin: 0 0 0.35rem;
  color: rgba(23, 25, 20, 0.72);
  font-size: 0.78rem;
}

.region-editor-list section {
  display: grid;
  gap: 0.35rem;
}

.region-editor-list button {
  display: block;
  width: 100%;
  text-align: left;
}

.region-editor-json {
  margin-top: 0.9rem;
}

.region-editor-json summary {
  cursor: pointer;
  font-weight: 760;
}

.region-editor-json textarea {
  margin-top: 0.55rem;
  min-height: 11rem;
}

.phone-site {
  display: none;
}

.content-backdrop {
  position: fixed;
  inset: 0;
  z-index: -2;
  overflow: hidden;
  background: #d5d3ca;
  pointer-events: none;
}

.content-backdrop .scene-canvas {
  filter: blur(10px);
}

.content-backdrop.scene-ready .scene-canvas {
  filter: blur(10px);
}

.content-backdrop-hitarea {
  position: fixed;
  inset: 0;
  z-index: 0;
}

.content-home-handoff {
  display: none;
}

@media (min-width: 761px) {
  .content-home-handoff {
    position: fixed;
    inset: 0;
    z-index: 0;
    display: flex;
    visibility: hidden;
    opacity: 0;
    pointer-events: none;
    transition:
      opacity 180ms ease-out,
      visibility 0s linear 180ms;
  }

  .page-content.content-exiting .content-home-handoff {
    visibility: visible;
    opacity: 1;
    transition:
      opacity 180ms ease-out,
      visibility 0s linear 0s;
  }
}

.home-content-overlay {
  position: fixed;
  inset: 0;
  z-index: 10;
  overflow-y: auto;
  pointer-events: auto;
}

.page-home.content-overlaying .home-scene .scene-canvas {
  filter: blur(10px);
}

.page-home.content-overlaying .hotspot-layer {
  pointer-events: none;
}

.site-header {
  position: sticky;
  top: 0;
  z-index: 20;
  display: none;
  align-items: center;
  justify-content: space-between;
  min-height: 4rem;
  padding: 0.75rem 1rem;
  background: rgba(248, 247, 241, 0.96);
  border-bottom: 1px solid var(--line);
  backdrop-filter: blur(10px);
}

.site-header-brand {
  font-size: 1rem;
  font-weight: 760;
}

.menu-toggle {
  position: relative;
  display: inline-grid;
  width: 2.75rem;
  height: 2.75rem;
  place-items: center;
  padding: 0;
  color: var(--ink);
  background: transparent;
  border: 1px solid var(--line);
  border-radius: 50%;
  cursor: pointer;
}

.menu-toggle-bars,
.menu-toggle-bars::before,
.menu-toggle-bars::after {
  display: block;
  width: 1.15rem;
  height: 2px;
  background: currentColor;
  content: "";
}

.menu-toggle-bars::before {
  transform: translateY(-0.4rem);
}

.menu-toggle-bars::after {
  transform: translateY(0.28rem);
}

.site-header-menu {
  position: absolute;
  left: 0;
  right: 0;
  top: 100%;
  display: none;
  max-height: calc(100vh - 4rem);
  overflow: auto;
  padding: 0.75rem 1rem 1rem;
  background: #f8f7f1;
  border-bottom: 1px solid var(--line);
  box-shadow: 0 1rem 1.5rem var(--shadow);
}

.menu-open .site-header-menu {
  display: block;
}

.content-stage {
  position: relative;
  z-index: 1;
  width: 1672px;
  margin: 0 auto;
  padding: 0;
  pointer-events: none;
}

.content-shell {
  position: relative;
  display: grid;
  grid-template-columns: 80px 483px 9px 1033px 67px;
  width: 1672px;
  min-height: 941px;
  margin: 0;
  padding: 0;
  transform-origin: top left;
  background-color: transparent;
}

.content-shell::before,
.content-shell::after {
  content: "";
  position: absolute;
  left: 0;
  width: 1672px;
  pointer-events: none;
}

.content-shell::before {
  top: 0;
  z-index: 0;
  height: 400px;
  background-image: url("/media/content/content-frame-head.png");
  background-image: var(--content-frame-head-image);
  background-position: left top;
  background-repeat: no-repeat;
  background-size: 1672px 400px;
}

.content-shell::after {
  top: 400px;
  bottom: 0;
  z-index: 0;
  background-image: url("/media/content/content-frame-repeat-placeholder.png");
  background-image: var(--content-frame-repeat-image);
  background-position: left top;
  background-repeat: repeat-y;
  background-size: 1672px 1500px;
}

.content-sidebar,
.content-main {
  position: relative;
  z-index: 1;
  pointer-events: auto;
  border: 0;
  background: transparent;
  box-shadow: none;
}

.content-sidebar {
  grid-column: 2;
  align-self: start;
  min-height: 941px;
  padding: 92px 36px 54px 52px;
}

.sidebar-brand {
  display: block;
  width: min(390px, 100%);
  height: 184px;
  margin: 0 0 18px -4px;
  background: transparent;
  border-radius: 8px;
}

.sidebar-brand:focus-visible {
  outline-offset: 4px;
}

.content-main {
  grid-column: 4;
  position: relative;
  min-width: 0;
  min-height: 941px;
  padding: 112px 84px 70px;
}

.home-close {
  position: absolute;
  top: 42px;
  right: 34px;
  z-index: 2;
  display: grid;
  width: 74px;
  height: 74px;
  place-items: center;
  overflow: hidden;
  color: transparent;
  border: 0;
  background: transparent;
  box-shadow: none;
  font-size: 0;
}

.breadcrumbs {
  margin-bottom: 1.25rem;
  color: #272a25;
  font-size: 1.08rem;
}

.breadcrumbs ol {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
  padding: 0;
  margin: 0;
  list-style: none;
}

.breadcrumbs li:not(:last-child)::after {
  content: "/";
  margin-left: 0.45rem;
  color: rgba(17, 20, 18, 0.35);
}

.breadcrumbs a {
  color: var(--accent-dark);
  font-weight: 760;
}

.content-article h1 {
  max-width: 13ch;
  margin: 0 0 1.65rem;
  font-size: clamp(2.38rem, 4.2vw, 3.675rem);
  line-height: 0.95;
  font-weight: 880;
}

.content-title-relief-defs {
  position: absolute;
  width: 0;
  height: 0;
  overflow: hidden;
  pointer-events: none;
}

.content-title-relief-text {
  display: inline-block;
  max-width: 100%;
  color: rgba(32, 32, 32, 0.62);
  filter: var(--content-title-filter-legacy);
  opacity: 0.92;
}

.content-title-domain-icon {
  display: none;
}

@media (min-width: 761px) {
  .content-article .content-title-filter-block {
    box-sizing: content-box;
    margin: -10px -10px calc(1.65rem - 10px);
    padding: 10px;
    color: #202020;
    filter: var(--content-title-filter-active);
    mix-blend-mode: multiply;
    opacity: 1;
  }

  .content-title-domain-heading {
    display: inline-flex;
    max-width: 100%;
    align-items: center;
    gap: 0.28em;
    vertical-align: top;
  }

  .content-title-domain-icon {
    display: block;
    width: 0.95em;
    height: 0.95em;
    flex: 0 0 0.95em;
    filter: none;
    opacity: 1;
    object-fit: contain;
  }

  .content-title-relief-text {
    color: #202020;
    filter: none;
    opacity: 1;
  }

  .content-article .content-title-filter-block::after {
    background: #484848;
  }
}

.content-article h1::after {
  content: "";
  display: block;
  width: 5.6rem;
  height: 0.32rem;
  margin-top: 1.05rem;
  background: rgba(72, 72, 72, 0.72);
}

@media (forced-colors: active) {
  .content-title-filter-block,
  .content-title-relief-text,
  .content-title-domain-icon {
    color: CanvasText;
    filter: none !important;
    opacity: 1;
  }
}

@media (min-width: 761px) {
  .content-title-filter-debug {
    position: fixed;
    top: 18px;
    right: 18px;
    z-index: 1000;
    width: 356px;
    max-height: calc(100vh - 36px);
    padding: 14px;
    overflow: auto;
    color: rgba(248, 246, 239, 0.96);
    background: rgba(21, 21, 20, 0.94);
    border: 1px solid rgba(255, 255, 255, 0.2);
    border-radius: 8px;
    box-shadow: 0 12px 35px rgba(0, 0, 0, 0.42);
    font-family: var(--home-label-font);
    font-size: 12px;
    line-height: 1.2;
    pointer-events: auto;
    backdrop-filter: blur(8px);
  }

  .content-title-filter-debug[hidden] {
    display: none;
  }

  .content-title-filter-debug-header {
    display: flex;
    align-items: flex-start;
    justify-content: space-between;
    gap: 12px;
    margin-bottom: 12px;
  }

  .content-title-filter-debug-header span,
  .content-title-filter-debug-header strong,
  .content-title-filter-debug-header small {
    display: block;
  }

  .content-title-filter-debug-header strong {
    font-size: 15px;
    letter-spacing: 0.03em;
  }

  .content-title-filter-debug-header small {
    margin-top: 3px;
    color: rgba(205, 197, 239, 0.72);
    font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
    font-size: 10px;
  }

  .content-title-filter-debug-section {
    margin: 12px 0 5px;
    padding-top: 9px;
    color: rgba(205, 197, 239, 0.88);
    border-top: 1px solid rgba(255, 255, 255, 0.14);
    font-size: 11px;
    font-weight: 700;
    letter-spacing: 0.08em;
    text-transform: uppercase;
  }

  .content-title-filter-debug-header + .content-title-filter-debug-section {
    margin-top: 0;
  }

  .content-title-filter-debug-header button,
  .content-title-filter-debug-footer button {
    min-height: 28px;
    padding: 4px 9px;
    color: inherit;
    background: rgba(255, 255, 255, 0.08);
    border: 1px solid rgba(255, 255, 255, 0.2);
    border-radius: 4px;
    cursor: pointer;
  }

  .content-title-filter-debug-header button {
    width: 28px;
    padding: 0;
    font-size: 20px;
    line-height: 1;
  }

  .content-title-filter-debug-row {
    display: grid;
    grid-template-columns: 72px minmax(0, 1fr) 58px;
    align-items: center;
    gap: 8px;
    min-height: 31px;
  }

  .content-title-filter-debug-row-wide {
    grid-template-columns: 72px minmax(0, 1fr);
  }

  .content-title-filter-debug-row > span {
    color: rgba(238, 234, 224, 0.78);
  }

  .content-title-filter-debug input,
  .content-title-filter-debug select,
  .content-title-filter-debug button {
    font: inherit;
  }

  .content-title-filter-debug input[type="range"] {
    width: 100%;
    cursor: pointer;
    accent-color: #8068ef;
  }

  .content-title-filter-debug input[type="number"],
  .content-title-filter-debug select {
    width: 100%;
    min-height: 26px;
    padding: 3px 5px;
    color: rgba(252, 250, 245, 0.98);
    background: rgba(255, 255, 255, 0.08);
    border: 1px solid rgba(255, 255, 255, 0.2);
    border-radius: 3px;
  }

  .content-title-filter-debug input[type="color"] {
    width: 100%;
    height: 26px;
    padding: 2px;
    background: rgba(255, 255, 255, 0.08);
    border: 1px solid rgba(255, 255, 255, 0.2);
    border-radius: 3px;
    cursor: pointer;
  }

  .content-title-filter-debug-footer {
    display: grid;
    grid-template-columns: auto auto minmax(0, 1fr);
    align-items: center;
    gap: 7px;
    margin-top: 12px;
    padding-top: 10px;
    border-top: 1px solid rgba(255, 255, 255, 0.14);
  }

  .content-title-filter-debug-footer output {
    min-height: 1em;
    color: rgba(190, 177, 255, 0.94);
    text-align: right;
  }

  .content-title-filter-debug button:hover,
  .content-title-filter-debug button:focus-visible {
    color: #fff;
    background: rgba(126, 98, 240, 0.35);
    border-color: rgba(177, 158, 255, 0.62);
  }
}

.content-page-meta {
  max-width: 42rem;
  margin: -0.85rem 0 1.65rem;
  color: #343832;
}

.content-news-meta {
  font-size: 1.05rem;
  font-weight: 760;
  text-transform: uppercase;
}

@media (min-width: 761px) {
  .content-article-news-post h1 {
    max-width: 46rem;
    font-size: 2.8rem;
    line-height: 1.08;
  }

  .news-index,
  .news-media {
    max-width: 46rem;
  }

  .news-list {
    display: grid;
    gap: 1.5rem;
    margin-top: 2rem;
  }

  .news-card {
    padding: 1.5rem;
    border: 1px solid rgba(68, 60, 87, 0.25);
    background: rgba(255, 255, 255, 0.24);
    border-radius: 0.35rem;
    color: #252a26;
    font-size: 1.15rem;
    line-height: 1.55;
  }

  .news-card h2 {
    margin: 0.5rem 0;
    font-size: 1.7rem;
    line-height: 1.25;
  }

  .news-card-category,
  .news-card-date {
    margin: 0;
    font-size: 0.95rem;
  }

  .news-card-category {
    font-weight: 700;
    color: #4f3d72;
  }

  .news-card-image-link {
    display: block;
    margin-top: 1rem;
  }

  .news-picture {
    display: block;
  }

  .news-picture img {
    display: block;
    width: 100%;
    height: auto;
    object-fit: contain;
  }

  .news-picture-logo {
    padding: 1.5rem;
    background: #101d2b;
  }

  .news-media {
    margin: 0 0 2rem;
  }

  .news-media figcaption {
    margin-top: 0.65rem;
    color: #343832;
    font-size: 0.95rem;
    line-height: 1.5;
  }

  .news-read-more {
    font-weight: 700;
  }

  .content-article-news-post .content-body a,
  .content-article-news-post .news-media figcaption a,
  .news-index .news-card h2 a,
  .news-index .news-read-more {
    color: var(--accent-dark);
    text-decoration: underline;
    text-decoration-thickness: 0.08em;
    text-underline-offset: 0.16em;
  }
}

.content-paper-meta {
  padding: 1rem 1.15rem;
  border-left: 0.26rem solid rgba(91, 70, 216, 0.62);
  background: rgba(255, 255, 255, 0.18);
  font-family: var(--home-paper-font);
}

.content-paper-authors {
  margin: 0;
  font-size: 1rem;
  font-weight: 700;
}

.content-paper-abstract {
  margin: 0.55rem 0 0;
  font-size: 1.04rem;
  line-height: 1.45;
}

.content-body {
  max-width: 46rem;
  color: #252a26;
  font-size: 1.25rem;
  line-height: 1.65;
}

.content-body code {
  padding: 0.08rem 0.25rem;
  background: rgba(91, 70, 216, 0.1);
  border: 1px solid rgba(91, 70, 216, 0.16);
  border-radius: 3px;
  font-size: 0.95em;
}

.editorial-post-hero,
.editorial-post-meta,
.learn-index-desktop {
  display: none;
}

@media (min-width: 761px) {
  .learn-index-desktop {
    display: block;
  }

  .content-article-learn-index h1 {
    max-width: none;
    margin-bottom: 1rem;
  }

  .learn-index-subtitle {
    max-width: 46rem;
    margin: 0;
    color: rgba(39, 42, 37, 0.78);
    font-size: 1.12rem;
    line-height: 1.42;
  }

  .learn-index-toc {
    width: calc(100% + 154px);
    margin-top: 2.25rem;
    margin-left: -79px;
  }

  .learn-index-toc-list {
    display: grid;
    gap: 35px;
    padding: 0;
    margin: 0;
    list-style: none;
  }

  .learn-index-card {
    position: relative;
    isolation: isolate;
    display: block;
    height: 210px;
    overflow: hidden;
    color: #fff;
    /* border: 1px solid rgba(17, 20, 18, 0.2); */
    border-radius: 0;
    background: rgba(229, 225, 214, 0.95);
    box-shadow: 0 8px 18px rgba(24, 24, 20, 0.13);
  }

  .learn-index-card::after {
    position: absolute;
    inset: 0;
    z-index: 1;
    background: linear-gradient(90deg, rgba(2, 7, 18, 0.5), rgba(2, 7, 18, 0.15) 72%, rgba(2, 7, 18, 0.05));
    content: "";
    pointer-events: none;
  }

  .learn-index-card-picture {
    position: absolute;
    inset: 0;
    display: block;
  }

  .learn-index-card img {
    display: block;
    width: 100%;
    height: 100%;
    object-fit: cover;
    object-position: center;
    mix-blend-mode: multiply;
  }

  .learn-index-card-copy {
    position: absolute;
    right: 28px;
    bottom: 22px;
    left: 28px;
    z-index: 2;
    display: block;
    color: #f8fbff;
  }

  .learn-index-card-title,
  .learn-index-card-subtitle {
    display: block;
  }

  .learn-index-card-title {
    max-width: 26ch;
    color: #fff;
    font-size: 2rem;
    line-height: 1.02;
    font-weight: 820;
    letter-spacing: -0.022em;
    text-wrap: balance;
  }

  .learn-index-card-subtitle {
    max-width: 52rem;
    margin-top: 0.6rem;
    color: rgba(248, 251, 255, 0.95);
    font-size: 1rem;
    line-height: 1.28;
    font-weight: 560;
    text-wrap: balance;
  }

  .learn-index-card:focus-visible {
    outline: 3px solid var(--focus);
    outline-offset: 4px;
  }

  .content-main > .editorial-post-hero {
    position: relative;
    display: block;
    width: calc(100% + 177px);
    margin: -61px -92px 1.5rem -86px;
  }

  .editorial-post-hero figure {
    margin: 0;
  }

  .editorial-post-hero-picture {
    display: block;
  }

  .editorial-post-filter-defs {
    position: absolute;
    width: 0;
    height: 0;
    overflow: hidden;
    pointer-events: none;
  }

  .editorial-post-hero img {
    display: block;
    width: 100%;
    height: auto;
    aspect-ratio: 1672 / 941;
    object-fit: cover;
    -webkit-mask-image:
      url("/media/content/content-frame-head-mask.png"),
      url("/media/content/content-frame-repeat-mask.png");
    mask-image:
      url("/media/content/content-frame-head-mask.png"),
      url("/media/content/content-frame-repeat-mask.png");
    -webkit-mask-size: 1042px 400px, 1042px 1500px;
    mask-size: 1042px 400px, 1042px 1500px;
    -webkit-mask-position: 0 -52px, 0 348px;
    mask-position: 0 -52px, 0 348px;
    -webkit-mask-repeat: no-repeat, no-repeat;
    mask-repeat: no-repeat, no-repeat;
    -webkit-mask-composite: source-over;
    mask-composite: add;
    mix-blend-mode: multiply;
  }

  .editorial-post-hero-breadcrumbs {
    position: absolute;
    z-index: 2;
    top: 28px;
    right: 84px;
    left: 84px;
  }

  .editorial-post-hero-breadcrumbs > .breadcrumbs {
    margin: 0;
    color: #fff;
  }

  .editorial-post-hero-breadcrumbs > .breadcrumbs a,
  .editorial-post-hero-breadcrumbs > .breadcrumbs li:not(:last-child)::after {
    color: #fff;
  }

  .editorial-post-hero-copy {
    position: absolute;
    z-index: 2;
    right: 84px;
    bottom: 40px;
    left: 84px;
    color: #f8fbff;
  }

  .editorial-post-hero-title {
    max-width: 22ch;
    margin: 0;
    color: #fff;
    font-size: 2.75rem;
    line-height: 1.02;
    font-weight: 820;
    letter-spacing: -0.025em;
    text-wrap: balance;
  }

  .editorial-post-hero-subtitle {
    max-width: 48rem;
    margin: 0.85rem 0 0;
    color: rgba(248, 251, 255, 0.94);
    font-size: 1.12rem;
    line-height: 1.34;
    font-weight: 560;
    text-wrap: balance;
  }

  .editorial-post-meta {
    display: flex;
    max-width: 46rem;
    flex-wrap: wrap;
    align-items: baseline;
    gap: 0.6rem 1rem;
    font-size: 0.9rem;
    line-height: 1.35;
  }

  .editorial-post-hero .editorial-post-meta {
    margin: 1.15rem 0 0;
    color: rgba(248, 251, 255, 0.96);
  }

  .content-article-learn-post > .editorial-post-meta {
    margin: 0 0 2rem;
    color: #343832;
  }

  .editorial-post-meta p,
  .editorial-post-tags {
    margin: 0;
  }

  .editorial-post-series {
    display: inline-flex;
    align-items: baseline;
    gap: 0.45rem;
    letter-spacing: 0.035em;
    text-transform: uppercase;
  }

  .editorial-post-series span::before {
    content: "·";
    margin-right: 0.45rem;
  }

  .editorial-post-tags {
    display: flex;
    flex: 1 1 100%;
    flex-wrap: wrap;
    gap: 0.35rem 0.55rem;
    padding: 0;
    list-style: none;
  }

  .editorial-post-tags li {
    padding: 0.18rem 0.48rem;
    border: 1px solid rgba(52, 56, 50, 0.2);
    border-radius: 999px;
    background: rgba(255, 255, 255, 0.16);
    font-size: 0.82rem;
  }

  .editorial-post-hero .editorial-post-tags li {
    color: #fbfdff;
    border-color: rgba(255, 255, 255, 0.5);
    background: rgba(4, 15, 33, 0.34);
  }

  .learn-post-body h2 {
    margin-top: 2.8rem;
    line-height: 1.12;
  }

  .learn-post-body h3 {
    margin-top: 2.15rem;
    line-height: 1.18;
  }

  .learn-post-body > p:has(> img:only-child) {
    margin: 2.35rem 0;
  }

  .learn-post-body > p > img:only-child {
    display: block;
    width: 100%;
    height: auto;
    border: 1px solid rgba(37, 42, 38, 0.14);
    background: rgba(255, 255, 255, 0.32);
  }

  .learn-post-body blockquote {
    padding: 0.25rem 0 0.25rem 1.3rem;
    margin: 1.7rem 0;
    border-left: 0.28rem solid rgba(91, 70, 216, 0.62);
    color: #30352f;
  }

  .learn-post-body pre,
  .learn-post-body table {
    max-width: 100%;
    overflow-x: auto;
  }

  .learn-post-body pre {
    padding: 1rem 1.1rem;
    border: 1px solid rgba(24, 24, 20, 0.14);
    background: rgba(255, 255, 255, 0.3);
  }

  .learn-post-body table {
    display: block;
    border-collapse: collapse;
    font-size: 0.9em;
  }

  .learn-post-body th,
  .learn-post-body td {
    padding: 0.55rem 0.65rem;
    border: 1px solid rgba(37, 42, 38, 0.18);
    text-align: left;
    vertical-align: top;
  }
}

.nylas-scheduler-section {
  max-width: 52rem;
  margin: 0;
  color: #252a26;
  scroll-margin-top: 2rem;
}

.nylas-scheduler-component-shell {
  min-height: 720px;
}

.nylas-scheduler-component {
  display: block;
  width: 100%;
  min-height: 720px;
  overflow: hidden;
  border: 1px solid rgba(20, 20, 16, 0.16);
  border-radius: 5px;
  background: rgba(255, 255, 255, 0.28);
}

.nylas-scheduler-empty {
  padding: 1.1rem 1.2rem;
  border: 1px dashed rgba(91, 70, 216, 0.42);
  border-radius: 5px;
  background: rgba(255, 255, 255, 0.22);
}

.nylas-scheduler-empty p {
  margin: 0;
  color: #343832;
  font-size: 1rem;
  line-height: 1.45;
}

.nylas-scheduler-empty code {
  padding: 0.08rem 0.25rem;
  background: rgba(91, 70, 216, 0.1);
  border: 1px solid rgba(91, 70, 216, 0.16);
  border-radius: 3px;
  font-size: 0.92em;
}

.child-list {
  margin-top: 3.2rem;
}

.child-list h2 {
  margin: 0 0 1.1rem;
  font-size: 2.05rem;
}

.child-grid {
  display: grid;
  gap: 0.7rem;
}

.child-card {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  min-height: 5.25rem;
  padding: 1.05rem 1.35rem;
  border: 1px solid rgba(17, 20, 18, 0.18);
  border-radius: 5px;
  background: rgba(255, 255, 255, 0.18);
}

.child-card strong,
.child-card small {
  display: block;
}

.child-card strong {
  font-size: 1.25rem;
}

.child-card small {
  margin-top: 0.35rem;
  color: var(--muted);
  line-height: 1.35;
}

.child-arrow {
  display: block;
  flex: 0 0 auto;
  width: 0.9rem;
  height: 0.9rem;
  border-top: 0.2rem solid var(--accent);
  border-right: 0.2rem solid var(--accent);
  transform: rotate(45deg);
}

.site-nav ul {
  padding: 0;
  margin: 0;
  list-style: none;
}

.site-nav li + li {
  margin-top: 0.2rem;
}

.site-nav a {
  display: block;
  padding: 0.68rem 0.9rem;
  color: #232823;
  border-left: 0 solid transparent;
  border-radius: 5px;
  font-size: 1.03rem;
  line-height: 1.2;
}

.site-nav .nav-label,
.site-nav .nav-description {
  display: block;
}

.site-nav .nav-description,
.site-nav .nav-caret {
  display: none;
}

.site-nav a:hover,
.site-nav a:focus-visible,
.site-nav .is-current > a {
  color: #ffffff;
  background: linear-gradient(135deg, #694cf3, #432fc4);
  box-shadow:
    inset 0 1px rgba(255, 255, 255, 0.32),
    0 0.25rem 0.7rem rgba(47, 34, 137, 0.28);
}

.site-nav .depth-2 > a,
.site-nav .depth-3 > a,
.site-nav .depth-4 > a {
  color: #414841;
  font-size: 1rem;
}

.site-nav .depth-2 > a {
  padding-left: 1.2rem;
}

.site-nav .depth-3 > a {
  padding-left: 1.8rem;
}

.site-nav .depth-4 > a {
  padding-left: 2.4rem;
}

.content-sidebar .site-nav {
  --menu-violet: #5b3ff2;
  position: relative;
  color: var(--ink);
}

.content-sidebar .site-nav > ul {
  position: relative;
  display: grid;
  gap: 10px;
}

.content-sidebar .site-nav > ul::before {
  content: "";
  position: absolute;
  left: 7px;
  top: 6px;
  bottom: 6px;
  width: 2px;
  background: linear-gradient(90deg, rgba(0, 0, 0, 0.2), rgba(255, 255, 255, 0.22));
  mix-blend-mode: multiply;
  opacity: 0.55;
  pointer-events: none;
}

.content-sidebar .site-nav ul ul {
  display: grid;
  gap: 7px;
  margin: 8px 0 0 36px;
}

.content-sidebar .site-nav li + li {
  margin-top: 0;
}

.content-sidebar .site-nav .nav-node {
  position: relative;
  min-height: 30px;
}

.content-sidebar .site-nav .nav-node:not(.is-current):not(.is-ancestor) > ul {
  display: none;
}

.content-sidebar .site-nav a {
  position: relative;
  z-index: 1;
  min-height: 30px;
  padding: 0 0 0 52px;
  color: rgba(16, 21, 19, 0.78);
  border: 0;
  border-radius: 0;
  background: transparent;
  box-shadow: none;
  font-size: 18px;
  font-weight: 540;
  line-height: 1.22;
  letter-spacing: 0;
}

.content-sidebar .site-nav a::before {
  content: "";
  position: absolute;
  left: -4px;
  top: 50%;
  width: 24px;
  height: 24px;
  transform: translateY(-50%);
  background: url("/media/content/menu/ff-menu-marker-l1.svg") center / 24px 24px no-repeat;
  filter: drop-shadow(0 0 3px rgba(91, 63, 242, 0.48));
  pointer-events: none;
}

.content-sidebar .site-nav a:hover,
.content-sidebar .site-nav a:focus-visible {
  color: var(--menu-violet);
  background: transparent;
  box-shadow: none;
}

.content-sidebar .site-nav .nav-caret {
  position: absolute;
  left: 28px;
  top: 0.05em;
  display: block;
  width: 15px;
  color: var(--menu-violet);
  text-shadow: 0 0 5px rgba(91, 63, 242, 0.35);
  transform: rotate(0deg);
}

.content-sidebar .site-nav .is-current > a .nav-caret,
.content-sidebar .site-nav .is-ancestor > a .nav-caret {
  transform: rotate(90deg);
}

.content-sidebar .site-nav .nav-description {
  display: -webkit-box;
  max-width: 292px;
  margin-top: 3px;
  overflow: hidden;
  color: rgba(16, 21, 19, 0.55);
  font-size: 11.5px;
  font-weight: 400;
  line-height: 1.28;
  letter-spacing: 0;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 2;
}

.content-sidebar .site-nav .is-ancestor > a {
  color: rgba(91, 63, 242, 0.82);
}

.content-sidebar .site-nav .is-ancestor > a .nav-description {
  color: rgba(91, 63, 242, 0.58);
}

.content-sidebar .site-nav .is-current {
  margin: 1px 0;
}

.content-sidebar .site-nav .is-current::before {
  display: none;
}

.content-sidebar .site-nav .is-current > a {
  color: var(--menu-violet);
  background: transparent;
  box-shadow: none;
  font-weight: 760;
}

.content-sidebar .site-nav .is-current > a::before {
  filter:
    drop-shadow(0 0 4px rgba(91, 63, 242, 0.72))
    drop-shadow(0 1px 1px rgba(0, 0, 0, 0.16));
  transform: translateY(-50%) scale(1.12);
}

.content-sidebar .site-nav .is-current > a .nav-label {
  position: relative;
  display: inline-block;
  width: fit-content;
  color: var(--menu-violet);
  text-shadow:
    0 0 8px rgba(91, 63, 242, 0.42),
    0 1px 0 rgba(255, 255, 255, 0.3),
    0 -1px 0 rgba(0, 0, 0, 0.1);
  filter: drop-shadow(0 3px 5px rgba(0, 0, 0, 0.18));
}

.content-sidebar .site-nav .is-current > a .nav-description {
  color: rgba(91, 63, 242, 0.68);
}

.content-sidebar .site-nav .depth-1.is-current {
  margin-left: 0;
}

.content-sidebar .site-nav .depth-1.is-current::before {
  display: none;
}

.content-sidebar .site-nav .depth-1.is-current > a {
  padding-left: 52px;
}

.content-sidebar .site-nav .depth-1.is-current > a::before {
  left: -4px;
  width: 24px;
  height: 24px;
  background-size: 24px 24px;
}

.content-sidebar .site-nav .depth-2 > a {
  min-height: 28px;
  padding-left: 34px;
  color: rgba(16, 21, 19, 0.6);
  font-size: 14.5px;
  line-height: 1.2;
}

.content-sidebar .site-nav .depth-2 > a::before {
  left: 1px;
  width: 20px;
  height: 20px;
  background-image: url("/media/content/menu/ff-menu-marker-l2.svg");
  background-size: 20px 20px;
  filter: drop-shadow(0 0 2px rgba(91, 63, 242, 0.3));
}

.content-sidebar .site-nav .depth-3 > a,
.content-sidebar .site-nav .depth-4 > a {
  min-height: 24px;
  padding-left: 30px;
  color: rgba(16, 21, 19, 0.56);
  font-size: 12.5px;
  line-height: 1.24;
}

.content-sidebar .site-nav .depth-3 > a::before,
.content-sidebar .site-nav .depth-4 > a::before {
  left: 5px;
  width: 16px;
  height: 16px;
  background-image: url("/media/content/menu/ff-menu-marker-l3.svg");
  background-size: 16px 16px;
  filter: none;
  opacity: 0.82;
}

.content-sidebar .site-nav .depth-4 > a {
  padding-left: 34px;
  font-size: 12px;
  color: rgba(16, 21, 19, 0.5);
}

.content-sidebar .site-nav .depth-4 > a::before {
  left: 11px;
  width: 13px;
  height: 13px;
  background-size: 13px 13px;
  opacity: 0.7;
}

.content-sidebar .site-nav .depth-1 > a .nav-caret {
  display: none;
}

.content-sidebar .site-nav .depth-2 .nav-description,
.content-sidebar .site-nav .depth-3 .nav-description,
.content-sidebar .site-nav .depth-4 .nav-description {
  max-width: 242px;
  font-size: 11px;
  line-height: 1.25;
}

.content-sidebar .site-nav .nav-node.is-current > a {
  color: var(--menu-violet);
  background: transparent;
  box-shadow: none;
  font-weight: 760;
}

.content-sidebar .site-nav .nav-node.is-current > a::before {
  filter:
    drop-shadow(0 0 4px rgba(91, 63, 242, 0.72))
    drop-shadow(0 1px 1px rgba(0, 0, 0, 0.16));
  transform: translateY(-50%) scale(1.12);
  opacity: 1;
}

.content-sidebar .site-nav .depth-1.is-current > a {
  padding-left: 52px;
}

.content-sidebar .site-nav .depth-1.is-current > a::before {
  left: -4px;
  width: 24px;
  height: 24px;
  background-size: 24px 24px;
}

.section-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.8rem;
}

.section-tile {
  min-height: 7rem;
  padding: 1rem;
  border: 1px solid var(--line);
  background: rgba(248, 247, 241, 0.94);
}

.section-tile span,
.section-tile small {
  display: block;
}

.section-tile span {
  font-weight: 780;
}

.section-tile small {
  margin-top: 0.45rem;
  color: var(--muted);
  line-height: 1.35;
}

@media (prefers-reduced-motion: no-preference) {
  .page-home.content-overlay-entering .home-scene.scene-ready .scene-canvas {
    animation: backdrop-blur-in 520ms ease-out both;
  }

  .page-home.content-overlay-entering .home-content-overlay .content-stage {
    animation: overlay-slide-up 560ms cubic-bezier(0.22, 1, 0.36, 1) both;
  }

  .page-home.content-overlay-exiting .home-scene.scene-ready .scene-canvas {
    animation: backdrop-blur-out 420ms ease-in both;
  }

  .page-home.content-overlay-exiting .home-content-overlay .content-stage {
    animation: overlay-slide-down 460ms cubic-bezier(0.64, 0, 0.78, 0) both;
    pointer-events: none;
  }

  .page-content.content-exiting .content-stage {
    animation: overlay-slide-down 460ms cubic-bezier(0.64, 0, 0.78, 0) both;
    pointer-events: none;
  }

  .hotspot-link,
  .site-nav a,
  .child-card,
  .section-tile {
    transition: background-color 160ms ease, border-color 160ms ease, box-shadow 160ms ease, color 160ms ease;
  }
}

@keyframes backdrop-blur-in {
  from {
    filter: blur(0);
  }

  to {
    filter: blur(10px);
  }
}

@keyframes backdrop-blur-out {
  from {
    filter: blur(10px);
  }

  to {
    filter: blur(0);
  }
}

@keyframes overlay-slide-up {
  from {
    transform: translateY(100vh);
  }

  to {
    transform: translateY(0);
  }
}

@keyframes overlay-slide-down {
  from {
    transform: translateY(0);
  }

  to {
    transform: translateY(100vh);
  }
}

@media (max-width: 900px) {
  .content-article h1 {
    font-size: 2.1rem;
  }

  .content-main {
    padding: 112px 84px 70px;
  }
}