body {
    background: #333;
    color: #888;
    font-family: Helvetica, Sans-Serif;
}

.error {
    background-color: #993333;
    color: #cccccc;
}

.under-button {
    font-variant: small-caps;
    font-size: 8pt;
    text-align: center;
}

.health {
 height: 5px;
 background-color: #55FF55;
 width: 100%;
}

canvas {
    border: 3px solid black;
    width: 100%;
    height: 100%;
    background-color: #888;
}

.ace_editor {
    position: relative !important;
    /*border: 1px solid lightgray;*/
    /*height: 600px;*/
    /*width: 85%;*/
    font-family: "Monaco", "Menlo", "Ubuntu Mono", "Droid Sans Mono", "Consolas", monospace !important;
    font-size: 12px !important;
    font-weight: 400 !important;
    letter-spacing: 0 !important;
}

.debug {
    background-color: #888;
    margin-top: 30px;
    width: 80%;
}

.center {
    margin: auto;
}

.label {
    position: absolute;
    border: 2px solid;
    padding-top: 1px;
    padding-bottom: 1px;
    padding-left: 4px;
    padding-right: 4px;
    border-color: #666666;
    border-radius: 7px;
    font-variant: small-caps;
    font-size: 9pt;
}

.step {
    position: relative;
    width: 900px;
    padding: 40px;
    margin: 20px auto;

    /*font-family: 'PT Serif', georgia, serif;*/
    font-size: 48px;
    line-height: 1.5;
}