| LEFT | RIGHT |
|---|
| 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 469 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 480 div.play .buttons a { | 480 div.play .buttons a { |
| 481 height: 16px; | 481 height: 16px; |
| 482 margin-left: 5px; | 482 margin-left: 5px; |
| 483 padding: 10px; | 483 padding: 10px; |
| 484 cursor: pointer; | 484 cursor: pointer; |
| 485 } | 485 } |
| 486 | 486 |
| 487 /* drop-down playground */ | 487 /* drop-down playground */ |
| 488 #playgroundButton, | 488 #playgroundButton, |
| 489 div#playground { | 489 div#playground { |
| 490 » /* start hidden */ | 490 » /* start hidden; revealed by javascript */ |
| 491 display: none; | 491 display: none; |
| 492 } | 492 } |
| 493 div#playground { | 493 div#playground { |
| 494 position: absolute; | 494 position: absolute; |
| 495 top: 63px; | 495 top: 63px; |
| 496 right: 20px; | 496 right: 20px; |
| 497 padding: 0 10px 10px 10px; | 497 padding: 0 10px 10px 10px; |
| 498 z-index: 1; | 498 z-index: 1; |
| 499 text-align: left; | 499 text-align: left; |
| 500 background: #E0EBF5; | 500 background: #E0EBF5; |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 533 div#page.wide { | 533 div#page.wide { |
| 534 position: fixed; | 534 position: fixed; |
| 535 top: 64px; /* to match topbar */ | 535 top: 64px; /* to match topbar */ |
| 536 bottom: 0px; | 536 bottom: 0px; |
| 537 overflow: auto; | 537 overflow: auto; |
| 538 margin-left: auto; | 538 margin-left: auto; |
| 539 margin-right: auto; | 539 margin-right: auto; |
| 540 } | 540 } |
| 541 } | 541 } |
| 542 | 542 |
| LEFT | RIGHT |
|---|
