#app {
    padding: 0;
    margin: 0;
    display: flex;
    min-width:100vw;
    min-height:100vh;
    height: 100%;
    width: 100%;
}

#app-loading {
    align-items: center;
    justify-content: center;
    height: 100%;
    width: 100%;
}

#loading-logo {
    width: 250px;
}

.CodeMirror {
    /* Set height, width, borders, and global font properties here */
    font-family: monospace;
    height: auto;
    color: black;
    direction: ltr;
}