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 |