/* colors ------------------------------------------------------------------- */

:root {
    font-size: 20px;
    --fg-color: #05000f;
    --bg-color: white;
    --weak-fg: #ddd;
    --weak-bg: #eee;
    --link-color: #0c8078;
    --link-hover-color: #86b0e7;
    --code-comment-color: #666;
    --code-literal-color: #942706;
    --code-type-color: #2a2296;
    --shadow-color: rgba(0, 0, 0, 0.2);
}

@media (prefers-color-scheme: dark) {
    :root {
        --fg-color: #d8d8d8;
        --bg-color: #05000f;
        --weak-fg: #25222f;
        --weak-bg: #15111f;
        --link-color: #70ad87;
        --link-hover-color: #77322c;
        --code-comment-color: #888;
        --code-literal-color: #39c;
        --code-type-color: #d62d49;
        --shadow-color: rgba(255, 255, 255, 0.1);
    }
}

/* layout and general styles ------------------------------------------------ */

body {
    background-color: var(--bg-color);
    color: var(--fg-color);
    font-family: "Noto Serif", Georgia, sans-serif;
    line-height: 1.5em;
    margin: auto;
    max-width: 700px;
    padding: 15px;
}

hr {
    border: none;
    border-top: 1px dotted var(--fg-color);
    margin: 2rem;
}

img {
    font-size: 16px;
    font-style: italic;
}

nav {
    border-top: 1px solid var(--fg-color);
    margin: 15px 0;
}

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

nav ul li {
    display: inline;
}

nav ul li a {
    color: var(--fg-color);
    display: inline-block;
    padding: 5px;
}

nav ul li a:hover {
    background-color: var(--link-hover-color);
    text-decoration: none;
}

/* text --------------------------------------------------------------------- */

a {
    color: var(--link-color);
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

a[href^="#"] {
    border-bottom: 1px dotted var(--link-color);
}

blockquote {
    border-left: 5px solid var(--weak-fg);
    margin-left: 0;
    padding-left: 35px;
    text-align: left;
}

h1 {
    font-size: 2.5rem;
}

h2 {
    font-size: 1.8rem;
    margin-top: 2em;
}

h3 {
    font-size: 1.5rem;
}

h1, h2, h3 {
    font-weight: normal;
    line-height: 1em;
}

/* code --------------------------------------------------------------------- */

code {
    background-color: var(--weak-bg);
    border: 1px solid var(--weak-fg);
    border-radius: 2px;
    padding: 0 6px;
}

code, pre {
    font: 0.9em "Noto Sans Mono", monospace, monospace;
}

kbd {
    background-color: var(--weak-bg);
    border: 1px solid var(--weak-fg);
    border-radius: 2px;
    box-shadow: 1px 1px 1px var(--shadow-color);
    padding: 0 2px;
}

pre {
    background-color: var(--weak-bg);
    border: 1px solid var(--weak-fg);
    overflow-x: auto;
    padding: 4px 8px;
}

pre .co {
    color: var(--code-comment-color);
}

pre .li {
    color: var(--code-literal-color);
}

pre .kw {
    font-weight: bold;
}

pre .ty {
    color: var(--code-type-color);
}