.product-code-page {
    --code-panel: #1e1f22;
    --code-border: rgba(133, 178, 220, 0.22);
    --code-blue: #6aa6ef;
    --code-green: #79a978;
    --code-gold: #b2ae6a;
    --code-orange: #c59172;
    --code-purple: #bd80b8;
    --code-text: #bcbec3;
}

.product-code-hero {
    position: relative;
    min-height: 720px;
    overflow: hidden;
    isolation: isolate;
    background:
        radial-gradient(ellipse at 100% 25%, rgba(145, 108, 63, 0.075), transparent 48%),
        linear-gradient(180deg, #090e14 0%, #05080c 66%, #030507 100%);
}

.product-code-hero .product-code-hero__layout {
    padding-top: 108px;
    padding-bottom: 104px;
}

.product-code-hero__copy {
    position: relative;
    z-index: 2;
    max-width: 880px;
}

.product-code-hero .cloud-proof-hero__lead {
    max-width: 880px;
}

.product-code-hero__context {
    margin-top: 24px;
}

.product-code-hero h1 {
    max-width: 860px;
    font-size: clamp(58px, 6vw, 80px);
}

.product-code-hero h1 span,
.product-code-section h2 span {
    color: transparent;
    background: linear-gradient(105deg, #d9f2ff 2%, #6cb0fb 52%, #176fe4 100%);
    -webkit-background-clip: text;
    background-clip: text;
}

.product-code-hero__sun {
    position: absolute;
    top: 34px;
    right: clamp(-250px, -14vw, -140px);
    z-index: 1;
    width: clamp(560px, 50vw, 720px);
    aspect-ratio: 1;
    pointer-events: none;
    -webkit-mask-image: linear-gradient(145deg, #000 12%, rgba(0, 0, 0, 0.85) 38%, transparent 73%);
    mask-image: linear-gradient(145deg, #000 12%, rgba(0, 0, 0, 0.85) 38%, transparent 73%);
}

.product-code-hero__sun::before,
.product-code-hero__sun::after {
    content: '';
    position: absolute;
    inset: 0;
    border-radius: 50%;
}

.product-code-hero__sun::before {
    background: radial-gradient(closest-side,
        transparent 64%,
        rgba(243, 194, 119, 0.075) 74%,
        rgba(220, 157, 75, 0.145) 81%,
        rgba(180, 117, 56, 0.055) 88%,
        transparent 100%);
    filter: blur(16px);
}

.product-code-hero__sun::after {
    inset: 10%;
    border: 1px solid rgba(239, 207, 154, 0.46);
    box-shadow:
        0 0 9px rgba(243, 203, 135, 0.14),
        inset 0 0 15px rgba(234, 184, 114, 0.07);
    -webkit-mask-image: linear-gradient(130deg, transparent 8%, #000 34%, transparent 65%);
    mask-image: linear-gradient(130deg, transparent 8%, #000 34%, transparent 65%);
}

.product-code-section .cloud-proof-copy {
    max-width: 980px;
}

.product-code-section .cloud-proof-copy h2 {
    max-width: 1100px;
}

.product-code-section .cloud-proof-copy code {
    padding: 0.12em 0.34em;
    border: 1px solid rgba(121, 174, 222, 0.18);
    border-radius: 0.3em;
    background: rgba(16, 35, 52, 0.72);
    color: #b7d9f5;
    font-family: var(--font-mono);
    font-size: 0.84em;
}

.product-code-proof,
.product-code-history,
.product-code-interactions {
    position: relative;
    margin-top: 64px;
}

.product-code-proof {
    display: grid;
    padding: 34px;
    grid-template-columns: minmax(0, 1.62fr) minmax(230px, 0.7fr);
    align-items: center;
    gap: 28px;
    border-top: 1px solid rgba(118, 184, 255, 0.22);
    border-bottom: 1px solid rgba(118, 184, 255, 0.12);
    background:
        radial-gradient(circle at 60% 48%, rgba(46, 116, 181, 0.1), transparent 58%),
        rgba(6, 12, 20, 0.42);
}

.product-code-proof--query {
    grid-template-columns: minmax(0, 1.35fr) minmax(360px, 0.95fr);
}

.product-code-proof--model {
    grid-template-columns: 1fr;
    align-items: stretch;
}

.product-code-proof--code {
    grid-template-columns: minmax(0, 1fr);
}

.product-code-proof--code > .product-code-panel {
    width: 100%;
    max-width: 880px;
}

.product-code-proof--stacked {
    align-items: start;
}

.product-code-proof__code-stack {
    display: grid;
    min-width: 0;
    gap: 18px;
}

.product-code-proof__aside {
    display: grid;
    min-width: 0;
    gap: 18px;
}

.product-code-proof::before,
.product-code-interactions::before,
.product-code-history::before {
    content: '';
    position: absolute;
    inset: 0;
    pointer-events: none;
    opacity: 0.3;
    background-image: radial-gradient(circle, rgba(111, 167, 220, 0.14) 1px, transparent 1px);
    background-size: 28px 28px;
    mask-image: linear-gradient(90deg, transparent, #000 18%, #000 82%, transparent);
}

.product-code-proof > *,
.product-code-interactions > *,
.product-code-history > * {
    position: relative;
    z-index: 1;
}

.product-code-panel {
    min-width: 0;
    margin: 0;
    overflow: hidden;
    border: 1px solid var(--code-border);
    border-radius: 17px;
    background: var(--code-panel);
    box-shadow: 0 18px 44px rgba(0, 0, 0, 0.25), inset 0 1px rgba(255, 255, 255, 0.025);
}

.product-code-panel figcaption {
    display: flex;
    min-height: 48px;
    padding: 0 18px;
    align-items: center;
    justify-content: space-between;
    gap: 12px;
    border-bottom: 1px solid rgba(127, 153, 180, 0.22);
    color: #d6e2ef;
    font-size: 13px;
}

.product-code-panel figcaption strong {
    min-width: 0;
    overflow: hidden;
    font-weight: 500;
    text-overflow: ellipsis;
    white-space: nowrap;
}

.product-code-panel figcaption small {
    padding: 4px 9px;
    flex: 0 0 auto;
    border: 1px solid rgba(125, 155, 185, 0.3);
    border-radius: 5px;
    color: #91a8c2;
    font-size: 10px;
    letter-spacing: 0.04em;
    text-transform: uppercase;
}

.product-code-panel__body {
    position: relative;
    min-width: 0;
}

.product-code-panel__copy {
    position: absolute;
    z-index: 2;
    top: 12px;
    right: 12px;
    width: 38px;
    height: 38px;
    padding: 0;
    display: inline-flex;
    align-items: center;
    justify-content: center;
    border: 0;
    border-radius: 8px;
    background: transparent;
    color: #7f92a7;
    font-size: 19px;
    line-height: 1;
    cursor: pointer;
    transition: color 160ms ease;
}

.product-code-panel__copy::before {
    content: '';
    position: absolute;
    inset: 5px;
    border-radius: 6px;
    background: transparent;
    transition: background-color 160ms ease;
}

.product-code-panel__copy:hover::before {
    background: rgba(111, 167, 220, 0.11);
}

.product-code-panel__copy i {
    position: relative;
    z-index: 1;
}

.product-code-panel__copy:focus-visible {
    outline: 2px solid #66b9ff;
    outline-offset: 2px;
}

.product-code-panel__copy.is-copied {
    color: #7be0bc;
}

.product-code-panel__copy.is-error {
    color: #ed9aa6;
}

.product-code-panel__copy-status {
    position: absolute;
    width: 1px;
    height: 1px;
    padding: 0;
    overflow: hidden;
    clip: rect(0, 0, 0, 0);
    white-space: nowrap;
    border: 0;
}

.product-code-panel pre {
    margin: 0;
    padding: 22px 62px 25px 23px;
    overflow: auto;
    color: var(--code-text);
    font-family: var(--font-mono);
    font-size: 13.5px;
    line-height: 1.62;
    tab-size: 4;
    white-space: normal;
}

.product-code-panel code {
    display: block;
    font: inherit;
}

.product-code-panel__line {
    display: block;
    min-height: 1lh;
    white-space: pre;
}

.product-code-page .tok-parameter {
    color: var(--code-text);
}

.product-code-page .tok-annotation {
    color: var(--code-gold);
    font-weight: 650;
}

.product-code-page .tok-keyword {
    color: var(--code-orange);
    font-weight: 700;
}

.product-code-page .tok-literal {
    color: var(--code-orange);
    font-weight: 650;
}

.product-code-page .tok-type,
.product-code-page .tok-call {
    color: var(--code-text);
    font-weight: 650;
}

.product-code-page .tok-method,
.product-code-page .tok-number {
    color: var(--code-blue);
    font-weight: 650;
}

.product-code-page .tok-string {
    color: var(--code-green);
}

.product-code-page .tok-field {
    color: var(--code-purple);
}

.product-code-page .tok-comment {
    color: #6f7c89;
    font-style: italic;
}

.product-code-proof__notes,
.product-code-policy {
    display: grid;
    margin: 0;
    gap: 12px;
}

.product-code-proof__notes > div,
.product-code-policy > div {
    padding: 17px 18px;
    border: 1px solid rgba(116, 178, 232, 0.17);
    border-radius: 13px;
    background: rgba(7, 16, 26, 0.82);
}

.product-code-proof__notes dt,
.product-code-policy dt {
    color: #dceaf6;
    font-size: 12px;
    font-weight: 750;
    letter-spacing: 0.04em;
    text-transform: uppercase;
}

.product-code-proof__notes dd,
.product-code-policy dd {
    margin: 7px 0 0;
    color: #8297aa;
    font-size: 12px;
    line-height: 1.55;
}

.product-code-proof--model > .product-code-proof__notes {
    grid-template-columns: repeat(3, minmax(0, 1fr));
}

.product-code-relation-map {
    --relation-line: #355f80;
    --relation-row-gap: 14px;
    position: relative;
    margin: 0;
}

.product-code-relation-map__grid {
    position: relative;
    display: grid;
    grid-template-columns: minmax(310px, 0.92fr) minmax(0, 1.28fr);
    align-items: stretch;
    gap: var(--relation-row-gap) 28px;
}

.product-code-relation-map__code {
    grid-column: 2;
    align-self: stretch;
}

.product-code-relation-map__code--show,
.product-code-relation-map__level--show {
    grid-row: 1;
}

.product-code-relation-map__code--tickets,
.product-code-relation-map__level--tickets {
    grid-row: 2;
}

.product-code-relation-map__code--reservations,
.product-code-relation-map__level--reservations {
    grid-row: 3;
}

.product-code-relation-map__level {
    grid-column: 1;
    position: relative;
    display: grid;
    min-width: 0;
    min-height: 138px;
    padding: 22px 8px;
    place-items: center;
    isolation: isolate;
}

.product-code-relation-map__root {
    position: relative;
    z-index: 2;
    display: grid;
    width: 110px;
    height: 54px;
    place-items: center;
    border: 1px solid rgba(105, 186, 255, 0.58);
    border-radius: 12px;
    background: linear-gradient(135deg, rgba(18, 56, 88, 0.96), rgba(9, 31, 50, 0.96));
    box-shadow: inset 0 0 30px rgba(59, 151, 232, 0.12), 0 0 28px rgba(40, 120, 193, 0.1);
    color: #dcecf8;
    font-size: 13px;
    font-weight: 700;
}

.product-code-relation-map__link {
    position: absolute;
    z-index: 1;
    pointer-events: none;
}

.product-code-relation-map__link--show-ticket {
    top: calc(50% + 27px);
    bottom: calc(-1 * var(--relation-row-gap));
    left: 50%;
    width: 2px;
    transform: translateX(-50%);
    background: var(--relation-line);
}

.product-code-relation-map__link--ticket-up {
    top: 0;
    bottom: calc(50% + 48px);
    left: 50%;
    width: 2px;
    transform: translateX(-50%);
    background: var(--relation-line);
}

.product-code-relation-map__link--ticket-down,
.product-code-relation-map__link--reservation-up {
    right: 8px;
    left: 8px;
    display: grid;
    grid-template-columns: repeat(4, minmax(0, 1fr));
}

.product-code-relation-map__link--ticket-down::before,
.product-code-relation-map__link--ticket-down::after,
.product-code-relation-map__link--reservation-up::before,
.product-code-relation-map__link--reservation-up::after {
    content: '';
    grid-row: 1;
    grid-column: 2;
    justify-self: center;
    width: 2px;
    background: var(--relation-line);
}

.product-code-relation-map__link--ticket-down::after,
.product-code-relation-map__link--reservation-up::after {
    grid-column: 4;
}

.product-code-relation-map__link--ticket-down {
    top: calc(50% + 48px);
    bottom: calc(-1 * var(--relation-row-gap));
}

.product-code-relation-map__link--reservation-up {
    top: 0;
    bottom: calc(50% + 24.5px);
}

.product-code-relation-map__tickets,
.product-code-relation-map__reservations {
    position: relative;
    z-index: 2;
    display: grid;
    width: 100%;
    margin: 0;
    padding: 0;
    grid-template-columns: repeat(4, minmax(0, 1fr));
    gap: 0;
    list-style: none;
}

.product-code-relation-map__tickets {
    padding-top: 44px;
}

.product-code-relation-map__tickets::before {
    content: '';
    position: absolute;
    z-index: 0;
    top: 0;
    right: 12.5%;
    left: 12.5%;
    height: 2px;
    background: var(--relation-line);
}

.product-code-relation-map__tickets li,
.product-code-relation-map__reservations li {
    position: relative;
    z-index: 1;
    display: grid;
    min-width: 0;
    place-items: center;
}

.product-code-relation-map__tickets li::before {
    content: '';
    position: absolute;
    z-index: 0;
    top: -44px;
    bottom: 100%;
    left: 50%;
    width: 2px;
    transform: translateX(-50%);
    background: var(--relation-line);
}

.product-code-relation-map__tickets li > span,
.product-code-relation-map__reservations li > span {
    position: relative;
    z-index: 1;
    display: grid;
    width: calc(100% - 9px);
    min-width: 0;
    height: 52px;
    place-items: center;
    border: 1px solid rgba(108, 177, 237, 0.22);
    border-radius: 10px;
    background: rgba(9, 24, 38, 0.94);
    color: #9eb4c7;
    font-size: 10px;
}

.product-code-relation-map__tickets .is-reserved > span {
    border-color: rgba(105, 186, 255, 0.5);
    color: #d3e7f6;
    box-shadow: inset 0 0 20px rgba(59, 151, 232, 0.1);
}

.product-code-relation-map__reservations li > span {
    height: 49px;
    border-color: rgba(83, 190, 150, 0.34);
    border-radius: 9px;
    background: rgba(12, 47, 39, 0.76);
    color: #9bd4be;
    font-size: 9px;
    line-height: 1.1;
}

.product-code-relation-map__reservations small {
    color: #6ea98f;
    font-size: 7px;
    font-weight: 700;
    letter-spacing: 0.07em;
    text-transform: uppercase;
}

.product-code-relation-map__reservations .is-pending {
    border-color: rgba(218, 174, 97, 0.3);
    background: rgba(49, 38, 17, 0.72);
    color: #d3bc91;
}

.product-code-relation-map__reservations .is-pending small {
    color: #aa9164;
}

.product-code-model {
    display: grid;
    grid-template-columns: 1fr 52px 1fr;
    align-items: center;
    gap: 8px;
}

.product-code-model > div {
    display: flex;
    min-height: 126px;
    padding: 19px 10px;
    align-items: center;
    justify-content: center;
    flex-direction: column;
    border: 1px solid rgba(110, 177, 237, 0.28);
    border-radius: 50%;
    background: rgba(8, 24, 39, 0.86);
    box-shadow: inset 0 0 30px rgba(46, 126, 200, 0.08);
    text-align: center;
}

.product-code-model > div i {
    color: #77bdf7;
    font-size: 23px;
}

.product-code-model strong,
.product-code-model small {
    display: block;
}

.product-code-model strong {
    margin-top: 7px;
    color: #d4e5f4;
    font-size: 13px;
}

.product-code-model small {
    margin-top: 3px;
    color: #708ca5;
    font-size: 9px;
}

.product-code-model > span {
    color: #70b5ee;
    text-align: center;
}

.product-code-model > span i,
.product-code-model > span small {
    display: block;
}

.product-code-model > span i {
    font-size: 26px;
}

.product-code-model > span small {
    color: #7590a7;
    font-size: 9px;
}

.product-code-commit,
.product-code-flow {
    margin: 0;
    padding: 0;
    list-style: none;
}

.product-code-commit {
    display: grid;
    gap: 10px;
}

.product-code-commit li {
    display: grid;
    min-height: 57px;
    padding: 11px 14px;
    grid-template-columns: 28px 1fr;
    align-items: center;
    gap: 10px;
    border: 1px solid rgba(112, 176, 231, 0.18);
    border-radius: 12px;
    background: rgba(7, 17, 28, 0.8);
    color: #b5c9da;
    font-size: 11px;
}

.product-code-commit li > span {
    display: grid;
    width: 28px;
    height: 28px;
    place-items: center;
    border: 1px solid rgba(109, 179, 240, 0.34);
    border-radius: 50%;
    color: #7dbff8;
}

.product-code-commit li.is-commit {
    border-color: rgba(89, 190, 153, 0.32);
    background: rgba(20, 75, 61, 0.26);
    color: #b6e1d1;
}

.product-code-commit li.is-commit i {
    color: #6fceaa;
    font-size: 22px;
    text-align: center;
}

.product-code-interactions {
    display: grid;
    padding: 34px;
    grid-template-columns: repeat(2, minmax(0, 1fr));
    align-items: start;
    gap: 20px;
    border-top: 1px solid rgba(118, 184, 255, 0.22);
    border-bottom: 1px solid rgba(118, 184, 255, 0.12);
    background: rgba(6, 12, 20, 0.42);
}

.product-code-interactions .product-code-panel pre {
    min-height: 170px;
    font-size: 12px;
}

.product-code-interactions--policy {
    grid-template-columns: minmax(250px, 0.65fr) minmax(0, 1.35fr);
}

.product-code-interactions--policy .product-code-panel:first-child pre {
    min-height: 0;
}

.product-code-query {
    display: grid;
    grid-template-columns: 1fr 22px 1fr 22px 1fr 30px 1fr;
    align-items: center;
    gap: 4px;
}

.product-code-query > span {
    min-width: 0;
    padding: 15px 7px;
    border: 1px solid rgba(108, 176, 236, 0.22);
    border-radius: 11px;
    background: rgba(7, 17, 28, 0.82);
    text-align: center;
}

.product-code-query small,
.product-code-query strong {
    display: block;
}

.product-code-query small {
    color: #7089a0;
    font-size: 8px;
    text-transform: uppercase;
}

.product-code-query strong {
    margin-top: 4px;
    overflow: hidden;
    color: #c9ddec;
    font-size: 10px;
    text-overflow: ellipsis;
}

.product-code-query > i {
    color: #6baee7;
    font-size: 17px;
    text-align: center;
}

.product-code-query .is-result {
    border-color: rgba(91, 180, 240, 0.45);
    background: rgba(24, 73, 114, 0.52);
}

.product-code-flow {
    display: grid;
    gap: 22px;
}

.product-code-flow li {
    position: relative;
    display: grid;
    min-height: 82px;
    padding: 15px;
    grid-template-columns: 40px 1fr;
    align-items: center;
    column-gap: 12px;
    border: 1px solid rgba(108, 176, 236, 0.23);
    border-radius: 14px;
    background: rgba(7, 17, 28, 0.82);
}

.product-code-flow li:not(:last-child)::after {
    content: '';
    position: absolute;
    bottom: -23px;
    left: 34px;
    width: 3px;
    height: 22px;
    background: linear-gradient(#69b1ee, rgba(80, 156, 222, 0.25));
}

.product-code-flow i {
    grid-row: 1 / span 2;
    color: #78bcf4;
    font-size: 27px;
}

.product-code-flow strong {
    color: #d0e1ef;
    font-size: 12px;
}

.product-code-flow small {
    color: #7991a7;
    font-size: 9px;
}

.product-code-policy dt {
    display: flex;
    align-items: center;
    gap: 8px;
}

.product-code-policy i {
    color: #76baf3;
    font-size: 18px;
}

.product-code-scenarios {
    display: grid;
    gap: 14px;
}

.product-code-scenarios > div {
    display: flex;
    min-height: 94px;
    padding: 19px;
    align-items: center;
    gap: 13px;
    border: 1px solid rgba(107, 176, 235, 0.2);
    border-radius: 14px;
    background: rgba(7, 17, 28, 0.82);
}

.product-code-scenarios i {
    color: #73c7a5;
    font-size: 28px;
}

.product-code-scenarios > div:last-child i {
    color: #dc8795;
}

.product-code-scenarios strong,
.product-code-scenarios small {
    display: block;
}

.product-code-scenarios strong {
    color: #d3e3ef;
    font-size: 12px;
}

.product-code-scenarios small {
    margin-top: 4px;
    color: #7a91a6;
    font-size: 10px;
}

.product-code-history {
    display: grid;
    padding: 34px;
    grid-template-columns: repeat(2, minmax(0, 1fr));
    gap: 24px;
    border-top: 1px solid rgba(118, 184, 255, 0.22);
    border-bottom: 1px solid rgba(118, 184, 255, 0.12);
    background: rgba(6, 12, 20, 0.42);
}

.product-code-history__line {
    display: grid;
    min-height: 118px;
    padding: 17px 18px;
    grid-column: 1 / -1;
    grid-row: 1;
    grid-template-columns: 28px repeat(3, minmax(85px, 1fr)) 35px minmax(110px, 1fr);
    align-items: center;
    gap: 9px;
    border: 1px solid rgba(110, 176, 235, 0.18);
    border-radius: 16px;
    background: rgba(7, 17, 28, 0.82);
}

.product-code-history__line > span:not(:first-child) {
    padding: 12px 8px;
    border: 1px solid rgba(105, 171, 229, 0.22);
    border-radius: 10px;
    background: #0a1928;
    text-align: center;
}

.product-code-history__line::before {
    content: '';
    position: absolute;
    right: 17%;
    left: 36px;
    height: 4px;
    background: linear-gradient(90deg, rgba(87, 168, 238, 0.22), #68b3f2 76%, rgba(87, 168, 238, 0.24));
}

.product-code-history__line > * {
    position: relative;
    z-index: 1;
}

.product-code-history__line > span:first-child {
    color: #6f92af;
    font-size: 22px;
    text-align: center;
}

.product-code-history__line small,
.product-code-history__line strong {
    display: block;
}

.product-code-history__line small {
    color: #6f879c;
    font-size: 8px;
    text-transform: uppercase;
}

.product-code-history__line strong {
    margin-top: 3px;
    color: #c7dcea;
    font-size: 10px;
}

.product-code-history__line > i {
    color: #6fb8f5;
    font-size: 26px;
    text-align: center;
}

.product-code-history__line .is-new {
    border-color: rgba(83, 190, 150, 0.38);
    background: rgba(17, 70, 55, 0.62);
}

.product-code-history .product-code-panel pre {
    min-height: 340px;
    font-size: 12px;
}

.product-code-conclusion strong {
    text-wrap: balance;
}

@media (max-width: 980px) {
    .product-code-hero__copy {
        max-width: 730px;
    }

    .product-code-hero__sun {
        top: 58px;
        right: -230px;
        width: 570px;
        opacity: 0.7;
    }

    .product-code-proof {
        grid-template-columns: 1fr;
    }

    .product-code-proof__notes,
    .product-code-policy {
        grid-template-columns: repeat(3, minmax(0, 1fr));
    }

    .product-code-model {
        width: min(480px, 100%);
        margin: 0 auto;
    }

    .product-code-commit,
    .product-code-flow,
    .product-code-scenarios {
        grid-template-columns: repeat(2, minmax(0, 1fr));
    }

    .product-code-commit li.is-commit {
        grid-column: 1 / -1;
    }

    .product-code-flow li:not(:last-child)::after {
        display: none;
    }

    .product-code-flow li:last-child {
        grid-column: 1 / -1;
    }
}

@media (max-width: 720px) {
    .product-code-hero {
        min-height: 0;
    }

    .product-code-hero .product-code-hero__layout {
        padding-top: 80px;
        padding-bottom: 80px;
    }

    .product-code-hero h1 {
        font-size: clamp(43px, 12.2vw, 54px);
    }

    .product-code-hero__copy {
        max-width: none;
    }

    .product-code-hero__sun {
        top: -66px;
        right: -205px;
        width: 400px;
        opacity: 0.55;
    }

    .product-code-proof,
    .product-code-interactions,
    .product-code-history {
        margin-top: 46px;
        padding: 18px 0;
    }

    .product-code-proof {
        gap: 20px;
    }

    .product-code-relation-map {
        --relation-row-gap: 12px;
    }

    .product-code-relation-map__grid {
        grid-template-columns: 1fr;
        gap: var(--relation-row-gap);
    }

    .product-code-relation-map__code,
    .product-code-relation-map__level {
        grid-column: 1;
        grid-row: auto;
    }

    .product-code-relation-map__level {
        order: 1;
    }

    .product-code-relation-map__code {
        order: 2;
    }

    .product-code-relation-map__level {
        min-height: 128px;
        width: min(406px, 100%);
        justify-self: center;
        padding: 22px 8px;
    }

    .product-code-proof--model > .product-code-proof__notes {
        grid-template-columns: 1fr;
    }

    .product-code-interactions,
    .product-code-history {
        grid-template-columns: 1fr;
        gap: 18px;
    }

    .product-code-panel {
        border-radius: 14px;
    }

    .product-code-panel figcaption {
        display: grid;
        grid-template-columns: minmax(0, 1fr);
        padding: 12px 16px;
        gap: 7px 10px;
    }

    .product-code-panel figcaption strong {
        overflow: visible;
        white-space: normal;
        overflow-wrap: anywhere;
    }

    .product-code-panel figcaption small,
    .product-code-panel__copy {
        display: none;
    }

    .product-code-panel__line {
        padding-left: calc(var(--indent) * 0.5 + 2ch);
        text-indent: -2ch;
        white-space: pre-wrap;
        overflow-wrap: anywhere;
    }

    .product-code-panel__indent {
        display: none;
    }

    .product-code-panel pre,
    .product-code-interactions .product-code-panel pre,
    .product-code-history .product-code-panel pre {
        min-height: 0;
        padding: 18px 16px 21px;
        font-size: 11.5px;
        line-height: 1.58;
    }

    .product-code-proof__notes,
    .product-code-policy,
    .product-code-commit,
    .product-code-flow,
    .product-code-scenarios {
        grid-template-columns: 1fr;
    }

    .product-code-commit li.is-commit,
    .product-code-flow li:last-child {
        grid-column: auto;
    }

    .product-code-model {
        grid-template-columns: 1fr;
        gap: 10px;
    }

    .product-code-model > div {
        width: 150px;
        min-height: 150px;
        justify-self: center;
    }

    .product-code-model > span i {
        transform: rotate(90deg);
    }

    .product-code-query {
        grid-template-columns: repeat(3, minmax(0, 1fr));
        gap: 8px;
    }

    .product-code-query > i {
        display: none;
    }

    .product-code-query .is-result {
        grid-column: 1 / -1;
    }

    .product-code-history__line {
        min-height: 0;
        padding: 14px;
        grid-row: auto;
        grid-template-columns: 1fr 1fr;
    }

    .product-code-history__line::before,
    .product-code-history__line > span:first-child,
    .product-code-history__line > i {
        display: none;
    }

    .product-code-history__line .is-new {
        grid-column: 1 / -1;
    }
}

@media (max-width: 420px) {
    .product-code-panel pre,
    .product-code-interactions .product-code-panel pre,
    .product-code-history .product-code-panel pre {
        font-size: 10.75px;
    }
}