/* Navigation bar */
nav{
    font-family: "IBM Plex Sans", sans-serif;
        font-optical-sizing: auto;
        font-weight: 500;
        font-style: normal;
    position: sticky;
    top: 0px;
    width: 100%;
}
    nav > ul{
        display: flex;
        list-style-type: none;
        justify-content: center;
    }
    nav > ul > li{
        margin: 10px;
    }
    a{
        transition: ease all 0.2s;
    }
    ul > li > a:visited, ul > li > a:link{
    color: black;
    }
    a:hover{
        opacity: 0.5;
        text-decoration: none;
    }
    a:active{
        text-decoration: line-through;
    }
        ul > li > a:active{
            color: crimson;
        }

/* BODY styling */
body{
    background-color: white;
}

main{
    display: flex;
    flex-direction: column;
    align-items: center;
    justify-content: center;
}

h1, h2, h3 {
    font-family: "IBM Plex Sans", sans-serif;
        font-optical-sizing: auto;
        font-weight: 250;
        font-style: normal;
    margin: 10px;
}
    h1{font-size: 60px;} 
    h2{font-size: 40px;} 
    h3{font-size: 30px; font-weight: 200;}

p{
    font-family: "IBM Plex Sans", sans-serif;
        font-optical-sizing: auto;
        font-weight: 300;
        font-style: normal;
        font-size: 25px;
    max-width: 800px;
    line-height: 2;
    margin: 10px;
    text-align: justify;
    text-justify: auto;
}

.in{
    color:green;
}

.out{
    color: crimson
}

.in:active{
    color: greenyellow;
}
.out:active{
    color: rgb(255, 43, 92);
}
.hidden{
    color: black;
    text-decoration: none;
}
.highlight{
    font-weight: 500;
}

#guide{
    position: absolute;
    top: 0px;
    left: 0px;
    cursor:context-menu;
    background-color: #d0ecff;
    -webkit-box-shadow: 5px 5px 0px 0px #289FED, 10px 10px 0px 0px #5FB8FF, 15px 15px 0px 0px #A1D8FF, 20px 20px 0px 0px #CAE6FF,(0,0,0,0); 
    box-shadow: 5px 5px 0px 0px #289FED, 10px 10px 0px 0px #5FB8FF, 15px 15px 0px 0px #A1D8FF, 20px 20px 0px 0px #CAE6FF;
}
    #guide > p{
        font-size: 13px;
    }
    