diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/manual/style/css/prettify.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/manual/style/css/prettify.css b/docs/manual/style/css/prettify.css index 46646cb16d..2df6d6c91a 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; } +pre.prettyprint { padding: 2px; border: 1px solid #888; tab-size: 4; overflow: scroll; } /* Specify class=linenums on a pre to get line numbering */ ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */ @@ -118,4 +118,4 @@ pre.lang-perl{ .lang-perl .lit { color: #088 } /* a literal */ .lang-perl .str { color: #009606 } /* string content */ .lang-perl .kwd { color: #00C; font-weight: bold } /* a keyword */ -.lang-perl .typ { color: #808 } /* a type name */
\ No newline at end of file +.lang-perl .typ { color: #808 } /* a type name */ |