/* @import url("https://fonts.googleapis.com/css2?family=Crimson+Pro:ital,wght@0,400;0,500;0,600;1,600&display=swap"); */


/* @import url("https://fonts.googleapis.com/css2?family=Ubuntu+Mono&display=swap"); */

@font-face {
    font-family: 'Crimson Pro';
    font-style: italic;
    font-weight: 600;
    font-display: swap;
    src: url(/assets/fonts/q5uSsoa5M_tv7IihmnkabAReu49Y_Bo-HVKMBi5KfKs8fNE.woff2) format('woff2');
    unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

@font-face {
    font-family: 'Crimson Pro';
    font-style: normal;
    font-weight: 600;
    font-display: swap;
    src: url(/assets/fonts/q5uDsoa5M_tv7IihmnkabARboYE.woff2) format('woff2');
    unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

/* @font-face {
    font-family: 'STKaiti';
    src: url('/assets/fonts/STKaiti.woff2') format('woff2'),
         url('/assets/fonts/STKaiti.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
} */

body {
    background-color: #fff;
    padding: 0px;
    font: 16.0px/1.5 'Crimson Pro', serif;
    color: #595959;
    font-weight: 400;
    margin: 0;
}

.nav-word {
    font-size: 140%;
    color: #000000;
    line-height: 1.1;
    font-weight: bold;
    text-decoration: none;
}

@media (prefers-color-scheme: dark) {
    .nav-word {
        color: #3eb7f0;
    }
}

@media screen and (min-width: 32em) {
    html {
        font-size: 16px
    }
    h1,
    .h1 {
        font-size: 2.998rem
    }
    .site-header {
        text-align: left
    }
    .site-nav {
        margin-top: 0
    }
    .site-header a {
        font-size: 120%
    }
    .site-header .site-title {
        font-size: 120%;
        float: left
    }
    .site-header .site-nav {
        float: right
    }
    blockquote {
        margin-left: 2rem;
        padding: 2rem
    }
    .social-icons-left {
        text-align: left
    }
    .social-icons-right {
        text-align: right
    }
}

.site-header {
    padding: 0 0 0 0;
    border-bottom: 1px solid #e8e8e8;
    background-color: #fff;
    opacity: 1.0;
    position: fixed;
    left: 0px;
    top: 0px;
    width: 100%;
    z-index: 50
}

.site-nav {
    float: right;
    line-height: 56px
}

.site-nav .nav-trigger {
    display: none
}

.site-nav .menu-icon {
    display: none
}

.site-nav .page-link {
    line-height: 1.5
}

.site-nav .page-link:not(:first-child) {
    margin-left: 10px
}

@media screen and (max-width: 600px) {
    .site-nav {
        position: absolute;
        top: 9px;
        right: 25px;
        background-color: white;
        border: 1px solid #e8e8e8;
        border-radius: 5px;
        text-align: right
    }
    .site-nav label[for="nav-trigger"] {
        display: block;
        float: right;
        width: 36px;
        height: 36px;
        z-index: 2;
        cursor: pointer
    }
    .site-nav .menu-icon {
        display: block;
        float: right;
        width: 36px;
        height: 26px;
        line-height: 0;
        padding-top: 10px;
        text-align: center
    }
    .site-nav .menu-icon>svg path {
        fill: #424242
    }
    .site-nav input~.trigger {
        clear: both;
        display: none
    }
    .site-nav input:checked~.trigger {
        display: block;
        padding-bottom: 5px
    }
    .site-nav .page-link {
        display: block;
        padding: 5px 10px;
        margin-left: 10px
    }
    .site-nav .page-link:not(:last-child) {
        margin-right: 0
    }
}

@media (prefers-color-scheme: dark) {
    body {
        background-color: #20212b;
        color: #dadbdf
    }
    autocolor {
        color: #dadbdf
    }
    lightonly {
        visibility: hidden
    }
    darkonly {
        visibility: visible
    }
    papertitle {
        color: #eeeff0
    }
    .site-header {
        border-bottom: 1px solid #20212b;
        background-color: #20212b;
    }
}

.social-icons a {
    display: inline-block;
    height: 3rem;
    width: 3rem;
    background-color: #495057;
    color: #fff !important;
    border-radius: 100%;
    text-align: center;
    font-size: 1.5rem;
    line-height: 3.1rem;
    margin-right: 1rem
}

.social-icons a:last-child {
    margin-right: 0
}

.social-icons a:hover {
    background-color: #000000
}

autocolor {
    color: #494949
}

lightonly {
    visibility: visible
}

darkonly {
    visibility: hidden
}

education {
    font-weight: 500;
    font-size: 115%
}

papertitle {
    font-weight: 600;
    font-size: 100%
}

@media (prefers-color-scheme: dark) {
    body {
        background-color: #20212b;
        color: #dadbdf
    }
    autocolor {
        color: #dadbdf
    }
    lightonly {
        visibility: hidden
    }
    darkonly {
        visibility: visible
    }
    papertitle {
        color: #eeeff0
    }
}

.image {
    border-radius: 0.35em;
    border: 0;
    display: inline-block;
    position: relative
}

.image:before {
    -moz-transition: opacity 0.2s ease-in-out;
    -webkit-transition: opacity 0.2s ease-in-out;
    -ms-transition: opacity 0.2s ease-in-out;
    transition: opacity 0.2s ease-in-out;
    border-radius: 0.35em;
    content: '';
    display: block;
    height: 100%;
    left: 0;
    opacity: 0.5;
    position: absolute;
    top: 0;
    width: 100%
}

.image.avatar {
    border-radius: 100%
}

.image.avatar:before {
    display: none
}

.image.avatar img {
    border-radius: 100%;
    width: 50%;
    padding: 20px
}

#header .image.avatar {
    margin: 0 0 1em 0;
    width: 8.00em
}

h1,
h3,
h4,
h5,
h6 {
    font-weight: 600;
    color: #000000;
    margin: 0 0 20px
}

h2 {
    color: #000000;
    margin: 2px 0px 15px;
    font-size: 157%
}

h2:target {
    padding-top: 60px;
    margin-top: -60px
}

@media (prefers-color-scheme: dark) {
    h1,
    h3,
    h4,
    h5,
    h6 {
        color: #3eb7f0
    }
    h2 {
        color: #3eb7f0
    }
}

p,
ul,
ol,
table,
pre,
dl {
    margin: 0 0 20px
}

h1,
h2,
h3 {
    line-height: 1.1
}

h1 {
    font-size: 28px
}

a {
    color: #1773D0;
    text-decoration: none
}

a:hover {
    color: #B03A2E
}

@media (prefers-color-scheme: dark) {
    a {
        color: #3eb7f0
    }
    a:hover {
        color: #ff7866
    }
    
}

a small {
    font-size: 11px;
    color: #777;
    margin-top: -0.3em;
    display: block
}

a:hover small {
    color: #777
}

.wrapper {
    width: 960px;
    margin: 0 auto
}

blockquote {
    border-left: 1px solid #e5e5e5;
    margin: 0;
    padding: 0 0 0 20px;
    font-style: italic
}

code,
pre {
    font-family: Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal, Consolas, Liberation Mono, DejaVu Sans Mono, Courier New, monospace;
    color: #333
}

pre {
    max-width: 500px;
    padding: 8px 15px;
    background: #f8f8f8;
    border-radius: 5px;
    border: 1px solid #e5e5e5;
    overflow-x: auto
}

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

th,
td {
    text-align: left;
    padding: 5px 10px;
    border-bottom: 1px solid #e5e5e5
}

dt {
    color: #444;
    font-weight: 500
}

th {
    color: #444
}

@media (prefers-color-scheme: dark) {
    th {
        color: #3eb7f0
    }
    dt {
        color: #3eb7f0
    }
}

img {
    max-width: 100%
}

header {
    width: 220px;
    float: left;
    position: fixed;
    -webkit-font-smoothing: subpixel-antialiased;
    padding-top: 6.0em;
    text-align: center
}

header ul {
    list-style: none;
    height: 40px;
    padding: 0;
    background: #f4f4f4;
    border-radius: 5px;
    border: 1px solid #e0e0e0;
    width: 270px
}

header li {
    width: 89px;
    float: left;
    border-right: 1px solid #e0e0e0;
    height: 40px
}

header li:first-child a {
    border-radius: 5px 0 0 5px
}

header li:last-child a {
    border-radius: 0 5px 5px 0
}

header ul a {
    line-height: 1;
    font-size: 11px;
    color: #999;
    display: block;
    text-align: center;
    padding-top: 6px;
    height: 34px
}

header ul a:hover {
    color: #999
}

header ul a:active {
    background-color: #f0f0f0
}

strong {
    color: #222;
    font-weight: 500
}

@media (prefers-color-scheme: dark) {
    strong {
        color: #eeeff0
    }
}

header ul li+li+li {
    border-right: none;
    width: 89px
}

header ul a strong {
    font-size: 14px;
    display: block;
    color: #222
}

section {
    width: 650px;
    float: right;
    padding-top: 6.0em;
    padding-bottom: 50px
}

small {
    font-size: 11px
}

hr {
    border: 0;
    background: #e5e5e5;
    height: 1px;
    margin: 0 0 20px
}

footer {
    width: 220px;
    float: left;
    position: fixed;
    bottom: 30px;
    -webkit-font-smoothing: subpixel-antialiased;
    text-align: center
}

@media print,
screen and (max-width: 960px) {
    div.wrapper {
        width: auto;
        margin: 0
    }
    header,
    section,
    footer {
        float: none;
        position: static;
        width: auto
    }
    header {
        padding-right: 320px
    }
    section {
        border: 1px solid #e5e5e5;
        border-width: 1px 0;
        padding: 20px 0;
        margin: 0 0 20px
    }
    header a small {
        display: inline
    }
    header ul {
        position: absolute;
        right: 50px;
        top: 52px
    }
    .image.avatar img {
        border-radius: 100%;
        width: 117px;
        padding: 20px
    }
    #head1o2 {
        visibility: hidden
    }
    #head2o2 {
        visibility: hidden
    }
}

@media print,
screen and (max-width: 960px) {
    body {
        word-wrap: break-word;
        padding: 15px
    }
    header {
        padding: 0
    }
    pre,
    code {
        word-wrap: normal
    }
}

@media print,
screen and (max-width: 480px) {
    body {
        padding: 15px
    }
    header ul {
        width: 99%
    }
    header li,
    header ul li+li+li {
        width: 33%
    }
    .image.avatar img {
        border-radius: 100%;
        width: 95px;
        padding: 20px
    }
    #head1o2 {
        visibility: hidden
    }
    #head2o2 {
        visibility: hidden
    }
}

@media print {
    body {
        padding: 0.4in;
        font-size: 12pt;
        color: #444
    }
}

.biblink {
    text-decoration: none;
    display: inline;
    margin-right: 0px
}

.fakelink {
    text-decoration: none;
    cursor: pointer
}

.bibref {
    font-size: 70%;
    margin-top: 10px;
    margin-left: 0px;
    display: none;
    font-family: monospace
}