header.page, footer.page {
  width: 90vw;
  margin: 0 5vw;
  padding: 1vh 0;
  margin: 2vh 3.5vw;
  padding: 0; }
  @media (min-width: 800px) {
    header.page, footer.page {
      width: 85vw;
      margin: 2vh 5vw;
      padding: 2.5vh 2.5vw;
      padding: 0; } }
  @media (min-width: 990px) {
    header.page, footer.page {
      width: 80vw;
      margin: 4vh 5vw; } }
  @media (min-width: 1200px) {
    header.page, footer.page {
      width: 80vw;
      margin: 5vh 10vw; } }

main {
  width: 90vw;
  margin: 0 5vw;
  padding: 1vh 0; }
  @media (min-width: 800px) {
    main {
      width: 85vw;
      margin: 2vh 5vw;
      padding: 2.5vh 2.5vw;
      border: thin solid gray;
      border-radius: 5px;
      padding-top: 1.5vh; } }
  @media (min-width: 990px) {
    main {
      width: 70vw;
      margin: 5vh 12.5vw;
      padding: 2.5vh 2.5vw; } }
  @media (min-width: 1200px) {
    main {
      width: 60vw;
      margin: 5vh 17.5vw;
      padding: 2.5vh 2.5vw; } }

body {
  overflow-x: auto;
  color: #000;
  background-color: #FFFBEB;
  font-family: sans-serif;
  font-size: 1rem;
  line-height: 1.4; }
  @media (prefers-color-scheme: dark) {
    body {
      color: #DDD; } }
  @media (prefers-color-scheme: dark) {
    body {
      background-color: #2E3A52; } }
  body p {
    margin-bottom: 0.75rem;
    text-indent: 0;
    text-align: left; }
  @media (min-width: 800px) {
    body {
      font-size: 1.1rem;
      line-height: 1.225; }
      body p {
        margin-bottom: 1.1rem;
        text-indent: 0;
        text-align: justify; } }
  @media (min-width: 990px) {
    body {
      font-size: 1.1rem;
      line-height: 1.3; }
      body p {
        margin-bottom: 1.1rem;
        text-indent: 0;
        text-align: justify; } }
  @media (min-width: 1200px) {
    body {
      font-size: 1.1rem;
      line-height: 1.3; }
      body p {
        margin-bottom: 1.1rem;
        text-indent: 0;
        text-align: left; } }

h1 {
  font-weight: 400;
  line-height: 1.1;
  font-size: 2.1rem;
  margin: 0 0 0.5rem 0; }
  h1 a {
    color: inherit !important; }
  @media (min-width: 800px) {
    h1 {
      font-size: 2.1rem;
      margin: 0 0 0.5rem 0; } }
  @media (min-width: 1200px) {
    h1 {
      font-size: 2.1rem;
      margin: 0 0 0.5rem 0; } }

h2 {
  font-weight: 400;
  line-height: 1.1;
  font-size: 1.7rem;
  margin: 0 0 0.3rem 0; }
  h2 a {
    color: inherit !important; }
  @media (min-width: 800px) {
    h2 {
      font-size: 1.9rem;
      margin: 0 0 0.3rem 0; } }
  @media (min-width: 1200px) {
    h2 {
      font-size: 1.9rem;
      margin: 0 0 0.3rem 0; } }

h3 {
  font-weight: 400;
  line-height: 1.1;
  font-size: 1.5rem;
  margin: 1.1rem 0 0.25rem 0; }
  h3 a {
    color: inherit !important; }
  @media (min-width: 800px) {
    h3 {
      font-size: 1.6rem;
      margin: 1rem 0 0.5rem 0; } }
  @media (min-width: 1200px) {
    h3 {
      font-size: 1.6rem;
      margin: 1.5rem 0 1.1rem 0; } }

h4 {
  font-weight: 400;
  line-height: 1.1;
  font-size: 1.4rem;
  margin: 0.5rem 0 0.25rem 0; }
  h4 a {
    color: inherit !important; }
  @media (min-width: 800px) {
    h4 {
      font-size: 1.4rem;
      margin: 0.5rem 0 0.5rem 0; } }
  @media (min-width: 1200px) {
    h4 {
      font-size: 1.4rem;
      margin: 0.5rem 0 0.75rem 0; } }

h5 {
  font-weight: 400;
  line-height: 1.1;
  font-size: 1.25rem;
  margin: 0 0 0.2rem 0; }
  h5 a {
    color: inherit !important; }
  @media (min-width: 800px) {
    h5 {
      font-size: 1.25rem;
      margin: 0 0 0.25rem 0; } }
  @media (min-width: 1200px) {
    h5 {
      font-size: 1.25rem;
      margin: 0 0 0.25rem 0; } }

h6 {
  font-weight: 400;
  line-height: 1.1;
  font-size: 1.2rem;
  margin: 0 0 0.2rem 0; }
  h6 a {
    color: inherit !important; }
  @media (min-width: 800px) {
    h6 {
      font-size: 1.2rem;
      margin: 0 0 0.2rem 0; } }
  @media (min-width: 1200px) {
    h6 {
      font-size: 1.2rem;
      margin: 0 0 0.2rem 0; } }

/* Links */
a:link {
  color: #225DC3;
  text-decoration: none; }
  @media (prefers-color-scheme: dark) {
    a:link {
      color: #9AE4AB; } }
a:hover, a:focus {
  text-decoration: underline; }
a:visited {
  color: #6D44E4; }
  @media (prefers-color-scheme: dark) {
    a:visited {
      color: #E2B492; } }
a.unvisited {
  color: #225DC3; }
  @media (prefers-color-scheme: dark) {
    a.unvisited {
      color: #9AE4AB; } }
a.active {
  font-weight: 900; }

code, pre {
  font-family: monospace; }

@media (max-width: 799px) {
  footer.page h1, footer.page h5, header.page h1, header.page h5 {
    font-size: 2rem;
    margin: 0.1rem 0; } }
footer.page li, header.page li {
  line-height: 1;
  margin: 1rem 1rem; }
@media (min-width: 800px) {
  footer.page h1, header.page h1 {
    margin: 0.5rem 0; }
  footer.page li, header.page li {
    display: inline;
    margin: 0.25rem 0.25rem; } }

section#preamble {
  font-style: italic;
  margin-bottom: 1em; }
  section#preamble p {
    margin: 0;
    display: inline; }

section#content ul, article#content ul {
  list-style: circle; }
section#content ol, article#content ol {
  list-style: decimal; }
section#content ol, section#content ul, section#content dl, article#content ol, article#content ul, article#content dl {
  margin-bottom: 0.5rem; }
  section#content ol p, section#content ul p, section#content dl p, article#content ol p, article#content ul p, article#content dl p {
    margin-bottom: 0; }
  section#content ol dt, section#content ul dt, section#content dl dt, article#content ol dt, article#content ul dt, article#content dl dt {
    font-weight: 600; }
  section#content ol li, section#content ol dd, section#content ul li, section#content ul dd, section#content dl li, section#content dl dd, article#content ol li, article#content ol dd, article#content ul li, article#content ul dd, article#content dl li, article#content dl dd {
    margin: 0;
    margin-left: 1rem;
    margin-bottom: 0.25rem; }
  @media (min-width: 800px) {
    section#content ol, section#content ul, section#content dl, article#content ol, article#content ul, article#content dl {
      margin-bottom: 0.85rem; }
      section#content ol li, section#content ol dd, section#content ul li, section#content ul dd, section#content dl li, section#content dl dd, article#content ol li, article#content ol dd, article#content ul li, article#content ul dd, article#content dl li, article#content dl dd {
        margin: 0;
        margin-left: 1rem;
        margin-bottom: 0.25rem; } }
  @media (min-width: 990px) {
    section#content ol, section#content ul, section#content dl, article#content ol, article#content ul, article#content dl {
      margin-bottom: 0.85rem; }
      section#content ol li, section#content ol dd, section#content ul li, section#content ul dd, section#content dl li, section#content dl dd, article#content ol li, article#content ol dd, article#content ul li, article#content ul dd, article#content dl li, article#content dl dd {
        margin: 0;
        margin-left: 1rem;
        margin-bottom: 0.25rem; } }
  @media (min-width: 1200px) {
    section#content ol, section#content ul, section#content dl, article#content ol, article#content ul, article#content dl {
      margin-bottom: 0.85rem; }
      section#content ol li, section#content ol dd, section#content ul li, section#content ul dd, section#content dl li, section#content dl dd, article#content ol li, article#content ol dd, article#content ul li, article#content ul dd, article#content dl li, article#content dl dd {
        margin: 0;
        margin-left: 1rem;
        margin-bottom: 0.25rem; } }
