@@ -289,7 +289,7 @@ property on the headline itself.")
}
pre.src {
position: relative;
- overflow: visible;
+ overflow: auto;
padding-top: 1.2em;
pre.src:before {