@font-face {
  font-family: "DINeng";
  src: url("../res/font/DINEngschriftStd.otf");
}

@font-face {
  font-family: "DINmittel";
  src: url("../res/font/DINMittelschriftStd.otf");
}

html {
  margin: 0;
  padding: 0;
}

body {
  margin: 0;
  padding: 0;
  font-family: "DINmittel";
}
.filterButtonList {
  display: flex;
  flex-direction: column;
  height: 100vh;
  align-items: center;
  justify-content: center;
}
.filterButton {
  min-width: 6vw;
  min-height: 4vh;
  margin: 2vw;
  padding: 2vw;
  background-color: navy;
  color: white;
  display: flex;
  align-items: center;
  justify-content: center;
  transition: 0.1s;
  font-size: 10vh;
}
a {
  color: black;
}
a:visited {
  color: black;
}