body {
font-family: "Monaco", "Courier New", monospace;
font-size: 12px;
+ line-height: 1.5;
margin: 0;
background-color: #fff;
color: #000000;
---------------------------------------------------------------------------- */
.patchset {
- overflow: auto;
+ overflow-x: auto;
+ overflow-y: hidden;
}
.chunk_header {