| 1 | h1 { |
| 2 | font-size: 2em; |
| 3 | color: #4B4545; |
| 4 | text-align: center; |
| 5 | } |
| 6 | |
| 7 | textarea.textbox { |
| 8 | font-family: Monaco, "lucida console", Courier; |
| 9 | border: 1px solid #CCCCCC; |
| 10 | font-size: .60em; |
| 11 | padding: 2px 4px; |
| 12 | margin-top: .3em; |
| 13 | } |
| 14 | |
| 15 | input.textbox { |
| 16 | font-family: Monaco, "lucida console", Courier; |
| 17 | border: 1px solid #CCCCCC; |
| 18 | font-size: .60em; |
| 19 | padding: 2px 4px; |
| 20 | margin-top: .3em; |
| 21 | } |
| 22 | |
| 23 | #interpreter_area { |
| 24 | display: block; |
| 25 | border: 1px solid #CCCCCC; |
| 26 | padding: 2px 4px; |
| 27 | margin-top: .3em; |
| 28 | width: 600px; |
| 29 | height: 300px; |
| 30 | overflow: auto; |
| 31 | } |
| 32 | |
| 33 | #interpreter_output { |
| 34 | display: inline; |
| 35 | font-family: Monaco, "lucida console", Courier; |
| 36 | font-size: .60em; |
| 37 | } |
| 38 | |
| 39 | #interpreter_output span { |
| 40 | white-space: -moz-pre-wrap; /* Mozilla */ |
| 41 | white-space: -o-pre-wrap; /* Opera 7 */ |
| 42 | white-space: pre-wrap; /* CSS 2.1 */ |
| 43 | white-space: pre-line; /* CSS 3 (and 2.1 as well, actually) */ |
| 44 | word-wrap: break-word; /* IE */ |
| 45 | wrap-option: emergency; /* CSS 3 */ |
| 46 | } |
| 47 | |
| 48 | input.textbox:focus { background-color: #FFFEE3; } |
| 49 | |
| 50 | .code { color: blue; } |
| 51 | .data { color: black; } |
| 52 | .error { color: red; } |
| 53 | .banner { color: green; } |
| 54 | .invisible { display: none; } |