body {
  font-family: "Courier New",Courier,monospace;
  font-size: 10pt;
}
.sequence {
    width: 41em;
    word-wrap: break-word;
}