body {
    background-color: #D0ECEA;
    font-family: helvetica, sans-serif;
    background-image: url("bgAlpha.png");
}
.mainview {
    /* The border around the main program */

width: 800px;
    padding: 30px 30px 6px;
    background-color: #333;
    border-top-left-radius: 20px;
    border-top-right-radius: 20px;
    margin: 0px auto;
    box-shadow: inset 0 0 30px #444;
}
.statusline {
    text-align: center;
}
#tickCounter {
    float: left;
    width: 300px;
}
#counts {
    float: right;
    width: 300px;
    text-align: right;
}
.statusitem {
    display: inline-block;
    color: #fff;
    font-size: 16px;
    margin-top: 5px;
}
.control {
    margin-top: 0px;
    margin-bottom: 0px;
    color: #66f;
    text-align: center;
    cursor: pointer;
}
.control:hover {
    color: #99f;
}
h1 {
    text-align: center;
    margin: 0px 0px 5px;
    color: #3B0819;
}
.inputboxes, .logboxes, .uploadboxes {
    margin: 0px auto;
    width: 1000px;
    background-color: #3a3a3a;
}
.inputboxes {
    height: 400px;
}
.logboxes {
    height: 50px;
    padding-bottom: 10px;
    border-top-left-radius: 20px;
    border-top-right-radius: 20px;
}
.uploadboxes {
    height: 30px;
    padding-top: 10px;
    border-bottom-left-radius: 20px;
    border-bottom-right-radius: 20px;
}
.upload {
    color: #fff;
    display: inline-block;
    /* height: 50px; */
    text-align: center;
}

#uploadleft {
    width: 495px;
    float: left;
}
#uploadright {
    width: 495px;
    float: right;
}
.logbox {
    display: inline-block;
    height: 50px;
}
.logbox .ace_cursor-layer, .logbox .ace_active-line {
    visibility: hidden;
}
.input {
    display: inline-block;
    height: 400px;
}
#logboxleft {
    width: 495px;
    float: left;
    border-top-left-radius: 20px;
}
#logboxright {
    width: 495px;
    float: right;
    border-top-right-radius: 20px;
}
#inputleft {
    width: 495px;
    float: left;
    /* border-bottom-left-radius: 20px; */
}
#inputright {
    width: 495px;
    float: right;
    /* border-bottom-right-radius: 20px; */
}
#tlCount {
    color: #d24451;
    font-weight: bold;
}
#brCount {
    color: #4c7d96;
    font-weight: bold;
}

#tlExtra {
    color: #d24451;
    font-weight: bold;
}
#brExtra {
    color: #4c7d96;
    font-weight: bold;
}

.readme {
    background-color: #fff;
    width: 960px;
    margin: 10px auto;
    padding: 20px;
    border-radius: 20px;
}

pre {
    background-color: #272822;
    color: #ffffff;
    padding: 20px;
    border-radius: 20px;
    border: #ccc 2px solid;
}
.c{color: #A6E22E ;}
.n{color: #ffffff ;}
.k{color: #F92672 ;}
.s{color: #FD971F ;}