/* PRISM research paper pages */

.paper-hero {
  position: relative;
  overflow: hidden;
  padding-block: clamp(4.5rem, 8vw, 8rem);
  background:
    radial-gradient(circle at 78% 28%, rgba(25,114,220,0.16), transparent 28%),
    radial-gradient(circle at 58% 72%, rgba(42,209,137,0.1), transparent 30%),
    var(--ink);
  color: #fff;
}

.paper-hero::before {
  content: "";
  position: absolute;
  inset: 0;
  opacity: 0.24;
  background-image:
    linear-gradient(rgba(255,255,255,0.04) 1px, transparent 1px),
    linear-gradient(90deg, rgba(255,255,255,0.04) 1px, transparent 1px);
  background-size: 38px 38px;
}

.paper-hero-layout {
  position: relative;
  z-index: 1;
  display: grid;
  grid-template-columns: minmax(0, 1.12fr) minmax(320px, 0.6fr);
  gap: clamp(3rem, 7vw, 7rem);
  align-items: center;
}

.paper-hero .page-breadcrumb {
  color: rgba(247,250,249,0.55);
}

.paper-status-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.6rem;
  margin-top: 1.6rem;
}

.paper-status-row .meta-chip {
  border-color: rgba(255,255,255,0.14);
  background: rgba(255,255,255,0.05);
  color: rgba(255,255,255,0.75);
}

.paper-hero h1 {
  max-width: 950px;
  margin-top: 1.45rem;
  color: #fff;
  font-size: clamp(3.25rem, 6.4vw, 6.8rem);
  font-weight: 760;
  letter-spacing: -0.07em;
  line-height: 0.96;
}

.paper-hero-summary {
  max-width: 830px;
  margin-top: 1.5rem;
  color: rgba(247,250,249,0.68);
  font-size: clamp(1rem, 1.55vw, 1.2rem);
  line-height: 1.72;
}

.paper-meta-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  max-width: 780px;
  margin-top: 2rem;
  border-top: 1px solid rgba(255,255,255,0.12);
  border-left: 1px solid rgba(255,255,255,0.12);
}

.paper-meta-grid div {
  padding: 0.9rem 1rem;
  border-right: 1px solid rgba(255,255,255,0.12);
  border-bottom: 1px solid rgba(255,255,255,0.12);
}

.paper-meta-grid span {
  display: block;
  color: rgba(247,250,249,0.42);
  font-family: var(--font-mono);
  font-size: 0.52rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.paper-meta-grid strong {
  display: block;
  margin-top: 0.4rem;
  color: #fff;
  font-size: 0.78rem;
}

.paper-hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 0.75rem;
  margin-top: 2rem;
}

.paper-button {
  display: inline-flex;
  min-height: 52px;
  align-items: center;
  justify-content: center;
  gap: 0.8rem;
  padding: 0.85rem 1.1rem;
  border: 1px solid rgba(255,255,255,0.16);
  border-radius: 8px;
  background: rgba(255,255,255,0.06);
  color: #fff;
  font-size: 0.76rem;
  font-weight: 740;
  transition: background 150ms ease, border-color 150ms ease;
}

.paper-button-primary {
  border-color: var(--signal);
  background: var(--signal);
  color: var(--ink);
}

.paper-button:hover,
.paper-button:focus-visible {
  border-color: rgba(255,255,255,0.4);
  background: rgba(255,255,255,0.12);
}

.paper-button-primary:hover,
.paper-button-primary:focus-visible {
  border-color: #fff;
  background: #fff;
}

.paper-cover-frame {
  position: relative;
  width: min(100%, 440px);
  justify-self: end;
  overflow: hidden;
  border: 1px solid rgba(255,255,255,0.14);
  border-radius: 20px;
  background: #071212;
  box-shadow: 0 42px 90px rgba(0,0,0,0.38);
}

