* {
    box-sizing: border-box;
    font-family: Segoe UI, serif;
    scroll-behavior: smooth;
}

.josefin-sans {
    font-family: "Josefin Sans", sans-serif;
    font-optical-sizing: auto;
    font-weight: 400;
    font-style: normal;
}

#navbar {
    position: fixed;
    top: 0;
    left: 0;
    width: 20vw;
    float: left;
    font-size: 1.2rem;
}

#navbar header {
    width: 100%;
    font-size: 2rem;
    text-align: center;
    padding: 20px 0 30px 0;
    border-bottom: 1px solid black;
    font-weight: bold;
}

#navbar ul {
    list-style-type: none;
    padding: 0;
    margin: 0;
}

#navbar ul li {
    display: block;
    width: 100%;
    padding: 10px 0 20px 40px;
    margin: 10px 0;
    border-bottom: 1px solid black;
}

#navbar a {
    color: black;
    text-decoration: none;
    cursor: pointer;
}

#main-doc {
    width: 79vw;
    position: absolute;
    top: 0;
    left: 20vw;
    border-left: 2px solid black;
    padding-left: 2vw;
    padding-right: 5vw;
    font-size: 1.2rem;
}

#main-doc header {
    font-size: 2rem;
    padding: 30px 0 0 10px;
    font-weight: bold;
}


#main-doc code {
    font-family: monospace;
    width: 60%;
    display: block;
    padding: 10px;
    background-color: rgba(0,0,0,0.10);
    margin: 10px auto 10px 20px;
}

.highlight {
    font-family: monospace;
    background-color: rgba(0,0,0,0.10);
    padding: 0 5px;
    border-radius: 10%;
}

.comment {
    font-family: monospace;
    color: forestgreen;
}

@media (max-width: 1000px) {
    #navbar {
        width: 15vw;
    }

    #main-doc {
        width: 85vw;
        left: 15vw;
    }
}

#go-back {
    font-family: "Josefin Sans", sans-serif;
    width: 16vw;
    text-align: center;
    position: absolute;
    bottom: -10rem;
    left: -1vw;
    margin: 1rem 0 0 1rem;
    padding: 1rem 1.5rem 0.5rem;
    font-size: 2.5rem;
    color: #222222;
    transition: left 0.2s ease-out, background-color 0.2s ease-out, color 0.2s ease-out;
}

#go-back:hover {
    left: 1vw;
    background-color: #222222;
    color: white;
    cursor: pointer;
}

.code {
    font-family: "Josefin Sans", sans-serif;
    color: white;
    font-weight: bold;
    transition: color 0.2s ease-out;
    position: relative;
    top: -0.3rem;
}

/*TODO test the @ rule and add more*/