diff options
| author | Mark Otto <markdotto@gmail.com> | 2012-01-07 13:22:52 +0400 |
|---|---|---|
| committer | Mark Otto <markdotto@gmail.com> | 2012-01-07 13:22:52 +0400 |
| commit | 45d671d97f4d448780729bbb6357e9ec776f980c (patch) | |
| tree | 466c03c63b82a9ced2260a01c753b889fa48fb08 /docs/assets/js/google-code-prettify | |
| parent | e23448ab1b2cc627a3cab54406ffce6c915297b6 (diff) | |
tweak spacing once more on prettify; add support for uneditable inputs to input-append and prepend
Diffstat (limited to 'docs/assets/js/google-code-prettify')
| -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 c2031b5940..f195124a9b 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; |