/* Browser shell shared by the reader and the generated Python source pages. */

html {
  scroll-padding-top: 1.25rem;
}

body {
  margin: 0;
  overflow-x: hidden;
  color: var(--fn-ink);
  background: var(--fn-paper);
  font-family: var(--fn-prose);
}

a {
  color: inherit;
  text-decoration-thickness: 1px;
  text-underline-offset: 0.18em;
}

a:hover {
  text-decoration-thickness: 2px;
}

a:focus-visible,
button:focus-visible,
summary:focus-visible {
  outline: 2px solid currentColor;
  outline-offset: 3px;
}

.skip-link {
  position: fixed;
  z-index: 10;
  top: 0.75rem;
  left: 0.75rem;
  padding: 0.55rem 0.75rem;
  color: #ffffff;
  background: #111111;
  font-family: var(--fn-ui);
  font-size: 0.85rem;
  transform: translateY(-180%);
}

.skip-link:focus {
  transform: none;
}

.site-nav {
  box-sizing: border-box;
  max-width: var(--fn-page-width);
  margin: 0 auto;
  padding: 2rem 1.25rem;
  font-family: var(--fn-ui);
}

.site-nav-inner {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 1.5rem;
}

.site-brand {
  font-size: 0.9rem;
  font-weight: 700;
  text-decoration: none;
}

.site-links {
  display: flex;
  flex-wrap: wrap;
  justify-content: flex-end;
  gap: 0.35rem 1rem;
  font-size: 0.85rem;
}

.site-links a[aria-current="page"] {
  text-decoration-thickness: 2px;
}

main.jp-Notebook {
  box-sizing: border-box;
  width: 100%;
  max-width: var(--fn-page-width);
  margin: 0 auto;
  padding: 1rem 1.25rem 6rem;
  overflow: visible;
  background: var(--fn-paper) !important;
}

main.jp-Notebook > .jp-Cell,
main.jp-Notebook > .jp-Cell > .jp-RenderedHTMLCommon {
  width: 100%;
  max-width: 100%;
}

.jp-Cell:focus,
.binding-note:focus,
main[tabindex="-1"]:focus {
  outline: none;
}

.home-page,
.listing-page,
.article-page {
  box-sizing: border-box;
  width: 100%;
  max-width: var(--fn-page-width);
  margin: 0 auto;
  padding: 3rem 1.25rem 6rem;
}

.system-page {
  box-sizing: border-box;
  width: min(100%, var(--fn-wide-width));
  margin: 0 auto;
  padding: 3rem 1.25rem 6rem;
}

.article-header.system-header,
.system-reading {
  max-width: var(--fn-page-width);
  margin-left: auto;
  margin-right: auto;
}

.system-summary {
  max-width: var(--fn-measure);
  margin: 1rem 0 0;
  color: var(--fn-intro);
  font-size: 1.1rem;
  line-height: 1.55;
}

.system-design {
  margin: 2.5rem 0 3rem;
  padding: 1rem 0;
  border-top: 1px solid var(--fn-rule-strong);
  border-bottom: 1px solid var(--fn-rule-strong);
  font-family: var(--fn-ui);
}

.system-design figcaption {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  margin: 0 0 0.75rem;
  font-size: 0.8rem;
}

.system-design figcaption span {
  color: var(--fn-ink-soft);
}

.system-lane {
  display: grid;
  grid-template-columns: 8rem minmax(0, 1fr);
  gap: 1rem;
  padding: 0.9rem 0;
}

.system-lane + .system-lane {
  border-top: 1px solid var(--fn-rule);
}

.system-lane h2 {
  margin: 0;
  font-family: var(--fn-ui);
  font-size: 0.82rem;
  line-height: 1.35;
}

.system-flow {
  display: grid;
  grid-template-columns: repeat(var(--system-step-count), minmax(0, 1fr));
  gap: 1rem;
  margin: 0;
  padding: 0;
  list-style: none;
}

.system-flow li {
  position: relative;
  min-width: 0;
  margin: 0;
  padding: 0.5rem 0;
  border-top: 1px solid var(--fn-rule-strong);
}

.system-flow li:not(:last-child)::after {
  position: absolute;
  top: 0.38rem;
  right: -0.75rem;
  color: var(--fn-ink-soft);
  background: var(--fn-paper);
  content: "→";
}

.system-step-role {
  display: block;
  margin: 0 0 0.2rem;
  color: var(--fn-ink-soft);
  font-size: 0.68rem;
  letter-spacing: 0.04em;
  line-height: 1.3;
  text-transform: uppercase;
}

