diff options
Diffstat (limited to 'docs/manual/style')
| -rw-r--r-- | docs/manual/style/css/prettify.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manual/style/css/prettify.css b/docs/manual/style/css/prettify.css index 2df6d6c91a..012a8e9ff2 100644 --- a/docs/manual/style/css/prettify.css +++ b/docs/manual/style/css/prettify.css @@ -32,7 +32,7 @@ } /* Put a border around prettyprinted code snippets. */ -pre.prettyprint { padding: 2px; border: 1px solid #888; tab-size: 4; overflow: scroll; } +pre.prettyprint { padding: 2px; border: 1px solid #888; tab-size: 4; overflow: auto; overflow-y: hidden; } /* Specify class=linenums on a pre to get line numbering */ ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */ |