:root {
    --color-text: black;
    --color-tag1: gray;
    --color-bg: white;
    --color-notice: #fb4f4f;
    --color-link: #0645ad;
    --color-link-visited: #551a8b;
    --layout-max-width: 1350px;
    --mobile-max-width: 876px;
    --content-max-width: 800px;
    --toc-width: 33%;
    --toc-width-no-sidenotes: 18rem;
}

html {
    font-size: 110%;
    scroll-behavior: smooth;
    scrollbar-gutter: stable;
}

body {
    font-family:
        "Lato",
        -apple-system,
        BlinkMacSystemFont,
        "PingFang SC",
        "Microsoft YaHei",
        sans-serif;
    font-optical-sizing: auto;
    font-size: 1rem;
    line-height: 1.4;
    color: var(--color-text);
    background-color: var(--color-bg);
    text-rendering: optimizeLegibility;
}

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

a:visited {
    color: var(--color-link-visited);
}

a[href^="#"]:visited {
    color: var(--color-link);
}

a:hover {
    text-decoration: underline;
}

details {
    padding-left: 1em;
    border: 2px solid var(--color-text);
}

summary:hover {
    cursor: pointer;
}

/* Math */
.htmlmathparagraph,
math,
mtext {
    font-family: Lete Sans Math;
}

#math-container,
.math-container {
    display: block;
    overflow-x: auto;
    overflow-y: hidden;
    padding: 0.5em;
}

.equation {
    display: grid;
    grid-template-columns: minmax(0, 1fr) auto;
    align-items: center;
    column-gap: 1em;
    margin: 0.5em 0;
}

.equation .math-container {
    min-width: 0;
}

.equation-number {
    font-style: normal;
    white-space: nowrap;
}

/* Text */
.text-space .langtag {
    color: var(--color-tag1);
}

.sc {
    font-variant-caps: small-caps;
}

.uri,
a.url {
    overflow-wrap: break-word;
    word-break: break-all;
    white-space: normal;
}

.post-list {
    list-style: none;
    padding-left: 1em;
}

header {
    margin-top: 1rem;
    font-size: 2rem;
    font-weight: 400;
    line-height: 1.2;
}

footer {
    font-size: 0.8rem;
    margin-top: 2em;
    padding-right: 1em;
    text-align: right;
}

.pagetitle {
    font-size: 2rem;
    font-weight: 400;
    line-height: 1;
    text-align: left;
}

.subtitle {
    font-size: 1.2rem;
    margin-top: 0;
    text-align: left;
}

.draft-notice {
    color: var(--color-notice);
    margin: 1em auto;
    text-align: center;
}

h1,
h2,
h3 {
    margin-top: 1em;
    font-style: normal;
    font-weight: 700;
}

h1 {
    font-size: 1.44rem;
}

h2 {
    font-size: 1.2rem;
}

h3 {
    font-size: 1rem;
}

section.body {
    margin-top: 2rem;
}

.ascii-art {
    font-family: monospace;
    line-height: normal;
}

/* Tables */
table {
    border-collapse: collapse;
    border: 2px solid rgb(140 140 140);
    font-size: 1rem;
}

caption {
    caption-side: bottom;
    padding: 10px;
    font-weight: 700;
}

thead,
tfoot {
    background-color: rgb(228 240 245);
}

th,
td {
    border: 1px solid rgb(160 160 160);
    padding: 8px 10px;
}

td:last-of-type {
    text-align: center;
}

tbody > tr:nth-of-type(even) {
    background-color: rgb(237 238 242);
}

tfoot th {
    text-align: right;
}

tfoot td {
    font-weight: 700;
}

/* Media */
figure {
    display: flex;
    flex-flow: column;
    max-width: 80%;
    margin: auto;
    padding: 5px;
}

.centerimg img {
    display: block;
    margin: 0 auto;
}

.highlight,
pre code {
    display: block;
    margin: auto;
    padding: 10px;
    overflow: auto;
}

code {
    display: inline-block;
    margin: 0 auto;
    padding: 0 2px;
    border-radius: 2px;
    font-family: "IosevkaC", monospace;
    font-variant-ligatures: none;
    font-kerning: none;
    text-rendering: optimizeSpeed;
}

.gallery {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(250px, 1fr));
    gap: 12px;
    margin-top: 2em;
}

.gallery img {
    display: block;
    width: 100%;
    max-width: 320px;
}

/* Layout */
.toc {
    display: none;
}

@media (max-width: 768px) {
    body {
        max-width: var(--mobile-max-width);
        margin: auto;
        padding: 0 5%;
        text-align: left;
    }

    mjx-container[display="true"] {
        overflow-x: auto;
        overflow-y: hidden;
    }
}

@media (min-width: 769px) {
    body {
        display: flex;
        flex-flow: row wrap;
        width: 95%;
        max-width: var(--layout-max-width);
        margin: auto;
        padding-right: 5%;
    }

    .toc {
        display: block;
        width: var(--toc-width);
        margin-top: 5rem;
    }

    #contents ul,
    #contents-big ul {
        list-style: none;
        margin: 0.5em 0;
        padding-left: 1em;
        line-height: 1.2;
    }

    #contents-big li + li {
        margin-top: 0.5em;
    }

    #contents-big .toc-section-number {
        margin-right: 0.2em;
    }

    #contents-big {
        position: sticky;
        top: 5rem;
        left: 100%;
        clear: both;
        max-width: 60%;
        margin-right: 4em;
        padding-left: 1rem;
        font-size: 80%;
        text-align: left;
    }

    #contents-big .mini-header {
        margin: 0;
        font-variant: small-caps;
        font-weight: 700;
    }

    .text-space {
        width: 66%;
        max-width: var(--content-max-width);
        min-width: 0;
    }
}

@media (min-width: 769px) and (max-width: 1199px) {
    .toc {
        flex: 0 0 var(--toc-width-no-sidenotes);
        width: var(--toc-width-no-sidenotes);
    }

    #contents-big {
        max-width: none;
        margin-right: 2rem;
    }

    .text-space {
        flex: 1 1 0;
        width: auto;
        max-width: none;
    }
}

@media (min-width: 1200px) {
    body {
        width: 75%;
        padding-right: 25%;
    }
}

@media print {
    .no-print,
    .no-print * {
        display: none !important;
    }

    body {
        margin: auto;
    }
}