body {
    font-size: 12pt;
    max-width: 43em;
    padding: 0.5em 0.5em 10em 0.5em;
    margin: 0 auto;
    line-height: 1.5em;
    color: black;
    background-color: white;
    font-family: Sans-Serif;
}
li{margin: 1em;}
code{white-space: pre;}
p{text-align:justify; text-justify:inter-word;}
table{width:100%}
div.blog_archive table{border-spacing: 0.3em 0.4em;}
p.follow{margin-top:3cm;}
h2.entry{margin-top: 3cm;}
h2.entry a{text-decoration: none;}
h2.entry a:hover{text-decoration: underline;}
.displaymath{display: block; margin-left: auto; margin-right: auto;}
.header{margin-top:1cm; margin-bottom:1cm;}
.navleft{display:inline-block; width:30%; text-align:left;}
.navcenter{display:inline-block; width:35%; text-align:center;}
.navright{display:inline-block; width:30%; text-align:right;}
.date{font-size:10pt; color:#505050;}
.archivedate{font-size:10pt; color:#606060; text-decoration:none;}
.tease{font-size:12pt; color:#000000; text-decoration:none;}
.tease:hover{text-decoration:underline;}
.tagline{font-size:10pt; font-style:italic;}
.center{margin:auto; text-align:center;}
.footnote-back{margin: 0.5em;}
sup {
    line-height: 0pt;
}
figure {
    margin: 2em auto;
    max-width: 100%;
}
figcaption {
    max-width: 70%;
    display: block;
    margin: 1em auto;
}
.caption {
    max-width: 70%;
    display: block;
    margin: auto;
}
blockquote {
    border-left: 0.25em solid #c0c0c0;
    padding: 0em 1em;
    margin: 0em;
    color: #505050;
}
.footnote-box a {
    text-decoration: none;
}
.footnote-content {
    visibility: hidden;
    position: absolute;
    font-size: 10pt;
    max-width: 20em;
    background: #f0f0ff;
    border: 2px solid #000000;
    padding: 1.5em 2em;
    margin: 1em;
    z-index: 10;
    transition: visibility;
    transition-delay: 200ms;
    border-radius: 10px;
}
.footnote-box:hover .footnote-content {
    visibility: visible;
}
.teaser_card {
    display: flex;
    flex-direction: row;
    flex-wrap: wrap;
    gap: 2em;
    margin-top: 5em;
    margin-bottom: 5em;
}
.teaser_card_image {
    flex: 40;
    aspect-ratio: 1.33;
}
.teaser_card_image img {
    width: 100%;
    height: 100%;
    object-fit: cover;
}
.teaser_card_right {
    flex: 60;
    display:flex;
    flex-direction: column;
    flex-wrap: nowrap;
}
.teaser_card_title a {
    color: #000000;
    text-decoration: none;
}
.teaser_card_title a:hover {
    text-decoration: underline;
}
.teaser_card_date {
    font-size: 10pt;
    color: #505050;
}
.teaser_card_summary {
    margin-top: 1em;
    font-style: italic;
}
div.tableofcontents {
    background-color: #f0f0c8;
    border: 0.25em solid #808080;
    padding: 1em;
    max-width: 80%;
    border-radius: 10px;
}
div.tableofcontents li{
    margin: 0;
    counter-increment: item;
    display: block;
}
div.tableofcontents > ol{padding: 0; margin: 0;}
div.tableofcontents ol{counter-reset: item;}
div.tableofcontents li::before{content: counters(item, ".") " ";}
div.tableofcontents a{text-decoration: none;}
div.tableofcontents a:hover{text-decoration: underline;}
img.zoom {
    max-width: 80%;
    display: block;
    margin: auto;
    cursor: zoom-in;
}
.zoom-checkbox{display: none;}
.zoom-checkbox:checked ~ .zoom-overlay {
    position: fixed;
    top: 0;
    bottom: 0;
    left: 0;
    right: 0;
    width: 100%;
    height: 100%;
    background: black;
    z-index: 5;
}
.zoom-checkbox:checked ~ img {
    position: fixed;
    top: 0;
    bottom: 0;
    left: 0;
    right: 0;
    max-width: 95%;
    max-height: 95%;
    cursor: zoom-out;
    z-index: 6;
}
@media (prefers-color-scheme: dark) {
    body{color:white; background-color:black;}
    a:link{color:#a0a0ff;}
    a:visited{color:#ff70ff;}
    .date{color:#b0b0b0;}
    .archivedate{color:#a0a0a0;}
    .tease{color:white;}
    blockquote{border-left: 0.25em solid #303030; color:#a0a0a0;}
    .footnote-content {background:#202020; border: 2px solid #800080;}
    div.tableofcontents{background-color: #200000; border: 0.25em solid #600000;}
    .math{filter: invert(1);}
    .teaser_card_title a {color: white;}
    .teaser_card_date {color: #b0b0b0;}
}