.hatnote {
  border-color: #c8c8c8;
  border-style: solid;
  border-width: 1px;
  font-size: x-small;
  font-style: italic;
  margin-left: auto;
  margin-right: auto;
  padding: 3px 2em;
}
.hatnote-gray {
  background-color: #e8e8e8;
  color: #000000;
}
.hatnote-yellow {
  background-color: #ffffe8;
  color: #000000;
}
.hatnote-red {
  background-color: #ffe8e8;
  color: #000000;
}
.hatnote-icon {
  height: 16px;
  width: 16px;
}

.section {
  text-align: justify;
}