/* The shared worksheet shell owns the paper and global type. This file gives each page one clear job. */
[data-problem-id="0"] .problem-content {
  --zero-purple: #604879;
  --zero-teal: #276f72;
  --zero-gold: #b58a35;
  --zero-line: #93a8ae;
}

[data-problem-id="0"] .zero-page {
  min-width: 0;
}

[data-problem-id="0"] .zero-route-mark {
  margin: 0;
  color: var(--zero-purple);
  font-size: 0.76em;
  font-weight: 850;
  letter-spacing: 0.075em;
  text-transform: uppercase;
}

[data-problem-id="0"] .zero-opening-feature {
  position: relative;
  min-height: 3.2in;
  overflow: hidden;
  border: 2px solid #4f465b;
  border-radius: 0.13in;
  background: #182a32;
  box-shadow: 0 0.06in 0.18in rgb(31 35 49 / 24%);
}

[data-problem-id="0"] .zero-hero {
  height: 3.2in;
  margin: 0;
}

[data-problem-id="0"] .zero-hero img {
  width: 100%;
  height: 100%;
  max-height: none;
  object-fit: cover;
  object-position: 50% 14%;
}

[data-problem-id="0"] .zero-setup {
  position: absolute;
  z-index: 1;
  width: min(3.45in, 51%);
  left: 0.18in;
  bottom: 0.18in;
  margin: 0;
  padding: 0.13in 0.17in 0.14in;
  border: 1px solid rgb(236 217 169 / 88%);
  border-left: 0.055in solid #d0a64f;
  background: rgb(255 251 239 / 94%);
  box-shadow: 0 0.05in 0.15in rgb(12 20 25 / 32%);
  backdrop-filter: blur(2px);
}

[data-problem-id="0"] .zero-setup .problem-section-label {
  margin-top: 0.025in;
  font-size: 0.13in;
}

[data-problem-id="0"] .problem-content .zero-setup > .zero-route-mark {
  white-space: nowrap;
  font-size: 0.125in;
  letter-spacing: 0.045em;
}

[data-problem-id="0"] .problem-content .zero-setup p {
  margin: 0;
  font-size: 0.17in;
  line-height: 1.34;
}

[data-problem-id="0"] .kernel-definition {
  display: grid;
  grid-template-columns: 1.35in minmax(0, 1fr);
  gap: 0.16in;
  margin-top: 0.16in;
  padding: 0.13in 0.16in;
  border: 2px solid #76638d;
  border-radius: 0.1in;
  background: linear-gradient(120deg, #f2eff7, #fff 58%, #edf6f5);
}

[data-problem-id="0"] .kernel-definition h2 {
  margin: 0.025in 0 0;
  font-size: 1.25em;
}

[data-problem-id="0"] .kernel-definition p,
[data-problem-id="0"] .kernel-definition mj-math[display] {
  margin-block: 0.03in;
}

[data-problem-id="0"] .nickname-note {
  padding-top: 0.045in;
  border-top: 1px solid #c9bfd4;
}

[data-problem-id="0"] .map-pair,
[data-problem-id="0"] .language-pair,
[data-problem-id="0"] .proof-direction-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.13in;
}

[data-problem-id="0"] .map-pair {
  margin-top: 0.15in;
}

[data-problem-id="0"] .map-card,
[data-problem-id="0"] .language-pair > section {
  padding: 0.1in 0.14in;
  border: 1.5px solid #8199a0;
  border-radius: 0.085in;
  background: #f4f9f9;
}

[data-problem-id="0"] .map-card--b {
  border-color: #9077a0;
  background: #faf7fc;
}

[data-problem-id="0"] .map-card h2,
[data-problem-id="0"] .language-pair h2 {
  margin: 0.025in 0 0.035in;
  font-size: 1.08em;
}

[data-problem-id="0"] .map-card mj-math[display],
[data-problem-id="0"] .language-pair mj-math[display] {
  margin-block: 0.035in;
}

