8 font-family: Monaco
, "lucida console", Courier
;
9 border: 1px solid
#CCCCCC;
16 font-family: Monaco
, "lucida console", Courier
;
17 border: 1px solid
#CCCCCC;
25 border: 1px solid
#CCCCCC;
35 font-family: Monaco
, "lucida console", Courier
;
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 */
48 input.textbox:focus
{ background-color: #FFFEE3; }
50 .code { color: blue
; }
51 .data { color: black
; }
52 .error { color: red
; }
53 .banner { color: green
; }
54 .invisible { display: none
; }