div.frame {
    overflow: auto;
    width: 100%;
    position: relative;
}

div.console {
    position: relative;
    background-color: #b5c9c6;
    overflow: visible;
    z-index: 12;
}

div.output, div.editor {
    position: absolute;
    background-color:white;
}

div.editor, div.repl {
    overflow: hidden;
}

div.output {
    overflow: hidden;
}  

div.outputhead {
    font-size: 70%;
    line-height: 90%;
    padding: 2px .4em;
    color: #7c9490;
    border-bottom: 1px solid #cdd;
    background-color: #eef4f4;
}

div.outputbutton {
    cursor: pointer;
    margin-left: .4em;
    float: right;
}

div.outputinner {
    overflow: auto;
}

div.outputinner pre {
    margin: 0;
    font-family: courier new, courier, monospace;
    padding: .2em .4em;
    font-size: 80%;
}

span.atomvalue {
    color: #488;
    font-weight: normal;
}

span.stringvalue {
    color: #a22;
    font-weight: normal;
}

span.functionvalue {
    color: #708;
    font-weight: normal;
}

span.objectvalue, span.arrayvalue {
    color: #272;
    font-weight: bold;
    cursor: pointer;
}

table.objecttable {
    border-spacing: 0;
}

table.objecttable th, table.objecttable td {
    font-size: 80%;
    padding: 0;
    white-space: pre;
}

table.objecttable th {
    color: #666;
    text-align: right;
    font-weight: normal;
    padding-right: .3em;
}

div.editor input {
    border: 0;
    padding: 2px;
    font-family: courier new, courier, monospace;
    font-size: 80%;
}

div.editor textarea {
    border: 0;
    padding: 3px;
}

#controls {
    position: absolute;
}

#controls select {
    width: 8em;
    vertical-align: top;
}

#controls button, #controls select {
    background-color: #b5c9c6;
    color: #3d4e4b;
    margin-right: .5em;
}

#controls button:hover, #controls select:hover {
    background-color: #d0e0de;
}

button.showhide, button.resize {
    border: 0;
    margin-left: .5em;
    height: 10px;
    vertical-align: top;
    padding: 0;
}

button.showhide {
    background-image: url(../img/show.png);
    width: 13px;
    cursor: pointer;
}

div.open button.showhide {
    background-image: url(../img/hide.png);
    width: 13px;
}

button.resize {
    background-image: url(../img/resize.png);
    width: 30px;
    cursor: n-resize;
}

div.console div.header {
    text-align: right;
    letter-spacing: .8em;
    font-size: 50%;
    color: #7c9490;
    font-weight: bold;
    font-family: times, serif;
    padding-top: 1px;
    padding-right: .5em;
}

div.console div.header span {
    cursor: pointer;
}

/* hand-made inset/outset borders to make them look non-ugly in IE */

#controls button, #controls select, div.console {
    border-width: 1px;
    border-style: solid;
    border-top-color: #e1ecea;
    border-left-color: #e1ecea;
    border-bottom-color: #7c9490;
    border-right-color: #7c9490;
}

div.output, div.editor, div.repl {
    border-width: 1px;
    border-style: solid;
    border-top-color: #7c9490;
    border-left-color: #7c9490;
    border-bottom-color: #e1ecea;
    border-right-color: #e1ecea;
}

button.codebutton {
    float: right;
    margin-top: -.25em;
    margin-left: .2em;
    height: 15px; 
    width: 15px; 
    padding: 0;
    border: 0;
    z-index: 11;
    position: relative;
}

button.run {
    background-image: url(../img/runcode_done.png);
    margin-right: -.25em;
}

pre.not-run button.run {
    background-image: url(../img/runcode.png);
}

button.load {
    background-image: url(../img/loadcode.png);
}

div.marker {
    position: absolute;
    width: 5px;
    height: 5px;
    background-color: red;
}

div.outputimage {
    position: relative;
    margin: .5em;
}

div.resizemarker {
    width: 100%;
    z-index: 15;
    background: transparent;
    border-bottom: 1px solid #444;
    position: absolute;
    left: 0;
}