.tud-logo {
  max-height: 35px;
  margin-top: -5px;
}

.highlight {
  background-color: #faf3f3;
  padding-top: 3px;
  padding-left: 3px;
  /*  padding-bottom: 1px;*/
}

ul#markdown-toc {
  list-style: none;
  background-color: #f9f9f9;
  padding: 1rem;
}

a {
  color: #c70032;
}

a:hover {
  color: #c70032;
}

.alert-red,
.alert-red > a {
  color: white;
  background-color: #c70032;
  border-color: #c70032;
}