/* Compact navigation shared by the four public lesson pages. */
.openhouse-page .site-chrome-footer { display: block; }
.lesson-sections {
  position: static;
  height: auto;
  z-index: auto;
  background: transparent;
  box-shadow: none;
  padding-left: 0;
  padding-right: 0;
  display: flex;
  flex-wrap: wrap;
  gap: 8px 24px;
  padding-top: 18px;
  padding-bottom: 18px;
  color: var(--lb-ink, var(--white));
  border-bottom: 1px solid currentColor;
  font: 600 13px/1.5 'JetBrains Mono', ui-monospace, monospace;
}
.lesson-sections a {
  display: inline-flex;
  align-items: center;
  min-height: 32px;
  color: inherit;
  text-decoration: underline;
  text-underline-offset: 4px;
}
.lesson-sections a:focus-visible { outline: 3px solid currentColor; outline-offset: 4px; }
:is(.lb-proof-page,.astra-replay-page,.openhouse-page,.video-page) [id] { scroll-margin-top: 100px; }
@media (max-width: 640px) {
  .lesson-sections { gap: 6px 18px; font-size: 12px; }
  .lb-proof-page .lb-workspace-section { padding: 24px 0; }
  .lb-proof-page .lb-workspace-heading { margin-bottom: 24px; }
  .lb-proof-page .lb-result-summary div { padding: 10px 15px; }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  :is(.lb-proof-page,.astra-replay-page,.openhouse-page,.video-page) *,
  :is(.lb-proof-page,.astra-replay-page,.openhouse-page,.video-page) *::before,
  :is(.lb-proof-page,.astra-replay-page,.openhouse-page,.video-page) *::after {
    animation: none !important;
    transition: none !important;
  }
}