@charset "utf-8";

/* Highlight.scss - Syntax highlighting */
.highlight .hll { background-color: #ffffcc }
.highlight .c { color: #808080 }
.highlight .err { color: #F00000; background-color: #F0A0A0 }
.highlight .k { color: #008000; font-weight: bold }
.highlight .o { color: #303030 }
.highlight .cm { color: #808080 }
.highlight .cp { color: #507090 }
.highlight .c1 { color: #808080 }
.highlight .cs { color: #cc0000; font-weight: bold }
.highlight .gd { color: #A00000 }
.highlight .ge { font-style: italic }
.highlight .gr { color: #FF0000 }
.highlight .gh { color: #000080; font-weight: bold }
.highlight .gi { color: #00A000 }
.highlight .go { color: #808080 }
.highlight .gp { color: #c65d09; font-weight: bold }
.highlight .gs { font-weight: bold }
.highlight .gu { color: #800080; font-weight: bold }
.highlight .gt { color: #0040D0 }
.highlight .kc { color: #008000; font-weight: bold }
.highlight .kd { color: #008000; font-weight: bold }
.highlight .kn { color: #008000; font-weight: bold }
.highlight .kp { color: #003080; font-weight: bold }
.highlight .kr { color: #008000; font-weight: bold }
.highlight .kt { color: #303090; font-weight: bold }
.highlight .m { color: #6000E0; font-weight: bold }
.highlight .s { background-color: #fff0f0 }
.highlight .na { color: #0000C0 }
.highlight .nb { color: #007020 }
.highlight .nc { color: #B00060; font-weight: bold }
.highlight .no { color: #003060; font-weight: bold }
.highlight .nd { color: #505050; font-weight: bold }
.highlight .ni { color: #800000; font-weight: bold }
.highlight .ne { color: #F00000; font-weight: bold }
.highlight .nf { color: #0060B0; font-weight: bold }
.highlight .nl { color: #907000; font-weight: bold }
.highlight .nn { color: #0e84b5; font-weight: bold }
.highlight .nt { color: #007000 }
.highlight .nv { color: #906030 }
.highlight .ow { color: #000000; font-weight: bold }
.highlight .w { color: #bbbbbb }
.highlight .mf { color: #6000E0; font-weight: bold }
.highlight .mh { color: #005080; font-weight: bold }
.highlight .mi { color: #0000D0; font-weight: bold }
.highlight .mo { color: #4000E0; font-weight: bold }
.highlight .sb { background-color: #fff0f0 }
.highlight .sc { color: #0040D0 }
.highlight .sd { color: #D04020 }
.highlight .s2 { background-color: #fff0f0 }
.highlight .se { color: #606060; font-weight: bold; background-color: #fff0f0 }
.highlight .sh { background-color: #fff0f0 }
.highlight .si { background-color: #e0e0e0 }
.highlight .sx { color: #D02000; background-color: #fff0f0 }
.highlight .sr { color: #000000; background-color: #fff0ff }
.highlight .s1 { background-color: #fff0f0 }
.highlight .ss { color: #A06000 }
.highlight .bp { color: #007020 }
.highlight .vc { color: #306090 }
.highlight .vg { color: #d07000; font-weight: bold }
.highlight .vi { color: #3030B0 }
.highlight .il { color: #0000D0; font-weight: bold }

/* Main styles */
p,
div {
  font-family: 'Noto Serif', serif;
}

.left-nav {
  text-align: right;
  padding-right: 20px;
}

.post-content p {
  font-size: 16px;
}

.container {
  max-width: 960px;
  padding-top: 100px;
  padding-bottom: 100px;
}

.find-me {
  margin-top: 8px;
  margin-bottom: 8px;
}

.find-me > a {
  margin: 3px;
}

pre {
  border-radius: 2px;
  border: 0px;
  padding: 18px;
}

ol {
  padding-left: 1em;
}

ul {
  padding-left: 1em;
  list-style-type: none;
}

content ul > li:before {
  content: "– ";
  text-indent: -5px;
}

li {
  font-size: 16px;
}

table {
  margin-left: auto;
  margin-right: auto;
  margin-top: 24px;
  margin-bottom: 24px;
}

table th {
  text-align: center;
  padding: 6px;
  font-weight: bold;
}

table td {
  border: solid lightgray 1px;
  min-width: 96px;
  padding: 6px;
}

ul.post-list {
  padding-left: 0px;
  margin-top: 20px;
}

ul.post-list > li {
  list-style: none;
}

ul.post-list > li .title {
  font-size: 18px;
}

ul.post-list > li .excerpt {
  font-size: 14px;
  font-style: italic;
}

ul.post-list > li .excerpt p {
  margin: 0px;
}

.post-content img {
  border-radius: 10px;
  width: 100%;
}

figure {
  margin-bottom: 20px;
}

.post-content figcaption {
  text-align: right;
  margin-right: 10px;
}

p {
  margin: 0 0 20px;
}

h1 {
  font-size: 32px;
}

h2 {
  line-height: 1.7;
  font-size: 22px;
}

h3 {
  font-size: 18px;
  font-weight: bold;
}

h4 {
  font-size: 16px;
  font-weight: bold;
}

strong {
  font-weight: 900;
}

.icon {
  height: 22px;
  width: 22px;
}

.footnotes {
  border-top-color: lightgray;
  border-top-style: solid;
  border-top-width: 1px;
  padding-top: 20px;
  margin-top: 60px;
}

.subscribe {
  font-size: 18px;
}

/* Taken from Tufte.css */
a:link,
a:visited {
  color: inherit;
}

a:link {
  text-decoration: none;
  background: linear-gradient(#fffff8, #fffff8), linear-gradient(#fffff8, #fffff8), linear-gradient(#333, #333);
  background-size: 0.05em 1px, 0.05em 1px, 1px 1px;
  background-repeat: no-repeat, no-repeat, repeat-x;
  text-shadow: 0.03em 0 #fffff8, -0.03em 0 #fffff8, 0 0.03em #fffff8, 0 -0.03em #fffff8, 0.06em 0 #fffff8, -0.06em 0 #fffff8, 0.09em 0 #fffff8, -0.09em 0 #fffff8, 0.12em 0 #fffff8, -0.12em 0 #fffff8, 0.15em 0 #fffff8, -0.15em 0 #fffff8;
  background-position: 0% 93%, 100% 93%, 0% 93%;
}

@media screen and (-webkit-min-device-pixel-ratio: 0) {
  a:link {
    background-position-y: 87%, 87%, 87%;
  }
}

a:link::selection {
  text-shadow: 0.03em 0 #b4d5fe, -0.03em 0 #b4d5fe, 0 0.03em #b4d5fe, 0 -0.03em #b4d5fe, 0.06em 0 #b4d5fe, -0.06em 0 #b4d5fe, 0.09em 0 #b4d5fe, -0.09em 0 #b4d5fe, 0.12em 0 #b4d5fe, -0.12em 0 #b4d5fe, 0.15em 0 #b4d5fe, -0.15em 0 #b4d5fe;
  background: #b4d5fe;
}

a:link::-moz-selection {
  text-shadow: 0.03em 0 #b4d5fe, -0.03em 0 #b4d5fe, 0 0.03em #b4d5fe, 0 -0.03em #b4d5fe, 0.06em 0 #b4d5fe, -0.06em 0 #b4d5fe, 0.09em 0 #b4d5fe, -0.09em 0 #b4d5fe, 0.12em 0 #b4d5fe, -0.12em 0 #b4d5fe, 0.15em 0 #b4d5fe, -0.15em 0 #b4d5fe;
  background: #b4d5fe;
}

/* Code block styling for Astro */
pre {
  background-color: #f5f5f5;
  overflow-x: auto;
}

code {
  font-family: monospace;
}