@font-face {
  font-family: "Liberation Mono";
  src: local("Liberation Mono"), url("/font/LiberationMono-Regular.ttf") format("truetype");
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "Liberation Mono";
  src: local("Liberation Mono Bold"), url("/font/LiberationMono-Bold.ttf") format("truetype");
  font-weight: bold;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "Liberation Mono";
  src: local("Liberation Mono Italic"), url("/font/LiberationMono-Italic.ttf") format("truetype");
  font-weight: normal;
  font-style: italic;
  font-display: swap;
}
@font-face {
  font-family: "Source Serif 4";
  src: local("Source Serif 4"), url("/font/SourceSerif4-Regular.ttf") format("truetype");
  font-weight: normal;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "Source Serif 4";
  src: local("Source Serif 4 Bold"), url("/font/SourceSerif4-Bold.ttf") format("truetype");
  font-weight: bold;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "Source Serif 4";
  src: local("Source Serif 4 Italic"), url("/font/SourceSerif4-It.ttf") format("truetype");
  font-weight: normal;
  font-style: italic;
  font-display: swap;
}
@font-face {
  font-family: "Source Serif 4";
  src: local("Source Serif 4 Bold Italic"), url("/font/SourceSerif4-BoldIt.ttf") format("truetype");
  font-weight: bold;
  font-style: italic;
  font-display: swap;
}

:root {
  --mono: "Liberation Mono", Consolas, Menlo, Courier, monospace;
  --serif: "Source Serif 4", Georgia, serif;
  --back: #1a1a1a;
  --text: #c3a784;
  --gold: #bf9644;
  --olive: #859f57;
  --muted: #888888;
  --line: #2e2e37;
  --panel: #1e1e1e;
  --rule: #515151;
}

::selection {
  background-color: var(--gold);
  color: #000;
  text-shadow: none;
}

* {
  margin: 0;
  padding: 0;
}

html {
  font-size: 16px;
  width: 100%;
  background-color: var(--back);
}

body {
  font-family: var(--mono);
  font-size: 15px;
  line-height: 1.5;
  color: var(--text);
  background-color: var(--back);
  margin: 0 auto;
  width: 88%;
  max-width: 720px;
}

body > header {
  padding-top: 2.5em;
  text-align: center;
}

main {
  margin-top: 2.5em;
  font-family: var(--serif);
}

p, dl, ol, ul, table {
  font-size: 1.125rem;
  line-height: 1.8rem;
}

.menu {
  display: flex;
  justify-content: center;
  gap: 1.5em;
  margin: 0;
  padding: 0;
  list-style-type: none;
  font-size: 1rem;
  line-height: 1.6rem;
}

footer {
  margin: 3em 0 0;
  padding: 1em 0 2em 0;
  color: var(--muted);
  text-align: center;
}

hr {
  border: 0;
  border-top: 1px solid var(--rule);
  margin: 1.5em 0;
}

img, iframe, video {
  max-width: 100%;
}

h1#logo a:hover {
  text-decoration: none;
}

h1 {
  font-size: 30px;
  font-weight: 400;
  line-height: 1.2;
  margin-bottom: 8px;
}

h2 {
  font-style: italic;
  font-size: 28px;
  line-height: 1.2;
  margin-top: 1em;
  margin-bottom: 4px;
}

h3 {
  font-size: 22px;
  margin-top: 1em;
  margin-bottom: 4px;
}

h4 {
  font-size: 19px;
  margin-bottom: 4px;
}

h1 code, h2 code {
  font-style: normal;
}

.article-meta header h1 {
  font-size: 2.75em;
}
.article-meta header h2 {
  margin-top: 0;
  font-size: 24px;
  font-weight: 400;
}
.article-meta .info {
  margin: 1em 0;
}
.article-meta .info .date {
  color: var(--muted);
}
.series {
  font-weight: 600;
}
.date {
  font-family: var(--mono);
  font-size: 1rem;
}

main p {
  text-align: left;
}
main p:not(:last-child) {
  margin: 0 0 1em;
}

main ul, main ol {
  margin-bottom: 1em;
}
main ul ul, main ol ol,
main ul ol, main ol ul {
  margin-bottom: 0;
}

a {
  color: var(--gold);
  text-decoration: none;
  font-weight: 500;
}
a:hover {
  text-decoration: underline;
}
h1 a {
  color: var(--text);
}
.accent {
  color: var(--gold);
}

ul, ol {
  margin-left: 1.5em;
}

ul.articles {
  margin-left: 0;
  margin-bottom: 2em;
}
ul.articles li {
  list-style-type: none;
  margin-bottom: 0.75em;
  display: grid;
  grid-template-columns: 1fr auto;
  column-gap: 1.5em;
  align-items: baseline;
}
ul.articles p {
  margin: 0;
  text-align: left;
}
ul.articles .description {
  grid-column: 1;
}
ul.articles .date {
  grid-area: 1 / 2;
  color: var(--muted);
}

blockquote, blockquote > p {
  font-style: italic;
}
blockquote {
  margin: 1em;
  padding: 0.5em 1em 0.5em 0.5em;
  font-size: 18px;
}

pre, code {
  font-family: var(--mono);
  font-size: 15px;
  line-height: 1.3;
  tab-size: 4;
  text-align: left;
  hyphens: none;
}

pre {
  margin: 1em 0;
  border: 1px solid var(--line);
  border-radius: 2px;
  padding: 0.5em 1em;
  background-color: var(--panel);
  overflow: auto;
}

p code, li code {
  line-height: 1;
  border: 1px solid var(--line);
  border-radius: 2px;
  padding: 1px 3px;
  background-color: var(--panel);
  font-size: 0.85em;
}

pre .c { color: var(--muted); }
pre .k { color: var(--gold); }
pre .s { color: var(--olive); }
pre .n { color: var(--olive); }

table {
  border: 1px solid var(--rule);
  border-collapse: collapse;
  margin-bottom: 1em;
}
table td, table th {
  border: 1px solid var(--line);
  padding: 0.4em 0.85em;
}