/* Cover-site stylesheet. Plain, readable, "personal academic blog" vibe. */
:root {
  --fg: #1a1a1a;
  --bg: #fafafa;
  --link: #1e5aa8;
  --link-visited: #5b3ea8;
  --rule: #c8c8c8;
  --muted: #6a6a6a;
}
body {
  font-family: Georgia, "Iowan Old Style", "Palatino Linotype", Palatino, serif;
  font-size: 17px;
  line-height: 1.55;
  color: var(--fg);
  background: var(--bg);
  margin: 0;
  padding: 0;
}
header, main, footer {
  max-width: 720px;
  margin: 0 auto;
  padding: 0 24px;
}
header {
  border-bottom: 1px solid var(--rule);
  margin-bottom: 2em;
  padding-top: 32px;
  padding-bottom: 16px;
}
header h1 {
  font-size: 22px;
  margin: 0;
}
header nav {
  margin-top: 6px;
  color: var(--muted);
  font-size: 14px;
}
header nav a {
  color: var(--muted);
  margin-right: 14px;
}
a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; }
a:visited { color: var(--link-visited); }
main h1 {
  font-size: 28px;
  margin-bottom: 4px;
}
.meta {
  color: var(--muted);
  font-size: 14px;
  margin-bottom: 1.4em;
}
article p { margin: 1em 0; }
article ul, article ol { margin: 1em 0; padding-left: 24px; }
article code {
  background: #eef0f2;
  padding: 1px 5px;
  border-radius: 3px;
  font-family: Menlo, Consolas, monospace;
  font-size: 0.9em;
}
article blockquote {
  border-left: 3px solid var(--rule);
  margin: 1.2em 0;
  padding: 0.2em 0 0.2em 14px;
  color: #333;
  font-style: italic;
}
hr.entry-sep { border: none; border-top: 1px solid var(--rule); margin: 2em 0; }
footer {
  margin-top: 4em;
  border-top: 1px solid var(--rule);
  padding-top: 16px;
  padding-bottom: 32px;
  color: var(--muted);
  font-size: 13px;
}
ul.entries { list-style: none; padding: 0; }
ul.entries li { margin-bottom: 1.3em; }
ul.entries li .date {
  color: var(--muted);
  font-size: 13px;
  display: block;
}
ul.entries li a { font-size: 18px; }