.circle-full {
  background-color: white;
  border-color: white;
  border-radius: 50%;
  height: 1.5vh !important;
  width: 1.5vh !important;
  margin-top: 1.6vh;
}

.circle-full.red {
  background-color: var(--red-colour);
  border-color: var(--red-colour);
}

.circle-empty {
  background-color: transparent;
  border: 0.15em solid white;
  border-radius: 50%;
  height: 1.5vh !important;
  width: 1.5vh !important;
  margin-top: 1.6vh;
}

.circle-empty.red {
  border-color: var(--red-colour);
}

.screen-nav {
  transform: translateX(-50%);
}

.screen-nav a {
  height: 1vh;
  width: 1vh;
  margin-right: 0.5vh;
  filter: drop-shadow(3px 5px 2px rgb(0 0 0 / 0.4));
}