code:not([class*="language-"]):not(.hl):not(.lean) {
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  background: #f3f4f6;
  color: var(--verso-code-color);
  padding: 0.04em 0.2em;
  border-radius: 0.2rem;
  line-height: 1;
  font-size: 0.95em;
  vertical-align: -0.02em;
}

code.hl.lean.inline {
  background: #f3f4f6;
  color: var(--verso-code-color);
  padding: 0.04em 0.2em;
  border-radius: 0.2rem;
  line-height: 1;
  font-size: 0.95em;
  vertical-align: -0.02em;
}

.hl.lean.block {
  padding: 1em;
  overflow-x: auto;
  background: var(--page-surface);
  border: 1px solid var(--page-border);
  border-radius: 0.5rem;
}

.mathyml-block-center {
  text-align: center;
}

.mathyml-inline-span {
  display: inline-block;
}

.mathyml-align-right {
  text-align: right;
  padding-left: 0em;
  padding-right: 0em;
}

.mathyml-align-left {
  text-align: left;
  padding-left: 0em;
  padding-right: 0em;
}

@media screen and (-webkit-min-device-pixel-ratio: 0) and (min-resolution: 0.001dpcm) {
  .mathyml-align-right {
    text-align: -webkit-right;
    padding-left: 0em;
    padding-right: 0em;
  }

  .mathyml-align-left {
    text-align: -webkit-left;
    padding-left: 0em;
    padding-right: 0em;
  }
}

p a:link {
  color: #735c0f;
}

p a:visited {
  color: #735c0f;
}

html {
  font-size: 75%;
}

body {
  font-size: 1.6rem;
  color: #000;
}

header {
  border-bottom: 0.2rem solid #000;
  font-family: cursive, serif;
}

nav {
  text-align: right;
}

nav ol {
  list-style: none;
  margin: 0;
  padding: 0;
}

nav ol li {
  display: inline;
}

nav a {
  font-size: 1.4rem;
  font-weight: bold;
  color: black;
  text-decoration: none;
  text-transform: capitalize;
}

footer {
  margin-top: 3rem;
  padding: 1.2rem 0;
  border-top: 0.2rem solid #000;
  font-size: 1.2rem;
  color: #555;
}

p {
  line-height: 1.7;
  font-size: 19px;
}

section,
h1 {
  font-family: Georgia, "Times New Roman", Times, serif;
}

h1 {
  font-size: 2.4rem;
}

h2 {
  font-size: 2rem;
}

/* 
code:not(.math):not(.inline) {
  background-color: #f6f8fa;
  font-size: 85%;
} */

blockquote {
  color: #6a737d;
  padding: 0 1em;
  margin: 0;
  border-left: .25em solid #dfe2e5;
}

pre > code {
  padding: 0;
  background-color: transparent;
  color: inherit;
  font-size: 100%;
}

.hl.lean.block {
  padding: 1em;
  overflow: auto;
  background: #f5f2f0
}

.lean-output.hl.lean.information{
  overflow: auto;
}


main .metadata {
  font-size: 1.4rem;
  font-style: italic;
  color: #555;
}

.logo a {
  font-weight: bold;
  color: #000;
  text-decoration: none;
  font-family: cursive, serif;
}

.post-list {
  list-style: none;
  padding: 0;
  margin: 0;
}

.post-list>li {
  display: block;
  border: 1px solid #aaa;
  border-radius: .5rem;
  padding: 1.5rem;
  margin: 2rem 0;
}

.post-list>li .title {
  font-weight: bold;
  font-size: 120%;
}

.read-more {
  display: none;
}

.post-list>li .read-more::after {
  content: " »";
}

.categories {
  display: none;
  margin: 0 0 1.5rem 0;
  padding: 0;
}

.categories:not(:empty) {
  display: block;
}

.categories::before {
  content: "Category: ";
}

.categories:has(li:nth-child(2))::before {
  content: "Categories: ";
}

.categories li {
  display: inline;
}

.categories li:not(:last-child)::after {
  content: ", ";
}

.authors {
  display: none;
}

.authors:not(:empty) {
  display: inline;
}

.authors::before {
  content: "by ";
}

.authors .author:not(:last-child)::after {
  content: ", ";
}

.authors .author:last-child::after {
  content: " ";
}

.date {
  display: inline;
}

.date:not(:empty)::before {
  content: "Posted on ";
}

@media (max-width: 319px) {
  body {
    width: 90%;
    margin: 0;
    padding: 0 5%;
  }

  header {
    margin: 4.2rem 0;
  }

  nav {
    margin: 0 auto 3rem;
    text-align: center;
  }

  footer {
    text-align: center;
  }

  .logo {
    text-align: center;
    margin: 1rem auto 3rem;
  }

  .logo a {
    font-size: 2.4rem;
  }

  nav a {
    display: block;
    line-height: 1.6;
  }
}

@media (min-width: 320px) {
  body {
    width: 90%;
    margin: 0;
    padding: 0 5%;
  }

  header {
    margin: 4.2rem 0;
  }

  nav {
    margin: 0 auto 3rem;
    text-align: center;
  }

  footer {
    text-align: center;
  }

  .logo {
    text-align: center;
    margin: 1rem auto 3rem;
  }

  .logo a {
    font-size: 2.4rem;
  }

  nav a {
    display: inline;
    margin: 0 0.6rem;
  }
}

@media (min-width: 640px) {
  body {
    width: 60rem;
    margin: 0 auto;
    padding: 0;
  }

  header {
    margin: 0 0 3rem;
    padding: 1.2rem 0;
  }

  nav {
    margin: 0;
    text-align: right;
  }

  nav a {
    margin: 0 0 0 1.2rem;
    display: inline;
  }

  footer {
    text-align: right;
  }

  .logo {
    margin: 0;
    text-align: left;
  }

  .logo a {
    float: left;
    font-size: 1.8rem;
  }
}