/* CSS is how you can add style to your website, such as colors, fonts, and positioning of your
   HTML content. To learn how to do something, just try searching Google for questions like
   "how to change link color." */

body {
  padding: 25px 50px;
  color: white;
  font-family: "michroma";
}
  font-face {
    font-family: "michroma";
    src: url("Michroma-Regular.ttf") format("TrueType");
    font-weight: normal;
    font-style: normal;
}
HTML {
  margin: 0;
    padding: 0;
    background-image: url('background1.png');
    background-repeat: no-repeat;
    background-position: center top;
    background-attachment: fixed;
    background-size: cover;;
}
.button{
  border-radius: 10px;
  font-family: 'michroma';
  background-color: #1d324d;
  color: white;
  padding: 5px 10px;
}
/* unvisited link */
a:link {
  color: white;
}

/* visited link */
a:visited {
  color: lightblue;
}

/* mouse over link */
a:hover {
  color: yellowgreen;
}

/* selected link */
a:active {
  color: white;
}
.topnav {
  display: flex;
  list-style-type: none;
  margin: 0;
  padding: 0;
  background-color: #1d324d;
  border-radius: 10px 10px;
  box-shadow: 0 5px 10px black;
}
ul.topnav li a {
  display: block;
  color: #f1f1f1;
  padding: 14px 16px;
  text-decoration: none;
  border-radius: 10px 10px;
}
ul.topnav li a:hover {
  background-color: #dddddd;
  color: #1d324d;
}
.div1 {
  background-color: rgba(0,0,0,0.5);
  border-radius: 10px 10px;
  padding: 1px 30px;
  backdrop-filter: blur(10px);
}
iframe {
  padding: 20px 20px;
  border: 0;
  border-radius: 10px;
}