| OLD | NEW |
| 1 /* Pretty printing styles. Used with prettify.js. */ | 1 /* Pretty printing styles. Used with prettify.js. */ |
| 2 | 2 |
| 3 /* SPAN elements with the classes below are added by prettyprint. */ | 3 /* SPAN elements with the classes below are added by prettyprint. */ |
| 4 .pln { color: #000 } /* plain text */ | 4 .pln { color: #000 } /* plain text */ |
| 5 | 5 |
| 6 @media screen { | 6 @media screen { |
| 7 .str { color: #080 } /* string content */ | 7 .str { color: #080 } /* string content */ |
| 8 .kwd { color: #008 } /* a keyword */ | 8 .kwd { color: #008 } /* a keyword */ |
| 9 .com { color: #800 } /* a comment */ | 9 .com { color: #800 } /* a comment */ |
| 10 .typ { color: #606 } /* a type name */ | 10 .typ { color: #606 } /* a type name */ |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 43 li.L5, | 43 li.L5, |
| 44 li.L6, | 44 li.L6, |
| 45 li.L7, | 45 li.L7, |
| 46 li.L8 { list-style-type: none } | 46 li.L8 { list-style-type: none } |
| 47 /* Alternate shading for lines */ | 47 /* Alternate shading for lines */ |
| 48 li.L1, | 48 li.L1, |
| 49 li.L3, | 49 li.L3, |
| 50 li.L5, | 50 li.L5, |
| 51 li.L7, | 51 li.L7, |
| 52 li.L9 { background: #eee } | 52 li.L9 { background: #eee } |
| OLD | NEW |