.paper-cover-frame::before {
  content: "";
  position: absolute;
  z-index: 2;
  inset: 0;
  pointer-events: none;
  box-shadow: inset 0 0 0 1px rgba(255,255,255,0.04);
}

.paper-cover-frame img {
  width: 100%;
  aspect-ratio: 0.773;
  object-fit: cover;
}

.paper-cover-caption {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.8rem 1rem;
  border-top: 1px solid rgba(255,255,255,0.1);
  color: rgba(255,255,255,0.5);
  font-family: var(--font-mono);
  font-size: 0.5rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.paper-jump {
  position: sticky;
  z-index: 100;
  top: calc(var(--header-height) + 3px);
  border-bottom: 1px solid var(--line);
  background: rgba(247,250,249,0.92);
  backdrop-filter: blur(16px);
}

.paper-jump .wrap {
  display: flex;
  overflow-x: auto;
  scrollbar-width: none;
}

.paper-jump .wrap::-webkit-scrollbar { display: none; }

.paper-jump a {
  flex: 0 0 auto;
  padding: 1rem 1.1rem;
  border-right: 1px solid var(--line);
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: 0.56rem;
  font-weight: 700;
  letter-spacing: 0.09em;
  text-transform: uppercase;
  transition: color 150ms ease, background 150ms ease;
}

.paper-jump a:hover,
.paper-jump a:focus-visible {
  background: #fff;
  color: var(--ink);
}

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

.paper-overview-card {
  min-height: 290px;
  padding: clamp(1.5rem, 3vw, 2.2rem);
  border: 1px solid var(--line);
  border-radius: var(--radius-md);
  background: #fff;
}

.paper-overview-card span {
  color: var(--emerald);
  font-family: var(--font-mono);
  font-size: 0.58rem;
  font-weight: 700;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.paper-overview-card h3 {
  margin-top: 2.6rem;
  color: var(--ink);
  font-size: clamp(1.5rem, 2.5vw, 2.35rem);
  letter-spacing: -0.045em;
  line-height: 1.08;
}

.paper-overview-card p {
  margin-top: 0.9rem;
  color: var(--muted);
  line-height: 1.68;
}

.paper-result-box {
  margin-top: 1rem;
  padding: clamp(1.6rem, 4vw, 3.2rem);
  overflow: hidden;
  border: 1px solid rgba(6,162,105,0.28);
  border-radius: var(--radius-md);
  background:
    radial-gradient(circle at 90% 10%, rgba(42,209,137,0.2), transparent 25%),
    #fff;
}

.paper-result-box > span {
  color: var(--emerald);
  font-family: var(--font-mono);
  font-size: 0.61rem;
  font-weight: 750;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.paper-result-box h3 {
  max-width: 980px;
  margin-top: 1.1rem;
  color: var(--ink);
  font-size: clamp(2rem, 4.3vw, 4.3rem);
  font-weight: 720;
  letter-spacing: -0.06em;
  line-height: 1.08;
}

.math-stack {
  display: grid;
  gap: 0.65rem;
  margin-top: 1.5rem;
}

.math-line {
  overflow-x: auto;
  padding: 0.8rem 1rem;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--surface-tint);
  color: var(--teal);
  font-family: "STIX Two Math", "Cambria Math", Georgia, serif;
  font-size: clamp(1rem, 1.6vw, 1.32rem);
  white-space: nowrap;
}

/* Explorer ------------------------------------------------------------- */

.paper-explorer-shell {
  overflow: hidden;
  border: 1px solid rgba(255,255,255,0.14);
  border-radius: var(--radius-md);
  background: #101516;
}

.explorer-topline {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.95rem 1.15rem;
  border-bottom: 1px solid rgba(255,255,255,0.12);
  color: rgba(247,250,249,0.52);
  font-family: var(--font-mono);
  font-size: 0.56rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.explorer-topline strong {
  color: var(--signal);
  font-weight: 700;
}

.explorer-layout {
  display: grid;
  grid-template-columns: minmax(250px, 0.33fr) minmax(0, 1fr);
  min-height: 520px;
}

.explorer-controls {
  padding: 1.35rem;
  border-right: 1px solid rgba(255,255,255,0.12);
}

.explorer-controls h3 {
  color: #fff;
  font-size: 1.35rem;
  letter-spacing: -0.035em;
}

.explorer-controls > p {
  margin-top: 0.7rem;
  color: rgba(247,250,249,0.55);
  font-size: 0.84rem;
  line-height: 1.65;
}

.explorer-control {
  margin-top: 1.5rem;
  padding-top: 1.25rem;
  border-top: 1px solid rgba(255,255,255,0.1);
}

.explorer-control label {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  color: rgba(247,250,249,0.72);
  font-family: var(--font-mono);
  font-size: 0.58rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.explorer-control output {
  color: var(--signal);
  font-weight: 700;
}

.explorer-control input[type="range"] {
  width: 100%;
  margin-top: 1rem;
  accent-color: var(--signal);
}

.explorer-toggle-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
  margin-top: 1rem;
}

.explorer-toggle {
  min-height: 40px;
  padding: 0.55rem 0.7rem;
  border: 1px solid rgba(255,255,255,0.16);
  border-radius: 7px;
  background: transparent;
  color: rgba(247,250,249,0.65);
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: 0.55rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.explorer-toggle.is-active {
  border-color: var(--signal);
  background: var(--signal);
  color: var(--ink);
}

.explorer-metrics {
  display: grid;
  gap: 0.65rem;
  margin-top: 1.5rem;
}

.explorer-metric {
  padding: 0.8rem;
  border: 1px solid rgba(255,255,255,0.1);
  border-radius: 7px;
  background: rgba(255,255,255,0.035);
}

.explorer-metric span {
  color: rgba(247,250,249,0.42);
  font-family: var(--font-mono);
  font-size: 0.5rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.explorer-metric strong {
  display: block;
  margin-top: 0.35rem;
  color: #fff;
  font-size: 0.9rem;
}

.explorer-stage {
  display: grid;
  align-content: stretch;
  min-width: 0;
  padding: 1.25rem;
}

.explorer-panel {
  min-height: 250px;
  padding: 1rem;
  border: 1px solid rgba(255,255,255,0.1);
  border-radius: 10px;
  background:
    linear-gradient(rgba(255,255,255,0.025) 1px, transparent 1px),
    linear-gradient(90deg, rgba(255,255,255,0.025) 1px, transparent 1px),
    #0b1112;
  background-size: 26px 26px;
}

.explorer-panel + .explorer-panel {
  margin-top: 1rem;
}

.explorer-panel h4 {
  margin: 0 0 0.65rem;
  color: rgba(247,250,249,0.68);
  font-family: var(--font-mono);
  font-size: 0.55rem;
  font-weight: 700;
  letter-spacing: 0.09em;
  text-transform: uppercase;
}

.explorer-panel canvas {
  width: 100%;
  height: 220px;
}

.explorer-panel.compact canvas {
  height: 165px;
}

.explorer-note {
  margin-top: 0.8rem;
  color: rgba(247,250,249,0.45);
  font-size: 0.72rem;
  line-height: 1.55;
}

.explorer-verdict {
  padding: 1rem;
  border: 1px solid rgba(42,209,137,0.24);
  border-radius: 8px;
  background: rgba(42,209,137,0.07);
}

.explorer-verdict span {
  color: var(--signal);
  font-family: var(--font-mono);
  font-size: 0.52rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.explorer-verdict strong {
  display: block;
  margin-top: 0.5rem;
  color: #fff;
  font-size: 1rem;
}

/* Cardinal bars */

.multiplicity-bars {
  display: flex;
  align-items: end;
  gap: clamp(0.25rem, 0.7vw, 0.6rem);
  min-height: 230px;
  padding: 1rem 0.25rem 0;
}

.multiplicity-bar {
  position: relative;
  flex: 1 1 0;
  min-width: 18px;
  height: calc(var(--value) * 28px);
  max-height: 190px;
  border: 0;
  border-radius: 5px 5px 0 0;
  background: linear-gradient(180deg, var(--signal), var(--blue));
  cursor: pointer;
  opacity: 0.76;
  transition: opacity 150ms ease, transform 150ms ease;
}

.multiplicity-bar:hover,
.multiplicity-bar:focus-visible,
.multiplicity-bar.is-active {
  opacity: 1;
  transform: translateY(-5px);
  outline: none;
}

.multiplicity-bar::before {
  content: attr(data-value);
  position: absolute;
  top: -1.3rem;
  left: 50%;
  transform: translateX(-50%);
  color: rgba(247,250,249,0.72);
  font-family: var(--font-mono);
  font-size: 0.52rem;
}

.multiplicity-bar::after {
  content: attr(data-total);
  position: absolute;
  bottom: -1.35rem;
  left: 50%;
  transform: translateX(-50%);
  color: rgba(247,250,249,0.42);
  font-family: var(--font-mono);
  font-size: 0.46rem;
}

.subset-list {
  max-height: 140px;
  overflow: auto;
  margin-top: 0.8rem;
  color: rgba(247,250,249,0.66);
  font-family: var(--font-mono);
  font-size: 0.62rem;
  line-height: 1.65;
}

/* Proof and verification ----------------------------------------------- */

.proof-chain {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  border-top: 1px solid var(--line);
  border-left: 1px solid var(--line);
}

.proof-chain article {
  min-height: 310px;
  padding: 1.5rem;
  border-right: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  background: #fff;
}

.proof-chain span {
  color: var(--emerald);
  font-family: var(--font-mono);
  font-size: 0.6rem;
}

.proof-chain h3 {
  margin-top: 3.6rem;
  color: var(--ink);
  font-size: 1.45rem;
  letter-spacing: -0.035em;
}

.proof-chain p {
  margin-top: 0.8rem;
  color: var(--muted);
  font-size: 0.87rem;
  line-height: 1.65;
}

.verification-grid {
  display: grid;
  grid-template-columns: minmax(0, 0.7fr) minmax(330px, 0.3fr);
  gap: 1rem;
}

.verification-output,
.verification-context {
  border: 1px solid var(--line);
  border-radius: var(--radius-md);
  background: #fff;
}

.verification-output {
  padding: 1rem;
  overflow: hidden;
}

.verification-output-top {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.25rem 0.25rem 0.8rem;
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: 0.55rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.verification-output pre {
  max-height: 380px;
  overflow: auto;
  margin: 0;
  padding: 1.2rem;
  border-radius: 9px;
  background: var(--ink);
  color: #d9ece4;
  font-family: var(--font-mono);
  font-size: 0.7rem;
  line-height: 1.65;
  white-space: pre-wrap;
}

.verification-context {
  padding: 1.5rem;
}

.verification-context h3 {
  color: var(--ink);
  font-size: 1.55rem;
  letter-spacing: -0.04em;
}

.verification-context ul {
  display: grid;
  gap: 0.75rem;
  margin-top: 1rem;
}

.verification-context li {
  position: relative;
  padding-left: 1.1rem;
  color: var(--muted);
  line-height: 1.6;
}

.verification-context li::before {
  content: "";
  position: absolute;
  top: 0.68em;
  left: 0;
  width: 6px;
  height: 6px;
  border-radius: 50%;
  background: var(--emerald);
}

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

.paper-figure {
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: var(--radius-md);
  background: #fff;
}

.paper-figure img {
  width: 100%;
  min-height: 260px;
  object-fit: contain;
  background: #fff;
}

.paper-figure figcaption {
  padding: 1rem 1.2rem;
  border-top: 1px solid var(--line);
  color: var(--muted);
  font-size: 0.82rem;
  line-height: 1.55;
}

.review-grid {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 1rem;
}

.review-card {
  min-height: 250px;
  padding: 1.5rem;
  border: 1px solid var(--line);
  border-radius: var(--radius-md);
  background: #fff;
}

.review-card span {
  color: var(--emerald);
  font-family: var(--font-mono);
  font-size: 0.56rem;
}

.review-card h3 {
  margin-top: 2.8rem;
  color: var(--ink);
  font-size: 1.35rem;
  letter-spacing: -0.035em;
}

.review-card p {
  margin-top: 0.75rem;
  color: var(--muted);
  font-size: 0.86rem;
  line-height: 1.65;
}

.citation-panel {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 1rem;
  align-items: start;
  padding: 1.5rem;
  border: 1px solid var(--line);
  border-radius: var(--radius-md);
  background: #fff;
}

.citation-panel code {
  display: block;
  color: var(--text);
  font-family: var(--font-mono);
  font-size: 0.75rem;
  line-height: 1.7;
  white-space: normal;
}

.copy-button {
  min-height: 44px;
  padding: 0.65rem 0.8rem;
  border: 1px solid var(--line);
  border-radius: 7px;
  background: var(--surface-tint);
  color: var(--teal);
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: 0.55rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.next-paper {
  display: grid;
  grid-template-columns: 150px minmax(0, 1fr) auto;
  gap: 1.5rem;
  align-items: center;
  padding: 1.5rem;
  border: 1px solid rgba(255,255,255,0.13);
  border-radius: var(--radius-md);
  background: rgba(255,255,255,0.04);
  transition: background 150ms ease, border-color 150ms ease;
}

.next-paper:hover,
.next-paper:focus-visible {
  border-color: rgba(42,209,137,0.4);
  background: rgba(42,209,137,0.08);
}

.next-paper img {
  width: 150px;
  aspect-ratio: 1.25;
  object-fit: cover;
  border-radius: 9px;
}

.next-paper small {
  color: var(--signal);
  font-family: var(--font-mono);
  font-size: 0.55rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.next-paper h3 {
  margin-top: 0.5rem;
  color: #fff;
  font-size: clamp(1.45rem, 2.7vw, 2.5rem);
  letter-spacing: -0.045em;
  line-height: 1.08;
}

.next-paper > span:last-child {
  color: var(--signal);
  font-size: 1.5rem;
}

@media (max-width: 1180px) {
  .paper-hero-layout {
    grid-template-columns: 1fr;
  }

  .paper-cover-frame {
    width: min(100%, 380px);
    justify-self: start;
  }

  .proof-chain {
    grid-template-columns: repeat(2, 1fr);
  }
}

@media (max-width: 980px) {
  .paper-overview-grid {
    grid-template-columns: 1fr;
  }

  .explorer-layout {
    grid-template-columns: 1fr;
  }

  .explorer-controls {
    border-right: 0;
    border-bottom: 1px solid rgba(255,255,255,0.12);
  }

  .verification-grid {
    grid-template-columns: 1fr;
  }

  .review-grid {
    grid-template-columns: 1fr;
  }
}

@media (max-width: 720px) {
  .paper-hero h1 {
    font-size: clamp(3rem, 14vw, 5rem);
  }

  .paper-meta-grid {
    grid-template-columns: 1fr;
  }

  .paper-hero-actions {
    display: grid;
  }

  .paper-button {
    width: 100%;
  }

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

  .paper-figure-grid {
    grid-template-columns: 1fr;
  }

  .citation-panel {
    grid-template-columns: 1fr;
  }

  .next-paper {
    grid-template-columns: 90px 1fr;
  }

  .next-paper img {
    width: 90px;
  }

  .next-paper > span:last-child { display: none; }
}

.decomposition-blocks {
  display: flex;
  min-height: 64px;
  overflow: hidden;
  margin-top: 1rem;
  border: 1px solid rgba(255,255,255,0.12);
  border-radius: 8px;
}

.decomposition-blocks span {
  display: grid;
  min-width: 56px;
  place-items: center;
  padding: 0.6rem;
  color: var(--ink);
  font-family: var(--font-mono);
  font-size: 0.52rem;
  font-weight: 750;
  text-align: center;
}

.decomposition-blocks .block-a {
  background: var(--green, #2AD189);
}

.decomposition-blocks .block-b {
  background: var(--blue, #1972DC);
  color: #fff;
}

.explorer-equation {
  overflow-x: auto;
  margin-top: 1rem;
  padding: 0.9rem;
  border: 1px solid rgba(255,255,255,0.12);
  border-radius: 8px;
  color: rgba(247,250,249,0.78);
  font-family: "STIX Two Math", "Cambria Math", Georgia, serif;
  font-size: 1.03rem;
  white-space: nowrap;
}

/* Keep in-page research navigation from covering section headings. */
.research-paper section[id] {
  scroll-margin-top: calc(var(--header-height) + 74px);
}


/* PRISM Brand Kit v1.1 additions */
.research-paper .paper-hero { padding-top: clamp(4.5rem, 7vw, 7rem); }
.research-paper .paper-prism-lockup + .page-breadcrumb { margin-top: 1rem; }
.research-paper .proof-chain { grid-template-columns: repeat(auto-fit, minmax(220px, 1fr)); }
.research-paper .paper-status-row .meta-chip:last-child { border-color: rgba(25,114,220,.38); color: #8fc1ff; }
.research-paper .paper-result-box { border-color: rgba(25,114,220,.23); }
.research-paper .paper-result-box > span { color: var(--prism-electric-blue); }
.research-paper .paper-cover-frame::after {
  position: absolute;
  z-index: 3;
  top: .8rem;
  right: .8rem;
  width: 54px;
  height: 31px;
  background: url('/assets/prism/branding/Metriq_PRISM_Symbol_Gradient_Transparent.svg') center / contain no-repeat;
  content: "";
}
@media (max-width: 720px) {
  .research-paper .paper-hero { padding-top: 3.5rem; }
  .research-paper .paper-prism-lockup { margin-bottom: 1rem; }
}

/* v3.7 mobile containment and native figure reset */
.paper-cover-frame,
.paper-figure {
  margin: 0;
}

.paper-hero-layout > *,
.citation-panel > * {
  min-width: 0;
}

.citation-panel code {
  overflow-wrap: anywhere;
  word-break: break-word;
}

@media (max-width: 720px) {
  .paper-cover-frame {
    width: 100%;
    max-width: 100%;
  }

  .citation-panel .copy-button {
    width: 100%;
    max-width: 100%;
  }
}

/* v3.7 research-viewer scrolling and touch behavior ---------------------- */
html.research-document {
  scroll-behavior: auto;
  scroll-snap-type: none;
  scroll-padding-top: calc(var(--header-height) + 72px);
}

.paper-jump .wrap {
  overscroll-behavior-x: contain;
  overscroll-behavior-y: auto;
  touch-action: pan-x pan-y;
  -webkit-overflow-scrolling: touch;
}

.paper-explorer-shell,
.explorer-layout,
.explorer-controls,
.explorer-stage,
.explorer-panel {
  overscroll-behavior: auto;
  touch-action: pan-y pinch-zoom;
}

.explorer-panel canvas {
  pointer-events: none;
  touch-action: pan-y pinch-zoom;
}

.explorer-control input[type="range"] {
  min-height: 32px;
  touch-action: pan-x;
}

@media (hover: none), (pointer: coarse) {
  .paper-explorer-shell,
  .explorer-stage,
  .explorer-panel {
    transform: none !important;
    filter: none !important;
  }

  .subset-list {
    max-height: none;
    overflow: visible;
  }

  .verification-output pre {
    max-height: none;
    overflow-x: auto;
    overflow-y: visible;
  }
}