diff options
Diffstat (limited to 'docs/assets/js/google-code-prettify/prettify.css')
| -rw-r--r-- | docs/assets/js/google-code-prettify/prettify.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/assets/js/google-code-prettify/prettify.css b/docs/assets/js/google-code-prettify/prettify.css index c2031b594..f195124a9 100644 --- a/docs/assets/js/google-code-prettify/prettify.css +++ b/docs/assets/js/google-code-prettify/prettify.css @@ -31,7 +31,7 @@ ol.linenums { margin: 0 0 0 33px; /* IE indents via margin-left */ } ol.linenums li { - padding-left: 7px; + padding-left: 12px; color: #bebec5; line-height: 18px; text-shadow: 0 1px 0 #fff; |