| #console { | |
| margin-right: 50px; | |
| } | |
| #output { | |
| font-family: monospace; | |
| font-size: 10pt; | |
| margin: 0; | |
| padding: 3px; | |
| height: 100%; | |
| width: 100%; | |
| white-space: -moz-pre-wrap; | |
| white-space: -pre-wrap; | |
| white-space: -o-pre-wrap; | |
| white-space: pre-wrap; | |
| word-wrap: break-word; | |
| } | |
| #code_text { | |
| font-family: monospace, sans-serif; | |
| font-size: 1.1em; | |
| height: 300px; | |
| margin: 10px 0px; | |
| width: 100%; | |
| } |