body {
    padding:0;
    margin:0;
    width:100%;
    height:100%;
    overflow:hidden;
    display: flex;
    flex-direction: row;
}

#interactive {
    width:30%;
    height:100%;
    min-width: 310px;
    border-right: 1px solid lightgray;
    display: flex;
    flex-direction:column;
}

#header {
    padding: 0 10px;
    flex-shrink:0;
}

#codeWrapper {
    border-top: 1px solid lightgray;
    flex-grow: 1;
    overflow: hidden;
}

#editor {
    width: 70%;
    height: 100%;
}

.form-control {
    height: 22px;
    width: 100px;
    background: white;
    border: 1px solid darkgray;
    border-radius: 4px;
}

#runButton {
    border-color: #568356;
}
#runButton:hover {
    box-shadow: 0px 0px 2px 1px #568356;
}
#runButton:active {
    background-color: #f7f7f7;
}