.based {
  list-style-type: none;
}
#results td {
  padding: 5px;
}
#results textarea {
  resize: vertical;
}
footer {
  margin-top: 32px;
}
.navbar-brand {
  white-space: nowrap;
}
[hidden] {
  display: none !important;
}
[inert] {
  opacity: 0.6;
}
#checktime {
  white-space: pre-wrap;
}

.jumbotron {
  padding: 5%;
}