html,
body {
    height: 100%;
    margin: 0;
    padding: 0;
    overflow: hidden;
    font-family: sans-serif;
}

.column_container {
    display: flex;
    flex-direction: row;
    height: 100%;
    justify-content: space-between;
    align-items: flex-start;
}

.column {
    border: 1px solid black;
    height: 100%;
    padding: 10px;
    width: 50%;
    box-sizing: border-box;
}

.emscripten {
    padding-right: 0;
    margin-left: auto;
    margin-right: auto;
    display: block;
}

textarea.emscripten {
    font-family: monospace;
    width: 80%;
}

textarea.lua_input {
    font-family: monospace;
    width: 100%;
    height: 100%;
}

.tab-row {
    display: flex;
    justify-content: center;
    margin-bottom: 10px;
}

span.tab {
    background-color: #f1f1f1;
    border: 1px solid #ccc;
    padding: 10px;
    cursor: pointer;
    margin-right: 5px;
    border-radius: 5px;
}

span.tab:hover {
    background-color: #ccc;
}

span.tab.selected {
    background-color: #ccc;
}

.palette-viewer {
    width: 100%;
    height: 90%;
    overflow: auto;
    background-color: #050505;
    border: 1px solid #ccc;
    border-radius: 5px;
}

.palette-viewer img.palette-icon {
    width: 50px;
    height: 50px;
    margin: 5px;
    border-radius: 5px;
    cursor: pointer;
    box-sizing: border-box;
}

div.emscripten {
    text-align: center;
}

div.emscripten_border {
    border: 1px solid black;
}

/* the canvas *must not* have any border or padding, or mouse coords will be wrong */
canvas.emscripten {
    border: 0px none;
    background-color: black;
}

.spinner {
    height: 50px;
    width: 50px;
    margin: 0px auto;
    -webkit-animation: rotation .8s linear infinite;
    -moz-animation: rotation .8s linear infinite;
    -o-animation: rotation .8s linear infinite;
    animation: rotation 0.8s linear infinite;
    border-left: 10px solid rgb(0, 150, 240);
    border-right: 10px solid rgb(0, 150, 240);
    border-bottom: 10px solid rgb(0, 150, 240);
    border-top: 10px solid rgb(100, 0, 200);
    border-radius: 100%;
    background-color: rgb(200, 100, 250);
}

@-webkit-keyframes rotation {
    from {
        -webkit-transform: rotate(0deg);
    }

    to {
        -webkit-transform: rotate(360deg);
    }
}

@-moz-keyframes rotation {
    from {
        -moz-transform: rotate(0deg);
    }

    to {
        -moz-transform: rotate(360deg);
    }
}

@-o-keyframes rotation {
    from {
        -o-transform: rotate(0deg);
    }

    to {
        -o-transform: rotate(360deg);
    }
}

@keyframes rotation {
    from {
        transform: rotate(0deg);
    }

    to {
        transform: rotate(360deg);
    }
}