.pure-menu-children {
    background-color: #f3ebeb;
}

.dirli {
    color: blue;
}

#editor {
    z-index: 10;
    height: 90vh;
}

#fm {
    z-index: 9;
    height: 50vh;
    width: 50vw;
    position: fixed;
    top: 50%;
    background-color: rgb(245, 247, 247);

}

.fli {
    margin-bottom: 1em;
}

#debug {
    z-index: 11;
    background-color: linen;
    width: 70vw;
    position: fixed;
    top: 20vh;
    right: 0;
}

#objDisplayer {
    width: 100%;
    height: 70vh;
    overflow: scroll;
}


.hidden {
    display: none !important;
}

.rightAligned {
    right: 0;
}

.spiner {
    width: 3em;
    height: 3em;
    position: fixed;
    right: 0;
    top: 0;
}

.spiner>img {
    width: inherit;
    height: inherit;
}