html, body {
    width: 100%;
    height: 100%;
    margin: 0;
}
body {
    display: flex;
    flex-direction: column;
}
.controls {
    padding-top: 20px;
    display: flex;
    justify-content: space-evenly;
    align-content: center;
}
.control {
    padding: 10px;
    display: flex;
    justify-content: center;
}
.icon {
    font-size: 50px;
    border: 1px solid #ddd;
    border-width: 1px 0;
}
.left {
    border-radius: 10px 0 0 10px;
}
.right {
    border-radius: 0 10px 10px 0;
}
.rounded {
    border-radius: 10px;
}
.disable {
    color: grey;
    cursor: default;
}
.enable {
    color: black;
    cursor: pointer;
}
.button {
    width: 35px;
    height: 35px;
    background: #f2f2f2;
    font-size: 36px;
    padding: 8px 5px 8px 5px;
    border: 1px solid #ddd;
    vertical-align: middle;
    text-align: center;
}
input {
    height: 53px;
    width: 70px;
    font-size: 36px;
    border: 1px solid #ddd;
    border-width: 1px 0;
    vertical-align: middle;
    text-align: center;
}
#editorContainer {
    flex-grow: 1;
    overscroll-behavior: contain; // NEEDED? How to disable refresh/back?
}
#animationBackground {
    display: none;
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background-color: rgba(112,128,144,0.7);
    z-index: 100;
}
#animation {
    border-radius: 25px;
    position: relative;
    top: 10%;
    margin: auto;
    width: 80%;
    height: 80%;
    background-color: white;
    z-index: 10;
    overflow: hidden;
}