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

.buttons {
  width: 85px;
  margin: 0px;
  padding: 0px;
}

.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: 95%;
  height: 407px;
  font-family: monospace;
  overflow: auto;
  float: left;
}

.screen {
  float: right;
}

.debugger {
  border: 1px black 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: 100%;
  clear: both;
  margin-top: 300px;
  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: 95%;
  height: 100px;
}

.notes {
  margin: 0;
  margin-bottom: 10px;
  padding: 6px;
  padding-top: 5px;
  overflow: auto;
  width: 95%;
  text-align: left;
  font-size: 20px;
}

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