.system-flow strong {
  display: block;
  font-size: 0.82rem;
  line-height: 1.35;
  overflow-wrap: anywhere;
}

.system-feedback {
  margin: 0.45rem 0 0;
  color: var(--fn-ink-soft);
  font-size: 0.72rem;
  line-height: 1.45;
}

.system-reading {
  margin-top: 2.5rem;
}

.system-reading h2 {
  margin: 0 0 0.75rem;
  font-family: var(--fn-ui);
  font-size: 1rem;
  line-height: 1.4;
}

.system-lane-systems,
.system-reading ul {
  margin: 0;
  font-family: var(--fn-ui);
  font-size: 0.85rem;
  line-height: 1.7;
}

.system-lane-systems {
  margin-top: 0.45rem;
  padding: 0;
  color: var(--fn-ink-soft);
  font-size: 0.72rem;
  line-height: 1.5;
  list-style: none;
}

.system-lane-systems li {
  display: inline;
}

.system-lane-systems li:not(:last-child)::after {
  color: var(--fn-ink-soft);
  content: " · ";
}

.system-reading ul {
  padding-left: 1.25rem;
}

.home-header,
.listing-header,
.article-header {
  margin: 0 0 3rem;
}

.home-header h1,
.listing-header h1,
.article-header h1 {
  margin: 0 0 1rem;
  font-family: var(--fn-ui);
  font-size: clamp(2rem, 7vw, 3.5rem);
  letter-spacing: -0.04em;
  line-height: 1.08;
}

.home-header p,
.listing-header p {
  max-width: 38rem;
  margin: 0;
  color: var(--fn-intro);
  font-size: 1.2rem;
  line-height: 1.55;
}

.home-page section > h2 {
  margin: 0 0 1rem;
  font-family: var(--fn-ui);
  font-size: 1rem;
  line-height: 1.4;
}

.publication-list {
  margin: 0;
  padding: 0;
  border-top: 1px solid var(--fn-rule-strong);
  list-style: none;
}

.publication-list li {
  margin: 0;
  border-bottom: 1px solid var(--fn-rule);
}

.publication-list a,
.collection-links a {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 1rem;
  padding: 0.8rem 0;
  font-family: var(--fn-ui);
  text-decoration: none;
}

.publication-list a:hover span,
.collection-links a:hover span {
  text-decoration: underline;
  text-underline-offset: 0.18em;
}

.publication-list small,
.collection-links small {
  color: var(--fn-ink-soft);
  font-size: 0.78rem;
  white-space: nowrap;
}

.collection-links {
  display: block;
  margin: 3.5rem 0 0;
  border-top: 1px solid var(--fn-rule-strong);
}

.collection-links a {
  border-bottom: 1px solid var(--fn-rule);
}

.article-meta {
  margin: 0;
  color: var(--fn-ink-soft);
  font-family: var(--fn-ui);
  font-size: 0.8rem;
}

.article-body {
  width: 100%;
}

.article-navigation {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  margin: 4rem 0 0;
  padding: 1.25rem 0 0;
  border-top: 1px solid var(--fn-rule);
  font-family: var(--fn-ui);
  font-size: 0.82rem;
}

.article-navigation > :last-child {
  margin-left: auto;
  text-align: right;
}

.notebook-publication {
  padding-top: 0 !important;
}

.reader-tools {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 1rem;
  margin: 0 0 3rem;
  padding: 0 0 1rem;
  border-bottom: 1px solid var(--fn-rule);
  color: var(--fn-ink-soft);
  font-family: var(--fn-ui);
  font-size: 0.82rem;
}

.code-cell-head {
  display: flex;
  align-items: baseline;
  gap: 0.75rem;
  margin: 0 0 0.45rem;
  color: var(--fn-ink-soft);
  font-family: var(--fn-ui);
  font-size: 0.74rem;
}

.execution-badge {
  color: inherit;
}

.copy-code {
  margin-left: auto;
  padding: 0;
  color: inherit;
  background: transparent;
  border: 0;
  cursor: pointer;
  font: inherit;
  text-decoration: underline;
  text-underline-offset: 0.18em;
}

.output-label {
  color: var(--fn-ink-soft);
  font-family: var(--fn-ui);
  font-size: 0.72rem;
}

.source-meta {
  color: var(--fn-ink-soft);
  font-family: var(--fn-mono);
  font-size: 0.72rem;
  line-height: 1.5;
}

.source-links {
  margin-bottom: 0 !important;
}

