html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
b, u, i, center,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed,
figure, figcaption, footer, header, hgroup,
menu, nav, output, ruby, section, summary,
time, mark, audio, video {
	margin: 0;
	padding: 0;
	border: 0;
	font-size: 100%;
	font: inherit;
	vertical-align: baseline;
}
/* HTML5 display-role reset for older browsers */
article, aside, details, figcaption, figure,
footer, header, hgroup, menu, nav, section {
	display: block;
}
body {
	line-height: 1;
}
ol, ul {
	list-style: none;
}
blockquote, q {
	quotes: none;
}
blockquote:before, blockquote:after,
q:before, q:after {
	content: '';
	content: none;
}
table {
	border-collapse: collapse;
	border-spacing: 0;
}

@font-face {
    font-family: 'Libertinus Mono';
    src: url=("/fonts/libertinusmono-regular.woff");
}

@font-face {
    font-family: 'Libertinus Serif';
    src: url("/fonts/libertinusserif-regular.woff");
}
@font-face {
    font-family: 'Libertinus Serif';
    src: url("/fonts/libertinusserif-bold.woff");
    font-weight: bold;
}
@font-face {
    font-family: 'Libertinus Serif';
    src: url("/fonts/libertinusserif-italic.woff");
    font-style: italic;
}
@font-face {
    font-family: 'Libertinus Serif';
    src: url("/fonts/libertinusserif-bolditalic.woff");
    font-weight: bold;
    font-style: italic;
}


@font-face {
    font-family: 'TeX Gyre Heros';
    src: url("/fonts/texgyreheros-regular.woff");
}
@font-face {
    font-family: 'TeX Gyre Heros';
    src: url("/fonts/texgyreheros-bold.woff");
    font-weight: bold;
}
@font-face {
    font-family: 'TeX Gyre Heros';
    src: url("/fonts/texgyreheros-italic.woff");
    font-style: italic;
}
@font-face {
    font-family: 'TeX Gyre Heros';
    src: url("/fonts/texgyreheros-bolditalic.woff");
    font-weight: bold;
    font-style: italic;
}

a {
    color: #15a;
    text-decoration: none;
}

a:hover { color: #5af; }


body {
    font-family: 'TeX Gyre Heros', 'Helvetica', sans-serif;
    background: #ddd;
}


body, html {
    font-size: 14px;
}
header {
    max-width: 900px;
}
footer {
    max-width: 900px;
}
main {
    max-width: 900px;
}

@media only screen and (min-width: 1200px) {
    body, html {
        font-size: 16px;
    }
    header {
        max-width: 1000px;
    }
    footer {
        max-width: 1000px;
    }
    main {
        max-width: 1000px;
    }
}


@media only screen and (min-width: 1400px) {
    body, html {
        font-size: 18px;
    }
    header {
        max-width: 1170px;
    }
    footer {
        max-width: 1170px;
    }
    main {
        max-width: 1170px;
    }
}

h1, h2, h3, h4, h5, h6 {
    font-family: 'TeX Gyre Heros', 'Helvetica', sans-serif;
    padding-top: 0.5em;
    padding-bottom: 0.25em;
    font-size: 1.5em;
    margin-left: -0.02em;
    line-height: 105%;
}

h1 { padding-top: 0; }
h1 { font-size: 3em; }
h2 { font-size: 2em; }

.inline-article > a {
    color: #000;
    text-decoration: none;
}

.inline-article > a:hover {
    color: #15a;
}

header {
    margin: auto;
    background: #15a;
    padding: 0 1rem;
    margin-bottom: 0.5rem;
    padding-bottom: 0.25rem;
    color: #fff;
    font-size: 1.25em;
    display: flex;
    align-items: baseline;
    justify-content: space-between;
}

header a {
    color: #fff;
    vertical-align: middle;
}

header > a > img {
    flex: 0;
    width: 3rem;
    height: 3rem;
    margin: 0.5rem 0.5rem 0.5rem -0.5rem;
    vertical-align: middle;
}


header > a > span {
    white-space: nowrap;
    vertical-align: middle;
}


header > a {
    white-space: nowrap;
}

header a:hover {
    color: #ccc;
}

header ul {
    display: flex;
    flex: 1;
    flex-wrap: wrap;
    justify-content: flex-end;
}

header li {
    flex: 0;
    margin: 1rem 0;
    margin-left: 0.75rem;
    vertical-align: middle;
}



@media only screen and (max-width: 350px) {
    header {
        padding: 0 0.5rem;
        font-size: 1.2em;
    }

    header > a > img {
        width: 1.75rem;
        height: 1.75rem;
        margin: 0.25rem 0.25rem 0.25rem -0.25rem;
    }

    header li {
        margin-left: 0.5rem;
    }
}


main {
    margin: auto;
    background: #fff;
    padding: 1rem;
}

footer {
    margin: auto;
    padding: 1rem;
    text-align: center;
}

article:after {
    content: "";
    display: table;
    clear: both;
}


.text-body {
    font-family: 'Libertinus Serif', serif;
    font-size: 1.2em;
    line-height: 130%;
}

.post-meta {
    color: #444;
    margin-top: -0.2rem;
    margin-bottom: 0.2rem;
    font-size: 0.9em;
    font-style: italic;
}

.subsection-content {
    padding-left: 0.6rem;
    margin-left: 0.2rem;
    border-left: 0.2rem solid #ddd;
}

.tags {
    margin-top: 0.5rem;
    font-size: 0.9em;
}

.imprint-link {
    margin-top: 0.5em;
    font-size: 0.7em;
}

.imprint-link a {
    color: #444;
}

.imprint-link a:hover {
    color: #5af;
}

code {
    font-family: 'Libertinus Mono', monospace;
    font-size: 0.85em;
}

pre {
    overflow: auto;
}

p {
    margin-bottom: 1.3rem;
}

blockquote {
    margin-top: 1rem;
    margin-bottom: 1rem;
    margin-left: 40px;
    margin-right: 40px;
}

main ul {
    display: block;
    list-style-type: disc;
    margin-top: 1rem;
    margin-bottom: 1 em;
    margin-left: 0;
    margin-right: 0;
    padding-left: 40px;
}

main ol {
    display: block;
    list-style-type: decimal;
    margin-top: 1rem;
    margin-bottom: 1rem;
    margin-left: 0;
    margin-right: 0;
    padding-left: 40px;
}

.footnote-ref {
    vertical-align: super;
    font-size: 0.75em;
    line-height: 1em;
}

.figure-border {
    border: 1px solid #555;
}

.large-figure {
    width: 100%;
    max-width: 1000px;
    margin: auto;
    display: block;
}

.figure {
    max-width: 1000px;
    max-width: 100%;
    margin: 0.5rem auto;
    display: block;
}

.figure-right {
    max-width: 45%;
    float: right;
    margin: 0.5rem;
    display: block;
}

.icon {
    width: 10rem;
    max-width: 25%;
    float: right;
    margin: 0.5rem;
    margin-top: 1.25rem;
    display: block;
}

@media only screen and (min-width: 1200px) {
    .figure-right {
        max-width: 35%;
    }
}