| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124 | 
							- /*
 
-  * Derived from einaros's Sons of Obsidian theme at
 
-  * http://studiostyl.es/schemes/son-of-obsidian by
 
-  * Alex Ford of CodeTunnel:
 
-  * http://CodeTunnel.com/blog/post/71/google-code-prettify-obsidian-theme
 
-  */
 
- .str
 
- {
 
-     color: #EC7600;
 
- }
 
- .kwd
 
- {
 
-     color: #93C763;
 
- }
 
- .com
 
- {
 
-     color: #66747B;
 
- }
 
- .typ
 
- {
 
-     color: #678CB1;
 
- }
 
- .lit
 
- {
 
-     color: #FACD22;
 
- }
 
- .pun
 
- {
 
-     color: #F1F2F3;
 
- }
 
- .pln
 
- {
 
-     color: #F1F2F3;
 
- }
 
- .tag
 
- {
 
-     color: #8AC763;
 
- }
 
- .atn
 
- {
 
-     color: #E0E2E4;
 
- }
 
- .atv
 
- {
 
-     color: #EC7600;
 
- }
 
- .dec
 
- {
 
-     color: purple;
 
- }
 
- pre.prettyprint
 
- {
 
-     border: 0px solid #888;
 
- }
 
- ol.linenums
 
- {
 
-     margin-top: 0;
 
-     margin-bottom: 0;
 
- }
 
- .prettyprint {
 
-     background: #000;
 
-     border-radius: 3px;
 
-     padding: 1em 0;
 
-     overflow-x: scroll;
 
-     -webkit-overflow-scrolling: touch;
 
-     /*white-space: pre-wrap;*//*css-3*/
 
-     /*word-wrap: break-word;*//*Internet Explorer 5.5+*/
 
- }
 
- li.L0, li.L1, li.L2, li.L3, li.L4, li.L5, li.L6, li.L7, li.L8, li.L9
 
- {
 
-     color: #555;
 
-     list-style-type: decimal;
 
- }
 
- /*li.L1, li.L3, li.L5, li.L7, li.L9 {
 
-     background: #222;
 
- }*/
 
- @media print
 
- {
 
-     .str
 
-     {
 
-         color: #060;
 
-     }
 
-     .kwd
 
-     {
 
-         color: #006;
 
-         font-weight: bold;
 
-     }
 
-     .com
 
-     {
 
-         color: #600;
 
-         font-style: italic;
 
-     }
 
-     .typ
 
-     {
 
-         color: #404;
 
-         font-weight: bold;
 
-     }
 
-     .lit
 
-     {
 
-         color: #044;
 
-     }
 
-     .pun
 
-     {
 
-         color: #440;
 
-     }
 
-     .pln
 
-     {
 
-         color: #000;
 
-     }
 
-     .tag
 
-     {
 
-         color: #006;
 
-         font-weight: bold;
 
-     }
 
-     .atn
 
-     {
 
-         color: #404;
 
-     }
 
-     .atv
 
-     {
 
-         color: #060;
 
-     }
 
- }
 
 
  |