diff options
| author | Mark Otto <[email protected]> | 2011-09-06 23:30:45 -0700 |
|---|---|---|
| committer | Mark Otto <[email protected]> | 2011-09-06 23:30:45 -0700 |
| commit | daf903f8478644a642971fd8d87e7db81d64bde0 (patch) | |
| tree | dbae65acf25417b95d09de13c7b396c4447c6c8c /examples/assets/js/google-code-prettify/prettify.css | |
| parent | d640c3b14b78bd17407ba123cbc718a6e34bb5d5 (diff) | |
| parent | fb8987148aeae4b9aa2b4c28fa3ad5346b8c56b1 (diff) | |
| download | bootstrap-daf903f8478644a642971fd8d87e7db81d64bde0.tar.xz bootstrap-daf903f8478644a642971fd8d87e7db81d64bde0.zip | |
Merge branch '1.3-wip' of github.com:twitter/bootstrap into 1.3-wip
Diffstat (limited to 'examples/assets/js/google-code-prettify/prettify.css')
| -rw-r--r-- | examples/assets/js/google-code-prettify/prettify.css | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/examples/assets/js/google-code-prettify/prettify.css b/examples/assets/js/google-code-prettify/prettify.css deleted file mode 100644 index da6b6e7e1..000000000 --- a/examples/assets/js/google-code-prettify/prettify.css +++ /dev/null @@ -1,41 +0,0 @@ -.com { color: #93a1a1; } -.lit { color: #195f91; } -.pun, .opn, .clo { color: #93a1a1; } -.fun { color: #dc322f; } -.str, .atv { color: #268bd2; } -.kwd, .tag { color: #195f91; } -.typ, .atn, .dec, .var { color: #CB4B16; } -.pln { color: #93a1a1; } -pre.prettyprint { - background: #fefbf3; - padding: 9px; - border: 1px solid rgba(0,0,0,.2); - -webkit-box-shadow: 0 1px 2px rgba(0,0,0,.1); - -moz-box-shadow: 0 1px 2px rgba(0,0,0,.1); - box-shadow: 0 1px 2px rgba(0,0,0,.1); -} - -/* 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: rgba(0,0,0,.15); line-height: 20px; } -/* Alternate shading for lines */ -li.L1, li.L3, li.L5, li.L7, li.L9 { } - -/* -$base03: #002b36; -$base02: #073642; -$base01: #586e75; -$base00: #657b83; -$base0: #839496; -$base1: #93a1a1; -$base2: #eee8d5; -$base3: #fdf6e3; -$yellow: #b58900; -$orange: #cb4b16; -$red: #dc322f; -$magenta: #d33682; -$violet: #6c71c4; -$blue: #268bd2; -$cyan: #2aa198; -$green: #859900; -*/
\ No newline at end of file |