.page-header {
  margin-top: 0px;
}

.page-header small {
  font-size: 50%;
}

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