.hdr {
  z-index: 100;
  height: var(--hdr-h);
  background: var(--hdr-bg);
  -webkit-backdrop-filter: blur(16px);
  backdrop-filter: blur(16px);
  align-items: center;
  gap: 24px;
  padding: 0 var(--lab-content-x);
  display: flex;
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
}
@media (max-width: 759px) {
  .hdr {
    padding: 0 var(--lab-pad-x);
  }
}
.hdr-right {
  align-items: center;
  gap: 8px;
  margin-left: auto;
  display: flex;
}
.hdr-cmd {
  height: 40px;
  font-family: var(--sans);
  color: var(--ts);
  -webkit-backdrop-filter: blur(8px) saturate(1.4);
  backdrop-filter: blur(8px) saturate(1.4);
  cursor: pointer;
  background: linear-gradient(#ffffff14, #ffffff05);
  border: 1px solid #ffffff1a;
  border-radius: 9999px;
  flex-shrink: 0;
  align-items: center;
  gap: 9px;
  padding: 0 10px 0 16px;
  font-size: 13px;
  transition:
    border-color 0.15s,
    box-shadow 0.2s,
    color 0.15s;
  display: inline-flex;
  position: relative;
  box-shadow:
    inset 0 1px 0.5px #ffffff38,
    inset 0 -2px 5px #00000059,
    0 2px 8px #0006;
}
.hdr-cmd:hover {
  color: var(--tp);
  border-color: #fff3;
}
.hdr-cmd-label {
  letter-spacing: 0.01em;
}
.hdr-cmd-keys {
  gap: 3px;
  display: inline-flex;
}
.hdr-cmd-keys kbd {
  min-width: 21px;
  height: 22px;
  font-family: var(--sans);
  color: var(--tt);
  text-shadow: 0 1px 1px #00000073;
  background: linear-gradient(145deg, #fff3 0%, #ffffff14 44%, #00000029 100%);
  border: 1px solid #ffffff2e;
  border-radius: 6px;
  justify-content: center;
  align-items: center;
  padding: 0 5px;
  font-size: 11px;
  font-weight: 650;
  line-height: 1;
  transition:
    transform 0.12s,
    box-shadow 0.12s,
    border-color 0.15s,
    background 0.15s;
  display: inline-flex;
  position: relative;
  transform: translateY(-1px);
  box-shadow:
    inset 0 1px #ffffff47,
    inset 0 -2px 3px #0000003d,
    0 2px #00000061,
    0 3px 7px #0003;
}
.hdr-cmd:hover .hdr-cmd-keys kbd {
  border-color: color-mix(in srgb, var(--ac) 45%, #ffffff2e);
}
.hdr-cmd:active .hdr-cmd-keys kbd,
.hdr-cmd:focus-visible .hdr-cmd-keys kbd {
  transform: translateY(1px);
  box-shadow:
    inset 0 1px #ffffff2e,
    inset 0 -1px 2px #0000004d,
    0 1px #00000061,
    0 2px 4px #0000002e;
}
@property --hdr-orbit-a {
  syntax: "<angle>";
  inherits: true;
  initial-value: 0deg;
}
.hdr-cmd:before,
.hdr-cmd:after {
  content: "";
  border-radius: inherit;
  background: conic-gradient(
    from var(--hdr-orbit-a),
    transparent 0turn calc(1turn - var(--hdr-orbit-t, 130deg)),
    color-mix(in srgb, var(--ac) 58%, transparent)
      calc(1turn - var(--hdr-orbit-t, 130deg) * 0.5),
    var(--ac) calc(1turn - var(--hdr-orbit-t, 130deg) * 0.15),
    var(--ac) calc(1turn - var(--hdr-orbit-t, 130deg) * 0.02),
    transparent 1turn
  );
  -webkit-mask-composite: xor;
  opacity: 0;
  pointer-events: none;
  transition: opacity 0.25s;
  position: absolute;
  -webkit-mask-image: linear-gradient(#000 0 0), linear-gradient(#000 0 0);
  mask-image: linear-gradient(#000 0 0), linear-gradient(#000 0 0);
  -webkit-mask-position:
    0 0,
    0 0;
  mask-position:
    0 0,
    0 0;
  -webkit-mask-size: auto, auto;
  mask-size: auto, auto;
  -webkit-mask-repeat: repeat, repeat;
  mask-repeat: repeat, repeat;
  -webkit-mask-clip: content-box, border-box;
  mask-clip: content-box, border-box;
  -webkit-mask-origin: content-box, border-box;
  mask-origin: content-box, border-box;
  -webkit-mask-composite: xor;
  mask-composite: exclude;
  -webkit-mask-source-type: auto, auto;
  mask-mode: match-source, match-source;
}
.hdr-cmd:before {
  padding: 1px;
  inset: 0;
}
.hdr-cmd:after {
  filter: blur(3px);
  padding: 3px;
  inset: -2px;
}
.hdr-cmd:hover:before,
.hdr-cmd:hover:after {
  opacity: 1;
}
@media (prefers-reduced-motion: reduce) {
  .hdr-cmd:hover:before,
  .hdr-cmd:hover:after {
    opacity: 0;
  }
  .hdr-cmd:hover {
    border-color: color-mix(in srgb, var(--ac) 55%, transparent);
  }
}
.hdr-terminal {
  width: 40px;
  height: 40px;
  font-family: var(--mono);
  color: var(--ac);
  -webkit-backdrop-filter: blur(8px) saturate(1.4);
  backdrop-filter: blur(8px) saturate(1.4);
  cursor: pointer;
  background: linear-gradient(#ffffff14, #ffffff05);
  border: 1px solid #ffffff1a;
  border-radius: 9999px;
  flex-shrink: 0;
  justify-content: center;
  align-items: center;
  padding: 0;
  font-size: 13px;
  font-weight: 500;
  transition:
    border-color 0.15s,
    box-shadow 0.2s;
  display: inline-flex;
  position: relative;
  box-shadow:
    inset 0 1px 0.5px #ffffff38,
    inset 0 -2px 5px #00000059,
    0 2px 8px #0006;
}
.hdr-terminal:hover {
  border-color: #fff3;
}
.hdr-terminal[aria-pressed="true"] {
  border-color: color-mix(in srgb, var(--ac) 55%, transparent);
}
.hdr-terminal-cursor {
  display: inline-block;
}
.hdr-terminal:not([aria-pressed="true"]) .hdr-terminal-cursor {
  animation: 1.1s step-end infinite hdr-terminal-blink;
}
@keyframes hdr-terminal-blink {
  0%,
  50% {
    opacity: 1;
  }
  50.01%,
  to {
    opacity: 0.2;
  }
}
.hdr-terminal:after {
  content: "";
  border-radius: inherit;
  pointer-events: none;
  opacity: 0;
  position: absolute;
  inset: -1px;
}
.hdr-terminal--hint:after {
  animation: 1.4s ease-out 2 hdr-terminal-pulse;
}
@keyframes hdr-terminal-pulse {
  0% {
    opacity: 0.9;
    box-shadow:
      0 0 0 0 color-mix(in srgb, var(--ac) 45%, transparent),
      0 0 8px 1px color-mix(in srgb, var(--ac) 40%, transparent);
  }
  to {
    opacity: 0;
    box-shadow:
      0 0 0 7px color-mix(in srgb, var(--ac) 0%, transparent),
      0 0 8px 1px color-mix(in srgb, var(--ac) 0%, transparent);
  }
}
@media (prefers-reduced-motion: reduce) {
  .hdr-terminal:not([aria-pressed="true"]) .hdr-terminal-cursor,
  .hdr-terminal--hint:after {
    animation: none;
  }
}

/* command palette */
.gcmd-overlay {
  z-index: 200;
  -webkit-backdrop-filter: blur(2px);
  backdrop-filter: blur(2px);
  background: #0000008c;
  animation: 0.15s gcmd-fade;
  position: fixed;
  inset: 0;
}
.gcmd-content {
  z-index: 201;
  width: min(540px, 100vw - 32px);
  max-height: min(60vh, 520px);
  font-family: var(--sans);
  color: var(--ts);
  background: var(--bg2);
  border: 1px solid var(--border);
  border-radius: 14px;
  flex-direction: column;
  animation: 0.16s cubic-bezier(0.22, 1, 0.36, 1) gcmd-pop;
  display: flex;
  position: fixed;
  top: 16vh;
  left: 50%;
  overflow: hidden;
  transform: translate(-50%);
  box-shadow: 0 24px 70px #0000008c;
}
.gcmd-content [cmdk-root] {
  flex-direction: column;
  flex: auto;
  min-height: 0;
  display: flex;
  overflow: hidden;
}
.gcmd-search {
  border-bottom: 1px solid var(--border);
  align-items: center;
  gap: 10px;
  padding: 14px 18px;
  display: flex;
}
.gcmd-search-ico {
  color: var(--tt);
  flex-shrink: 0;
}
.gcmd-search input {
  min-width: 0;
  font-family: var(--sans);
  color: var(--tp);
  caret-color: var(--ac);
  background: 0 0;
  border: 0;
  outline: none;
  flex: 1;
  font-size: 15px;
}
.gcmd-search input::placeholder {
  color: var(--tt);
}
.gcmd-content [cmdk-list] {
  overscroll-behavior: contain;
  flex: auto;
  min-height: 0;
  padding: 8px;
  scroll-padding: 8px;
  overflow-y: auto;
  -webkit-mask-image: linear-gradient(
    #0000 0,
    #000 8px calc(100% - 18px),
    #0000 100%
  );
  mask-image: linear-gradient(#0000 0, #000 8px calc(100% - 18px), #0000 100%);
}
.gcmd-content [cmdk-group-heading] {
  font-family: var(--mono);
  letter-spacing: 0.04em;
  color: var(--tt);
  padding: 8px 12px 6px;
  font-size: 11px;
}
.gcmd-item {
  color: var(--ts);
  cursor: pointer;
  border: 1px solid #0000;
  border-radius: 9px;
  align-items: center;
  gap: 12px;
  padding: 9px 12px;
  display: flex;
}
.gcmd-item[data-selected="true"] {
  background: var(--ac-dim);
  border-color: var(--ac-b);
  color: var(--tp);
}
.gcmd-item .gcmd-ico {
  color: var(--tt);
  flex-shrink: 0;
}
.gcmd-item[data-selected="true"] .gcmd-ico {
  color: var(--ac);
}
.gcmd-label {
  flex: 1;
  font-size: 14px;
}
.gcmd-quoted {
  font-family: var(--mono);
  color: var(--tp);
  font-style: normal;
}
.gcmd-quoted:before {
  content: "“";
}
.gcmd-quoted:after {
  content: "”";
}
.gcmd-badge {
  font-family: var(--mono);
  color: var(--ac);
  background: var(--ac-dim);
  border: 1px solid var(--ac-b);
  border-radius: 5px;
  padding: 1px 6px;
  font-size: 10px;
}
.gcmd-badge--lock {
  align-items: center;
  padding: 3px 4px;
  display: inline-flex;
}
.gcmd-badge--lock svg {
  width: 11px;
  height: 11px;
}
.gcmd-hint {
  font-family: var(--mono);
  color: var(--tt);
  font-size: 12px;
}
.gcmd-item[data-selected="true"] .gcmd-hint {
  color: var(--ac);
}
.gcmd-hint--arrow {
  color: var(--tt);
}
.gcmd-empty {
  text-align: center;
  color: var(--tt);
  padding: 28px 12px;
  font-size: 14px;
}
.gcmd-footer {
  border-top: 1px solid var(--border);
  font-family: var(--mono);
  color: var(--tt);
  align-items: center;
  gap: 20px;
  padding: 12px 18px;
  font-size: 13px;
  display: flex;
}
.gcmd-footer kbd {
  min-width: 20px;
  height: 21px;
  font-family: var(--mono);
  color: var(--ts);
  background: var(--sb-hover);
  border: 1px solid var(--border);
  border-radius: 4px;
  justify-content: center;
  align-items: center;
  margin-right: 3px;
  padding: 0 6px;
  font-size: 12px;
  display: inline-flex;
}
.gcmd-toast {
  z-index: 202;
  font-family: var(--mono);
  color: var(--tp);
  background: var(--bg2);
  border: 1px solid var(--border);
  pointer-events: none;
  border-radius: 9999px;
  align-items: center;
  gap: 8px;
  padding: 9px 16px;
  font-size: 12px;
  animation:
    0.22s cubic-bezier(0.22, 1, 0.36, 1) gcmd-toast-in,
    0.25s 1.95s reverse forwards gcmd-fade;
  display: flex;
  position: fixed;
  bottom: 28px;
  left: 50%;
  transform: translate(-50%);
  box-shadow: 0 12px 36px #00000073;
}
.gcmd-toast svg {
  color: var(--ac);
  flex-shrink: 0;
}
@keyframes gcmd-toast-in {
  0% {
    opacity: 0;
    transform: translate(-50%) translateY(10px);
  }
  to {
    opacity: 1;
    transform: translate(-50%) translateY(0);
  }
}
@keyframes gcmd-fade {
  0% {
    opacity: 0;
  }
  to {
    opacity: 1;
  }
}
@keyframes gcmd-pop {
  0% {
    opacity: 0;
    transform: translate(-50%) translateY(6px) scale(0.98);
  }
  to {
    opacity: 1;
    transform: translate(-50%) translateY(0) scale(1);
  }
}
@media (prefers-reduced-motion: reduce) {
  .gcmd-overlay,
  .gcmd-content,
  .gcmd-toast {
    animation: none;
  }
}
.gcmd-root {
  flex-direction: column;
  flex: auto;
  min-height: 0;
  display: flex;
  overflow: hidden;
}
.gcmd-list {
  overscroll-behavior: contain;
  flex: auto;
  min-height: 0;
  padding: 8px;
  scroll-padding: 8px;
  overflow-y: auto;
  -webkit-mask-image: linear-gradient(#0000 0, #000 8px calc(100% - 18px), #0000 100%);
  mask-image: linear-gradient(#0000 0, #000 8px calc(100% - 18px), #0000 100%);
}
.gcmd-group-heading {
  font-family: var(--mono);
  letter-spacing: 0.04em;
  color: var(--tt);
  padding: 8px 12px 6px;
  font-size: 11px;
}
.gcmd-item[hidden],
.gcmd-group[hidden],
.gcmd-empty[hidden] {
  display: none;
}
.gcmd-overlay.is-closing {
  animation: 0.12s reverse forwards gcmd-fade;
}
.gcmd-content.is-closing {
  animation: 0.12s ease-in forwards gcmd-pop-out;
}
@keyframes gcmd-pop-out {
  to {
    opacity: 0;
    transform: translate(-50%) translateY(4px) scale(0.985);
  }
}

/* intro */
.lab-intro {
  /* opaque, so the time-of-day room tint behind the page never colours this band */
  background: var(--bg);
  padding: var(--lab-hero-pad-y) var(--lab-content-x);
  border-bottom: 1px solid var(--border);
  flex-shrink: 0;
  grid-template-columns: minmax(0, 1fr) auto;
  align-items: stretch;
  column-gap: clamp(32px, 6vw, 96px);
  display: grid;
  position: relative;
}
.lab-intro:after {
  content: "";
  pointer-events: none;
  background: repeating-linear-gradient(#ffffff0a 0 1px, #0000 1px 3px);
  position: absolute;
  inset: 0;
}
.lab-intro-main {
  display: flex;
  flex-direction: column;
  min-width: 0;
}
.lab-intro-sr {
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
  width: 1px;
  height: 1px;
  margin: -1px;
  padding: 0;
  position: absolute;
  overflow: hidden;
}
.lab-intro-lede {
  font-family: var(--sans);
  letter-spacing: -0.02em;
  color: color-mix(in srgb, var(--tp) 55%, transparent);
  text-wrap: pretty;
  text-shadow: 0 0 #0000;
  max-width: 23em;
  margin: 0 0 24px;
  font-size: clamp(20px, 2.1vw, 30px);
  font-weight: 400;
  line-height: 1.2;
  transition:
    color 0.25s,
    text-shadow 0.25s;
}
.lab-intro-key {
  color: var(--tp);
  text-shadow: 0 0 #0000;
  transition:
    color 0.25s,
    text-shadow 0.25s;
}
.lab-intro-name {
  font-family: "Departure Mono", var(--mono);
  font-synthesis: none;
  -webkit-text-stroke: 0.02em currentColor;
  text-transform: uppercase;
  letter-spacing: 0.02em;
  font-size: 19px;
  font-weight: 400;
}
@media (min-width: 1000px) {
  .lab-intro-name {
    font-size: 23px;
  }
}
@media (min-width: 1250px) {
  .lab-intro-name {
    font-size: 26px;
  }
}
@media (min-width: 1430px) {
  .lab-intro-name {
    font-size: 29px;
  }
}
.lab-intro-lede a {
  color: var(--tp);
  text-shadow: none;
  text-decoration: underline;
  text-decoration-color: var(--border-h);
  text-underline-offset: 0.18em;
  text-decoration-thickness: 1px;
  transition: text-decoration-color 0.15s;
}
.lab-intro-lede a:hover {
  text-decoration-color: var(--tp);
}
.lab-intro-lede:has(a:hover) {
  color: #0000;
  text-shadow: 0 0 7px color-mix(in srgb, var(--tp) 60%, transparent);
}
.lab-intro-lede:has(a:hover) .lab-intro-key {
  color: #0000;
  text-shadow: 0 0 7px color-mix(in srgb, var(--tp) 72%, transparent);
}
.lab-intro-note {
  color: var(--ts);
  max-width: 50ch;
  margin: 0;
  font-size: 14px;
  line-height: 1.55;
}
/* word reveal: each word carries its own delay (--d) in the markup, so it plays at first paint */
.lab-intro-w {
  display: inline-block;
  animation: lab-intro-w-in 750ms cubic-bezier(0.22, 1, 0.36, 1) backwards;
  animation-delay: var(--d, 0ms);
}
@keyframes lab-intro-w-in {
  from {
    opacity: 0;
    filter: blur(10px);
    transform: translateY(0.35em);
  }
  to {
    opacity: 1;
    filter: blur(0px);
    transform: translateY(0);
  }
}
@media (prefers-reduced-motion: reduce) {
  .lab-intro-w {
    animation: none;
  }
}
.lab-intro-signoff {
  color: var(--ts);
  margin-top: auto;
  padding-top: 24px;
}
.lab-intro-signoff svg {
  display: block;
  overflow: visible;
}
.lab-intro-signoff path {
  stroke-dasharray: 1 1;
  stroke-dashoffset: 1;
}
.lab-intro-signoff.is-drawn path {
  animation: lab-sig-draw 1.1s cubic-bezier(0.45, 0.05, 0.3, 1) forwards;
  animation-delay: calc(var(--i) * 0.9s + var(--sig-delay, 1.4s));
}
@keyframes lab-sig-draw {
  to {
    stroke-dashoffset: 0;
  }
}
.lab-intro-readout {
  text-align: right;
  flex-direction: column;
  align-items: flex-end;
  gap: 7px;
  display: flex;
}
.lab-intro-readout > :first-child {
  align-items: center;
  min-height: calc(1.2 * clamp(20px, 2.1vw, 30px));
  display: flex;
}
.lab-intro-meta {
  font-family: var(--mono);
  color: var(--tt);
  letter-spacing: 0.04em;
  text-transform: uppercase;
  margin: 0;
  font-size: 11px;
  line-height: 1.5;
}
.lab-intro-controls {
  border-top: 1px solid var(--border);
  flex-direction: column;
  align-self: stretch;
  margin: 4px 0 2px;
  padding-top: 9px;
  display: flex;
}
.lab-intro-controls .hdr-terminal {
  -webkit-backdrop-filter: none;
  backdrop-filter: none;
  width: 100%;
  height: auto;
  box-shadow: none;
  font-family: var(--mono);
  letter-spacing: 0.04em;
  text-transform: uppercase;
  color: var(--ac);
  background: 0 0;
  border: 0;
  border-radius: 0;
  justify-content: flex-start;
  align-items: center;
  gap: 0;
  padding: 5px 0;
  font-size: 11px;
  line-height: 1.5;
  display: flex;
}
.lab-intro-controls .hdr-terminal:hover {
  border-color: #0000;
}
.lab-intro-controls .hdr-terminal-label {
  color: var(--tt);
  margin-right: auto;
  padding-right: 18px;
  transition: color 0.15s;
}
.lab-intro-controls .hdr-terminal:hover .hdr-terminal-label {
  color: var(--ts);
}
.lab-intro-hi {
  width: 100%;
  font-family: var(--mono);
  letter-spacing: 0.04em;
  text-transform: uppercase;
  color: var(--tt);
  align-items: center;
  padding: 5px 0;
  font-size: 11px;
  line-height: 1.5;
  text-decoration: none;
  transition: color 0.15s;
  display: flex;
}
.lab-intro-hi-label {
  text-decoration: underline;
  text-decoration-color: var(--border-h);
  text-underline-offset: 3px;
  margin-right: auto;
  padding-right: 18px;
  transition: text-decoration-color 0.15s;
}
.lab-intro-hi-arrow {
  align-self: center;
  align-items: center;
  transition: transform 0.15s;
  display: inline-flex;
}
.lab-intro-hi:hover {
  color: var(--ts);
}
.lab-intro-hi:hover .lab-intro-hi-label {
  text-decoration-color: var(--ts);
}
.lab-intro-hi:hover .lab-intro-hi-arrow {
  transform: translate(2px, -2px);
}
.intro-stamp {
  align-items: baseline;
  gap: 0;
  display: inline-flex;
}
.intro-stamp-time {
  color: var(--ts);
  animation: 0.5s cubic-bezier(0.22, 1, 0.36, 1) both stamp-time-in;
  display: inline-block;
}
.intro-stamp-sep {
  color: var(--tt);
  margin: 0 0.4em;
  animation: 1s ease-in-out infinite stamp-sep-pulse;
  display: inline-block;
}
.intro-stamp-place {
  color: var(--tt);
}
.intro-stamp-placeholder {
  animation: 1.2s ease-in-out infinite stamp-placeholder;
  display: inline-block;
}
@keyframes stamp-time-in {
  0% {
    opacity: 0;
    transform: translateY(4px);
  }
  to {
    opacity: 1;
    transform: translateY(0);
  }
}
@keyframes stamp-sep-pulse {
  0%,
  to {
    opacity: 0.3;
    transform: scale(1);
  }
  50% {
    opacity: 1;
    transform: scale(1.15);
  }
}
@keyframes stamp-placeholder {
  0%,
  to {
    opacity: 0.25;
  }
  50% {
    opacity: 0.7;
  }
}
@media (max-width: 759px) {
  .lab-intro {
    padding: 40px var(--lab-pad-x) 32px;
    grid-template-columns: 1fr;
    row-gap: 26px;
  }
  .lab-intro-controls .hdr-terminal,
  .lab-intro-hi {
    min-height: 44px;
  }
  .hdr-right .hdr-cmd,
  .hdr-right > .hdr-terminal {
    height: 44px;
  }
  .hdr-right > .hdr-terminal {
    width: 44px;
  }
  .lab-intro-readout {
    text-align: left;
    align-items: flex-start;
  }
  .lab-intro-readout > :first-child {
    min-height: 0;
  }
}
@media (prefers-reduced-motion: reduce) {
  .intro-stamp-time,
  .intro-stamp-sep,
  .intro-stamp-placeholder {
    animation: none;
  }
  .lab-intro-hi:hover .lab-intro-hi-arrow {
    transform: none;
  }
  .lab-intro-signoff path {
    stroke-dashoffset: 0;
    animation: none !important;
  }
}

.hdr-terminal-wake {
  position: absolute;
  top: calc(100% + 9px);
  right: 0;
  display: flex;
  align-items: center;
  gap: 6px;
  font-family: var(--mono);
  font-size: 10px;
  line-height: 1;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  white-space: nowrap;
  color: var(--tt);
  pointer-events: none;
  animation: hdr-terminal-wake-in 0.3s both;
}
.hdr-terminal-wake-key {
  display: inline-flex;
  justify-content: center;
  align-items: center;
  min-width: 17px;
  height: 19px;
  padding: 0 4px;
  font-family: var(--mono);
  font-size: 15px;
  font-weight: 600;
  line-height: 1;
  color: var(--ts);
  background: #ffffff0f;
  border: 1px solid #ffffff1a;
  border-radius: 5px;
}
.hdr-terminal-wake-key span { display: inline-block; transform: translateY(4px); }
@keyframes hdr-terminal-wake-in { 0% { opacity: 0; transform: translateY(-3px); } to { opacity: 1; transform: none; } }
@media (prefers-reduced-motion: reduce) {
  .hdr-terminal-wake { animation-name: hdr-terminal-fade-in; }
  @keyframes hdr-terminal-fade-in { 0% { opacity: 0; } to { opacity: 1; } }
}

/* touch screens: the keyboard hint means nothing there */
@media (hover: none) and (pointer: coarse) {
  .hdr-cmd-keys {
    display: none;
  }
  .hdr-cmd {
    padding: 0 16px;
  }
}