/* <stdin> */
html {
  font-size: 16px;
}
body {
  max-width: 760px;
  margin: 0 auto;
  padding: 2rem 1.25rem;
  line-height: 1.65;
  color: #222;
  background: #fff;
  font-family:
    -apple-system,
    BlinkMacSystemFont,
    "Segoe UI",
    Helvetica,
    Arial,
    sans-serif;
}
a {
  color: inherit;
  text-decoration-thickness: 1px;
  text-underline-offset: 0.15em;
}
a:hover {
  text-decoration-thickness: 2px;
}
body > header {
  margin-bottom: 3rem;
}
body > header > a {
  font-weight: 600;
  text-decoration: none;
}
nav {
  margin-top: 0.5rem;
}
nav a {
  margin-right: 1rem;
}
main {
  min-height: 60vh;
}
h1,
h2,
h3,
h4 {
  line-height: 1.25;
}
h1 {
  margin-top: 0;
  margin-bottom: 1.5rem;
}
h2 {
  margin-top: 2.5rem;
}
p,
ul,
ol {
  margin-top: 1rem;
  margin-bottom: 1rem;
}
code,
pre {
  font-family:
    ui-monospace,
    SFMono-Regular,
    Menlo,
    Monaco,
    Consolas,
    "Liberation Mono",
    monospace;
}
code {
  font-size: 0.9em;
}
pre {
  overflow-x: auto;
  padding: 1rem;
  border: 1px solid #ddd;
}
pre code {
  font-size: 0.9rem;
}
blockquote {
  margin-left: 0;
  padding-left: 1rem;
  border-left: 3px solid #ccc;
  color: #555;
}
img,
video,
iframe {
  max-width: 100%;
  height: auto;
}
.portrait {
  float: right;
  width: 32%;
  max-width: 220px;
  margin: 0 0 1rem 1.5rem;
  border-radius: 4px;
}
@media (max-width: 600px) {
  .portrait {
    float: none;
    display: block;
    width: 60%;
    max-width: none;
    margin: 0 auto 1.5rem;
  }
}
.img-40,
.img-60,
.img-80 {
  display: block;
  margin-left: auto;
  margin-right: auto;
}
.img-40 {
  width: 40%;
}
.img-60 {
  width: 60%;
}
.img-80 {
  width: 80%;
}
table {
  width: 100%;
  border-collapse: collapse;
  margin: 1.5rem 0;
}
th,
td {
  padding: 0.5rem;
  text-align: left;
  border-bottom: 1px solid #ddd;
}
footer {
  margin-top: 4rem;
  padding-top: 1rem;
  border-top: 1px solid #ddd;
  font-size: 0.9rem;
  color: #666;
}
@media (max-width: 600px) {
  body {
    padding: 1.25rem 1rem;
  }
  nav a {
    display: inline-block;
    margin-bottom: 0.5rem;
  }
}
.post-list {
  list-style: none;
  padding: 0;
}
.post-list li {
  display: flex;
  justify-content: space-between;
  gap: 1rem;
  margin-bottom: 0.6rem;
}
.post-date {
  color: #777;
  white-space: nowrap;
  font-size: 0.9rem;
}
@media (max-width: 600px) {
  .post-list li {
    display: block;
  }
  .post-date {
    display: block;
    margin-top: 0.15rem;
  }
}
.article-header {
  margin-bottom: 2.5rem;
}
.article-header h1 {
  margin-bottom: 0.5rem;
}
.article-date {
  margin: 0;
  color: #777;
  font-size: 0.9rem;
}
hr {
  margin: 2.5rem 0;
  border: 0;
  border-top: 1px solid #ddd;
}
.footnotes {
  margin-top: 3rem;
  font-size: 0.9rem;
  color: #555;
}
.footnotes hr {
  margin-bottom: 1.5rem;
}
.highlight {
  margin: 1.5rem 0;
}
.highlight pre {
  margin: 0;
}
.katex-display {
  overflow-x: auto;
  overflow-y: hidden;
  padding: 0.5rem 0;
}