textarea {
     -webkit-box-sizing: border-box; /* Safari/Chrome, other WebKit */
     -moz-box-sizing: border-box;    /* Firefox, other Gecko */
     box-sizing: border-box;         /* Opera/IE 8+ */
}

#container {
width:100%;
height: 75%;
margin: auto;
}


#editor {
float:none;
width:100%;
height:100%;
font-size:110%;
}

#controls {
width:10%;
float:none;
}

#console {
width:100%;
height:100%;
float:none;
}