OLD | NEW |
---|---|
1 /* Reset */ | 1 /* Reset */ |
2 body, h1, h2, h3, h4, p, pre, section { | 2 body, h1, h2, h3, h4, p, pre, section { |
3 margin: 0; | 3 margin: 0; |
4 padding: 0; | 4 padding: 0; |
5 } | 5 } |
6 | 6 |
7 body { | 7 body { |
8 font-family: Georgia, serif; | 8 font-family: Georgia, serif; |
9 background: #eee; | 9 background: #eee; |
10 color: #333; | 10 color: #333; |
(...skipping 13 matching lines...) Expand all Loading... | |
24 | 24 |
25 h3 { | 25 h3 { |
26 font: 600 14px/22px 'Open Sans', 'Lucida Sans Unicode', 'Lucida Grande', | 26 font: 600 14px/22px 'Open Sans', 'Lucida Sans Unicode', 'Lucida Grande', |
27 sans-serif; | 27 sans-serif; |
28 color: #999; | 28 color: #999; |
29 margin: 22px 0 0 0; | 29 margin: 22px 0 0 0; |
30 } | 30 } |
31 | 31 |
32 h4 { | 32 h4 { |
33 font: 600 16px/22px 'Open Sans', 'Lucida Sans Unicode', 'Lucida Grande', | 33 font: 600 16px/22px 'Open Sans', 'Lucida Sans Unicode', 'Lucida Grande', |
34 sans-serif; | 34 sans-serif; |
Jacob
2011/11/16 19:59:30
tweak the CSS so you only have to specify the font
jimhug
2011/11/17 16:59:44
+1!! Of course, what I'd really like is "use a co
Bob Nystrom
2011/11/17 20:44:21
My (unstated) plan was to do this CSS file the dum
| |
35 } | 35 } |
36 | 36 |
37 p { | 37 p { |
38 font-size: 16px; | 38 font-size: 16px; |
39 line-height: 22px; | 39 line-height: 22px; |
40 margin: 22px 0; | 40 margin: 22px 0; |
41 } | 41 } |
42 | 42 |
43 strong { | 43 strong { |
44 font-weight: 700; | 44 font-weight: 700; |
(...skipping 98 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
143 } | 143 } |
144 | 144 |
145 .anchor-link:hover, | 145 .anchor-link:hover, |
146 .show-code:hover { | 146 .show-code:hover { |
147 color: hsl(40, 100%, 60%); | 147 color: hsl(40, 100%, 60%); |
148 } | 148 } |
149 | 149 |
150 /* Syntax highlighting. */ | 150 /* Syntax highlighting. */ |
151 /* Note: these correspond to the constants in classify.dart. */ | 151 /* Note: these correspond to the constants in classify.dart. */ |
152 pre.source .e { color: hsl( 0, 100%, 70%); } /* Error */ | 152 pre.source .e { color: hsl( 0, 100%, 70%); } /* Error */ |
153 pre.source .c { color: hsl(220, 20%, 65%); } /* Comment */ | 153 pre.source .c { color: hsl(220, 20%, 65%); } /* Comment */ |
Jacob
2011/11/16 19:59:30
drive by comments:
us #rgb or #rrggbb colors inste
jimhug
2011/11/17 16:59:44
Hmm... I really liked the hsl colors here when I
Bob Nystrom
2011/11/17 20:44:21
I'm familiar with both but I find hsl much easier
| |
154 pre.source .i { color: hsl(220, 20%, 20%); } /* Identifier */ | 154 pre.source .i { color: hsl(220, 20%, 20%); } /* Identifier */ |
155 pre.source .k { color: hsl(220, 100%, 50%); } /* Keyword */ | 155 pre.source .k { color: hsl(220, 100%, 50%); } /* Keyword */ |
156 pre.source .p { color: hsl(220, 20%, 50%); } /* Punctuation */ | 156 pre.source .p { color: hsl(220, 20%, 50%); } /* Punctuation */ |
157 pre.source .o { color: hsl(220, 40%, 50%); } /* Operator */ | 157 pre.source .o { color: hsl(220, 40%, 50%); } /* Operator */ |
158 pre.source .s { color: hsl( 40, 90%, 40%); } /* String */ | 158 pre.source .s { color: hsl( 40, 90%, 40%); } /* String */ |
159 pre.source .n { color: hsl( 30, 70%, 50%); } /* Number */ | 159 pre.source .n { color: hsl( 30, 70%, 50%); } /* Number */ |
160 pre.source .t { color: hsl(180, 40%, 40%); } /* Type Name */ | 160 pre.source .t { color: hsl(180, 40%, 40%); } /* Type Name */ |
161 pre.source .r { color: hsl(200, 100%, 50%); } /* Special Identifier */ | 161 pre.source .r { color: hsl(200, 100%, 50%); } /* Special Identifier */ |
162 pre.source .a { color: hsl(220, 100%, 45%); } /* Arrow */ | 162 pre.source .a { color: hsl(220, 100%, 45%); } /* Arrow */ |
163 | 163 |
164 /* Interpolated expressions within strings. */ | 164 /* Interpolated expressions within strings. */ |
165 pre.source .si { | 165 pre.source .si { |
166 background: hsl(40, 100%, 90%); | 166 background: hsl(40, 100%, 90%); |
167 } | 167 } |
168 | 168 |
169 pre.source .s.si { background: hsl(40, 80%, 95%); } | 169 pre.source .s.si { background: hsl(40, 80%, 95%); } |
170 pre.source .i.si { color: hsl(40, 30%, 30%); } | 170 pre.source .i.si { color: hsl(40, 30%, 30%); } |
171 pre.source .p.si { color: hsl(40, 60%, 40%); } | 171 pre.source .p.si { color: hsl(40, 60%, 40%); } |
172 | 172 |
173 /* Enable these to debug the grid: */ | 173 /* Enable these to debug the grid: */ |
174 | 174 |
175 /* | 175 /* |
176 body { | 176 body { |
177 background: url('grid-22.png') top left repeat; | 177 background: -webkit-linear-gradient(top, #eee 0, #fff 10%, #fff 90%, #eee 100% ); |
Jacob
2011/11/16 19:59:30
add gradient definitions for moz, ie, and opera as
jimhug
2011/11/17 16:59:44
Or... wait a couple of weeks for Terry's tool to
Bob Nystrom
2011/11/17 20:44:21
What Jim said! :)
| |
178 background-size: 22px 22px; | |
179 background-repeat: repeat; | |
178 } | 180 } |
179 | 181 |
180 .content { | 182 .content { |
181 background: none; | 183 background: none; |
182 } | 184 } |
183 | 185 |
184 h1 { | 186 h1 { |
185 border-left: solid 4px green; | 187 border-left: solid 4px green; |
186 } | 188 } |
187 | 189 |
(...skipping 10 matching lines...) Expand all Loading... | |
198 } | 200 } |
199 | 201 |
200 p { | 202 p { |
201 border-left: solid 4px purple; | 203 border-left: solid 4px purple; |
202 } | 204 } |
203 | 205 |
204 section { | 206 section { |
205 border-left: solid 4px gray; | 207 border-left: solid 4px gray; |
206 } | 208 } |
207 */ | 209 */ |
OLD | NEW |