@font-face {
    font-family: 'PT Sans';
    font-style: normal;
    font-weight: normal;
    font-display: swap;
    src: url(/static/PT/WOFF2/PTSans-Regular.woff2) format('woff2'),
        url(/static/PT/WOFF/PTSans-Regular.woff) format('woff');
}

@font-face {
    font-family: 'PT Sans';
    font-style: italic;
    font-weight: normal;
    font-display: swap;
    src: url(/static/PT/WOFF2/PTSans-Italic.woff2) format('woff2'),
        url(/static/PT/WOFF/PTSans-Italic.woff) format('woff');
}

@font-face {
    font-family: 'PT Sans';
    font-style: normal;
    font-weight: bold;
    font-display: swap;
    src: url(/static/PT/WOFF2/PTSans-Bold.woff2) format('woff2'),
        url(/static/PT/WOFF/PTSans-Bold.woff) format('woff');
}

@font-face {
    font-family: 'PT Sans';
    font-style: italic;
    font-weight: bold;
    font-display: swap;
    src: url(/static/PT/WOFF2/PTSans-BoldItalic.woff2) format('woff2'),
        url(/static/PT/WOFF/PTSans-BoldItalic.woff) format('woff');
}




@font-face {
    font-family: 'PT Serif';
    font-style: normal;
    font-weight: normal;
    font-display: swap;
    src: url(/static/PT/WOFF2/PTSerif-Regular.woff2) format('woff2'),
        url(/static/PT/WOFF/PTSerif-Regular.woff) format('woff');
}

@font-face {
    font-family: 'PT Serif';
    font-style: italic;
    font-weight: normal;
    font-display: swap;
    src: url(/static/PT/WOFF2/PTSerif-Italic.woff2) format('woff2'),
        url(/static/PT/WOFF/PTSerif-Italic.woff) format('woff');
}

@font-face {
    font-family: 'PT Serif';
    font-style: normal;
    font-weight: bold;
    font-display: swap;
    src: url(/static/PT/WOFF2/PTSerif-Bold.woff2) format('woff2'),
        url(/static/PT/WOFF/PTSerif-Bold.woff) format('woff');
}

@font-face {
    font-family: 'PT Serif';
    font-style: italic;
    font-weight: bold;
    font-display: swap;
    src: url(/static/PT/WOFF2/PTSerif-BoldItalic.woff2) format('woff2'),
        url(/static/PT/WOFF/PTSerif-BoldItalic.woff) format('woff')
        ;
}




@font-face {
    font-family: 'PT Mono';
    font-style: normal;
    font-weight: normal;
    font-display: swap;
    src: url(/static/PT/WOFF2/PTMono-Regular.woff2) format('woff2'),
        url(/static/PT/WOFF/PTMono-Regular.woff) format('woff');
}


body {
  margin: 0 auto;
  max-width: 36em;
  padding-left: 50px;
  padding-right: 50px;
  padding-top: 50px;
  padding-bottom: 50px;
  hyphens: auto;
  overflow-wrap: break-word;
  text-rendering: optimizeLegibility;
  font-kerning: normal;
  background-color: #fdfdfd;
  font-family: "Atkinson Hyperlegible", sans-serif;
  font-size: 18px;
  line-height: 1.6;
  color: #333;
  letter-spacing: -0.003em;
}

* {
  background-color: #fdfdfd;
}


h1, h2, h3, h4, h5, h6 {
  margin-top: 1.4em;
  font-family: "PT Serif", serif;
  letter-spacing: -0.015em;
  font-weight: 700;
  color: #111;
}

h1 {
  font-size: 2.2em;
  margin-bottom: 0.7em;
}

h2 {
  font-size: 1.8em;
  border-bottom: 1px solid #f3f3f3;
  padding-bottom: 0.2em;
}

h5, h6 {
  font-size: 1em;
  font-style: italic;
}

h6 {
  font-weight: normal;
}


a {
  color: #1a1a1a;
  text-decoration: none;
  border-bottom: 1px solid rgba(0, 0, 0, 0.1);
  transition: border-color 0.2s ease;
}

a:hover {
  border-bottom: 1px solid rgba(0, 0, 0, 0.4);
}

a:visited {
  color: #1a1a1a;
}

blockquote {
  margin: 1.5em 0;
  padding: 0.5em 1.2em;
  border-left: 3px solid #e6e6e6;
  background-color: #fcfcfc;
  font-style: italic;
  color: #555;
}


header {
  margin-bottom: 3em;
  padding-bottom: 1.5em;
  border-bottom: 1px solid #f0f0f0;
  text-align: center;
}

