/* google/code-prettify override */
.prettyprint {
  overflow: auto;
}

.linenums {
  padding-left: 40px;
}

.linenums > li {
  list-style-type: decimal !important;
  margin-bottom: 0;
}