@import "highlight.css";

:root {
    --color-bg: #ffffff;
    --color-text: #000000;
    --color-link: #0366d6;
    --color-heading: #000000;
    --color-border: rgba(128, 128, 128, 0.2);
    --color-border-strong: rgba(128, 128, 128, 0.4);
    --color-code-bg: transparent;
}

body {
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", sans-serif;
    max-width: 820px;
    margin: auto;
    padding: 20px;
    line-height: 1.5;
    overflow-wrap: break-word;
    background-color: var(--color-bg);
    color: var(--color-text);
}

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

a:hover {
    text-decoration: underline;
}

:focus-visible {
    outline: 2px solid var(--color-link);
    outline-offset: 2px;
}

h1, h2, h3 {
    font-weight: normal;
    color: var(--color-heading);
}

p, ul {
    max-width: 720px;
}

pre {
    padding: 1rem;
    overflow: auto;
    border-top: 1px solid var(--color-border-strong);
    border-bottom: 1px solid var(--color-border-strong);
    background-color: var(--color-code-bg);
}

code {
    font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, Courier, monospace;
    font-size: 85%;
    line-height: 1.45;
}

table {
    border-spacing: 0;
    border-collapse: collapse;
    width: 100%;
}

.table-wrapper {
    overflow: auto;
}

th, td {
    padding: 6px 13px;
    border: 1px solid var(--color-border);
}

.navbar {
    display: flex;
    justify-content: space-between;
    align-items: center;
    max-width: 720px;
}

.nav-links {
    list-style: none;
    display: flex;
    flex-wrap: wrap;
}

.nav-item {
    display: inline-block;
    padding: 10px 15px;
}

.logo {
    height: 3rem;
    vertical-align: middle;
}

.lead {
    font-size: 1.25rem;
    font-weight: 300;
    color: var(--color-heading);
}

footer {
    font-size: 0.75rem;
    padding: 20px;
    text-align: center;
}

.title {
    margin-bottom: -0.25rem;
}

hr {
    margin-top: 1rem;
    margin-bottom: 1rem;
    border: 0;
    border-top: 1px solid var(--color-border);
}

@media (prefers-color-scheme: dark) {
    :root {
        --color-bg: #212529;
        --color-text: #9ca5ad;
        --color-link: rgba(255, 255, 255, 0.75);
        --color-heading: #dee2e6;
        --color-code-bg: #171a1e;
    }
    .logo { filter: invert(.9); }
}