pre.console {
    background: rgba(300, 300, 300, 0.7);
    color: black;
    text-align: left;
    padding: 15px;
    font-family: "Monaco", monospace;
    font-weight: bold;
    font-size: 10pt;
}

textarea.js-code-to-run {
    border: 1px solid #335;
    padding: 10px 10px 0px 10px;
    width: 560px;
    resize: vertical;
    font-family: "Monaco", monospace;
    font-size: 10pt;
    height: 30px;
}

/* console colors */
pre.console span.info  { color: #004AA0; }
pre.console span.debug  { color: #004AA0; }
pre.console span.error { color: red; }
pre.console span.warn  { color: rgb(255, 133, 0); }