/* --- Bob's style additions --- */

.epfl-logo {
  height: 25px;
  text-align: center;
  margin-top: 10px;
  margin-bottom: 10px;
}

@media (min-width: 1200px) {
  .intro-header .page-heading h1 {
    /* Changed from 5rem; */
    font-size: 3rem;
  }
}