:root {
    --bg: #fdfbea;
    --fg: #622f2c;
    --link: #B55D39;
    --comment: #888;
    --border: #888;
}

body {
    margin: 0;
    background-color: var(--bg);
    color: var(--fg);
    font-family: Hasklig;
    line-height: 1.4;
    font-size: 1.2em;
    padding: 1em;
}

main {
    margin: 0 auto;
    padding: 2em 0em;
    max-width: 800px;
}


h1 {
    text-align: center;
}

a {
    color: var(--link);
}

pre a {
    color: inherit;
}

a:not(:hover) {
    text-decoration: none;
}

a.alt {
    display: block;
    text-decoration: none;
    padding: 0.2em;
}

a.alt h3 {
    font-size: 1em;
    color: var(--fg);
    font-weight: normal;
}

a.alt:hover h3 {
    color: var(--link);
    text-decoration: underline;
}

a.alt span {
    color: var(--comment);
    float: right;
    margin-right: 1.3em;
}

@font-face {
    font-family: Hasklig;
    src: url(Hasklig-Regular.ttf);
}

.about {
    border: 1px var(--border) solid;
    padding: 0em 2em;
}

pre:not(.nocode) {
    margin: 1em 0;
    padding: 0.8em;
    margin-bottom: 2em;
    border: 1px var(--border) solid;

    overflow: scroll;
}

pre, code {
    font-family: Hasklig !important;
}

div.ascii pre {
    width: 5.4em;
    margin: 0 auto;
}

nav {
    display: flex;
    flex-wrap: wrap;

    gap: 1.2em;
}

nav.center {
    justify-content: center;
}

div {
    margin: 0;
}

div.links {
    border: 1px solid var(--fg);
}

div.index div {
    display: inline-block;
    margin-bottom: 1em;
}

td {
    padding-right: 1em;
}

li {
    list-style: circle;
}

a.alt:hover li {
    list-style: disc;
}