@import "pygment.css";

/* Generated with help of google-webfonts-helper
 * Link: https://google-webfonts-helper.herokuapp.com/fonts/source-serif-pro?subsets=latin,latin-ext
 */
/* source-serif-pro-regular - latin-ext_latin */
@font-face {
  font-family: 'Source Serif Pro';
  font-style: normal;
  font-weight: 400;
  src: url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-regular.eot'); /* IE9 Compat Modes */
  src: local('Source Serif Pro'), local('SourceSerifPro-Regular'),
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-regular.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-regular.woff2') format('woff2'), /* Super Modern Browsers */
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-regular.woff') format('woff'), /* Modern Browsers */
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-regular.ttf') format('truetype'), /* Safari, Android, iOS */
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-regular.svg#SourceSerifPro') format('svg'); /* Legacy iOS */
}
/* source-serif-pro-600 - latin-ext_latin */
@font-face {
  font-family: 'Source Serif Pro';
  font-style: normal;
  font-weight: 600;
  src: url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-600.eot'); /* IE9 Compat Modes */
  src: local('Source Serif Pro Semibold'), local('SourceSerifPro-Semibold'),
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-600.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-600.woff2') format('woff2'), /* Super Modern Browsers */
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-600.woff') format('woff'), /* Modern Browsers */
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-600.ttf') format('truetype'), /* Safari, Android, iOS */
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-600.svg#SourceSerifPro') format('svg'); /* Legacy iOS */
}
/* source-serif-pro-700 - latin-ext_latin */
@font-face {
  font-family: 'Source Serif Pro';
  font-style: normal;
  font-weight: 700;
  src: url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-700.eot'); /* IE9 Compat Modes */
  src: local('Source Serif Pro Bold'), local('SourceSerifPro-Bold'),
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-700.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-700.woff2') format('woff2'), /* Super Modern Browsers */
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-700.woff') format('woff'), /* Modern Browsers */
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-700.ttf') format('truetype'), /* Safari, Android, iOS */
       url('../fonts/source-serif-pro/source-serif-pro-v7-latin-ext_latin-700.svg#SourceSerifPro') format('svg'); /* Legacy iOS */
}

body {
  font-family: monospace;
  background-color: #fffbf3;
  line-height: 1.5;
}

#banner nav {
  background: none;
}

.container {
  display: flex;
  flex-direction: column;
  max-width: 700px;
  margin: 0 auto;
  padding-left: 1rem;
  padding-right: 1rem;
}

header nav ul {
  display: flex;
  list-style: none;
  padding-left: 0;
}

header nav li:not(:last-of-type) {
  margin-right: 1rem;
}

header nav a {
  text-decoration: none;
  color: black;
}

header nav li.active a {
  color: #8e7967;
}

header nav a:hover {
  color: gray;
}

header h1 {
  margin-bottom: 0;
}

hr {
  border: 0;
  margin-top: 1rem;
  border-top: 1px solid lightgray;
  width: 100%;
}

div.footnote {
  padding-top: 1rem;
}

div.footnote ol {
  padding-top: .25rem;
  padding-bottom: .25rem;
}

footer {
  margin-bottom: 1rem;
  margin-top: 1rem;
}

a.tag {
  color: gray;
  text-decoration: none;
  border-bottom: 1px dashed;
}

a.tag:hover {
  color: lightgray;
}

h1.article-title {
  /* margin-bottom: .25rem; */
}

h2.article-title {
  margin-bottom: 0;
}

p.article-date {
  margin-top: 0;
  color: gray;
}

div.article-content {
  font-family: 'Source Serif Pro', serif;
  font-size: 1rem;
  line-height: 1.5rem;
}

div.article-content li:not(:last-child) {
  padding-bottom: 0.5rem;
}

div.article-content ol {
  padding-top: 0.5rem;
}

div.article-content ul {
  padding-top: 0.5rem;
}

div.article-content h2 {
  padding-top: 2rem;
}

li p:first-child {
  margin-top: 0;
}

div.highlight {
  background-color: #f5f0e6;
  padding: 1rem;
  border-radius: .25rem;
}

pre {
  margin: 0;
}

h1.article-link {
  margin-bottom: .25rem;
}

h1.article-link a {
  color: black;
  text-decoration: none;
  border-bottom: 1px solid gray;
}

h1.article-link a:hover {
  color: #737373;
}

h4.article-link {
  margin-bottom: 0;
}

div.page-content {
  font-family: 'Source Serif Pro', serif;
}

img {
  display: block;
  margin: auto;
  max-width: 500px;
  width: 100%;
}

div.highlight {
  overflow: scroll;
}

code {
  padding: .2rem .4rem;
  background-color: #f5f0e6;
  border-radius: 3px;
}

blockquote {
  color: gray;
  font-style: italic;
  max-width: 75%;
  padding: auto;
  border-left: 2px solid black;
  padding-left: .5rem;
}

a {
  color: black;
}

a:not(.internal-link):not(.footnote-ref):not(.footnote-backref):not(.img-link):not(.headerlink):not(.toclink):after {
  font-size: .9rem;
  content: " ➚";
  /* border: 1px solid black; */
  /* margin: .2rem; */
}

a.toclink {
  text-decoration: none;
}

/* a.toclink:hover { */
/*   text-decoration: underline; */
/* } */

a:hover {
  color: gray;
}

a.no-underline {
  text-decoration: none;
}

figcaption {
  font-style: italic;
  text-align: center;
  padding-top: 0.75rem;
  font-size: 0.9rem;
}

.admonition {
  padding: 1rem;
  background-color: #ece9e1;
  border: 1px solid #b5b5b5;
}

.admonition p:first-child {
  padding: 0;
  margin: 0;
}

.admonition p:last-child {
  padding: 0;
  margin: 0;
}
.admonition-title {
  font-weight: 800;
}

a.headerlink {
  visibility: hidden;
  opacity: 0;
  transition: visibility 0s,opacity .2s ease-in;
  margin-left: 1rem;
  text-align: left;
}

h2:hover a {
  visibility: visible;
  opacity: 1;
  color: gray;
  text-decoration: underline;
}