pre.prettyprint {
  border: 1px solid #ccc;
  margin-bottom: 0;
  padding: 9.5px;
  overflow-x: scroll;
}

ol.linenums {
  width: fit-content;
}