diff options
| author | Mark Otto <[email protected]> | 2011-09-02 22:09:49 -0700 |
|---|---|---|
| committer | Mark Otto <[email protected]> | 2011-09-02 22:09:49 -0700 |
| commit | 6d118411e1d456553baf5d09aea15ff13f7b8ef4 (patch) | |
| tree | ef84a750770f0b2efee65e204c3085e94cf8f120 /examples/assets/js/google-code-prettify/prettify.css | |
| parent | 162534139170e3416cb33a5b5c5093d4a2a5e8f0 (diff) | |
| parent | 3c9c85b1ed85ae633d4b94f421020b84d24d9a5c (diff) | |
| download | bootstrap-6d118411e1d456553baf5d09aea15ff13f7b8ef4.tar.xz bootstrap-6d118411e1d456553baf5d09aea15ff13f7b8ef4.zip | |
resolve conflict
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, 41 insertions, 0 deletions
diff --git a/examples/assets/js/google-code-prettify/prettify.css b/examples/assets/js/google-code-prettify/prettify.css new file mode 100644 index 000000000..da6b6e7e1 --- /dev/null +++ b/examples/assets/js/google-code-prettify/prettify.css @@ -0,0 +1,41 @@ +.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 |