* {
    -moz-box-sizing: border-box;
    -webkit-box-sizing: border-box;
     box-sizing: border-box;
}

body {
    font-size: 100%;
    line-height: 1;
    font-family: Roboto, sans-serif;
    margin: 0;
    padding: 0;
    color: #000000;
}

a {
    color: #0002cd;
}

a:visited {
    color: #0002cd;
}

a:hover {
    color: #333333;
    text-decoration: none;
}

div#container {
    width: 90ch;
    margin-left: auto;
    margin-right: auto;
}

header {
    text-align: center;
}

header h1 {
    font-size: 2.5rem;
    font-family: Iosevka, monospace;
}

nav {
    font-family: Iosevka, monospace;
    font-size: 1.2rem;
    background-color: #f6eeff;
    padding: 0.5rem;
    text-align: center;
}

nav ul {
    list-style: none;
    margin: 0;
    padding: 0;
}

nav ul li {
    display: inline-block;
    margin: 0;
    padding: 0;
}

nav ul li:not(:first-child) {
    margin-left: 1rem;
}

nav a {
    font-weight: 800;
}

main {
    line-height: 1.25;
    font-size: 1.1rem;
}

main a:hover {
    color: #000;
    box-shadow: 0 0 0 2px #2222cc;
}

main h1 {
    padding: 0;
    border-bottom: 1px dashed #333;
    font-family: Mina, Iosevka, monospace;
    font-size: 2rem;
}

main h2 {
    padding: 0;
    font-family: Mina, Iosevka, monospace;
    font-size: 1.5rem;
}

dl {
    padding: 1rem;
    background-color: #f6f6f6;
}

dl dt {
    font-weight: 800;
}

dl dt:not(:first-child) {
    margin-top: 0.75rem;
}

dl dd {
    margin: 0;
    padding: 0;
}

footer {
    margin-top: 1rem;
    border-top: 1px solid #cccccc;
    padding-top: 1rem;
    margin-bottom: 1rem;
}

table, tr, td {
    margin: 0;
    padding: 0;
    border: 0;
}

dl.project-list {
    width: 100%;
    font-size: 1rem;
    padding: 0;
    margin: 0;
    background-color: #fff;
}

dl.project-list dt {
    width: 100%;
    margin-top: 1rem;
    padding: 0.5rem;
    display: block;
    background-color: #f0f0f0;
    border-top: 1px solid #999;
    border-left: 1px solid #999;
    border-right: 1px solid #999;
    font-family: Iosevka, monospace;
}

dl.project-list dd {
    width: 100%;
    padding: 0.5rem;
    border-bottom: 1px solid #999;
    border-left: 1px solid #999;
    border-right: 1px solid #999;
}

pre {
    font-family: Iosevka, monospace;
    font-size: 1rem;
    color: #000;
    padding: 0.5rem;
    border: 1px solid #ccc;
}