html {
    box-sizing:border-box
}

*, * ::before, * ::after {
    box-sizing:inherit
}

html {
    scroll-behavior:smooth
}

body {
    color: var(--fg);
    background-color: var(--bg);
    font-size: 21px;
    font-family: var(--proportional-fonts);
    font-variant-numeric: oldstyle-nums;
    font-display: block;
    line-height: 1.4;
    text-align: justify;
    text-justify: inter-word;
    hyphens: auto;
    text-rendering: optimizeLegibility;
    margin: 0;
    display: -webkit-flex;
    -webkit-flex-flow: row wrap;
    display: -ms-flexbox;
    -ms-flex-flow: row wrap;
    flex-flow: row wrap;
}

.text-space {
    display: inline-block;
    width:75%
}

@media (max-width: 767px) {
    body > .text-space {
        width:100%
    }
}

span.small-caps {
    font-variant:small-caps
}

div#content {
    margin-right: 1em;
    max-width: 720px;
    max-width:35em
}

@media (min-width: 1367px) {
    body {
        width: 82%;
        padding-right: 18%;
        margin-left: auto;
        margin-right:auto
    }
}

@media (max-width: 1366px) {
    body {
        width: 87%;
        padding-right: 13%;
        max-width: 960px;
        margin-right: 3em;
        font-size:19px
    }
}

@media (max-width: 960px) {
    body {
        width: 100%;
        padding-right: 0%;
        margin-right: 0;
        text-align:left
    }
}

div.csl-left-margin {
    display:inline
}

div.csl-right-inline {
    display:inline
}

div#refs td {
    vertical-align:top
}

div#refs {
    text-align:left
}

div#border-table table tr {
    vertical-align: top;
    text-align:left
}

div#border-table table {
    border-collapse: collapse;
    width:100%
}

div#border-table table th, div#border-table table td {
    padding: 8px;
    text-align: left;
    border:1px solid #ddd
}

div#border-table table th {
    background-color: var(--table-head);
    font-weight: bold;
    font-style:normal
}

pre {
    text-align: left;
    font-size: 0.85em;
    font-family: var(--monospace-fonts);
    font-variant-numeric: normal;
    white-space: pre;
    overflow-x: auto;
    overflow-y:hidden
}

code {
    font-size: 0.87em;
    font-family: var(--monospace-fonts);
    font-variant-numeric: normal;
    background: var(--bg-inline-code);
    border-radius: 0.25rem;
    padding: 0 2px;
    border: 1px solid var(--border-inline-code);
    word-break:break-word
}

blockquote {
    font-size: 0.95em;
    border-left: 4px solid var(--border-inline-code);
    margin: 20px 0;
    padding-left:20px
}

.included {
    border-left: 4px solid var(--border-inline-code);
    margin: 20px 0;
    padding-left: 20px;
    padding-bottom:0.4em
}

.katex {
    font-size:0.9em !important
}

.katex-display {
    font-size:1.1em !important
}

div#footer {
    border-top: solid 1px var(--fg-footer-divider);
    color: var(--fg-footer-pipe);
    font-size: 0.78em;
    margin-top: 30px;
    padding: 9px 1em 12px 1em;
    text-align: right;
    max-width:50rem
}

hr {
    display: block;
    height: 1px;
    border: 0;
    border-top: 1px solid var(--fg-footer-divider);
    margin: 1em 0;
    padding:0
}

img.fleuron-block {
    margin-right: auto;
    margin-left: auto;
    max-width: 100%;
    height: auto;
    padding: 1.5rem 1.5rem 1rem 1.5rem;
    display:block
}

@media (prefers-color-scheme: dark) {
    img.fleuron-block {
        filter:invert(95%) sepia(8%) saturate(114%) hue-rotate(106deg) brightness(102%) contrast(91%)
    }
}

.header {
    font-size: 0.95em;
    font-style: italic;
    text-align: left;
    margin:1em 0
}

h1 {
    margin-top: 2.5rem;
    margin-bottom: 1.5rem;
    font-size: 2em;
    font-variant: small-caps;
    font-variant-numeric: normal;
    font-weight: normal;
    word-spacing: 0.1em;
    letter-spacing: 0.02em;
    text-align:center
}

h2 {
    font-size: 1em;
    margin-top: 2.1rem;
    margin-bottom:1.4rem
}

h3 {
    font-size: 0.9em;
    margin-top: 2rem;
    margin-bottom:1.4rem
}

h4 {
    font-size:0.85em
}

h5 {
    font-size: 0.8em;
    line-height:1
}

h2, h3, h4 {
    line-height:1.2
}

:is(h2, h3, h4, h5, h6)[id] {
    margin-left:-15px
}

div#contents, div#contents-big {
    font-size: 90%;
    font-family: var(--serif-fonts);
    padding-top: 0.25em;
    max-width: 240px;
    max-width: 15rem;
    max-width: 30%;
    min-width: 25%;
    min-width: 180px;
    text-align:left
}

