/* Confusing for red to both (a) highlight failure items and (b) highlight code-snippets/literals. */
code {
  color: black;
  background: #def;
}

@keyframes spin {
  0% {
    transform: rotate(0deg);
  }
  100% {
    transform: rotate(360deg);
  }
}

.spinning {
  animation: spin 2s linear infinite;
}

.btn-group {
  display: flex;
}

.navbar {
  background: #0c4524;
}

.navbar .navbar-brand {
  color: white;
  font-weight: bold;
}

.nav a {
  color: white;
}

.nav > li > a:hover {
  background-color: #0c3514;
}

.big-domain-name {
  text-align: center;
  font-size: 2.5em;
}

.little-domain-name {
  text-align: center;
  font-size: 1.5em;
}