@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;1,100;1,200;1,300;1,400;1,500;1,600;1,700&display=swap');

* {
    font-family: -apple-system, BlinkMacSystemFont, SF Pro Display, SF Pro Text, Helvetica Neue, Helvetica, Arial, sans-serif;
    -webkit-font-smoothing: antialiased;
    text-rendering: optimizeLegibility;
    line-height: 1.5;
    font-size: 1rem;
    color: #000;
}

html {
    height: 100%;
}

body {
    -ms-overflow-style: none;
    scrollbar-width: none;
    overflow: scroll;
    overflow-x: hidden;
    line-height: 20px;
    max-width: 500px;
    margin: 50px auto;
    margin-bottom: 100px;
    padding: 25px;
}

::-webkit-scrollbar {
    display: none;
}

::selection {
    background-color: #FFFACD;
}

::-moz-selection {
    background-color: #FFFACD;
}

a {
    color: #002FA7;
    font-weight: 500;
    text-decoration: none;
    font-size: min(13px, 1em);
}

a span {
    font-weight: normal;
}

a:hover {
    text-decoration: underline;
}

h1 {
    font-size: 22px;
}

h2 {
    font-size: 15px;
    font-weight: 600;
    margin-bottom: 18px;
}

h3 {
    font-weight: 600;
    font-size: 13px;
}

p, span, li {
    font-size: 13px;
}

strong, b {
    font-weight: 500;
    font-size: 13px;
}

code {
    font-family: "IBM Plex Mono", monospace;
    font-weight: 400;
    font-style: normal;
    font-size: 13px;
}

em, i, s {
    font-style: italic;
    font-size: inherit;
    color: inherit;
}

ul {
    padding-left: 30px;
    margin-top: 0;
    list-style-type: circle;
    margin-left: -12px;
}

img {
    width: 100%;
    margin-bottom: 20px;
    border-radius: 5px;
}

/* hr {
    background: radial-gradient(#777 .5px,transparent 1px) 0 0/3px 3px, #ffffff;
    height: 12px;
    width: 250px;
    border: none;
    margin: 25px auto;
    overflow-y: hidden;
} */

hr {
    border: none;
    height: 1px;
    background: linear-gradient(to right, transparent, #ddd 20%, #ddd 80%, transparent);
    margin: 35px auto;
}

.monospace {
    font-family: "IBM Plex Mono", monospace;
    font-weight: 400;
    font-style: normal;
}

.page-container {
    display: flex;
    flex-direction: column;
    height: 100%;
    min-height: 100%;
}

.content {
    flex: 1;
}

.footer {
    margin-top: auto;
}

.footer nav {
    margin-bottom: 0;
}

nav {
    margin-bottom: 35px;
    margin-top: 10px;
    padding-bottom: 20px;
}

nav a {
    font-weight: normal;
    color: black;
}

p:has(br) {
    margin: -10px 0;
}

.square {
    width: 16px;
    height: 16px;
    background-color: #002FA7;
    float: right;
    margin: 0;
    margin-top: 24px;
}

.list p {
    margin-bottom: 0 !important;
    padding-bottom: 6px;
    border-bottom: 2px solid #aaa;
}

.list a {
    padding: 6px 6px;
    transition: background-color 0.2s ease;
    display: block;
}

.list a:not(:last-of-type) {
    border-bottom: 1px solid #aaa;
}

.list a:hover {
    background-color: #f0f0f0;
}

.list a {
    color: black;
}

.list a:hover {
    text-decoration: none;
}

.list .tag {
    float: right;
}

.list .small-tag {
    float: right;
    display: none;
}

.compact p {
    margin-bottom: 12px;
}

.list p, .compact a, .more {
    margin: 0 -6px;
}

.time {
    font-family: monospace;
    font-size: 12px;
    float: right;
    color: gray;
    margin-right: 15px;
    position: relative;
    bottom: 1px;
}

.more {
    float: right;
    color: #707070;
    font-weight: normal;
}

.block {
    padding: 20px;
    background-color: #f9f9f9;
    border: .1rem solid #bfbfbf;
}

.nav-links {
    display: flex;
    justify-content: flex-start;
    align-items: center;
    gap: 20px;
    margin-bottom: 0;
}

.nav-links a {
    font-weight: normal;
    color: #003399;
    text-decoration: none;
}

.nav-links a:hover {
    text-decoration: underline;
}

.spin-icon {
    animation: spin-sequential calc(1s * 3) linear infinite;
}

.spin-icon-1 {
    animation-delay: 0s;
}

.spin-icon-2 {
    animation-delay: 1s;
}

.spin-icon-3 {
    animation-delay: calc(1s * 2);
}

@keyframes spin-sequential {
    0% {
        transform: rotate(0deg);
    }
    33.33% {
        transform: rotate(360deg);
    }
    33.34% {
        transform: rotate(0deg);
    }
    100% {
        transform: rotate(0deg);
    }
}

.nav-divider {
    background: #ddd;
    height: 1px;
    border: none;
    margin: 0 0 35px 0;
    width: 100%;
}

.nav-table {
    width: 100%;
    text-align: center;
    border: 1px solid #ddd;
    margin-bottom: 55px;
    border-collapse: collapse;
}

.nav-table td {
    padding: 6px 8px;
    border-right: 1px solid #ddd;
}

.nav-table td:last-child {
    border-right: none;
}

@media (max-width: 650px) {
    .nav-table {
        width: 100%;
    }
    
    .nav-table td {
        padding: 6px 12px;
    }
}

.social-icons {
    margin-top: 30px;
}

.social-icons a {
    display: inline-block;
    margin-left: 10px;
}

.social-icons a:first-child {
    margin-left: 0;
}

.social-icons img {
    width: 24px;
    height: 24px;
    margin: 0;
}

.research-section {
    margin-bottom: 20px;
}

.venue-header {
    font-size: 13px;
    color: #999;
    margin-bottom: 8px;
}

.paper-title {
    font-size: 13px;
    font-weight: normal;
}

.authors {
    font-size: 13px;
    font-style: italic;
}

.author-underline {
    text-decoration: underline;
}

span.note {
    display: none;
}

sup:has(.footnote-ref) {
    vertical-align: baseline;
    position: relative;
    top: -0.4em;
    line-height: 0;
}

.footnote-ref {
    font-size: 10px;
    color: #002FA7;
    text-decoration: none;
    font-weight: 500;
}

.footnote-ref:hover {
    text-decoration: underline;
}

.footnotes {
    margin-top: 40px;
    padding-top: 20px;
    border-top: 1px solid #ddd;
}

.footnotes ol {
    padding-left: 20px;
    margin: 0;
    list-style-type: decimal;
}

.footnotes li {
    font-size: 12px;
    color: #555;
    margin-bottom: 8px;
}

.footnotes li:target {
    margin: 0 -6px;
    padding: 4px 6px;
}

.footnote-back {
    font-size: 10px;
    color: #002FA7;
    text-decoration: none;
    margin-left: 4px;
}

.footnote-back:hover {
    text-decoration: underline;
}

.post-card {
    display: block;
    padding: 12px;
    margin: 0 -12px 12px -12px;
    border-radius: 4px;
    transition: background-color 0.2s ease;
}

.post-card:hover {
    background-color: #f5f5f5;
    text-decoration: none;
}

@media (max-width: 650px) {
    .list {
        padding: 0 calc(10px - 6px);
    }

    .list .tag {
        display: none;
    }

    .list .small-tag {
        display: inline-block;
    }
    
    .desktop-only {
        display: none;
    }

    .block {
        margin: 0 -10px;
        border-left: 0;
        border-right: 0;
    }
}