/* Variables */
:root {
    --black: #1c1b19;
    --red: #ef2f27;
    --green: #519f50;
    --yellow: #fbb829;
    --blue: #2c78bf;
    --magenta: #e02c6d;
    --cyan: #0aaeb3;
    --white: #d0bfa1;
    --bright-black: #918175;
    --bright-red: #f75341;
    --bright-green: #98bc37;
    --bright-yellow: #fed06e;
    --bright-blue: #68a8e4;
    --bright-magenta: #ff5c8f;
    --bright-cyan: #53fde9;
    --bright-white: #fce8c3;

    --block-bg: var(--black);
    --fade-fg: var(--bright-black);
    --link-fg: var(--green);
    --text-bg: #121212;
    --text-fg: var(--bright-white);
}

@media (prefers-color-scheme: light) {
    :root {
        --block-bg: #eeeeec;
        --fade-fg: #888a85;
        --link-fg: #436e58;
        --text-bg: #ffffff;
        --text-fg: #2e3436;
    }
}

/* Default font and layout */
html {
    background-color: var(--text-bg);
    box-sizing: border-box;
    color: var(--text-fg);
    font-size: min(max(100%, 2vw), 150%);
    margin: auto;
    max-width: 36rem;
    scrollbar-color: var(--fade-fg) var(--block-bg);
}

body { margin: 0 1rem }

.franklin-content .row { display: block }

/* Text geometry */
.franklin-content p {
    hyphens: auto;
    line-height: 1.4rem;
    text-align: justify;
}

/* Titles */
.franklin-content h1 a,
.franklin-content h2 a,
.franklin-content h3 a,
.franklin-content h4 a,
.franklin-content h5 a,
.franklin-content h6 a {
    color: var(--text-fg);
}

.franklin-content h1 a:hover,
.franklin-content h2 a:hover,
.franklin-content h3 a:hover,
.franklin-content h4 a:hover,
.franklin-content h5 a:hover,
.franklin-content h6 a:hover {
    text-decoration: none;
}

.franklin-toc ol ol {
    list-style-type: lower-alpha;
}

/* General formatting */
.franklin-content li p { margin: 0 }

.franklin-content a {
    color: var(--link-fg);
    text-decoration: none;
}

.franklin-content a:hover {
    text-decoration: underline;
 }

/* Hyperrefs and footnotes */
.franklin-content .bibref a,
.franklin-content .eqref a { color: var(--link-fg) }

.franklin-content .fndef {
    border: none;
    margin: 1ex 0;
}
.franklin-content .fndef tr { text-align: left }
.franklin-content .fndef td { padding: 0 }
.franklin-content .fndef td, .franklin-content sup { font-size: 80% }
.franklin-content .fndef td.fndef-backref { padding-left: 0 }
.franklin-content .fndef td.fndef-content { padding-left: 1ch }

/* Images */
.franklin-content img {
    display: block;
    margin: auto;
    max-width: 100%;
}

/* KaTeX */
.katex { font-size: 1em !important }

/* Boxes */
.franklin-content blockquote, .note {
    margin: 1ex -1rem;
    padding-bottom: 1ex;
    padding-left: 0.75rem;
    padding-right: 1rem;
    padding-top: 1ex;
}

.franklin-content blockquote p, .note p { margin: 1ex 0 }

.note p:first-child { font-weight: bold }

.franklin-content blockquote {
    background: var(--block-bg);
    border-left: 0.25rem solid var(--fade-fg);
}

.note {
    background-color: #51affe25;
    border-left: 0.25rem solid var(--blue);
}

/* Header */
header {
    margin: 1.5rem -0.5rem;
    display: flex;
    flex-wrap: wrap;
    justify-content: space-between;
    align-items: center;
}

header a {
    border-bottom: solid;
    color: var(--link-fg);
    font-weight: bold;
    margin: 0 0.5rem;
    text-decoration: none;
    transition: color 0.3s ease;
}
header a:hover { color: var(--text-fg) }

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

footer, .tags, .right {
    color: var(--fade-fg);
    font-size: 80%;
}

footer {
    margin-top: 1.5rem;
    margin-bottom: 2rem;
}

footer a, .tags a {
    color: var(--fade-fg)!important;
    text-decoration: underline!important;
}

.nowrap { display: inline-block }
.tags { float: left }
.right {
    float: right;
    margin-left: auto;
}

/* Table */
table {
    border-bottom: 0.15em solid var(--text-fg);
    border-collapse: collapse;
    border-top: 0.15em solid var(--text-fg);
    line-height: 1em;
    margin-bottom: 1.5em;
    margin-left: auto;
    margin-right: auto;
    text-align: center;
}

tr:first-of-type > th { border-bottom: 0.08em solid var(--text-fg) }
tr, th, td { padding: 0.5em }

/* highlight.js */
code, .hljs {
    background-color: var(--block-bg);
    font-size: inherit;
    padding: 0.1em 0.2em;
}

.hljs {
    display: block;
    line-height: 1.45em;
    overflow-x: auto;
}

.hljs-built_in .hljs-name, .hljs-title, .hljs-type { color: var(--cyan) }
.hljs-code, .hljs-selector-class { color: var(--bright-blue) }
.hljs-comment, .hljs-deletion, .hljs-meta { color: var(--fade-fg) }
.hljs-comment, .hljs-emphasis { font-style: italic; }
.hljs-string { color: var(--bright-green) }
.hljs-strong { font-weight: bold; }

.hljs-bullet, .hljs-quote, .hljs-link, .hljs-number,
.hljs-regexp, .hljs-literal { color: var(--bright-magenta) }

.hljs-keyword, .hljs-selector-tag, .hljs-section,
.hljs-attribute, .hljs-variable { color: var(--red) }

.hljs-subst, .hljs-symbol, .hljs-selector-id, .hljs-selector-attr,
.hljs-selector-pseudo, .hljs-template-tag, .hljs-template-variable,
.hljs-addition { color: var(--red) }

.openring {
    display: flex;
    flex-wrap: wrap;
    margin: -0.5rem;
    margin-bottom: 0;
}
.openring h3 { margin: 0 0 1ex }
.openring article {
    background: var(--block-bg);
    display: flex;
    flex-direction: column;
    flex: 1 1 0;
    margin: 1ex;
    min-width: 12rem;
    padding: 1ex;
}