/*==================================== NAVBAR ====================================*/
#nav-placeholder {
  /*Make placeholder invisible, when this file is loaded.*/
  height: 0px;
  width: 0px;
  content: '';
  display: none;
  place-items: left;
  text-align: left;
}
.navbar {
  width: 100vw;
  overflow: hidden;
  background-color: rgba(0, 255, 0, 0.5);
  position: fixed;
  margin: 0px;
  top: 0;
}
.navbar a {
  float: left;
  display: block;
  color: rgba(0, 200, 200, 0.7)
  text-align: left;
  padding: 2px 2px;
  text-decoration: none;
}
.navbar a:hover {
  animation-name: navElemHover;
  animation-duration: 0.5s;
  color: rgba(0, 0, 128, 1.0);
  background-color: rgba(0, 255, 128, 0.8);
}

@keyframes navElemHover {
  0% {
    color: rgba(0, 200, 200, 0.5);
    background-color: rgba(0, 255, 0, 0.5);
  }
  100% {
    color: rgba(0, 0, 128, 1.0);
    background-color: rgba(0, 255, 128, 0.8);
  }
}