body {
    background-color: rgb(10, 10, 10);
    max-width: 80%;
    margin: auto;
    color: white;
    font-family: 'Open Sans', sans-serif;
    height: calc(100vh + 50px);
}

a {
    color: yellow;
}

button.left {
    left: 2vw;
}

button.right {
    right: 2vw;
}

button.right, button.left {
    position: fixed;
    height: 50px;
    background: transparent;
    border: none;
    color: white;
    font-size: 24px;
    cursor: pointer;
}

button.term {
    background: none;
    border: solid white 1px;
    color: white;
    padding: 0.5em;
    vertical-align: middle;
    cursor: pointer;
}

button.term:hover {
    background: white;
    color: black;
}

.w3-center {
    text-align: center;
}

.w3-content {
    margin-left: auto;
    margin-right: auto;
    width: 80%;
}

#output img {
    width: 60vw;
}

.repl {
    border: none;
    width: 100%;
    height: 70vh;
}

.nav {
    display: flex;
    max-width: 100%;
    margin: auto;
    justify-content: center;
    align-items: center;
}

.active {
    background-color: blue;
}

.ps1 {
    float: left;
    font-size: 24px;
    font-family: monospace;
    color: rgb(42, 97, 42);
    width: 15%;
    padding-right: 20px;
}

#input {
    border: none;
    background: transparent;
    caret-color: gray;
    color: rgb(0, 163, 0);
    height: 10vh;
    width: 80%;
    font-weight: bold;
    font-size: 24px;
    font-family: monospace;
    float: left;
}

#input:focus, #controls > button:focus {
    outline: 0;
}

#controls {
    display: flex;
    max-width: 80%;
    margin: auto;
    height: 30px;
    bottom: 15px;
    position: fixed;
}

#controls > button {
    float: left;
    background-color: rgb(42, 97, 42);
    color: black;
    border: 0;
    margin: 1px;
}

#controls > #autoplay {
    background-color: green;
}

.posts {
    display: flex;
    flex-wrap: wrap;
    gap: 20px;
}

.post {
    background-color: rgba(255, 255, 255, 0.1);
    padding: 20px;
    border-radius: 5px;
    flex: 0 0 calc(33.33% - 40px);
}

.post h3 {
    font-size: 24px;
    color: white;
    margin-top: 0;
}

.post p {
    font-size: 16px;
    color: rgba(255, 255, 255, 0.8);
}

.post img {
    max-width: 100%;
    height: auto;
    border-radius: 5px;
}