.widget {
    margin: 30px auto;
}

.buttons {
    margin: 8px 0;
}

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

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

.code {
    margin: 0 0 6px 0;
    padding: 6px;
    overflow: auto;
    height: 550px;
    width: 100%;
    font-size: 13px;
}

.screen {
    width: 100%;
}

.debugger {
    padding-top: 8px;
    text-align: center;
}

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

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

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

.monitor {
    background-color: #ededed;
    overflow: auto;
    min-height: 200px;
    padding: 20px;
    display: none;
}

.messages {
    margin: 0;
    padding: 20px;
    background-color: #ededed;
    overflow: auto;
    width: 100%;
    height: 200px;
    text-align: left;
    color: #444;
}