.toctree-wrapper.toc-compact > ul {
  margin: 0;               /* kill the extra gap above/below the list */
}

/* Make the navbar logo a fixed height */
.navbar-brand img {
  max-height: 64px;
  width: auto;        /* keep aspect ratio */
}

.nowrap { white-space: nowrap; }

.syllabus-covered {
  margin: 1rem 0 1.5rem;
}

.syllabus-covered__heading {
  color: #648720;
  font-size: 1.15rem;
  font-weight: 700;
  border-bottom: 1px solid var(--pst-color-border);
  margin-bottom: 1rem;
  padding-bottom: 0.35rem;
}

.syllabus-covered__module {
  color: var(--pst-color-text-base);
  font-size: 1rem;
  font-weight: 700;
  margin: 0.8rem 0 0.25rem;
}

.syllabus-covered__section {
  color: var(--pst-color-text-muted);
  font-size: 0.92rem;
  font-weight: 700;
  margin: 0.75rem 0 0.25rem;
}

div.io-cell {
  --io-cell-strip-height: 0.35rem;
  position: relative;
  margin-top: 1.2rem;
  padding-top: var(--io-cell-strip-height);
  border: 1px solid transparent;
  border-radius: 0.35rem;
  background:
    linear-gradient(
      to bottom,
      var(--io-cell-accent) 0,
      var(--io-cell-accent) var(--io-cell-strip-height),
      var(--pst-color-surface) var(--io-cell-strip-height),
      var(--pst-color-surface) 100%
    ) padding-box,
    linear-gradient(
      to bottom,
      var(--io-cell-accent) 0,
      var(--io-cell-accent) calc(var(--io-cell-strip-height) + 1px),
      var(--pst-color-border) calc(var(--io-cell-strip-height) + 1px),
      var(--pst-color-border) 100%
    ) border-box;
  overflow: hidden;
}

div.io-cell::after {
  content: none;
}

div.io-cell > div.highlight {
  position: relative;
  z-index: 0;
  margin: 0;
  border-radius: 0 0 calc(0.35rem - 1px) calc(0.35rem - 1px);
  background: transparent;
  overflow: hidden;
}

div.io-cell > div.highlight pre {
  margin-top: 0;
  border: 0;
  border-radius: 0;
  background: transparent;
  box-shadow: none;
  padding-top: 18px;
  padding-bottom: 10px;
}

div.io-cell::before {
  position: absolute;
  top: 0;
  left: 0.75rem;
  z-index: 2;
  display: inline-flex;
  align-items: center;
  padding: 0.2rem 0.55rem;
  border-radius: 0.28rem;
  font-family: var(--pst-font-family-base);
  font-size: 0.72rem;
  font-weight: 700;
  letter-spacing: 0;
  line-height: 1;
}

div.io-cell-code::before {
  content: "Code";
  background: var(--io-cell-accent);
  color: #ffffff;
}

div.io-cell-output::before {
  content: "Output";
  background: var(--io-cell-accent);
  color: #ffffff;
}

div.io-cell-code {
  --io-cell-accent: #6c4edb;
}

div.io-cell-output {
  --io-cell-accent: #18a999;
}

div.io-cell-joined-code {
  margin-bottom: 0;
  border-bottom-color: var(--pst-color-border);
  border-bottom-right-radius: 0;
  border-bottom-left-radius: 0;
}

div.io-cell-joined-code > div.highlight {
  border-radius: 0;
}

div.io-cell-joined-code + div.io-cell-joined-output {
  margin-top: -1px;
  border-top-left-radius: 0;
  border-top-right-radius: 0;
}