section#content em, article#content em {
  font-style: italic; }
section#content strong, article#content strong {
  font-weight: bold; }
section#content blockquote, article#content blockquote {
  display: block;
  font-family: serif;
  font-style: italic;
  margin-left: 1rem; }
  section#content blockquote em, article#content blockquote em {
    font-style: normal;
    font-family: sans-serif; }
section#content sup, article#content sup {
  vertical-align: super;
  font-size: 0.8rem; }
  @media (min-width: 800px) {
    section#content sup, article#content sup {
      font-size: 0.88rem; } }
  @media (min-width: 990px) {
    section#content sup, article#content sup {
      font-size: 0.88rem; } }
  @media (min-width: 1200px) {
    section#content sup, article#content sup {
      font-size: 0.88rem; } }

header#post {
  margin: 0 auto 1rem -1.5vw; }
  @media (min-width: 800px) {
    header#post {
      margin: 0 auto 1rem -0.25rem; } }
  header#post #title {
    margin-bottom: 0.1rem; }
  header#post #pubdata {
    color: #353535;
    margin: 0;
    font-style: italic; }
    @media (prefers-color-scheme: dark) {
      header#post #pubdata {
        color: #C5C5C5; } }
  header#post #tags {
    color: #353535;
    margin: 0; }
    @media (prefers-color-scheme: dark) {
      header#post #tags {
        color: #C5C5C5; } }
    header#post #tags a {
      color: #225DC3; }
      @media (prefers-color-scheme: dark) {
        header#post #tags a {
          color: #9AE4AB !important; } }

section#posts {
  margin-top: 1em; }
  section#posts > header {
    background-color: #FFF5D1;
    border-bottom-color: #353535;
    border-bottom: solid 0.3rem;
    margin-bottom: 0.3rem; }
    @media (prefers-color-scheme: dark) {
      section#posts > header {
        background-color: #355469; } }
    @media (prefers-color-scheme: dark) {
      section#posts > header {
        border-bottom-color: #C5C5C5; } }
    section#posts > header > h5 {
      margin-bottom: 0;
      padding: 0.5rem 0 0.5rem 1rem;
      line-height: 1; }
  section#posts li {
    border-bottom-color: #353535;
    border-bottom: solid 0.15rem;
    margin-bottom: 0.2rem;
    padding-left: 0.75rem;
    padding-bottom: 0.4rem;
    line-height: 1.5; }
    @media (prefers-color-scheme: dark) {
      section#posts li {
        border-bottom-color: #C5C5C5; } }
    section#posts li > p {
      margin: 0;
      color: #353535;
      font-size: 0.75rem;
      line-height: 1.25;
      margin-left: 0.5rem; }
      @media (prefers-color-scheme: dark) {
        section#posts li > p {
          color: #C5C5C5; } }
      @media (min-width: 800px) {
        section#posts li > p {
          font-size: 0.825rem;
          line-height: 1.25;
          margin-left: 0.5rem; } }
      @media (min-width: 990px) {
        section#posts li > p {
          font-size: 0.825rem;
          line-height: 1.25;
          margin-left: 0.5rem; } }
      @media (min-width: 1200px) {
        section#posts li > p {
          font-size: 0.825rem;
          line-height: 1.25;
          margin-left: 0.5rem; } }

