* {
    padding: 0;
    margin: 0;
}

#top-container {
    background: lightgrey;

    height: 100vh;
    width: 100vw; 

    display: flex;
    flex-direction: column;
    justify-content: space-around;
    align-items: center;
}

#top-container > div {
        display: flex;
        flex-direction: column;
        justify-content: space-around;
        align-items: center;
    }

#top-container button {
        padding: 1vh;
        font-size: 3vh;
        cursor: pointer;
        border-width: 0.2vh;
        border-radius: 1vh;
    }

#top-container button:hover {
        background-color: lightblue;
    }

#top-container #top-buttons, #top-container #page-buttons {
        height: 9.5vh;
        flex-direction: row;
    }

#top-container #top-buttons button, #top-container #page-buttons button {
            margin-right: 5vw;
            margin-left: 5vw;
        }

#top-container #binary {
        border-top: 0.5vh black solid;
        border-bottom: 0.5vh black solid;
        font-family: monospace, monospace;
        font-size: 7.5vh;
        height: 80vh;
        width: 100vw;
    }

#top-container #binary .colorless {
            color: black !important;
        }

#top-container #content-container {
        border-top: 0.5vh black solid;
        border-bottom: 0.5vh black solid;
        height: 80vh;
        width: 100vw; 
        display: flex;
        flex-direction: row;
        justify-content: left;
    }

#top-container #content-container #jasfile {
            font-size: 2vh;
            width: 25vw;
            margin: 2vh;
            margin-left: 10vh;
        }

#top-container #content-container #stacks { 
            width: 65vw;
            display: flex;
            flex-direction: row;
            align-items: center;
            justify-content: space-around;
            font-size: 4vh;
        }

#top-container #content-container #stacks #stack-portion, #top-container #content-container #stacks #locals-portion{
                height: 60vh;
                display: flex;
                flex-direction: column;
                align-items: center;
                justify-content: flex-end;
            }

#top-container #content-container #stacks #stack-portion #full-stack, #top-container #content-container #stacks #stack-portion #local-vars, #top-container #content-container #stacks #locals-portion #full-stack, #top-container #content-container #stacks #locals-portion #local-vars  {
                    width: 15vw;
                    display: flex;
                    flex-direction: column-reverse;
                    justify-content: flex-start;
                }

#top-container #content-container #stacks #stack-portion #full-stack > div, #top-container #content-container #stacks #stack-portion #local-vars > div, #top-container #content-container #stacks #locals-portion #full-stack > div, #top-container #content-container #stacks #locals-portion #local-vars > div {
                        border: 0.3vh solid black;
                        border-bottom: 0;
                        padding: 0.5vh;
                        display: flex;
                        flex-direction: row;
                        justify-content: space-between;
                        background-color: lightblue;
                    }

#top-container #content-container #stacks #stack-portion #full-stack .locals, #top-container #content-container #stacks #stack-portion #local-vars .locals, #top-container #content-container #stacks #locals-portion #full-stack .locals, #top-container #content-container #stacks #locals-portion #local-vars .locals {
                        background-color: pink;
                    }

#top-container #content-container #stacks #stack-portion #stack-label, #top-container #content-container #stacks #stack-portion #locals-label, #top-container #content-container #stacks #locals-portion #stack-label, #top-container #content-container #stacks #locals-portion #locals-label {
                    width: 25vw ;
                    border-top: 0.3vh solid black;
                    text-align: center;
                }

#top-container #content-container #binary-stacks {
            display: flex;
            flex-direction: column;
            align-items: center;
            width: 65vw;
            height: 75vh;
        }

#top-container #content-container #binary-stacks #method-binary {
                height: 15vh;
                font-size: 3vh;
                font-family: monospace, monospace;
                -webkit-user-select: none;
                   -moz-user-select: none;
                        user-select: none;
            }

#top-container #content-container #binary-stacks #method-binary span {
                    cursor: pointer;
                }

#top-container #content-container #laura {
            width: 50vw;
            height: 95%;
        }

#top-container #content-container #laura h2 {
                text-align: center;
                font-size: 4vh;
            }

#top-container #content-container #laura {
            display: flex;
            flex-direction: column;
            align-items: center;
}

#top-container #content-container #laura div {
                width: 40vw;
            }

#top-container #content-container #laura div p {
                    font-size: 3vh;
                    padding-top: 1vh;
                    padding-bottom: 1vh;
                    font-weight: bold;
                }

#top-container #content-container #laura div ul {
                    font-size: 2.1vh;
                }

#top-container #content-container #dynamic-qs {
            width: 50vw;
            height: 95%;
        }

span:hover {
    background-color: lightblue;
    cursor: default;
}

.selected, .bin-click {
    background-color: red !important;
    color: white !important;
}

.clickable {
    cursor: pointer;
    background-color: rgba(255, 207, 214, 0.415);
}

.bin-click:hover {
    background-color: red !important;
}

.magic {
    color: purple;
}
.const {
    color: red;
}
.text {
    color: blue;
}

.hidden {
    visibility: hidden;
}