/* 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);
    margin: auto;
    max-width: 36rem;
    padding: 1rem;
    scrollbar-color: var(--fade-fg) var(--block-bg);
}

/* Keep minimum font size to the usual default of 16px */
@media (min-width: 800px) {
    html {
        font-size: min(23px, 2vw);
        margin-left: auto;
        margin-right: auto;
    }
}

.franklin-content .row { display: block }

.franklin-content .left {
    float: left;
    margin-right: 1rem;
}

.franklin-content .right { float: right }

.franklin-content .container img {
    width: auto;
    padding-left: 0;
}

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

/* Titles */
.franklin-content h1 {
    padding-bottom: 0.5rem;
    border-bottom: 0.15rem solid var(--fade-fg);
    margin-top: 2rem;
}

.franklin-content h2 {
    padding-bottom: 0.3rem;
    border-bottom: 0.08rem solid var(--fade-fg);
    margin-top: 2rem;
}

.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;
}

.franklin-content blockquote {
    background: var(--block-bg);
    border-left: 0.25rem solid var(--fade-fg);
    font-style: italic;
    margin: 0;
    padding: 0.6rem 0.6rem;
}

.franklin-content blockquote p { display: inline }

/* General formatting */
/* Spacing between bullet points. */
.franklin-content li p { margin: 0.6em 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 tr { text-align: left }
.franklin-content .fndef td, .franklin-content sup { font-size: 80% }
.franklin-content .fndef td.fndef-content { width: 100% }
.franklin-content .fndef td.fndef-backref { padding-left: 0 }
.franklin-content table.fndef {
    border: none;
    margin: 0;
}

/* Images */
.franklin-content img { width: 100% }
.franklin-content .img-small img {
    width: 50%;
    text-align: center;
    padding-left: 20%;
}

/* KaTeX */
.katex { font-size: 1em !important }
.katex-display .katex {
    /* Overwrite KaTeX settings. */
    display: inline-block;

    /* Allow display equations to wrap on small screens. */
    white-space: normal;
}

/*
 * No numbering, for now
 * body { counter-reset: eqnum }
 *
 * .katex-display::after {
 *     counter-increment: eqnum;
 *     content: "(" counter(eqnum) ")";
 *     position: relative;
 *     float: right;
 *     padding-right: 5px;
 * }
 */

/* Boxes */
.note {
    background-color: #51affe25;
    border-left: 0.25rem solid var(--blue);
    padding: 0.1rem 1rem;
}

/* Header */
header {
    margin: 1rem -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) }

/* Footer */
.franklin-content .page-foot a {
    color: var(--fade-fg);
    text-decoration: underline;
}

.page-foot {
    color: var(--fade-fg);
    font-size: 80%;
    margin: 1.5rem 0;
}

/* Balance the horizontal margin with extra vertical ones. */
@media (min-width: 576px) {
    header { margin-top: 2rem }
    .page-foot { margin-bottom: 3rem }
}

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

/* 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) }