2017-03-10 20:41:36 +00:00
|
|
|
.widget {
|
|
|
|
width: 600px;
|
|
|
|
margin: 15px auto;
|
|
|
|
font-size: 12px;
|
|
|
|
line-height: 1.5;
|
|
|
|
}
|
|
|
|
|
|
|
|
.banner {
|
|
|
|
text-align: center;
|
|
|
|
font-size: 16px;
|
|
|
|
font-style: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
.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;
|
|
|
|
border: 1px solid black;
|
2017-03-12 16:33:15 +00:00
|
|
|
max-width: 420px;
|
|
|
|
min-width: 200px;
|
2017-03-10 20:41:36 +00:00
|
|
|
height: 290px;
|
|
|
|
font-family: monospace;
|
|
|
|
overflow: auto;
|
|
|
|
float: left;
|
2017-03-12 06:11:42 +00:00
|
|
|
/* disable size handle */
|
2017-03-10 20:41:36 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.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: 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;
|
|
|
|
}
|
2017-03-12 06:11:42 +00:00
|
|
|
|
|
|
|
@media (min-width: 600) {
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
@media (max-width: 200) {
|
|
|
|
|
|
|
|
}
|