/* Intro: short campus culture overview after the stats. */
.intro-section {
  margin: 0 auto;
}

.lead {
  margin: 0;
  color: #353b45;
  font-size: 1.22rem;
}