@charset "UTF-8";
img {
  max-width: 100%;
  max-height: 70vh;
  display: block;
  margin: auto;
  box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.2), 0 6px 20px 0 rgba(0, 0, 0, 0.19);
}

body {
  margin: 0;
  max-width: 100%;
  overflow-wrap: break-word;
  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
  color: #333;
}

p > code {
  padding: 3px 5px;
  border-radius: 4px;
  color: #800000;
  background-color: #eee;
  font-size: 90%;
}

ol {
  padding-inline-start: 2em;
  line-height: 1.6;
}

li + li {
  margin-top: 0.3em;
}

pre {
  overflow: scroll;
  padding: 8px;
  background-color: #eee;
  border-radius: 5px;
}

.container {
  max-width: 700px;
  margin-right: auto;
  margin-left: auto;
}

blockquote {
  border-left: solid 4px #ccc;
  color: #777;
  margin-left: 0rem;
  margin-right: 1rem;
  padding-left: 1rem;
}

blockquote a {
  color: #77E;
}

table {
  width: 100%;
  text-align: left;
  margin: 1.25rem 0;
  display: block;
  overflow-x: auto;
  font-size: 90%;
}

tbody {
  width: 100%;
}

th, td {
  padding: 0.75rem;
}

th {
  border-bottom: 1px solid black;
}

table, th, td {
  border-collapse: collapse;
}

th, td {
  border: 1px solid #ddd;
}

hr {
  border: none;
}

hr::before {
  content: "*     *     *";
  display: block;
  text-align: center;
}

/***************/
/* Navbar */
/***************/
.navbar {
  padding: 20px;
  background-color: #800000;
}

.navbar-link {
  text-decoration: none;
  font-size: 1.4rem;
  font-weight: 700;
  color: #FFFFFF;
}

/******* HEADING *******/
.heading {
  padding: 20px 20px 0;
}

.title {
  font-size: 2.4rem;
  margin: 0;
  font-weight: 700;
  line-height: 1.3;
}

.subtitle {
  font-size: 12pt;
  color: #AAA;
  margin-bottom: 0;
  margin-top: 0.5rem;
}

.subtitle > a {
  color: #AAA;
  padding-left: 0.25rem;
}

details > summary {
  list-style-type: "[+] ";
  font-weight: 600;
}

details > summary::marker {
  font-size: 1.1em;
}

details[open] > summary {
  list-style-type: "[¬] ";
}

.series {
  padding: 0;
  margin: 1rem 0 0;
  color: #555;
}

.series > div {
  margin: 0.5rem 0 0 0;
}

.series > div > p {
  padding-left: 1.75rem;
  margin: 0.3rem 0;
  font-size: 10pt;
}

.series a {
  color: #048ac8;
}

.outlinks {
  padding: 0;
  margin: 0;
  color: #555;
}

.outlinks > div {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
}

.outlink {
  margin: 0;
  font-size: 0.9em;
  border: 1px solid #bbb;
  padding: 0.3rem 0.5rem 0.4rem;
  border-radius: 4px;
  display: inline-flex;
  white-space: nowrap;
}

.outlinks a {
  color: #048ac8;
  text-decoration: none;
}

.outlinks h2 {
  font-size: 1.5em;
  font-weight: 600;
  margin: 1.5rem 0 0;
}

.outlinks p {
  font-size: 11pt;
  margin: 0.5em 0;
}

/******** BODY *********/
.content {
  padding: 20px;
  padding-top: 0;
}

p {
  line-height: 1.6;
  margin: 1.25em 0;
  font-size: 12pt;
}

.footnotes {
  margin-top: 2rem;
  font-size: 0.8rem;
}

.footnotes p {
  font-size: 0.8rem;
}

.footnotes > ol {
  padding-inline-start: 1rem;
}

a.footnote {
  text-decoration: none;
}

sup {
  top: -0.5em;
  position: relative;
  font-size: 80%;
  line-height: 0;
  vertical-align: baseline;
}

/******** HOMEPAGE *******/
.post-link {
  text-decoration: none;
  color: #333;
}

.post-title {
  font-size: 1.2rem;
  font-weight: 500;
  color: #333;
}

.post-links {
  margin-top: 2rem;
  display: grid;
  grid-template-columns: auto minmax(80%, 1fr);
  gap: 1rem 1rem;
}

.post-links h2 {
  margin: 0 0 0.5rem 0;
}

.post-subtext {
  font-size: 0.9rem;
  color: #AAA;
  margin: 0.25rem 0 0 0;
}

.post-date {
  text-align: right;
}

.post-tilde {
  text-align: right;
  padding-top: 0.25em;
}

.post-subtext-item {
  margin-right: 0.5rem;
}

.post-series a {
  color: #8B0000;
}

.post-tag a {
  color: #AAA;
}

.post-excerpt {
  line-height: 1.3rem;
  color: #666;
  margin-top: 0.5rem;
}

/**** *****/
.footer {
  padding: 0 20px 30px;
}

.post-metadata {
  font-size: 10pt;
  color: #AAA;
  margin-top: 2rem;
  font-style: italic;
  margin-bottom: 0;
}

.post-metadata > .highlight {
  color: #666;
}

.footer > .twitter-tweet {
  margin: auto;
}

.outlink img {
  height: 1.2em;
  width: 1.2em;
  box-shadow: none;
  padding-right: 0.4em;
  margin-bottom: -0.05em;
}

input, button {
  padding: 0.5rem 0.75rem;
  border: 1px solid #ced4da;
  border-radius: 0.25rem;
  font-size: 1rem;
}

input {
  margin-right: 0;
  flex-grow: 1;
}

button {
  margin-left: 5px;
  font-weight: 700;
  background-color: #28a745;
  color: #ffffff;
}

form {
  width: 100%;
  display: flex;
  max-width: 400px;
  margin: 0 auto 2rem;
}

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