.widget {
  width:600px;
  margin:30px auto;
  font-size:12px;
  line-height:1.5;
  padding-top:100px;
}

.buttons {
  margin:5px 0;
}

.start, .length {
  width:50px;
}

.widget pre {
  margin:0;
  padding:0;
  background:inherit;
  border:none;
}

.code {
  margin:0 0 6px 0;
  padding:6px;
  border:1px solid black;
  width:420px;
  height:290px;
  font-family:monospace;
  overflow:auto;
  float:left;
}

.screen {
  float:right;
}

.debugger {
  border:1px black solid;
  margin-top:6px;
  padding:3px;
  padding-top:8px;
  height:129px;
  width:158px;
  text-align:center;
  float:right;
}

.minidebugger {
  margin:0;
  margin-top:6px;
  padding:0;
  font-family:monospace;
  font-size:11px;
}

.monitorControls {
  width:587px;
  clear:both;
  margin-bottom:10px;
  padding:0;
}

.monitorControls input {
  margin-right:0.5em;
}

.monitor {
  margin:10px 0;
  padding:6px;
  border:1px solid #999;
  background-color:#ddd;
  width:587px;
  height:100px;
  overflow:auto;
  display:none;
}

.monitor-invalid {
  border:1px inset #c00;
  padding:2px 1px;
}

.messages {
  margin:0;
  padding:6px;
  border:1px solid #999;
  background-color:#eee;
  overflow:auto;
  width:587px;
  height:100px;
  text-align:left;
  font-size:12px;
  color:#444;
}