@font-face { font-family: 'PT Sans'; src: local("PT Sans"), local("PTSans-Regular"), url("../fonts/PTSans-Regular.woff") format("woff"); font-weight: normal; font-style: normal; }

@font-face { font-family: 'PT Sans'; src: local("PT Sans Bold"), local("PTSans-Bold"), url("../fonts/PTSans-Bold.woff") format("woff"); font-weight: bold; font-style: normal; }

body { background: #ffffff; color: #212228; font-family: "PT Sans", -apple-system, "Helvetica Neue", "Segoe UI", "Roboto", sans-serif; font-weight: 400; font-size: calc(0.8rem + 0.2vw); line-height: 1.6; margin: 0; min-height: 100vh; -webkit-text-size-adjust: 100%; -webkit-font-smoothing: antialiased; -moz-osx-font-smoothing: grayscale; }

@media (prefers-color-scheme: dark) { body { background: #212228; color: #ffffff; } }

h1, h2, h3, h4, h5, h6 { font-weight: bold; margin-top: 1.5em; margin-bottom: -0.5em; }

b, strong, th { font-weight: 600; }

a { color: #68f; text-decoration: inherit; }

a:hover { text-decoration: underline; }

header a, footer a, aside a { color: inherit; }

header time { color: #909194; }

hr { border: 1px solid rgba(144, 145, 148, 0.3); margin: 2em 0; }

article:not(:last-of-type) { border-bottom: 1px solid rgba(144, 145, 148, 0.14); }

blockquote { background: rgba(144, 145, 148, 0.06); border-left: 3px solid rgba(144, 145, 148, 0.9); padding: 1px 1.5em; opacity: .75; }

blockquote, figure { margin: 1em 0; }

img { margin: .5em 0; }

li { margin: .25em 0; }

img { border-radius: 2px; max-width: 100%; height: auto; }

table { max-width: 100%; overflow-y: scroll; border-spacing: 0px; border-radius: 0px; box-shadow: 0 0 0 1px rgba(144, 145, 148, 0.12) inset; }

th, td { padding: .2em 1em; box-shadow: 0 0 0 1px rgba(144, 145, 148, 0.12); }

tr:hover, tr:nth-child(odd) td { background: rgba(144, 145, 148, 0.04); }

pre { background: rgba(144, 145, 148, 0.12); border-radius: 2px; font-size: .8em; margin: 1.5em 0; padding: .8em 1.2em; overflow-x: auto; }

:not(pre) > code { font-size: .9em; background: rgba(144, 145, 148, 0.15); opacity: .7; border-radius: 2px; margin: 0 .1em; padding: .2em .4em; }

body { display: flex; flex-direction: column; }

article { flex-grow: 1; }

body > header, body > footer { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; }

body > header, body > article, body > footer { padding: 1.5em; }

article header { margin-bottom: 1.5em; }

article header h1 { font-size: 1.7em; margin: 0 0 .1em; }

nav { margin: .5em -1.2em; }

nav a { margin: .5em 1.2em; }

.copyright { font-size: 0.8em; }

.post-tag { font-size: 0.8rem; text-transform: lowercase; }

.post-tag .sep { display: none; }

.post-tag strong { margin-inline-end: 10px; }

.post-tag-item { color: #68f; display: inline-block; margin-inline-end: 5px; margin-bottom: 8px; padding: 1px 5px; text-decoration: none; border: 1px solid #68f; border-radius: 4px; font-size: 0.8rem; text-transform: lowercase; }

.post-tag-item:hover { text-decoration: none; font-weight: bold; color: white; background: #68f; }

.title { font-size: 1.75em; font-weight: bold; }

.more { margin: 2em 0 1em; }

.more a { border-radius: 4px; border: 1.5px solid #68f; padding: .4em .8em; transition: .2s background, .2s color; }

.more a:hover { color: #fff; background: #68f; text-decoration: inherit; }

.archive time { display: inline-block; min-width: 10ch; min-height: 1.75em; margin: 0 .2em; font-size: 1em; }

.archive-ul { margin-left: -2.6em; font-size: 1.1em; font-weight: bold; }

.archive-li { margin-left: 2.6em; font-size: 0.9em; font-weight: normal; }

.icon { height: 1em; width: 1em; fill: currentColor; transition: .2s color; vertical-align: middle; margin-bottom: .15em; }

a:hover { text-decoration: none; font-weight: bold; }

a:hover .icon { color: #909194; }

.full table { display: table; width: 100%; }

.katex { overflow-x: auto; overflow-y: hidden; }

.rouge-table, .rouge-table th, .rouge-table td, .rouge-table tr, .rouge-table pre { font-size: inherit; background: inherit !important; box-shadow: none; width: initial; margin: 0; padding: 0; }

.rouge-table .gl pre { margin: 0 1.5em 0 .25em; opacity: .5; }

.bio-table, .bio-table th, .bio-table td, .bio-table tr { background: inherit !important; width: initial; box-shadow: none; padding: 0px; }

.bio-name { font-size: 1.3em; font-weight: bold; padding-left: 20px; padding-right: 40px; }

.bio-jobs { font-size: 0.9em; margin-bottom: -1.0em; padding-left: 20px; }

.highlight pre { background: rgba(47, 48, 57, 0.9); }

.tooltip { position: relative; display: inline-block; cursor: pointer; }

.tooltip .tooltiptext { visibility: hidden; width: 300px; background-color: #000; color: #fff; text-align: left; padding: 7px; padding-left: 10px; padding-right: 10px; border-radius: 6px; position: absolute; z-index: 1; bottom: 125%; left: 50%; margin-left: -100px; opacity: 0; transition: opacity 0.3s; }

.tooltip:hover .tooltiptext { visibility: visible; opacity: 1; }

html { background: #d3d4db; padding: 0 calc(38% - 22em); }

body { box-shadow: 0 0 0.3em #c5c7cf; }

body > header, body > footer { background: #00489d; color: #ffffff; }

@media (min-width: 32em) { body > header, body > article, body > footer { padding: 1.75em calc(22% - 6em); } }

@media (prefers-color-scheme: dark) { html { background: #18181d; } body > header, body > footer { background: #444652; } body, body > header, body > footer { box-shadow: 0 0 0 1px #33353e; } }

/*# sourceMappingURL=frame.css.map */