body {
    color: #cdd6f4;
    background-color: #181825;
    font-family: monospace; 
    font-size: 1.2em;
    line-height: 1.5;
    margin: 1rem;
    max-width: 768px;
    margin-right: 8em;
}

header {
    border-bottom: 1px solid #222;
    margin-bottom: 1rem;
}

footer {
    border-top: 1px solid #222;
    margin-top: 1rem;
}

a {
    color: #94e2d5;
    text-decoration: none;
}

.navbar {
    position: fixed;
    right: 0;
    top: 0;
    background-color: #1e1e2e;
    bottom: 0;
    width: 5.5em;
}

.navbar > ul {
    list-style-type: none;
    padding-left: 0.5em;
}

.navbar > ul > li > a {
    transition: color 200ms;
    font-size: 100%;
}

.navbar > ul > li > a:hover {
    color: #ffffff;
}

.separator {
    border-top: 1px solid #222; 
    margin-top: 1rem;
}