pre {
  margin-bottom: 20px;
}

.spacer {
  margin-bottom: 40px;
}

.spacer-sm {
  margin-bottom: 20px;
}

a.docs {
  color: #766df4;
}

.underline {
  text-decoration: underline;
}

.mono {
  font-family: monospace;
}

.mono-bold {
  font-family: 'Roboto Mono', monospace;
  font-weight: bold;
}

.no-border-bottom {
  border-bottom: none;
}

.no-border-top {
  border-top: none;
}

.btn-massive {
  font-size: 2.25rem;
}