pre .token-line {
  height: 1.5em;
}