/* Compact the first mobile example without hiding or clipping its content. */
@media (max-width: 700px) {
  body.readability-v50 #main #proof-writing { padding: 16px; }
  body.readability-v50 #main #proof-writing .chapter-heading { margin-bottom: 12px; }
  body.readability-v50 #main #proof-writing .chapter-heading p {
    margin-top: 8px;
    font-size: 17px;
    line-height: 1.45;
  }
  body.readability-v50 #main #proof-writing .before-after { gap: 3px; }
  body.readability-v50 #main #proof-writing :is(.note-before, .note-after) {
    min-height: 0;
    padding: 12px;
  }
  body.readability-v50 #main #proof-writing .tiny-label { font-size: 11px; line-height: 1.4; }
  body.readability-v50 #main #proof-writing .note-before > p {
    margin-top: 8px;
    font-size: 18px;
    line-height: 1.4;
  }
  body.readability-v50 #main #proof-writing .transform-arrow { font-size: 18px; line-height: 1; }
  body.readability-v50 #main #proof-writing .note-after dl { margin: 6px 0 8px; }
  body.readability-v50 #main #proof-writing .note-after dl div {
    grid-template-columns: 48px minmax(0, 1fr);
    gap: 8px;
    padding-block: 5px;
  }
  body.readability-v50 #main #proof-writing .note-after dt { font-size: 10px; line-height: 1.4; }
  body.readability-v50 #main #proof-writing .note-after dd { font-size: 16px; line-height: 1.4; }
  body.readability-v50 #main #proof-writing .checked-tag { font-size: 12px; line-height: 1.35; }
}