diff options
| author | Jacob Thornton <[email protected]> | 2012-01-07 10:56:28 -0800 |
|---|---|---|
| committer | Jacob Thornton <[email protected]> | 2012-01-07 10:56:28 -0800 |
| commit | 402c4800970e179b5c804b4964c51661ed02603c (patch) | |
| tree | a63e809cb182b47a521f7a1c68601b3051f1fa8b /docs/assets/js/google-code-prettify/prettify.css | |
| parent | fbb42ccbbbfcab985a2c588532511f4af324ebc1 (diff) | |
| parent | b6d50c892d6ae8ed42ff0bfbba4252c7dc47417e (diff) | |
| download | bootstrap-402c4800970e179b5c804b4964c51661ed02603c.tar.xz bootstrap-402c4800970e179b5c804b4964c51661ed02603c.zip | |
Merge branch '2.0-wip' of https://github.com/twitter/bootstrap into 2.0-wip
Diffstat (limited to 'docs/assets/js/google-code-prettify/prettify.css')
| -rw-r--r-- | docs/assets/js/google-code-prettify/prettify.css | 32 |
1 files changed, 25 insertions, 7 deletions
diff --git a/docs/assets/js/google-code-prettify/prettify.css b/docs/assets/js/google-code-prettify/prettify.css index 7ff618550..f195124a9 100644 --- a/docs/assets/js/google-code-prettify/prettify.css +++ b/docs/assets/js/google-code-prettify/prettify.css @@ -2,10 +2,10 @@ .lit { color: #195f91; } .pun, .opn, .clo { color: #93a1a1; } .fun { color: #dc322f; } -.str, .atv { color: #62C462; } -.kwd, .linenums .tag { color: #049CD9; } -.typ, .atn, .dec, .var { color: #EE5F5B; } -.pln { color: #93a1a1; } +.str, .atv { color: #D14; } +.kwd, .linenums .tag { color: #1e347b; } +.typ, .atn, .dec, .var { color: teal; } +.pln { color: #48484c; } pre.prettyprint { background-color: #fefbf3; padding: 9px; @@ -17,8 +17,26 @@ pre.prettyprint { background-color: #252525; } +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: #444; line-height: 18px; } +ol.linenums { + margin: 0 0 0 33px; /* IE indents via margin-left */ +} +ol.linenums li { + padding-left: 12px; + 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 |