Moxie
2015-11-23 67834872ddd5630b9c30c53c2972f5dcbf3dd5aa
commit | author | age
48fe87 1 /* GitHub Theme */
M 2 /* Pretty printing styles. Used with prettify.js. */
3 /* SPAN elements with the classes below are added by prettyprint. */
4 /* plain text */
5 .pln {
6   color: #333333;
7 }
8
9 @media screen {
10   /* string content */
11   .str {
12     color: #dd1144;
13   }
14
15   /* a keyword */
16   .kwd {
17     color: #333333;
18   }
19
20   /* a comment */
21   .com {
22     color: #999988;
23   }
24
25   /* a type name */
26   .typ {
27     color: #445588;
28   }
29
30   /* a literal value */
31   .lit {
32     color: #445588;
33   }
34
35   /* punctuation */
36   .pun {
37     color: #333333;
38   }
39
40   /* lisp open bracket */
41   .opn {
42     color: #333333;
43   }
44
45   /* lisp close bracket */
46   .clo {
47     color: #333333;
48   }
49
50   /* a markup tag name */
51   .tag {
52     color: navy;
53   }
54
55   /* a markup attribute name */
56   .atn {
57     color: teal;
58   }
59
60   /* a markup attribute value */
61   .atv {
62     color: #dd1144;
63   }
64
65   /* a declaration */
66   .dec {
67     color: #333333;
68   }
69
70   /* a variable name */
71   .var {
72     color: teal;
73   }
74
75   /* a function name */
76   .fun {
77     color: #990000;
78   }
79 }
80 /* Use higher contrast and text-weight for printable form. */
81 @media print, projection {
82   .str {
83     color: #006600;
84   }
85
86   .kwd {
87     color: #006;
88     font-weight: bold;
89   }
90
91   .com {
92     color: #600;
93     font-style: italic;
94   }
95
96   .typ {
97     color: #404;
98     font-weight: bold;
99   }
100
101   .lit {
102     color: #004444;
103   }
104
105   .pun, .opn, .clo {
106     color: #444400;
107   }
108
109   .tag {
110     color: #006;
111     font-weight: bold;
112   }
113
114   .atn {
115     color: #440044;
116   }
117
118   .atv {
119     color: #006600;
120   }
121 }
122 /* Style */
123 pre.prettyprint {
124   background: white;
125   border: 1px solid #cccccc;
126   padding: 10px;
127 }
128
129 /* Specify class=linenums on a pre to get line numbering */
130 ol.linenums {
131   margin-top: 0;
132   margin-bottom: 0;
133 }
134
135 /* IE indents via margin-left */
136 li.L0,
137 li.L1,
138 li.L2,
139 li.L3,
140 li.L4,
141 li.L5,
142 li.L6,
143 li.L7,
144 li.L8,
145 li.L9 {
146   /* */
147 }
148
149 /* Alternate shading for lines */
150 li.L1,
151 li.L3,
152 li.L5,
153 li.L7,
154 li.L9 {
155   /* */
156 }