@font-face {
  font-family: 'Libertinus';
  src: url('/fonts/libertinus-regular.woff2') format('woff');
  /*font-weight: normal;*/
  /*font-style: normal;*/
}

html {
  /*display: table;*/
  margin: auto;
}


body {
  position:relative;
  min-height:100vh;
  padding-bottom: 100px;
  line-height: 1.8;
  max-width: 80ch;
  min-height: 100vh;
  overflow-x: hidden;
  margin: 0 auto;
  padding: 2rem 1.25rem;

  counter-reset: theorem;
  counter-reset: definition;
  counter-reset: sidenote-counter;

  text-rendering: optimizeLegibility;

  color: #222;
  font-family: sans-serif;
  line-height: 1.5;
  font-family: 'Libertinus', Georgia, serif;
  max-width: 800px;
  margin: auto;
}

/*
.page-wrapper {
  display: flex;
  flex-direction: column;
  min-height: 80vh;
}
*/

header {
  margin-bottom: 1rem;
}

main {
  margin-top: 40px;
  flex: 1;
}

/*
main, footer {
  margin-left: 20px;
}
*/

h1 {
  display: none;
}

h2 {
  color: black;
  font-weight: normal;
  font-size: 20px;
}

#section h2 {
  margin-top: 40px;
}

h3 {
  color: black;
  font-size: 16px;
  padding-top: 5px;
}

h4 {
  color: gray;
  font-size: 12px;
  font-weight: normal;
  text-align: right;
}

nav {
  color: white;
  font-size: 0.9rem;
  text-align: right;
  font-weight: bold;
  color: white;
  margin-bottom: 80px;
}

ul {
  list-style-type: none;
}

p {
  text-align: justify;
  hyphens: auto;
  -webkit-hyphens: auto;
  -moz-hyphens: auto;
  margin-top: 1rem;
}

/*
.quote p {
  text-indent: 2em;
  margin: 0;
}


.quote p:first-of-type {
  text-indent: 0;
}
*/

.quote a {
  text-decoration: none;
}

.quote p {
  line-height: 10px;
}

a {
  color: #575757;
  text-decoration: none;
}

a:visited {
  color: #7f7f7f;
  text-decoration: none;
}

a:hover {
  color: black;
  text-decoration: none;
}

a:active {
  text-decoration: underline;
}

li {
  color: grey;
}

#section img, #page img {
  height: auto;
  display: block;
  max-width: 80%;
  margin-bottom: 50px;
}

video {
  height: auto;
  display: block;
  max-width: 98%;
  margin-bottom: 50px;
}

blockquote {
  margin: 1.5em 2em;
  padding-left: 1em;
  border-left: 4px solid #555;
  color: #444;
  font-style: italic;
  background-color: transparent;
  font-family: serif;
  line-height: 1.4;
  font-size: 15px;
}

footer {
    margin-top: 70px;
    font-size: 15px;
    font-size: 25px;
}

@media (prefers-color-scheme: dark) {
  html {
    background-color: #181a1b;
  }
  body {
    background-color: #181a1b;
    color: #e0e0e0;
  }
  a,
  a:visited {
    color: #7f7f7f;
  }
  a:hover {
    color: #b5b5b5;
  }
  .verse a:visited {
    color: #7f7f7f;
    text-decoration: none;
  }
  h1:first-child {
    text-align: right;
    color: #7f7f7f;
  }
  h2 {
    color: white;
  }
  h3 {
    color: #e0e0e0;
  }
  blockquote {
      color: #bbb;
}
}

/*
@media only screen and (max-width: 600px) {
  main {
  }
}
*/