/* BASE */

html {
  scroll-behavior: smooth;
  padding: 0;
}

body {
  font-family: "Literata";
  font-size: 1rem;
  color: #222;
  line-height: 1.3rem;
  margin: auto;
  max-width: var(--main-width);
  padding-left: var(--main-padding);
  padding-right: var(--main-padding);
}

.content {
  min-height: var(--content-height) !important;
}

h1 {
  margin-top: var(--h1-margin-top);
  margin-bottom: var(--h1-margin-bottom);
  font-size: 2em;
}

h2 {
  margin-top: var(--h2-margin-top);
  margin-bottom: var(--h2-margin-bottom);
  font-size: 1.5em;
}

h3,
h4,
h5,
h6 {
  font-size: 1.2em;
  margin-top: var(--hx-margin-top);
  margin-bottom: var(--hx-margin-bottom);
}

p {
  margin-top: var(--p-margin-top);
  margin-bottom: var(--p-margin-bottom);
}

ul {
  margin-top: var(--ul-margin-top);
  margin-bottom: var(--ul-margin-bottom);
}

li {
  margin-left: var(--li-indent);
}

a {
  text-decoration: underline;
}

/* Code blocks */

pre {
  padding: var(--code-padding);
  overflow: scroll;
  border-radius: var(--code-border-radius);
  margin-top: var(--code-margin-top);
  margin-bottom: var(--code-margin-bottom);
}

code {
  -webkit-font-smoothing: antialiased;
  -moz-font-feature-settings: "liga=1, dlig=1";
  -ms-font-feature-settings: "liga", "dlig";
  -webkit-font-feature-settings: "liga", "dlig";
  -o-font-feature-settings: "liga", "dlig";
  font-feature-settings: "liga", "dlig";
  font-variant-ligatures: contextual;
  font-family: "Monaspace";
  font-size: .9em;
}

/* Latex Overflow */

.MathJax {
  overflow-x: auto;
  overflow-y: hidden;
}

/* Footnotes */

.footnotes {
  margin-top: 3rem;
  border-style: none;
}

hr {
  border: 1px solid black;
  margin-top: 2rem;
  margin-bottom: 2rem;
}


/* Header */

.header {
  padding-top: var(--header-top-gap);
  margin-bottom: var(--header-bottom-gap);
}

.header p {
  font-family: monospace;
  margin-top: var(--header-menu-top-gap);
  margin-right: var(--header-menu-side-gap);
}

.header h1 {
  font-size: 2.6em;
  margin-bottom: 0;
  margin-top: 0;
}

/* Footer */

footer {
  font-size: small;
  display: flex;
  justify-content: center;
  align-items: center;
  max-height: var(--footer-height);
}

footer a {
  font-family: "Monaspace";
  margin-left: .2rem;
  margin-right: .2rem;
}

/* Posts list  */

.post-list-container {
  margin-bottom: 2rem;
}

.post-line {
  margin-bottom: .5rem;
  display: flex;
  align-items: baseline;
}

.post-line p {
  margin-top: 0rem;
  margin-bottom: 0rem;
}

.post-date {
  font-size: small;
  font-family: "Monaspace";
  width: 110px;
  text-align: right;
  padding-right: 1rem;
}

.post-title {
  margin: 0;
}

.pagination {
  display: flex;
  align-items: center;
  margin-top: 1rem;
  margin-bottom: 1rem;
  justify-content: center;
}

.pagination-control {
  min-width: 3rem;
  margin-left: .5rem;
  margin-right: .5rem;
  text-align: center;
  align-items: center;
}

.page-number {
  min-width: 3rem;
  margin-left: .5rem;
  margin-right: .5rem;
  display: flex;
  align-items: center;
  justify-content: center;
  align-items: center;
  font-weight: bold;
}

/* Social Icons */

.social-icons {
  padding: 12px 0;
  margin-bottom: 3rem;
}

.social-icons a {
  text-decoration: none;
}

.social-icons a:not(:last-of-type) {
  margin-inline-end: 12px;
}

.social-icons a svg {
  height: 20px;
  width: 20px;
}

/* Single post page */

.single-intro-container {
  margin-top: 1rem;
  margin-bottom: 2rem;
}

.single-title {
  margin-top: 1rem;
  margin-bottom: .5rem;
}

.single-readtime {
  margin-top: .5rem;
}

.single-summary {
  font-style: italic;
  margin-bottom: 0;
}

.single-content {
  margin-bottom: 6rem;
}

/* Table of contents */

.toc {
  margin-top: var(--toc-margin-top);
  margin-bottom: var(--toc-margin-bottom);
}

.toc ul {
  margin-top: 0;
  margin-bottom: .5rem;
}