.site-footer {
  box-sizing: border-box;
  max-width: var(--fn-page-width);
  margin: 0 auto;
  padding: 1.5rem 1.25rem;
  border-top: 1px solid var(--fn-rule);
  color: var(--fn-ink-soft);
  font-family: var(--fn-ui);
  font-size: 0.8rem;
}

.source-document,
.source-index {
  box-sizing: border-box;
  width: min(100%, var(--fn-wide-width));
  margin: 0 auto;
  padding: 3rem 1.25rem 6rem;
}

.source-header {
  max-width: var(--fn-page-width);
  margin: 0 0 3rem;
}

.source-header h1,
.source-index h1 {
  margin: 0 0 1rem;
  font-family: var(--fn-ui);
  font-size: clamp(2rem, 7vw, 3.5rem);
  letter-spacing: -0.04em;
  line-height: 1.08;
}

.source-index > p {
  max-width: 38rem;
  color: var(--fn-intro);
  font-size: 1.1rem;
  line-height: 1.55;
}

.source-index section {
  margin-top: 3rem;
}

.source-index h2 {
  margin: 0 0 1rem;
  font-family: var(--fn-ui);
  font-size: 1rem;
}

.source-header .source-description {
  max-width: 38rem;
  margin: 0 0 1rem;
  color: var(--fn-intro);
  font-size: 1.1rem;
  line-height: 1.55;
}

.source-header .source-meta {
  margin: 0 0 1rem;
}

.source-code {
  box-sizing: border-box;
  width: 100%;
  margin: 0;
  overflow-x: auto;
  color: var(--fn-code-ink);
  background: var(--fn-code-paper);
  border: 1px solid var(--fn-rule);
  font-family: var(--fn-mono);
  font-size: 0.8rem;
  line-height: 1.5;
  padding: 1rem;
  tab-size: 4;
  white-space: pre;
}

.source-list {
  margin: 3rem 0 0;
  padding: 0;
  border-top: 1px solid var(--fn-rule-strong);
  list-style: none;
}

.source-list li {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 1rem;
  padding: 0.85rem 0;
  border-bottom: 1px solid var(--fn-rule);
  font-family: var(--fn-ui);
}

.source-list small {
  color: var(--fn-ink-soft);
  font-family: var(--fn-mono);
  font-size: 0.72rem;
}

.visually-hidden {
  position: absolute !important;
  width: 1px !important;
  height: 1px !important;
  padding: 0 !important;
  margin: -1px !important;
  overflow: hidden !important;
  clip: rect(0, 0, 0, 0) !important;
  white-space: nowrap !important;
  border: 0 !important;
}

@media (max-width: 32rem) {
  .site-nav {
    padding-top: 1.5rem;
    padding-bottom: 1.5rem;
  }

  .site-nav-inner {
    display: block;
  }

  .site-links {
    justify-content: flex-start;
    margin-top: 0.65rem;
  }

  main.jp-Notebook {
    padding-top: 0;
    padding-bottom: 4.5rem;
  }

  .reader-tools {
    display: block;
  }

  .source-document,
  .source-index,
  .home-page,
  .listing-page,
  .article-page,
  .system-page {
    padding-top: 2rem;
    padding-bottom: 4.5rem;
  }

  .home-header,
  .listing-header,
  .article-header {
    margin-bottom: 2.25rem;
  }

  .publication-list a,
  .collection-links a {
    display: block;
  }

  .publication-list small,
  .collection-links small {
    display: block;
    margin-top: 0.2rem;
    white-space: normal;
  }

  .source-list li {
    display: block;
  }

  .source-list small {
    display: block;
    margin-top: 0.25rem;
  }

  .system-design figcaption,
  .system-lane {
    display: block;
  }

  .system-design figcaption span,
  .system-lane h2 {
    display: block;
    margin-top: 0.2rem;
  }

  .system-flow {
    display: block;
    margin-top: 0.65rem;
  }

  .system-flow li {
    padding: 0.45rem 0 0.45rem 0.8rem;
    border-top: 0;
    border-left: 1px solid var(--fn-rule-strong);
  }

  .system-flow li:not(:last-child)::after {
    position: static;
    display: block;
    margin-top: 0.35rem;
    background: transparent;
    content: "↓";
  }

}

@media print {
  .site-nav,
  .reader-tools,
  .site-footer,
  .copy-code,
  .source-links {
    display: none !important;
  }

  main.jp-Notebook,
  .source-document,
  .system-page {
    max-width: none;
    padding: 0;
  }

  .system-design,
  .system-lane {
    break-inside: avoid;
  }
}