@charset "UTF-8";
/* CSS Document */
body {
  color: #484848;
  margin: 3%;

  font-size: 130%;
     }

highlight {
  color: #c7c7c7;
}

/* unvisited link */
a:link {
  color: #484848;
}

/* visited link */
a:visited {
  color: #484848;
}

/* mouse over link */
a:hover {
  color: #7D7D7D;
}

/* selected link */
a:active {
  color: #484848;
}

button {
  font-size: 60%;
  background-color: white;
  border: 2px solid #7D7D7D;
  border-radius: 6px;
  color: #484848;
  padding: 1% 4%;
  text-decoration: none;
  margin: 0px;
  cursor: pointer;
}

button:hover {
  background-color: #7D7D7D;
  color: white;
  border: 2px solid #white;

}