html {
    margin: 0;
    padding: 50px 0 0;
    background-color: rgb(20, 25, 42);
    font-family: "JetBrains Mono", monospace;
    color: rgb(184, 184, 184);
}

header {
    height: 50px;
    width: 100vw;
    position: fixed;
    top: 0;
    left: 0;
    background-color: rgb(12, 15, 26);
    z-index: 10000;
}

a {
    text-decoration: none;
    color: rgb(210, 210, 210);
}

a:hover {
    color: rgb(250, 250, 250);
}


#back-to-home a:first-child:before {
    font-family: "Font Awesome 5 Free";
    content: "\f105";
    font-size: 0.8em;
}

#back-to-home a:first-child {
    font-size: 2em;
}

#back-to-home {
    font-size: 1.5em;
    font-weight: bold;
}