ex: none
    }
    #window {
        margin: 0;
        width: 100%;
        height: 100%;
    }
    #IDE {
        background-color: #000000;
    }
    #tutorial {
        padding-top: 25px;
        padding-right: 25px;
        padding-bottom: 25px;
        padding-left: 25px;
    }
    #terminal {
        height: 75%;
        overflow: hidden;
    }
    .ace_layer ace_gutter-layer ace_folding-enabled {
        background-color: #000000;
    }
    .navbar-header {
        margin-top: 5px
    }
    .navbar-