OLD | NEW |
1 body { | 1 body { |
2 margin: 0; | 2 margin: 0; |
3 font-family: Helvetica, Arial, sans-serif; | 3 font-family: Helvetica, Arial, sans-serif; |
4 font-size: 16px; | 4 font-size: 16px; |
5 } | 5 } |
6 pre, | 6 pre, |
7 code { | 7 code { |
8 font-family: Menlo, monospace; | 8 font-family: Menlo, monospace; |
9 font-size: 14px; | 9 font-size: 14px; |
10 } | 10 } |
(...skipping 143 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
154 | 154 |
155 div#footer { | 155 div#footer { |
156 color: #666; | 156 color: #666; |
157 font-size: 14px; | 157 font-size: 14px; |
158 margin: 40px 0; | 158 margin: 40px 0; |
159 } | 159 } |
160 | 160 |
161 div#menu > a, | 161 div#menu > a, |
162 div#menu > input, | 162 div#menu > input, |
163 div#learn .buttons a, | 163 div#learn .buttons a, |
| 164 div.play .buttons a, |
164 div#blog .read a { | 165 div#blog .read a { |
165 padding: 10px; | 166 padding: 10px; |
166 | 167 |
167 text-decoration: none; | 168 text-decoration: none; |
168 font-size: 16px; | 169 font-size: 16px; |
169 | 170 |
170 -webkit-border-radius: 5px; | 171 -webkit-border-radius: 5px; |
171 -moz-border-radius: 5px; | 172 -moz-border-radius: 5px; |
172 border-radius: 5px; | 173 border-radius: 5px; |
173 } | 174 } |
174 div#menu > a, | 175 div#menu > a, |
175 div#menu > input { | 176 div#menu > input { |
176 border: 1px solid #375EAB; | 177 border: 1px solid #375EAB; |
177 } | 178 } |
178 div#menu > a { | 179 div#menu > a { |
179 color: white; | 180 color: white; |
180 background: #375EAB; | 181 background: #375EAB; |
181 } | 182 } |
182 a#start, | 183 a#start, |
183 div#learn .buttons a, | 184 div#learn .buttons a, |
| 185 div.play .buttons a, |
184 div#blog .read a { | 186 div#blog .read a { |
185 color: #222; | 187 color: #222; |
186 border: 1px solid #375EAB; | 188 border: 1px solid #375EAB; |
187 background: #E0EBF5; | 189 background: #E0EBF5; |
188 } | 190 } |
189 | 191 |
190 div#menu { | 192 div#menu { |
191 float: right; | 193 float: right; |
192 min-width: 590px; | 194 min-width: 590px; |
193 padding: 10px 0; | 195 padding: 10px 0; |
(...skipping 190 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
384 .pkgGopher { | 386 .pkgGopher { |
385 text-align: right; | 387 text-align: right; |
386 } | 388 } |
387 .pkgGopher .gopher { | 389 .pkgGopher .gopher { |
388 float: none; | 390 float: none; |
389 position: relative; | 391 position: relative; |
390 top: -40px; | 392 top: -40px; |
391 margin-bottom: -120px; | 393 margin-bottom: -120px; |
392 } | 394 } |
393 h2 { clear: right; } | 395 h2 { clear: right; } |
| 396 |
| 397 div.play { |
| 398 padding: 0 20px 40px 20px; |
| 399 } |
| 400 div.play pre, |
| 401 div.play textarea, |
| 402 div.play .lines { |
| 403 padding: 0; |
| 404 margin: 0; |
| 405 font-family: Menlo, monospace; |
| 406 font-size: 14px; |
| 407 } |
| 408 div.play .input { |
| 409 padding: 10px; |
| 410 margin-top: 10px; |
| 411 |
| 412 -webkit-border-top-left-radius: 5px; |
| 413 -webkit-border-top-right-radius: 5px; |
| 414 -moz-border-radius-topleft: 5px; |
| 415 -moz-border-radius-topright: 5px; |
| 416 border-top-left-radius: 5px; |
| 417 border-top-right-radius: 5px; |
| 418 |
| 419 overflow: hidden; |
| 420 } |
| 421 div.play .input textarea { |
| 422 width: 100%; |
| 423 height: 100%; |
| 424 border: none; |
| 425 outline: none; |
| 426 resize: none; |
| 427 |
| 428 overflow: hidden; |
| 429 } |
| 430 div.play .output { |
| 431 border-top: none !important; |
| 432 |
| 433 padding: 10px; |
| 434 max-height: 200px; |
| 435 overflow: auto; |
| 436 |
| 437 -webkit-border-bottom-right-radius: 5px; |
| 438 -webkit-border-bottom-left-radius: 5px; |
| 439 -moz-border-radius-bottomright: 5px; |
| 440 -moz-border-radius-bottomleft: 5px; |
| 441 border-bottom-right-radius: 5px; |
| 442 border-bottom-left-radius: 5px; |
| 443 } |
| 444 div.play .output pre { |
| 445 padding: 0; |
| 446 |
| 447 -webkit-border-radius: 0; |
| 448 -moz-border-radius: 0; |
| 449 border-radius: 0; |
| 450 } |
| 451 div.play .input, |
| 452 div.play .input textarea, |
| 453 div.play .output, |
| 454 div.play .output pre { |
| 455 background: #FFFFD8; |
| 456 } |
| 457 div.play .input, |
| 458 div.play .output { |
| 459 border: 1px solid #375EAB; |
| 460 } |
| 461 div.play .buttons { |
| 462 float: right; |
| 463 padding: 20px 0 10px 0; |
| 464 text-align: right; |
| 465 } |
| 466 div.play .buttons a { |
| 467 height: 16px; |
| 468 margin-left: 5px; |
| 469 padding: 10px; |
| 470 cursor: pointer; |
| 471 } |
OLD | NEW |