body {
  background-color: lightgrey;
  font-size: 0.92rem;
}

a.dropdown-item {
  font-size: 0.92rem;
}

.main {
  background-color: white;
  box-shadow: 0px 1px 4px rgba(0, 0, 0, 0.5);
  max-width: 1190px;
}

.fa {
  display:inline;
}

.highlight {
  background-color: #f7f7f7;
}

pre.highlight {
  border: 1px solid #ccc;
  border-radius: 4px;
}

.navbar-dark {
  background-color: #090808;
}