#hpack-dhall {
  font-family: "B612 Mono", monospace;
  font-size: 1.3em;
}

#operator {
  font-size: 1.4em;
  color: #8F4E8B;
}