.header {
  position: relative;
  top: 0;
  padding: .5% 5% 0% 5%;
  background-color: rgb(191, 221, 217);
  border-bottom: 2px solid rgb(100, 150, 145);
  box-shadow: 0px 2px 4px rgb(100, 150, 145);
  margin-bottom: 2%;
}

.title-tagline {
  /* Old formatting that gave the title a box as well:
  background-color: rgb(210, 221, 217);
  color: rgb(100, 150, 145);
  border-width: 2px;
  border-style: solid;
  box-shadow: 0px 0px 2px; */
  padding: 0% auto;
  line-height: 1;
}

.title {
  text-align: center;
  font-size: 125px;
  font-family: "Alex Brush", cursive;
  color: rgb(100, 150, 145);

  color: rgb(50, 120, 115);

}

.tagline {
  text-align: center;
  font-size: 30px;
  font-family: Arial, Helvetica, sans-serif;
  color: rgb(100, 150, 145);

  color: rgb(50, 120, 115);

  margin-bottom: 1.5%;
}

.menu {
  margin: 1%;
  display: flex;
  flex-direction: row;
  justify-content: space-between;
  align-items: center;
  font-family: Arial, Verdana, sans-serif;
  /* Decide font - arial, verdana, maybe look at a couple other sans-serif fonts */
}

.menu-option, .menu-option:visited {
  width: 20%;
  text-align: center;
  color: rgb(100, 150, 145);

  color: rgb(50, 120, 115);

  background-color: rgb(210, 221, 217);
  text-decoration: none;
  font-weight: bold;
  border-width: 2px;
  border-style: solid;
  border-radius: 15px;
  box-shadow: 0px 0px 2px;
  padding: 1%;
}