@import url('https://fonts.googleapis.com/css2?family=JetBrains+Mono:ital,wght@0,100..800;1,100..800&display=swap');

body {
  font-family: 'JetBrains Mono', monospace;
  font-optical-sizing: auto;
  font-weight: 400;
  font-style: normal;
  font-size: 1vw; /* 100%; */
  background-color: #222;
  color: #CCC;
  min-width: 400px;
  min-height: 200px;
  margin: 0;
}

header {
    position: fixed;
    width: 100%;
    top: 0;
    z-index: 1000;
    background-color: #333;
    color: #CCC;
    margin: 0;
    padding: 0;
    ul {
        display: flex;
        margin: 0;
        padding: 0;
        li {
            display: inline;
            a {
                padding: 0 1em;
                color: #CCC;
                text-decoration: none;
                span {
                    font-weight: bold;
                    text-transform: lowercase;
                    color: rgb(252, 172, 0); text-decoration: none; 
                }
            }
            a:hover {
                text-decoration: none;
            }
        }
        li:hover {
            background-color: #555;
        }
    }
}

main {
    padding: 0 1em;
    height: 100vh;
}

aside {
    top: 40px;
    height: 100vh;
    width: 200px;
    position: fixed;
    overflow-x: hidden;
}

article {
    /* margin-left: 200px;
    width: calc(100% - 240px); */
    overflow-y: auto;
    /* padding: 20px; */
    h1 {
        font-weight: 500;
        font-size: 100%;
        color: rgb(0, 172, 0);
        text-align: center;
        margin: 2em 0 1em 0;
        padding: 1em 0 1em 0;
        background-color: #333;
    }
    h2 {
        font-weight: 500;
        font-size: 100%;
        color: rgb(0, 172, 0);
        text-decoration: underline;
        margin: 2em 0 1em 0;
    }
    h3 {
        font-weight: 500;
        font-size: 100%;
        color: rgb(0, 172, 0);
        text-decoration: none;
        margin: 0;
    }
    h4 {
        font-weight: 500;
        font-size: 100%;
        text-decoration: underline;
        margin: 0;
    }
    a {
        color: #DDD;
        text-decoration: underline;
    }
}

.dithered-div pre {
    transform: scale(1, 0.5);
    display: inline-block;
}

#menu li {
    display: inline;
}

#post-list {
    margin-bottom: 1em;
    margin-top: 1em;
}

pre {
    margin: 2em 1em 2em 4em;
}

@media only screen and (max-width: 500px) {
    body {
        font-size: 4vw;
    }
    article {
        padding: 0;
    }
}

@media only screen and (max-width: 926px) {
    body {
        font-size: 4vw;
    }
    article {
        padding: 0;
    }
    /* aside {
        display: none;
        width: 0;
        position: relative;
    }
    article {
        margin-left: 0;
        width: 100%;
        background-color: #222;
        margin-left: 0;
        padding: 0;
    } */
}

@media only screen and (max-width: 1000px) {
    body {
        font-size: 2.3vw;
    }
}