[data-problem-id="0"] .route-overview {
  display: grid;
  grid-template-columns: 1.85in minmax(0, 1fr);
  gap: 0.15in;
  margin-top: 0.15in;
  padding: 0.13in 0.16in;
  border-left: 0.055in solid var(--zero-gold);
  background: #fbf7ed;
}

[data-problem-id="0"] .route-overview h2 {
  margin: 0.025in 0 0;
  font-size: 1.08em;
}

[data-problem-id="0"] .problem-content .route-overview ol {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  gap: 0.06in;
  margin: 0;
  padding: 0;
  counter-reset: zero-route;
  list-style: none;
}

[data-problem-id="0"] .route-overview li {
  position: relative;
  min-height: 0.72in;
  padding: 0.34in 0.06in 0.05in;
  color: #294953;
  border: 1px solid #c9d4d5;
  border-radius: 0.055in;
  background: #fff;
  font-size: 0.78em;
  font-weight: 750;
  line-height: 1.18;
  text-align: center;
  counter-increment: zero-route;
}

[data-problem-id="0"] .route-overview li::before {
  position: absolute;
  width: 0.24in;
  height: 0.24in;
  top: 0.055in;
  left: calc(50% - 0.12in);
  content: counter(zero-route);
  color: #fff;
  background: var(--zero-purple);
  border-radius: 50%;
  font-size: 0.125in;
  line-height: 0.24in;
  text-align: center;
}

[data-problem-id="0"] .page-cue {
  margin: 0.1in 0 0;
  color: #50666e;
  font-size: 0.82em;
  font-style: italic;
  text-align: right;
}

[data-problem-id="0"] .map-reference-strip,
[data-problem-id="0"] .theorem-tool {
  display: grid;
  align-items: center;
  gap: 0.08in;
  margin-top: 0.09in;
  padding: 0.07in 0.11in;
  border: 1.5px solid #9aabb2;
  border-radius: 0.065in;
  background: #f4f8f8;
}

[data-problem-id="0"] .map-reference-strip {
  grid-template-columns: 0.68in repeat(2, minmax(0, 1fr));
}

[data-problem-id="0"] .map-reference-strip p,
[data-problem-id="0"] .theorem-tool {
  margin-block: 0;
}

[data-problem-id="0"] .map-reference-strip p + p {
  padding-left: 0.09in;
  border-left: 1px solid #c4d0d2;
}

[data-problem-id="0"] .theorem-tool {
  grid-template-columns: auto minmax(0, 1fr);
  border-color: #a995b8;
  background: #f7f3fa;
}

[data-problem-id="0"] .theorem-tool mj-math {
  justify-self: center;
}

[data-problem-id="0"] .continuation-header,
[data-problem-id="0"] .proof-banner {
  display: flex;
  align-items: end;
  justify-content: space-between;
  gap: 0.22in;
  padding: 0.15in 0.2in;
  border: 2px solid #514765;
  border-radius: 0.11in;
}

