2 * nice plain version.. - white background..
7 color: #160296; /* deep blue */
12 .source-code.plain .comment {
13 color: #8e8d8e; /* light grey */
17 .source-code.plain .comment .todo {
22 .source-code.plain .tag {
23 color: #115f13; /* deep green */
26 .source-code.plain .identifier {
27 color: #115f13; /* deep green */
31 .source-code.plain .keyword {
32 color: #160296; /* deep blue */
36 .source-code.plain .keyword.builtin {
37 color: #160296; /* deep blue */
41 .source-code.plain .keyword.operator {
42 color: #160296; /* deep blue */
45 .source-code.plain .number {
46 color: #63c2f0; /* cyan */
49 .source-code.plain .string {
50 color: #b5249b; /* purple */
55 .source-code.plain::-moz-selection,
56 .source-code.plain span::-moz-selection {
61 .source-code.plain::selection,
62 .source-code.plain span::selection {