/* You can add global styles to this file, and also import other style files */

/*body {*/
/*  margin: 0;*/
/*  height: 100vh*/
/*}*/

body {
  margin: 0;
  padding: 0;
  height: 100%;
  width: 100%;
}

html {
  margin: 0;
  padding: 0;
  height: 100vh;
  width: 100%;
}

.logo {
  font-family: Avantgarde, TeX Gyre Adventor, URW Gothic L, sans-serif;
  /*font-family: Impact, fantasy;*/
  font-size: 32px;
  font-weight: bold;
  text-decoration: none;
  color: #d1572d;
  text-shadow: 2px 2px 4px rgba(0, 0, 0, 0.7);
}

@keyframes hover-in {
  from { filter: brightness(1.0); }
  to { filter: brightness(1.4); }
}

@keyframes hover-out {
  from { filter: brightness(1.4); }
  to { filter: brightness(1.0); }
}

.logo:hover {
  animation: hover-in 0.5s forwards;
  animation-timing-function: ease-in-out;
}
.logo:not(:hover) {
  animation: hover-out 1s forwards;
  animation-timing-function: ease-in-out;
}

a {
  text-decoration: none;
  color: #1a0b06;
}

.navbar-button {
  font-family: Courier New, monospace;
  font-weight: bold;
}

h2 {
  font-family: Courier New, monospace;
  font-weight: bold;
}