.tooltip {
  color: #000;
  text-decoration: underline dotted 0.1rem !important; }
  @media (prefers-color-scheme: dark) {
    .tooltip {
      color: #DDD !important; } }

pre {
  overflow-x: scroll;
  margin: 1rem 0;
  padding: 0.5rem 0.75rem; }

p:has(> math[display=block]) {
  display: block; }

.block-eq, math[display=block] {
  overflow-x: scroll;
  max-width: 90vw;
  font-size: 1.5rem;
  margin-top: 0.25rem;
  margin-bottom: 1rem;
  max-width: 90vw;
  font-size: 1.5rem;
  margin-top: 0.25rem;
  margin-bottom: 1rem;
  max-width: 90vw;
  font-size: 1.7rem;
  margin-top: 0.25rem;
  margin-bottom: 1rem;
  max-width: 90vw;
  font-size: 1.7rem;
  margin-top: 0.25rem;
  margin-bottom: 1rem; }

figure {
  display: block;
  text-align: center;
  margin: 0 5%; }
  @media (min-width: 800px) {
    figure {
      margin: 0 15%; } }
  figure > a {
    margin: 0;
    padding: 0;
    line-height: 0; }
  figure svg, figure img {
    margin: 0;
    background-color: white;
    padding: 0;
    width: 100% !important;
    height: auto !important;
    font-size: 1rem; }
  figure figcaption {
    background-color: #FFF5D1;
    text-align: center;
    font-size: 0.95rem; }
    @media (prefers-color-scheme: dark) {
      figure figcaption {
        background-color: #355469; } }
    @media (min-width: 800px) {
      figure figcaption {
        font-size: 1.089rem; } }

/*# sourceMappingURL=style.css.map */