.header-bar {
  font-family: "Joystix Monospace", sans-serif;
  display: flex;
  position: sticky;
  padding: 0.8vh;
  background-color: rgb(134, 223, 216);
  border-bottom: solid black 4px;
}
.header-buttons-box {
  display: flex;
  order: 2;
  width: 100%;
  height: auto;
  justify-content: right;
  padding: 5px;
}
.header-button {
  background-color: white;
  border: 2px solid black;
  color: black;
  font-size: 1.25rem;
  cursor: pointer;
  padding: 5px 10px;
  text-decoration: none;
  margin-left: 4mm;
  box-shadow: 3px 3px 0px black;
  position: relative;
}
.header-button:hover {
  background-color: rgb(220, 220, 220);
  transition-duration: 15ms;
}
.header-button:active {
  top: 2px;
  left: 2px;
  box-shadow: 1px 1px 0px black;
}