/*
 * === Fonts definition ====
 *
 * - Main font: IBM Plex Serif
 * - Mono font: IBM Plex Mono
 * - URL: https://github.com/IBM/plex
 *
 * Licensed under the SIL Open Font License, Version 1.1.
 */

@font-face {
    font-family: "IBM Plex Serif";
    src: url("../fonts/IBMPlexSerif-Regular.woff2") format("woff2");
    font-weight: 400;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "IBM Plex Serif";
    src: url("../fonts/IBMPlexSerif-Italic.woff2") format("woff2");
    font-weight: 400;
    font-style: italic;
    font-display: swap;
}

@font-face {
    font-family: "IBM Plex Serif";
    src: url("../fonts/IBMPlexSerif-Bold.woff2") format("woff2");
    font-weight: 700;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: "IBM Plex Mono";
    src: url("../fonts/IBMPlexMono-Regular.woff2") format("woff2");
    font-feature-settings: "zero";
    font-weight: 400;
    font-style: normal;
    font-display: swap;
}

/* === Variables === */

:root {
    --font-serif: "IBM Plex Serif", "Times New Roman", Georgia, serif;
    --font-mono: "IBM Plex Mono", "Courier New", monospace;
    --font-size: 1.12rem;
    --line-height: 1.6;
    --mesure: 80ch;
}

/* === Base typography === */
body {
    margin: auto;
    font-size: var(--font-size);
    font-family: var(--font-serif);
    line-height: var(--line-height);
    max-width: var(--mesure);
    padding: 8em 2em 4em 2em;
    color: var(--color-fg);
    background: var(--color-bg);
    text-justify: auto;
}

p {
    text-align: justify;
    text-justify: inter-word;
}

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

a:hover {
    color: var(--color-link);
    text-decoration: underline;
    text-decoration-color: var(--color-magenta);
}

blockquote {
        font-style: italic;
        border-left: 0.2em solid var(--color-border);
        padding-left: 1em;
}

a.footnote-back, a.footnote-ref {
    text-decoration: none;
    color: var(--color-magenta);
}
a.footnote-back {
    padding-left: 0.2em;
}
a.footnote-ref {
    font-family: var(--font-mono);
    padding: 0.1em;
}

code {
    padding: 0.1em;
    font-family: var(--font-mono);
    color: var(--color-code-fg);
    background: var(--color-code-bg);
    white-space: pre;
}

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

/* === Titles and headers === */

nav#site-nav {
    text-align: center;  
}

nav#site-nav a {
    color: var(--color-comment);
    font-family: var(--font-mono);
}

nav#site-nav a:hover {
    text-decoration-color: var(--color-border);
}

h1.title {
	font-size: calc(var(--font-size)*3);
	text-align: center;
}

h1.title code {
	white-space: normal;	
}

p.subtitle {
    text-align: center;
    font-weight: bold;
    font-size:  calc(var(--font-size)*1.5);
}

p.author {
	font-style: italic;
	text-align: center;
}

p.author code {
	background: none;
}

p.author a {
    text-decoration: none;
}

p.author a:hover {
    text-decoration: underline;
    text-decoration-color: var(--color-border);
}

p.date {
    text-align: center;
    color: var(--color-comment);
    margin-top: 0.5em;
    font-variant-numeric: oldstyle-nums proportional-nums;
}

.abstract-title { 
	font-weight: bold;
	text-align: center;
	padding: 0;
	margin-bottom: 0.5em;
}

.abstract {
	margin: 2em;
	text-align: left;
	font-size: 90%;
}

.abstract p {
	text-align: justify;
	text-justify: inter-word;
}

.footnotes-end-of-document {
    margin-top: 4em;
}

.footnotes-end-of-document p {
    text-justify: none;
}

/** === Code highlight === **/
pre code a { color: inherit !important; }
pre.sourceCode {
    background: var(--color-code-bg);
    color: var(--color-fg);
    padding:  1em;
}

code.sourceCode {
    color: var(--color-fg);
}

.st {
    color: var(--color-green);
}
.co {
    color: var(--color-comment);
}
.va {
    color: var(--color-red);
}
.op {
    color: var(--color-fg);
}
.fu {
    color: var(--color-blu);
}


@media (max-width: 600px) {
    body {
        font-size: 0.9em;
        padding: 1em;
        text-justify: auto;
    }
}