div#contents ul, div#contents-big ul {
    font-size: 85%;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    padding-left: 0;
    line-height: 1.2;
    list-style-type: none;
    margin-left:0
}

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

.mini-header {
    font-weight: bold;
    margin-bottom:0.5em
}

div#contents ul ul, div#contents-big ul ul {
    padding-left:1.5em
}

div#contents-big a:link, div#contents a:link {
    font-size: 110%;
    color: var(--fg);
    text-decoration:none
}

div#contents-big a:visited, div#contents a:visited {
    font-size: 110%;
    color: var(--fg);
    text-decoration:none
}

div#contents-big a:hover, div#contents a:hover {
    color:var(--fg-link-hover)
}

div#contents-big > ul > li > a:link, div#contents > ul > li > a:link {
    font-size: 100%;
    word-spacing: 0.06em;
    letter-spacing: 0.02em;
    font-variant:small-caps
}

div#contents-big > ul > li > a:visited, div#contents > ul > li > a:visited {
    font-size: 100%;
    word-spacing: 0.06em;
    letter-spacing: 0.02em;
    font-variant:small-caps
}

a:link > code, a:visited > code {
    font-variant:normal
}

a#up-arrow {
    float: right;
    font-size: 0.9em;
    margin-right:0.5em
}

div#contents-big {
    clear: both;
    margin-right: 1.7em;
    margin-left: 0.25em;
    position: sticky;
    top: 0;
    left:100%
}

@media (max-width: 1366px) {
    div#contents-big {
        padding-left:1.25em
    }
}

div#contents {
    padding-bottom: 0.25em;
    padding-left: 0.5em;
    padding-right: 0.5em;
    margin-left: 0.75em;
    margin-bottom: 0.75em;
    float: right;
    position:static
}

@media (min-width: 769px) {
    div#contents {
        position: fixed;
        visibility:hidden
    }
}

@media (max-width: 768px) {
    div#contents-big {
        position: fixed;
        visibility:hidden
    }
}

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

a:hover {
    color: var(--fg-link-hover);
    text-decoration: 1px underline;
    text-underline-offset:0.1em
}

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

.floatright {
    float: right;
    font-variant: normal;
    font-size:15px
}

a.invis:link {
    color:var(--fg)
}

a.invis:visited {
    color:var(--fg)
}

a#to-top {
    font-variant: small-caps;
    float: left;
    position: static;
    font-size: 16px;
    margin-top:-2px
}

@media (min-width: 769px) {
    a#to-top {
        position: fixed;
        visibility:hidden
    }
}

.local-link::after {
    content: "°";
    margin-left:1px
}

.floatleft {
    float: left;
    margin-left: -20px;
    padding-left: 20px;
    padding-right: 6px;
    font-variant: normal;
    font-size: 0.8em;
    line-height:1.5
}

:is(h1, h2, h3, h4, h5, h6) .sec-link {
    text-decoration: none;
    color: var(--fg-sec-link);
    visibility:hidden
}

:is(h1, h2, h3, h4, h5, h6):hover .sec-link {
    visibility:visible
}

summary {
    padding-top: 1rem;
    display: block;
    padding-left: 2.2rem;
    position: relative;
    cursor:pointer
}

summary:before {
    content: '';
    border-width: .4rem;
    border-style: solid;
    border-color: transparent transparent transparent var(--fg);
    position: absolute;
    top: 1.5rem;
    left: 1rem;
    transform: rotate(0);
    transform-origin: .2rem 50%;
    transition:.25s transform ease
}

details[open] > summary:before {
    transform:rotate(90deg)
}

details {
    border-left: 4px solid var(--border-inline-code);
    margin: 20px 0;
    padding-left: 20px;
    padding-bottom:0.4em
}

span.email b {
    display:none
}

abbr[title] {
    border-bottom: none;
    text-decoration:1px underline dotted
}

img {
    max-width: 100%;
    height:auto
}

.fourgrid {
    display: grid;
    grid-template-columns: auto auto auto auto
}

.pager {
    clear: both;
    margin-top: 100px;
    padding-top: 10px;
}

ul.pagination {
    margin-top: 50px;
    padding-top: 5px;
    list-style-type: none;
    display: flex;
    align-content: center;
    justify-content: space-evenly;
}

ul.pagination .active a{
    color: var(--global-font-color);
}

ul>li::after {
    content: none;
}

.browse-nav {
    display: grid;
    gap: 1rem 1rem;
    grid-template-areas: "next prev" "home home";
    grid-template-columns: repeat(2, 1fr);
  }

.browse-nav__prev {
    grid-area: prev;
    justify-self: end;
}

.browse-nav__next {
    grid-area: next;
}

.browse-nav__home {
    grid-area: home;
}

.browse-nav__symbol {
    text-align: right;
}

.browse-nav__symbol--next {
    transform: rotate(180deg);
}

.browse-nav__link--prev {
    display: inline-block;
    text-align: right;
}