mochikit_v14/examples/interpreter/interpreter.css

   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; }