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 d437aff62..7d8406654 100644 --- a/docs/assets/js/google-code-prettify/prettify.css +++ b/docs/assets/js/google-code-prettify/prettify.css @@ -20,7 +20,7 @@ /* Specify class=linenums on a pre to get line numbering */ ol.linenums { - margin: 0 0 0 33px; /* IE indents via margin-left */ + margin: 0 0 0 40px; /* IE indents via margin-left */ } ol.linenums li { padding-left: 12px; |