header #title h1 {
  margin-bottom: 0.3em;
}


nav {
  display: flex;
  gap: 1.5em;
  font-size: 0.95em;
  justify-content: center;
}

nav a {
  padding: 0.3em 0;
  position: relative;
  border-bottom: none;
}

nav a::after {
  content: '';
  position: absolute;
  width: 0;
  height: 2px;
  bottom: 0;
  left: 0;
  background-color: #000;
  transition: width 0.2s;
}

nav a:hover::after, nav a.active::after {
  width: 100%;
}


.post-list {
  list-style: none;
  padding: 0;
}

.post-item {
  margin-bottom: 1.2em;
  padding-bottom: 1.2em;
  border-bottom: 1px solid #f5f5f5;
}

.post-item a {
  font-size: 1.2em;
  font-weight: 500;
}

.post-item .post-date {
  color: #777;
  font-size: 0.9em;
  margin-top: 0.3em;
}

.post-item .post-excerpt {
  margin-top: 0.5em;
  color: #444;
}


button, .button {
  background: #fff;
  border: 1px solid #e0e0e0;
  padding: 0.5em 1em;
  border-radius: 4px;
  font-size: 0.9em;
  transition: all 0.2s;
}

button:hover, .button:hover {
  border-color: #999;
}


main {
  margin: 0 auto;
  padding-bottom: 5em;
}

p, ul, ol {
  margin-bottom: 1.5em;
}

p {
  margin: 1em 0;
}

img {
  max-width: 100%;
}

ol, ul {
  padding-left: 1.7em;
  margin-top: 1em;
}

li > ol, li > ul {
  margin-top: 0;
}


code {
  font-family: Menlo, Monaco, Consolas, 'Lucida Console', monospace;
  font-size: 85%;
  margin: 0;
  hyphens: manual;
  background-color: #f8f8f8;
  padding: 0.1em 0.3em;
  border-radius: 3px;
}

pre {
  margin: 1em 0;
  overflow: auto;
  background-color: #f8f8f8;
  padding: 0.8em;
  border-radius: 4px;
}

pre code {
  padding: 0;
  overflow: visible;
  overflow-wrap: normal;
  background-color: transparent;
}

.sourceCode {
  background-color: transparent;
  overflow: visible;
}


hr {
  background-color: #e0e0e0;
  border: none;
  height: 1px;
  margin: 2em 0;
}

table {
  margin: 1em 0;
  border-collapse: collapse;
  width: 100%;
  overflow-x: auto;
  display: block;
  font-variant-numeric: lining-nums tabular-nums;
}

table caption {
  margin-bottom: 0.75em;
}

tbody {
  margin-top: 0.5em;
  border-top: 1px solid #e0e0e0;
  border-bottom: 1px solid #e0e0e0;
}

th {
  border-top: 1px solid #e0e0e0;
  padding: 0.25em 0.5em 0.25em 0.5em;
  text-align: left;
  font-weight: 600;
}

td {
  padding: 0.125em 0.5em 0.25em 0.5em;
}


footer {
  margin-top: 3em;
  padding-top: 1.5em;
  border-top: 1px solid #f0f0f0;
  color: #777;
  font-size: 0.9em;
}

.footer-left {
  display: flex;
  justify-content: center;
}


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

div.columns {
  display: flex;
  gap: min(4vw, 1.5em);
}

div.column {
  flex: auto;
  overflow-x: auto;
}

div.hanging-indent {
  margin-left: 1.5em;
  text-indent: -1.5em;
}

ul.task-list[class] {
  list-style: none;
}

ul.task-list li input[type="checkbox"] {
  font-size: inherit;
  width: 0.8em;
  margin: 0 0.8em 0.2em -1.6em;
  vertical-align: middle;
}

.display.math {
  display: block;
  text-align: center;
  margin: 0.5rem auto;
}


@media (max-width: 600px) {
  body {
    font-size: 16px;
    padding: 20px;
  }

  h1 {
    font-size: 1.8em;
  }

  nav {
    flex-direction: column;
    gap: 0.8em;
    align-items: center;
  }

  .post-item a {
    font-size: 1.1em;
  }
}

@media print {
  html {
    background-color: white;
  }

  body {
    background-color: transparent;
    color: black;
    font-size: 12pt;
  }

  p, h2, h3 {
    orphans: 3;
    widows: 3;
  }

  h2, h3, h4 {
    page-break-after: avoid;
  }

  a {
    border-bottom: none;
  }
}