diff options
| author | Mark Otto <markdotto@gmail.com> | 2012-01-07 13:03:26 +0400 |
|---|---|---|
| committer | Mark Otto <markdotto@gmail.com> | 2012-01-07 13:03:26 +0400 |
| commit | d6a1402f2af5111e11a87a6029b642dc0b814854 (patch) | |
| tree | e00d943ecc552656c43fd240a3e3b3a792be37ed /docs/assets/js/google-code-prettify | |
| parent | bcf1136f2c8236cd3fa28eac7e57a9a3fc17d104 (diff) | |
update form shadows and tweak prettyprint styles
Diffstat (limited to 'docs/assets/js/google-code-prettify')
| -rw-r--r-- | docs/assets/js/google-code-prettify/prettify.css | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/docs/assets/js/google-code-prettify/prettify.css b/docs/assets/js/google-code-prettify/prettify.css index e3bbf8b6cb..c2031b5940 100644 --- a/docs/assets/js/google-code-prettify/prettify.css +++ b/docs/assets/js/google-code-prettify/prettify.css @@ -21,10 +21,22 @@ pre.prettyprint { padding: 8px; background-color: #f7f7f9; border: 1px solid #e1e1e8; + -webkit-box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0; + -moz-box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0; + box-shadow: inset 40px 0 0 #fbfbfc, inset 41px 0 0 #ececf0; } /* Specify class=linenums on a pre to get line numbering */ -ol.linenums { margin: 0 0 0 40px; } /* IE indents via margin-left */ -ol.linenums li { color: #bebec5; line-height: 18px; text-shadow: 0 1px 0 #fff; } +ol.linenums { + margin: 0 0 0 33px; /* IE indents via margin-left */ +} +ol.linenums li { + padding-left: 7px; + color: #bebec5; + line-height: 18px; + text-shadow: 0 1px 0 #fff; +} /* Alternate shading for lines */ -li.L1, li.L3, li.L5, li.L7, li.L9 { }
\ No newline at end of file +li.L1, li.L3, li.L5, li.L7, li.L9 { + +}
\ No newline at end of file |