nav.navbar-light {
  background-color: #E6E6E6;
}

.filters .filter a {
  text-decoration: none;
}

.filters .filter ul li.current label,
.filters .filter ul li.current a {
  font-weight: bold;
}

.filters .input-daterange input[type="text"],
.filters .input-date input[type="text"] {
  width: 12ch;
}

.filters .input-text input[type="text"] {
  width: 16ch;
}

pre.small {
  font-size: 80%;
}

.pre-wrap {
  white-space: pre-wrap;
}

.form-control::placeholder {
  font-style: italic;
  opacity: 0.5;
}