:root{
    --main-text: rgb(100, 40, 211);
}

body{
    font-family: Jetbrains Mono NF, monospace;
    background-color: #001400;
    background-image: repeating-linear-gradient(
        to bottom,
        #001400 0 6px,
        #003800 6px 7px
    );
    background-attachment: fixed;
    color: rgb(100, 40, 211);
}

div.container {
    background-color: purple;
    padding-bottom: 10px;
}
div.container h1 {
    padding: 10px;
}
#88x31{
    margin-top: 10px;
}
#theme-toggle {
    position: fixed;
    top: 1rem;
    right: 1rem;
    z-index: 999;
}

p {
    margin-left: 40px;
}

#project, .title, #legend{
    margin-left: 20px;
}

.nolist li {
    list-style-type: none;
    margin-left: 20px;
}

.list li{
  list-style-type: disc;
  margin-left:20px;
}

#projects a, #downloads  a{
    color: rgb(100, 40, 211);
    text-decoration: none;
    display: block;
    padding-bottom: 5px;
}

#projects a:hover, #downloads a:hover {
    text-decoration: dashed underline;
    text-decoration-color: rgb(115, 255, 0);
}

#88x31 nav {
    text-align: center;
}

#88x31 nav a {
    display: inline-block;
}