.editorComponent{
    height: 100%; display: flex
}

.editorExamples{
    height: 100%;
    width: 200px;
    overflow-x: hidden;
    overflow-y: scroll;
}

.editorColumnSplitter{
    flex: none;
}

.editorCenter{
    flex: 1;
    display:flex;
    flex-direction: column;
    padding-left: 5px;
}

.editorCenterHeader{
    width: 100%;
    flex: none;
    padding-bottom: 5px;
}

.editorCenterBody{
    overflow: scroll;
    flex: 3;
    display: flex;
    flex-direction: column;
}

.editorInterpreter {
    height: auto;
}

#editor {
    height: 100%;
    font-size: 20px;
}

.editorContainer{
    flex: 1;
    min-height: 600px;
}

.editorRowSplitter{
    width: 100%;
    flex: none;
}

.editorCenterFooter{
    flex: 1;
    min-height:0;
}


.editorCenterFooter > div{
    display: flex;
    flex-direction: column;
    max-height: 100%;
}

.nav-tabs{
    flex: none;
}

.tab-content{
    flex: 1;
    overflow-y: scroll;
}

.editorArguments{
    height: 100%;
    width: 200px;
}


.property:hover{
    background-color: lightblue;
}

.ace-idle-fingers .ace_marker-layer .ace_active-line {
    background: #080808 !important;
}

.ace_gutter-cell.ace_error:before{
    content: '\f057';
    font-family: FontAwesome;
    margin-left: -20px;
    color: red;
}

.ace_gutter-cell.ace_error {
    background-image: none !important;
}

.ace_gutter-cell.ace_info:before{
    content: '\f058';
    font-family: FontAwesome;
    margin-left: -20px;
    color: green;
}
.ace_gutter-cell.ace_info {
    background-image: none !important;;
}

.ace_gutter-cell.ace_warning:before{
    content: '\f0eb';
    font-family: FontAwesome;
    margin-left: -20px;
    color: orange;
}

.ace_gutter-cell.ace_warning {
    background-image: none !important;;
}

.error{
    color: red;
    font-size: 20px;
}
.info{
    color: green;
    font-size: 20px;
}
.warning{
    color: orange;
    font-size: 20px;
}

.ace-idle-fingers .ace_property{
    color: lightgreen;
    font-style: italic;
}

.ace-idle-fingers .ace_contract{
    color: lightgreen;
    font-style: italic;
}

.ace-idle-fingers .ace_main{
    color: lightcoral;
}

.ace-xcode .ace_property{
    color: #375e37;
    font-style: italic;
}

.ace-xcode .ace_contract{
    color: #375e37;
    font-style: italic;
}

.ace-xcode .ace_main{
    color: #b65b5b;
}