body {
    background-color: black; color: #4c4;
    font-size: 14pt; font-family: Consolas, Menlo, Monaco, Lucida Sans Typewriter, fixed;
    white-space: pre-wrap;
}
h1, h2, h3, h4 {
    color: #228
}
ul, ul > li { text-align: left }
ul { padding: 0em 2em }
#textinput {
    position: fixed; bottom: 10pt; width: 100%; left: 10pt;
    background-color: black; color: #8c0;
    font-size: 16pt; font-family: Consolas, Menlo, Monaco, Lucida Sans Typewriter, fixed;
    border: 1px solid green; padding: 2px
}
pre.output {
    white-space:pre-wrap;
}
code {
    font-family: Consolas, Menlo, Monaco, Lucida Sans Typewriter, fixed;
}
.userInput { color: #8c0 }
#cmdspace { height: 2em; padding-top: 1em }
.error { color: red }
.warning { color: yellow }
span.help { color: #aaa; font-family: "Copperplate Gothic Bold"; font-size: 2vh }
hr { color: blue; background-color: orange; border-color: #0cc }
b { color: #dd0 }
i { color: #08c }
canvas#graphics, #presentation {
    position: fixed; left: 0; top: 0;
    background-color: transparent;
    max-width: 100%; width: 100%; height: 100%
}
canvas#graphics { z-index: 2; display: none }
#presentation.running {
    background-color: white;
    opacity: 1.0;
    display: block;
}
#presentation {
    z-index: 1;
    display: none;
    color: black;
    font-family: Cronos Pro, Trebuchet, Helvetica, Arial, sans-serif;
    font-size: 5vh;
    text-align: center;
    padding: 0em 0em;
}
#presentation > p {
    padding: 0em 2em;
}
#presentation b {
    color: #228
}
#scratchpad .request {
    text-align: left;
    color: #444;
    padding: 0 0;
    margin: 0 0 0 2em;
}
pre#scratchpad {
    font-size: 4vh;
    color: blue;
    background-color: #eee;
    border: 0.2em solid gray;
    padding: 0.5em 0.5em;
    margin: 0 1em 0 1em;
    min-height: 1em;
    overflow: scroll;
    max-height: 100%;
    text-align: left;
    white-space: pre-wrap;
}
#scratchpad .output {
    margin: 0 0 0 4em
}

div.editor {
    z-index: 3;
    border: 3px solid green;
    position: fixed;
    left: 10;
    top: 10;
    width: 80%;
    height: 60%;
    background-color: #222;
    color: #8c4;
}
div.editor textarea {
    width: 100%;
    height: 100%;
    border: none;
    background-color: #222;
    font-size: 14pt; font-family: Consolas, Menlo, Monaco, Lucida Sans Typewriter, fixed;
    color: #4ca;
}
div.editor button {
    position: absolute;
    right: 0;
    bottom: 0;
    background-color: #444;
    border-top: 2px solid green;
    border-left: 2px solid green;
    border-right: none;
    border-bottom: none;
    color: #4c4;
}