h1 {
  margin-top: 0px;
  margin-bottom: 0px;
  font-size: 160%
}

h2 {
  margin-top: 0px;
  margin-bottom: 0px;
  font-size: 140%
}

h3 {
  margin-top: 0px;
  margin-bottom: 0px;
  font-size: 120%
}

pre {
  padding: 4px;
  background-color: #fafafa;
  border-style: dotted;
  border-width: 2px
}