/* css styles */

/* logo too small by default */
.navbar-logo {
  max-height: 75px;
  padding-left: 40px;
}

pre code {
  background-color: #f1f3f5;
}