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

.buttons {
  margin: 8px 0;
}

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

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

.buttons [type='button'] {
  border: 1px solid #999;
  border-radius: 2px;
  color: #eee;
  background-color: #444;
  padding: 3px 10px;
}
.buttons [type='button'][disabled] {
  color: #777;
}
.buttons [type='button']:not(:last-child) {
  margin-right: 5px;
}

.monitorControls .start,
.monitorControls .length {
  border: 1px solid #999;
  border-radius: 2px;
  color: #eee;
  background-color: #444;
  padding-left: 5px;
  line-height: 1.4;
}

.code {
  color: #f8f8f8;
  background-color: #444;
  margin: 0 0 6px 0;
  padding: 6px;
  border: 1px solid #999;
  width: 420px;
  height: 290px;
  font-family: monospace;
  font-size: 14px;
  overflow: auto;
  float: left;
}

.screen {
  float: right;
}

.debugger {
  border: 1px #999 solid;
  margin-top: 6px;
  padding: 3px;
  padding-top: 8px;
  height: 125px;
  width: 152px;
  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: #333;
  color: #f8f8f8;
  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: #333;
  color: #f8f8f8;
  overflow: auto;
  width: 587px;
  height: 100px;
  text-align: left;
  font-size: 12px;
}