[data-problem-id="0"] .continuation-header {
  color: #f8f6fc;
  background: linear-gradient(120deg, #17363c, #2d4e56 62%, #496f74);
}

[data-problem-id="0"] .proof-banner {
  color: #f8f6fc;
  background: linear-gradient(120deg, #1d2c38, #302949 63%, #514064);
}

[data-problem-id="0"] .continuation-header h2,
[data-problem-id="0"] .proof-banner h2 {
  margin: 0.02in 0 0;
  color: inherit;
  font-size: 1.48em;
}

[data-problem-id="0"] .continuation-header > p,
[data-problem-id="0"] .proof-banner blockquote,
[data-problem-id="0"] .theorem-banner > p {
  max-width: 3.25in;
  margin: 0;
  color: #d7efe9;
  font-size: 0.88em;
  text-align: right;
}

[data-problem-id="0"] .zero-kernel-parts,
[data-problem-id="0"] .zero-proof-parts {
  display: grid;
  gap: 0.12in;
  margin: 0.14in 0 0;
  padding-left: 0.29in;
}

[data-problem-id="0"] .zero-kernel-parts .problem-part,
[data-problem-id="0"] .zero-proof-parts .problem-part {
  margin: 0;
  padding: 0.1in 0.13in 0.12in;
  border: 1.5px solid #9aabb2;
  border-radius: 0.085in;
  background: #fff;
}

[data-problem-id="0"] .kernel-table {
  width: 100%;
  margin-top: 0.08in;
  border-collapse: collapse;
  table-layout: fixed;
}

[data-problem-id="0"] .kernel-table th,
[data-problem-id="0"] .kernel-table td {
  padding: 0.055in 0.065in;
  border: 1px solid #82979e;
  text-align: left;
  vertical-align: top;
}

[data-problem-id="0"] .kernel-table thead th {
  background: #e7f0f1;
}

[data-problem-id="0"] .kernel-table tbody td {
  height: 0.72in;
  background-color: #fff;
  background-image: repeating-linear-gradient(to bottom, transparent 0, transparent 0.27in, #d6dfe1 0.28in);
}

[data-problem-id="0"] .kernel-table th:first-child {
  width: 0.48in;
  text-align: center;
}

[data-problem-id="0"] .kernel-table th:nth-child(2) {
  width: 34%;
}

[data-problem-id="0"] .kernel-table th:nth-child(3) {
  width: 35%;
}

[data-problem-id="0"] .kernel-plane-pair {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.17in;
  margin-top: 0.08in;
}

[data-problem-id="0"] .kernel-plane-pair figure {
  margin: 0;
}

[data-problem-id="0"] .kernel-plane-pair img {
  display: block;
  width: 100%;
  height: auto;
  max-height: none;
}

[data-problem-id="0"] .substitution-record,
[data-problem-id="0"] .collision-record {
  margin-top: 0.13in;
  padding: 0.12in 0.15in;
  border: 1.5px solid #9aabb2;
  border-radius: 0.085in;
  background: #f8fbfb;
}

[data-problem-id="0"] .substitution-record h2,
[data-problem-id="0"] .collision-record h2 {
  margin: 0;
  font-size: 1.05em;
}

[data-problem-id="0"] .substitution-record p,
[data-problem-id="0"] .collision-record p {
  margin: 0.035in 0 0;
}

[data-problem-id="0"] .collision-record {
  display: grid;
  grid-template-columns: minmax(0, 0.86fr) minmax(0, 1.14fr);
  gap: 0.2in;
  border-color: #8b719d;
  background: #faf7fc;
}

[data-problem-id="0"] .collision-fields {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.08in 0.14in;
  align-content: center;
}

[data-problem-id="0"] .collision-equality {
  grid-column: 1 / -1;
}

[data-problem-id="0"] .inline-field {
  display: inline-block;
  min-width: 1in;
  height: 0.26in;
  margin-inline: 0.05in;
  vertical-align: bottom;
  border-bottom: 1.5px solid #657c84;
}

[data-problem-id="0"] .inline-field--wide {
  min-width: 1.6in;
}

[data-problem-id="0"] .coordinate-template {
  display: flex;
  align-items: end;
  gap: 0.025in;
  white-space: nowrap;
}

[data-problem-id="0"] .coordinate-slot {
  display: inline-block;
  width: 0.42in;
  height: 0.25in;
  border-bottom: 1.5px solid #657c84;
}

[data-problem-id="0"] .write-lines {
  display: grid;
}

[data-problem-id="0"] .write-lines > span {
  display: block;
  min-height: 0.3in;
  border-bottom: 1.5px solid #9fb0b5;
}

[data-problem-id="0"] .general-map-bridge {
  margin-top: 0.1in;
  padding: 0.075in 0.11in;
  border-left: 0.04in solid var(--zero-teal);
  background: #edf5f3;
}

[data-problem-id="0"] .general-map-bridge p {
  margin: 0;
  line-height: 1.22;
}

[data-problem-id="0"] .language-pair {
  margin-top: 0.13in;
}

[data-problem-id="0"] .language-pair > section p {
  margin-block: 0.035in;
}

[data-problem-id="0"] .vivian-conjecture {
  margin-top: 0.12in;
  padding: 0.11in 0.16in;
  border-left: 0.055in solid #80629a;
  border-radius: 0.06in;
  background: #f1edf6;
}

[data-problem-id="0"] .vivian-conjecture h2 {
  margin: 0.035in 0 0;
  font-size: 1.08em;
}

[data-problem-id="0"] .zero-proof-parts {
  grid-template-columns: 1fr;
}

[data-problem-id="0"] .zero-theorem-parts .proof-direction-grid {
  grid-template-columns: 1fr;
}

[data-problem-id="0"] .zero-proof-parts .problem-part-copy > p:first-child {
  margin-bottom: 0.04in;
}

[data-problem-id="0"] .proof-seed {
  margin-top: 0.05in !important;
  padding: 0.055in 0.08in;
  border-radius: 0.05in;
  background: #edf5f3;
}

[data-problem-id="0"] .proof-direction-grid {
  margin-top: 0.08in;
}

[data-problem-id="0"] .proof-direction-grid > section {
  padding: 0.07in 0.09in 0.03in;
  border: 1px solid #bdc9cc;
  border-radius: 0.055in;
  background: #fff;
}

[data-problem-id="0"] .proof-direction-grid h3 {
  min-height: 0.34in;
  margin: 0;
  color: #375b63;
  font-size: 0.82em;
  line-height: 1.22;
}

[data-problem-id="0"] .fiber-prompt {
  margin-top: 0.08in !important;
}

[data-problem-id="0"] .fiber-argument {
  margin-top: 0.08in;
  padding: 0.06in 0.08in;
  border-left: 0.04in solid #1384a5;
  background: #f1f8f9;
}

[data-problem-id="0"] .fiber-argument .fiber-prompt,
[data-problem-id="0"] .fiber-argument .fiber-seed {
  margin: 0 !important;
}

[data-problem-id="0"] .fiber-argument .fiber-seed {
  margin-top: 0.04in !important;
  color: #375b63;
}

[data-problem-id="0"] .zero-final-proof {
  border-color: #80629a !important;
  background: linear-gradient(120deg, #fff, #f5f0f8) !important;
}

[data-problem-id="0"] .final-record {
  margin-top: 0.09in;
  padding-top: 0.08in;
  border-top: 1.5px solid #a995b8;
}

[data-problem-id="0"] .final-record p {
  margin-top: 0.04in !important;
}

[data-problem-id="0"] .proof-continuation-note {
  margin: 0.045in 0 0 !important;
  color: #50666e;
  font-style: italic;
}

[data-problem-id="0"] .zero-closing {
  margin-top: 0.11in;
  padding: 0.1in 0.14in;
  border-top: 2px solid #b69b64;
  background: #fbf7ed;
}

[data-problem-id="0"] .zero-closing p {
  margin: 0;
}

@media screen and (max-width: 760px) {
  [data-problem-id="0"] .zero-opening-feature {
    display: flex;
    min-height: 0;
    flex-direction: column;
    overflow: visible;
    border: 0;
    background: transparent;
    box-shadow: none;
  }

  [data-problem-id="0"] .zero-hero {
    height: auto;
    order: 1;
    overflow: hidden;
    border: 2px solid #4f465b;
    border-radius: 0.13in;
  }

  [data-problem-id="0"] .zero-hero img {
    aspect-ratio: 16 / 9;
  }

  [data-problem-id="0"] .zero-setup {
    position: static;
    width: auto;
    margin-top: 0.75rem;
    order: 2;
    box-shadow: none;
    backdrop-filter: none;
  }

  [data-problem-id="0"] .kernel-definition,
  [data-problem-id="0"] .map-pair,
  [data-problem-id="0"] .route-overview,
  [data-problem-id="0"] .kernel-plane-pair,
  [data-problem-id="0"] .collision-record,
  [data-problem-id="0"] .language-pair,
  [data-problem-id="0"] .proof-direction-grid,
  [data-problem-id="0"] .map-reference-strip,
  [data-problem-id="0"] .theorem-tool {
    grid-template-columns: 1fr;
  }

  [data-problem-id="0"] .map-reference-strip p + p {
    padding-top: 0.35rem;
    padding-left: 0;
    border-top: 1px solid #c4d0d2;
    border-left: 0;
  }

  [data-problem-id="0"] .theorem-tool mj-math {
    justify-self: start;
  }

  [data-problem-id="0"] .problem-content .route-overview ol {
    grid-template-columns: 1fr;
  }

  [data-problem-id="0"] .route-overview li {
    min-height: 0;
    padding: 0.7rem 0.7rem 0.7rem 2.8rem;
    text-align: left;
  }

  [data-problem-id="0"] .route-overview li::before {
    top: calc(50% - 0.75rem);
    left: 0.7rem;
    width: 1.5rem;
    height: 1.5rem;
    font-size: 0.75rem;
    line-height: 1.5rem;
  }

  [data-problem-id="0"] .continuation-header,
  [data-problem-id="0"] .proof-banner {
    align-items: start;
    flex-direction: column;
  }

  [data-problem-id="0"] .continuation-header > p,
  [data-problem-id="0"] .proof-banner blockquote,
  [data-problem-id="0"] .theorem-banner > p {
    text-align: left;
  }

  [data-problem-id="0"] .kernel-table {
    font-size: 0.78rem;
  }

  [data-problem-id="0"] .kernel-table th,
  [data-problem-id="0"] .kernel-table td {
    padding: 0.3rem;
  }

  [data-problem-id="0"] .collision-equality {
    grid-column: 1;
  }
}

@media print {
  [data-problem-id="0"] #problem-title {
    font-size: 0.38in;
    line-height: 0.98;
  }

  [data-problem-id="0"] .problem-content {
    font-size: 0.145in;
    line-height: 1.25;
  }

  [data-problem-id="0"] .zero-page--kernels,
  [data-problem-id="0"] .zero-page--proof,
  [data-problem-id="0"] .zero-page--theorem {
    break-before: page;
    page-break-before: always;
    padding-top: 0.12in;
  }

  [data-problem-id="0"] .zero-opening-feature,
  [data-problem-id="0"] .zero-hero {
    height: 3in;
    min-height: 3in;
  }

  [data-problem-id="0"] .zero-setup {
    width: 3.35in;
    left: 0.14in;
    bottom: 0.14in;
    padding: 0.1in 0.13in;
  }

  [data-problem-id="0"] .problem-content .zero-setup p {
    font-size: 0.145in;
    line-height: 1.25;
  }

  [data-problem-id="0"] .zero-setup .problem-section-label {
    font-size: 0.125in;
  }

  [data-problem-id="0"] .problem-content .zero-setup > .zero-route-mark {
    font-size: 0.125in;
  }

  [data-problem-id="0"] .kernel-definition {
    grid-template-columns: 1.15in minmax(0, 1fr);
    gap: 0.1in;
    margin-top: 0.1in;
    padding: 0.075in 0.1in;
  }

  [data-problem-id="0"] .kernel-definition h2 {
    font-size: 0.18in;
  }

  [data-problem-id="0"] .kernel-definition p,
  [data-problem-id="0"] .kernel-definition mjx-container[display="true"] {
    margin-block: 0.015in !important;
  }

  [data-problem-id="0"] .kernel-definition p {
    font-size: 0.14in;
    line-height: 1.2;
  }

  [data-problem-id="0"] .map-pair {
    gap: 0.08in;
    margin-top: 0.1in;
  }

  [data-problem-id="0"] .map-card {
    padding: 0.055in 0.09in;
  }

  [data-problem-id="0"] .map-card h2 {
    margin-block: 0.01in;
    font-size: 0.16in;
  }

  [data-problem-id="0"] .map-card mjx-container {
    font-size: 0.13in !important;
  }

  [data-problem-id="0"] .map-card mjx-container[display="true"] {
    margin-block: 0.005in !important;
  }

  [data-problem-id="0"] .route-overview {
    grid-template-columns: 1.5in minmax(0, 1fr);
    gap: 0.1in;
    margin-top: 0.1in;
    padding: 0.08in 0.1in;
  }

  [data-problem-id="0"] .route-overview h2 {
    font-size: 0.15in;
  }

  [data-problem-id="0"] .route-overview li {
    min-height: 0.6in;
    padding: 0.27in 0.035in 0.03in;
    font-size: 0.125in;
  }

  [data-problem-id="0"] .route-overview li::before {
    width: 0.19in;
    height: 0.19in;
    top: 0.04in;
    left: calc(50% - 0.095in);
    font-size: 0.125in;
    line-height: 0.19in;
  }

  [data-problem-id="0"] .page-cue {
    margin-top: 0.06in;
    font-size: 0.125in;
  }

  [data-problem-id="0"] .continuation-header,
  [data-problem-id="0"] .proof-banner {
    padding: 0.1in 0.14in;
    color: #1e2931;
    background: #e9eff0;
  }

  [data-problem-id="0"] .theorem-banner {
    display: grid;
    grid-template-columns: minmax(0, 1fr) 3.05in;
    align-items: end;
  }

  [data-problem-id="0"] .theorem-banner .zero-route-mark {
    white-space: nowrap;
    font-size: 0.125in;
    letter-spacing: 0.045em;
  }

  [data-problem-id="0"] .proof-banner {
    background: #ece9f1;
  }

  [data-problem-id="0"] .continuation-header h2,
  [data-problem-id="0"] .proof-banner h2 {
    font-size: 0.28in;
  }

  [data-problem-id="0"] .zero-page--kernels .continuation-header h2 {
    font-size: 0.255in;
    white-space: nowrap;
  }

  [data-problem-id="0"] .map-reference-strip,
  [data-problem-id="0"] .theorem-tool {
    gap: 0.06in;
    margin-top: 0.065in;
    padding: 0.045in 0.075in;
    font-size: 0.13in;
  }

  [data-problem-id="0"] .continuation-header > p,
  [data-problem-id="0"] .proof-banner blockquote,
  [data-problem-id="0"] .theorem-banner > p {
    color: #38585d;
    font-size: 0.13in;
  }

  [data-problem-id="0"] .zero-kernel-parts,
  [data-problem-id="0"] .zero-proof-parts {
    gap: 0.08in;
    margin-top: 0.1in;
  }

  [data-problem-id="0"] .zero-kernel-parts .problem-part,
  [data-problem-id="0"] .zero-proof-parts .problem-part {
    padding: 0.065in 0.09in 0.075in;
  }

  [data-problem-id="0"] .problem-content .zero-kernel-parts .problem-part-copy p,
  [data-problem-id="0"] .problem-content .zero-proof-parts .problem-part-copy p {
    font-size: 0.138in;
    line-height: 1.22;
  }

  [data-problem-id="0"] .kernel-table {
    margin-top: 0.05in;
  }

  [data-problem-id="0"] .kernel-table th,
  [data-problem-id="0"] .kernel-table td {
    padding: 0.035in 0.045in;
    font-size: 0.13in;
  }

  [data-problem-id="0"] .kernel-table tbody td {
    height: 0.66in;
    background-image: repeating-linear-gradient(to bottom, transparent 0, transparent 0.26in, #cbd7da 0.27in);
  }

  [data-problem-id="0"] .kernel-plane-pair {
    gap: 0.12in;
    margin-top: 0.05in;
  }

  [data-problem-id="0"] .kernel-plane-pair img {
    height: 2.9in;
    object-fit: contain;
  }

  [data-problem-id="0"] .substitution-record,
  [data-problem-id="0"] .collision-record {
    margin-top: 0.09in;
    padding: 0.08in 0.11in;
  }

  [data-problem-id="0"] .substitution-record h2,
  [data-problem-id="0"] .collision-record h2 {
    font-size: 0.15in;
  }

  [data-problem-id="0"] .substitution-record p,
  [data-problem-id="0"] .collision-record p {
    font-size: 0.13in;
  }

  [data-problem-id="0"] .write-lines > span {
    min-height: 0.27in;
  }

  [data-problem-id="0"] .collision-record {
    min-height: 0.9in;
    gap: 0.1in;
  }

  [data-problem-id="0"] .inline-field {
    height: 0.21in;
  }

  [data-problem-id="0"] .coordinate-slot {
    width: 0.4in;
    height: 0.23in;
  }

  [data-problem-id="0"] .general-map-bridge {
    margin-top: 0.065in;
    padding: 0.045in 0.075in;
  }

  [data-problem-id="0"] .general-map-bridge p {
    font-size: 0.13in;
    line-height: 1.16;
  }

  [data-problem-id="0"] .language-pair {
    gap: 0.08in;
    margin-top: 0.065in;
  }

  [data-problem-id="0"] .language-pair > section {
    padding: 0.06in 0.09in;
  }

  [data-problem-id="0"] .language-pair h2 {
    font-size: 0.16in;
  }

  [data-problem-id="0"] .language-pair p {
    font-size: 0.13in;
    line-height: 1.18;
  }

  [data-problem-id="0"] .zero-page--proof .language-pair p {
    font-size: 0.13in;
    line-height: 1.16;
  }

  [data-problem-id="0"] .language-pair mjx-container[display="true"] {
    margin-block: 0.015in !important;
    font-size: 0.13in !important;
  }

  [data-problem-id="0"] .vivian-conjecture {
    margin-top: 0.08in;
    padding: 0.07in 0.1in;
  }

  [data-problem-id="0"] .vivian-conjecture h2 {
    font-size: 0.145in;
  }

  [data-problem-id="0"] .proof-direction-grid {
    gap: 0.08in;
    margin-top: 0.05in;
  }

  [data-problem-id="0"] .zero-page--proof .proof-direction-grid,
  [data-problem-id="0"] .zero-page--theorem .proof-direction-grid {
    grid-template-columns: 1fr;
  }

  [data-problem-id="0"] .proof-direction-grid > section {
    padding: 0.05in 0.06in 0.02in;
  }

  [data-problem-id="0"] .proof-direction-grid h3 {
    min-height: 0.29in;
    font-size: 0.125in;
  }

  [data-problem-id="0"] .zero-page--proof .proof-direction-grid h3 {
    min-height: 0.25in;
  }

  [data-problem-id="0"] .zero-page--proof .write-lines > span {
    min-height: 0.235in;
  }

  [data-problem-id="0"] .fiber-argument {
    margin-top: 0.055in;
    padding: 0.045in 0.065in;
  }

  [data-problem-id="0"] .fiber-argument .fiber-seed {
    font-size: 0.13in;
    line-height: 1.18;
  }

  [data-problem-id="0"] .proof-continuation-note {
    font-size: 0.13in !important;
    line-height: 1.15 !important;
  }

  [data-problem-id="0"] .zero-closing {
    margin-top: 0.08in;
    padding: 0.07in 0.1in;
  }

  [data-problem-id="0"] .zero-closing p {
    font-size: 0.13in;
    line-height: 1.15;
  }
}