div#world {
    width:1280px;
    height:720px;
    border: 1px solid #ccc;
}

div#code {
    float:left;
    position: relative;
    width: 720px;
    height: 720px;
}

div#ostr_outer {
    float: left;
    position: relative;
    width: 560px;
    height: 560px;
    background-color: #224;
}

div#ostr {
    margin: 5px 10px;
    height: 560px;
}


div#repl_outer {
    float: left;
    position: relative;
    width: 560px;
    height: 160px;
    background-color: #112;
}

div#repl {
    margin: 5px 10px;
    height: 160px;
}

/* div#boom { */
/*     float: left; */
/*     position: relative; */
/*     width: 160px; */
/*     height: 160px; */
/*     background-color: #211; */
/* } */