/* Keep Scribble's image asset in the build; show it in the sidebar instead. */
.docs-logo-asset {
  display: none;
}

.navsettop {
  height: 6rem;
}

.tocset {
  border-top-width: 6rem;
}

/* The site title already links to the index, so its logo does too. */
.tocset .tocviewtitle a.tocviewlink,
.tocset .tocviewtitle a.tocviewselflink {
  display: block;
}

.tocset .tocviewtitle a.tocviewlink::before,
.tocset .tocviewtitle a.tocviewselflink::before {
  content: "";
  display: block;
  width: 96px;
  height: 81px;
  margin: 0 auto 1.5rem;
  background: url("logo.png") center / contain no-repeat;
}

/* The current page's section links appear in its tree branch below. */
.tocset .tocsub {
  display: none;
}

/* The selected page is already named in the main page list. */
.tocset .tocviewlist:not(.tocviewlisttopspace) > table {
  display: none;
}

.tocset .tocviewlist:not(.tocviewlisttopspace)::before {
  content: "On this page";
  display: block;
  margin: 0.5em 0.6em;
  font-size: 0.75em;
  font-weight: 600;
}

/* Show the current page's headings without turning them into separate pages. */
.tocset .tocviewsublistbottom {
  display: block !important;
}

/* Keep the duplicate navigation at the page bottom out of view. */
.navsetbottom {
  display: none;
}

.site-search-results {
  position: fixed;
  z-index: 4;
  top: 6rem;
  left: 0.75rem;
  width: min(24rem, calc(100vw - 1.5rem));
  max-height: min(60vh, 30rem);
  overflow: auto;
  box-sizing: border-box;
  padding: 0.75rem 1rem;
  background: white;
  border: 1px solid #777;
  box-shadow: 0 0.25rem 1rem #0003;
}

.site-search-results[hidden] {
  display: none;
}

.site-search-results a {
  display: block;
  font-weight: bold;
}

.site-search-results p {
  margin: 0.5rem 0;
}

@media (max-width: 720px) {
  .navsettop {
    height: 4rem;
  }

  .tocset {
    border-top-width: 4rem;
  }

  .navsettop .navright {
    display: none;
  }

  .site-search-results {
    top: 4rem;
  }
}

/* Scribble's version box shows the Racket version, not ScienceLogo's release. */
.versionbox {
  display: none;
}