/* Back-to-top button, as specified in the VJ brand guide (styleguide/index.html, "Back-to-top knop"). */
.back-to-top {
  position: fixed;
  right: 24px;
  bottom: 24px;
  width: 46px;
  height: 46px;
  border-radius: 2px;
  background: var(--vj-blue, #01aef0);
  color: #fff;
  border: none;
  display: none;
  align-items: center;
  justify-content: center;
  /* px, not rem: the old forum theme uses a 10px root font size. */
  font-size: 18px;
  line-height: 1;
  cursor: pointer;
  box-shadow: 0 4px 14px rgba(1, 174, 240, 0.4);
  z-index: 1000;
}

.back-to-top.is-visible {
  display: flex;
}

/* Stay out of the way while the frontpage cookie banner is open. */
.cookie-banner.is-visible ~ .back-to-top {
  display: none;
}

.back-to-top:focus-visible {
  outline: 2px solid #fff;
  outline-offset: -4px;
}

@media (max-width: 760px) {
  .back-to-top {
    right: 16px;
    bottom: 16px;
  }
}