@media screen and (max-width: 480px) {
  .mobile-g {
    display: none !important;
  }
}
@media screen and (max-width: 479px) {
  .mobile-ge {
    display: none !important;
  }
}
@media screen and (min-width: 481px) {
  .mobile-le {
    display: none !important;
  }
}
@media screen and (min-width: 480px) {
  .mobile-l {
    display: none !important;
  }
}

@media screen and (max-width: 768px) {
  .tablet-g, .site-nav .site-nav-search-form {
    display: none !important;
  }
}
@media screen and (max-width: 767px) {
  .tablet-ge {
    display: none !important;
  }
}
@media screen and (min-width: 769px) {
  .tablet-le, .site-nav .site-nav-search-nav {
    display: none !important;
  }
}
@media screen and (min-width: 768px) {
  .tablet-l {
    display: none !important;
  }
}

.footer-col-wrapper:after, .wrapper:after, .content-header-wrapper:after, .content-sock-wrapper:after, .tagged-pages-header-wrapper:after, .post-header-wrapper:after, .header-wrapper:after {
  content: "";
  display: table;
  clear: both;
}

.wrapper, .header-wrapper, .content-sock-wrapper, .content-header-wrapper, .tagged-pages-header-wrapper, .post-header-wrapper {
  max-width: -webkit-calc(var(--content-width) - 2 * var(--spacing-unit));
  max-width: calc(var(--content-width) - 2 * var(--spacing-unit));
  margin-right: auto;
  margin-left: auto;
  padding-right: var(--spacing-unit);
  padding-left: var(--spacing-unit);
}
@media screen and (max-width: 768px) {
  .wrapper, .header-wrapper, .content-sock-wrapper, .content-header-wrapper, .tagged-pages-header-wrapper, .post-header-wrapper {
    max-width: -webkit-calc(var(--content-width) - 1 * var(--spacing-unit));
    max-width: calc(var(--content-width) - 1 * var(--spacing-unit));
    padding-right: calc(0.5 * var(--spacing-unit));
    padding-left: calc(0.5 * var(--spacing-unit));
  }
}

.content-header-wrapper, .tagged-pages-header-wrapper, .post-header-wrapper {
  padding-top: var(--spacing-unit);
  padding-bottom: var(--spacing-unit);
}

.content-header-title, .home-title {
  color: var(--text-color-primary);
  font-weight: bold;
  text-transform: uppercase;
}
.content-header-title.margin-0, .margin-0.home-title {
  margin: 0;
}

.content-header-subtitle {
  color: var(--text-color-secondary);
}

.content-sock-wrapper {
  padding-bottom: var(--spacing-unit);
}

body, h1, h2, h3, h4, h5, h6,
p, blockquote, pre, hr,
dl, dd, ol, ul, figure {
  margin: 0;
  padding: 0;
}

body {
  font: 400 var(--font-size-base)/var(--line-height-base) Lexend, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";
  color: var(--text-color-primary);
  background-color: var(--background-color);
  -webkit-text-size-adjust: 100%;
  -webkit-font-feature-settings: "kern" 1;
  -moz-font-feature-settings: "kern" 1;
  -o-font-feature-settings: "kern" 1;
  font-feature-settings: "kern" 1;
  font-kerning: normal;
  display: flex;
  min-height: 100vh;
  flex-direction: column;
}

h1, h2, h3, h4, h5, h6,
p, blockquote, pre,
ul, ol, dl, figure {
  margin-bottom: calc(0.5 * var(--spacing-unit));
}

main {
  display: block; /* Default value of `display` of `main` element is 'inline' in IE 11. */
}

img {
  max-width: 100%;
  vertical-align: middle;
}

input[type=text] {
  background: transparent;
  border: none;
  color: inherit;
  font-size: inherit;
  padding: 0;
}

figure > img {
  display: block;
}

figcaption {
  font-size: var(--font-size-small);
}

ul, ol {
  margin-left: var(--spacing-unit);
}

li > ul,
li > ol {
  margin-bottom: 0;
}

h1, h2, h3, h4, h5, h6 {
  font-weight: var(--font-weight-base);
}

a {
  text-decoration: none;
  cursor: pointer;
  color: var(--brand-color-primary);
}
a:visited {
  color: var(--brand-color-secondary);
}
a.camoflaged, a.camoflaged:visited {
  color: inherit;
}
a:hover {
  text-decoration: underline;
}
.social-media-list a:hover {
  text-decoration: none;
}
.social-media-list a:hover .username {
  text-decoration: underline;
}

blockquote {
  color: var(--grey-color);
  border-left: 4px solid var(--grey-color-light);
  padding-left: calc(0.5 * var(--spacing-unit));
  font-size: calc(var(--font-size-base) * 1.125);
  letter-spacing: -1px;
  font-style: italic;
}
blockquote > :last-child {
  margin-bottom: 0;
}

pre,
code {
  font-size: calc(var(--font-size-base) * 0.9375);
  border: 1px solid var(--code-border-color);
  border-radius: 3px;
  background-color: var(--code-background-color);
  color: var(--code-color);
}

code {
  font-family: Consolas, Monaco, "Andale Mono", "Ubuntu Mono", monospace;
  padding: 1px 5px;
}

pre {
  padding: 12px 18px;
  overflow-x: auto;
}
pre > code {
  border: 0;
  padding-right: 0;
  padding-left: 0;
}

.svg-icon {
  width: 16px;
  height: 16px;
  display: inline-block;
  fill: var(--grey-color);
  padding-right: 5px;
  vertical-align: text-top;
}

.social-media-list li + li {
  padding-top: 5px;
}

table {
  margin-bottom: var(--spacing-unit);
  width: 100%;
  text-align: var(--table-text-align);
  color: var(--text-color);
  border-collapse: collapse;
  border: 1px solid var(--grey-color-light);
}
table tr:nth-child(even) {
  background-color: var(--grey-color-light);
}
table th, table td {
  padding: calc(var(--spacing-unit) * 0.3333333333) calc(var(--spacing-unit) * 0.5);
}
table th {
  background-color: var(--grey-color-light);
  border: 1px solid var(--grey-color-light);
  border-bottom-color: var(--grey-color-light);
}
table td {
  border: 1px solid var(--grey-color-light);
}

/* Override Eleventy asset sizing */
img[width][height] {
  height: auto; /* Preserve aspect ratio */
}

/* Override Eleventy picture nesting */
.post-meta picture {
  display: inline-flex;
}

.md-image picture {
  display: flex;
  flex-direction: column;
  align-items: center;
}

/* Override Material Symbols sizing and decoration */
.material-prefix-inner {
  font-size: var(--font-size-large);
}

.material-suffix {
  font-size: inherit;
  text-decoration: inherit;
}

/* Grow social icons from 16px to 24px using transform */
.svg-icon {
  transform-origin: top;
  transform: scale(1.5);
}

@font-face {
  font-family: "Lexend";
  font-style: normal;
  font-weight: 400;
  src: url(fonts/Lexend-Regular.woff2) format("woff2");
}
@font-face {
  font-family: "Lexend";
  font-style: normal;
  font-weight: 700;
  src: url(fonts/Lexend-Bold.woff2) format("woff2");
}
#dark-switch {
  display: flex;
  align-items: center;
  justify-content: end;
  --slider-gap: 4px;
}
@media screen and (max-width: 480px) {
  #dark-switch {
    --slider-gap: 3px;
  }
}
#dark-switch .dark-switch-label {
  position: relative;
  display: inline-block;
  width: calc(2 * var(--site-nav-responsive-height) - var(--slider-gap));
  height: var(--site-nav-responsive-height);
  /* Hide default HTML checkbox */
}
#dark-switch .dark-switch-label input[type=checkbox] {
  opacity: 0;
  width: 0;
  height: 0;
}
#dark-switch .dark-switch-label .dark-switch-slider {
  position: absolute;
  cursor: pointer;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  background-color: var(--responsive-background-color);
  -webkit-transition: 0.6s;
  transition: 0.6s;
  border-radius: 100px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding-left: 10%;
  padding-right: 10%;
  -webkit-user-select: none;
  user-select: none;
}
#dark-switch .dark-switch-label .dark-switch-slider:before {
  position: absolute;
  content: "";
  height: calc(var(--site-nav-responsive-height) - 2 * var(--slider-gap));
  aspect-ratio: 1;
  left: var(--slider-gap);
  bottom: var(--slider-gap);
  background-color: white;
  -webkit-transition: 0.2s;
  transition: 0.2s;
  border-radius: 50%;
}
#dark-switch .dark-switch-label .material-symbols-rounded {
  font-size: calc(1.1 * var(--font-size-base));
}
#dark-switch .dark-switch-label input:checked + .dark-switch-slider:before {
  -webkit-transform: translateX(calc(var(--site-nav-responsive-height) - var(--slider-gap)));
  -ms-transform: translateX(calc(var(--site-nav-responsive-height) - var(--slider-gap)));
  transform: translateX(calc(var(--site-nav-responsive-height) - var(--slider-gap)));
}

.md-image {
  display: flex;
  flex-direction: column;
  align-items: center;
  margin: 0 auto var(--spacing-unit);
}
.md-image .md-image-images {
  display: flex;
  justify-content: space-around;
}
@media screen and (min-width: 481px) {
  .md-image .md-image-images.responsive-width {
    max-width: calc(var(--width-percentage) * 1%);
  }
}
.md-image .md-image-caption {
  font-size: calc(var(--font-size-base) * 0.8);
}

.post-entry {
  display: flex;
  width: 100%;
  gap: calc(0.65 * var(--spacing-unit));
}
.post-entry .post-entry-icon {
  width: 6rem;
  aspect-ratio: 1/1;
  min-height: 6rem;
}
@media screen and (max-width: 768px) {
  .post-entry .post-entry-icon {
    width: 5rem;
    min-height: 5rem;
  }
}
@media screen and (max-width: 480px) {
  .post-entry .post-entry-icon {
    width: 3.5rem;
    min-height: 3.5rem;
  }
}
.post-entry .post-entry-title {
  color: var(--text-color-primary);
  font-size: var(--font-size-large);
  line-height: var(--line-height-large);
  font-weight: bold;
  text-transform: uppercase;
}
.post-entry .post-entry-subtitle {
  color: var(--text-color-secondary);
}

.post-meta {
  display: inline-flex;
  color: var(--text-color-tertiary);
  font-size: var(--font-size-small);
  gap: 0.75rem;
}
.post-meta .post-meta-icons {
  display: flex;
  align-items: center;
  gap: 0.1rem;
}
.post-meta .post-meta-icons .post-meta-icon-a {
  text-decoration: none;
  display: flex;
  align-items: center;
}
.post-meta .post-meta-icons .post-meta-icon-a img.post-meta-icon {
  display: inline-block;
  width: var(--font-size-base);
}
.post-meta .post-meta-icons .post-meta-icon-a div.post-meta-icon {
  display: inline-block;
  width: var(--font-size-base);
  aspect-ratio: 1;
}

.material-prefix {
  display: flex;
  align-items: center;
  gap: 0.25rem;
  width: fit-content;
}

.theme-aware-svg {
  background-color: var(--text-color-primary);
}

.white-border-icon {
  display: flex;
  align-items: center;
}
.white-border-icon img.white-border-icon-inner {
  aspect-ratio: 1;
  object-fit: contain;
}
.white-border-icon div.white-border-icon-inner {
  width: 100%;
  aspect-ratio: 1;
}

.site-footer {
  border-top: 1px solid var(--grey-color-light);
  padding: var(--spacing-unit) 0;
}

.footer-heading {
  font-size: calc(var(--font-size-base) * 1.125);
  margin-bottom: calc(0.5 * var(--spacing-unit));
}

.contact-list,
.social-media-list {
  list-style: none;
  margin-left: 0;
}

.footer-col-wrapper {
  font-size: calc(var(--font-size-base) * 0.9375);
  color: var(--text-color-tertiary);
  margin-left: calc(-0.5 * var(--spacing-unit));
}

.footer-col {
  float: left;
  margin-bottom: calc(0.5 * var(--spacing-unit));
  padding-left: calc(0.5 * var(--spacing-unit));
}

.footer-col-1 {
  width: -webkit-calc(35% - 0.5 * calc(var(--spacing-unit)));
  width: calc(35% - 0.5 * (var(--spacing-unit)));
}

.footer-col-2 {
  width: -webkit-calc(20% - 0.5 * calc(var(--spacing-unit)));
  width: calc(20% - 0.5 * (var(--spacing-unit)));
}

.footer-col-3 {
  width: -webkit-calc(45% - 0.5 * calc(var(--spacing-unit)));
  width: calc(45% - 0.5 * (var(--spacing-unit)));
}

@media screen and (max-width: 768px) {
  .footer-col-1,
  .footer-col-2 {
    width: -webkit-calc(50% - 0.5 * calc(var(--spacing-unit)));
    width: calc(50% - 0.5 * (var(--spacing-unit)));
  }
  .footer-col-3 {
    width: -webkit-calc(100% - 0.5 * calc(var(--spacing-unit)));
    width: calc(100% - 0.5 * (var(--spacing-unit)));
  }
}
@media screen and (max-width: 480px) {
  .footer-col {
    float: none;
    width: -webkit-calc(100% - 0.5 * calc(var(--spacing-unit)));
    width: calc(100% - 0.5 * (var(--spacing-unit)));
  }
}
.header-wrapper {
  max-width: none;
  display: flex;
  align-items: center;
  margin: 0;
  width: 100%;
}

.site-header {
  display: flex;
  align-items: center;
  border-top: 5px solid var(--outer-border-color);
  border-bottom: 2px solid var(--inner-border-color);
  min-height: calc(1.865 * var(--spacing-unit));
  position: relative;
}
@media screen and (max-width: 480px) {
  .site-header {
    --font-size-base: 16.8px;
  }
}

.site-title {
  flex: 1;
  font-size: calc(var(--font-size-base) * 1.625);
  font-weight: 300;
  line-height: calc(2.25 * var(--line-height-base) * var(--font-size-base));
  letter-spacing: -1px;
  margin-bottom: 0;
  float: left;
}
.site-title > a {
  color: var(--text-color-primary);
}

.site-nav {
  float: right;
  z-index: 10;
  line-height: calc(2.25 * var(--line-height-base) * var(--font-size-base));
}
.site-nav .nav-trigger {
  display: none;
}
.site-nav .menu-icon {
  display: none;
}
.site-nav .site-nav-search-form {
  position: relative;
  display: flex;
}
.site-nav .site-nav-search-form::before {
  content: "";
  display: block;
  position: absolute;
  height: calc(0.5 * var(--site-nav-responsive-height));
  aspect-ratio: 1;
  margin: calc(0.25 * var(--site-nav-responsive-height));
  transform: translate(5%, 5%);
  background-color: var(--text-color-secondary);
  mask-size: 100%;
  mask-image: url("data:image/svg+xml,%3Csvg width='18' height='18' viewBox='0 0 18 18' fill='none' xmlns='http://www.w3.org/2000/svg'%3E%3Cpath d='M12.7549 11.255H11.9649L11.6849 10.985C12.6649 9.845 13.2549 8.365 13.2549 6.755C13.2549 3.165 10.3449 0.255005 6.75488 0.255005C3.16488 0.255005 0.254883 3.165 0.254883 6.755C0.254883 10.345 3.16488 13.255 6.75488 13.255C8.36488 13.255 9.84488 12.665 10.9849 11.685L11.2549 11.965V12.755L16.2549 17.745L17.7449 16.255L12.7549 11.255ZM6.75488 11.255C4.26488 11.255 2.25488 9.245 2.25488 6.755C2.25488 4.26501 4.26488 2.255 6.75488 2.255C9.24488 2.255 11.2549 4.26501 11.2549 6.755C11.2549 9.245 9.24488 11.255 6.75488 11.255Z' fill='%23000000'/%3E%3C/svg%3E%0A");
}
.site-nav .site-nav-search-form .site-nav-search {
  width: 126px;
  height: var(--site-nav-responsive-height);
  padding-left: var(--site-nav-responsive-height);
  background-color: var(--responsive-background-color);
  border-radius: 100px;
}
.site-nav .page-link {
  color: var(--text-color-primary);
  line-height: var(--line-height-base);
}
@media screen and (min-width: 769px) {
  .site-nav .trigger {
    display: flex;
    align-items: center;
    gap: 20px;
  }
}
@media screen and (max-width: 768px) {
  .site-nav {
    position: absolute;
    top: 9px;
    right: calc(0.5 * var(--spacing-unit));
    background-color: var(--background-color);
    border: 1px solid var(--grey-color-light);
    border-radius: 5px;
    text-align: right;
  }
  .site-nav label[for=nav-trigger] {
    display: block;
    float: right;
    width: 36px;
    height: 36px;
    z-index: 2;
  }
  .site-nav .menu-icon {
    display: block;
    float: right;
    width: 36px;
    height: 26px;
    line-height: 0;
    padding-top: 10px;
    text-align: center;
  }
  .site-nav .menu-icon > svg {
    fill: var(--grey-color-dark);
  }
  .site-nav input ~ .trigger {
    clear: both;
    display: none;
  }
  .site-nav input:checked ~ .trigger {
    display: block;
    padding-bottom: 5px;
  }
  .site-nav .site-nav-item {
    padding: 5px 10px;
  }
  .site-nav .page-link {
    display: block;
    margin-left: 20px;
  }
  .site-nav .page-link:not(:last-child) {
    margin-right: 0;
  }
}

:root {
  --content-width: 800px;
  --spacing-unit: 36px;
  --font-family: Lexend, -apple-system, BlinkMacSystemFont, Segoe UI, Roboto, Helvetica, Arial, sans-serif, Apple Color Emoji, Segoe UI Emoji, Segoe UI Symbol;
  --font-size-small: calc(var(--font-size-base) * 0.8);
  --line-height-small: calc(var(--line-height-base) * 1.2);
  --font-weight-small: var(--font-weight-base);
  --font-size-base: 21px;
  --line-height-base: 1.3;
  --font-weight-base: 400;
  --font-size-large: calc(var(--font-size-base) * 1.25);
  --line-height-large: var(--line-height-base);
  --font-weight-large: var(--font-weight-base);
  --site-nav-responsive-height: calc(1.6 * var(--font-size-base));
}
@media screen and (max-width: 768px) {
  :root {
    --font-size-base: 16.8px;
    --spacing-unit: 28.8px;
  }
}
@media screen and (max-width: 480px) {
  :root {
    --font-size-base: 14.7px;
    --spacing-unit: 25.2px;
  }
}

.page-content {
  flex: 1;
}

.home-title {
  font-size: calc(var(--font-size-base) * 3);
  text-align: center;
}
@media screen and (max-width: 480px) {
  .home-title {
    font-size: calc(var(--font-size-base) * 2.5);
  }
}

.home-subtitle {
  text-align: center;
  color: var(--text-color-secondary);
}
@media screen and (min-width: 481px) {
  .home-subtitle .home-subtitle-chunk {
    white-space: nowrap;
  }
}

.home-all-posts {
  text-align: center;
  font-size: calc(var(--font-size-base) * 1.5);
}

.post-header {
  position: relative;
}
.post-header .post-header-icon {
  width: 6rem;
  aspect-ratio: 1/1;
  min-height: 6rem;
}
@media screen and (max-width: 768px) {
  .post-header .post-header-icon {
    width: 5rem;
    min-height: 5rem;
  }
}
@media screen and (max-width: 480px) {
  .post-header .post-header-icon {
    width: 3.5rem;
    min-height: 3.5rem;
  }
}
.post-header.has-underlay {
  text-shadow: black 1px 1px 6px;
  margin-bottom: var(--spacing-unit);
  z-index: 0;
}
.post-header.has-underlay .post-title {
  color: #ddd;
}
.post-header.has-underlay .post-subtitle {
  color: #ddd;
}
.post-header.has-underlay .post-meta {
  color: #ddd;
}

.post-header-wrapper {
  display: flex;
  gap: calc(0.5 * var(--spacing-unit));
}

.post-header-underlay {
  position: absolute;
  height: 100% !important;
  z-index: -1;
  object-fit: cover;
}
.post-header-underlay .post-header-underlay-opacity {
  background-color: var(--background-color);
}

.post-title {
  font-size: calc(var(--font-size-base) * 2.625);
  letter-spacing: -1px;
  line-height: 1;
  margin-bottom: calc(0.25 * var(--spacing-unit));
  font-weight: bold;
}

.post-subtitle {
  color: var(--text-color-secondary);
  font-size: calc(var(--font-size-base) * 1.5);
  letter-spacing: -1px;
  line-height: 1;
  margin-bottom: calc(0.25 * var(--spacing-unit));
}

.post-content {
  color: var(--text-color-tertiary);
  margin-bottom: var(--spacing-unit);
}
.post-content h2 {
  font-size: calc(var(--font-size-base) * 2);
}
.post-content h3 {
  font-size: calc(var(--font-size-base) * 1.625);
}
.post-content h4 {
  font-size: calc(var(--font-size-base) * 1.25);
}

.footnotes {
  font-size: var(--font-size-small);
}
.footnotes p {
  margin: initial;
}

.tagged-pages-header-wrapper {
  display: flex;
  align-items: center;
  gap: calc(0.8 * var(--spacing-unit));
}
.tagged-pages-header-wrapper .tagged-pages-icon {
  width: 8rem;
  aspect-ratio: 1/1;
  min-height: 8rem;
}
@media screen and (max-width: 480px) {
  .tagged-pages-header-wrapper .tagged-pages-icon {
    display: none;
  }
}

.tagged-pages-column {
  display: flex;
  flex-direction: column;
  gap: 1.25rem;
  padding-left: 10%;
  padding-right: 10%;
}
@media screen and (max-width: 480px) {
  .tagged-pages-column {
    padding-left: 5%;
    padding-right: 5%;
  }
}

.tagged-pages-failure {
  color: var(--text-color-tertiary);
  font-size: var(--font-size-small);
}

.tags-2col-display {
  display: grid;
  grid-template-columns: auto auto auto;
  gap: calc(0.3 * var(--spacing-unit)) 0;
}
@media screen and (max-width: 480px) {
  .tags-2col-display {
    grid-template-columns: auto auto;
  }
}

:root.dark {
  --text-color-primary: #ddd;
  --text-color-secondary: #bbb;
  --text-color-tertiary: #aaa;
  --background-color: #222;
  --outer-border-color: #666;
  --inner-border-color: #666;
  --brand-color-primary: rgb(109.8516746411, 166.5502392344, 242.1483253589);
  --brand-color-secondary: rgb(119.3014354067, 109.8516746411, 242.1483253589);
  --code-color: #aaa;
  --code-background-color: #222;
  --code-border-color: #666;
  --responsive-background-color: #333;
  --grey-color-light: #e8e8e8;
  --grey-color: #828282;
  --grey-color-dark: rgb(66.25, 66.25, 66.25);
}

:root,
:root.light {
  --text-color-primary: #111;
  --text-color-secondary: #333;
  --text-color-tertiary: #555;
  --background-color: #eee;
  --outer-border-color: #666;
  --inner-border-color: #ccc;
  --brand-color-primary: #3f8aee;
  --brand-color-secondary: rgb(75.5, 63, 238);
  --code-color: #ccc;
  --code-background-color: #444;
  --code-border-color: #777;
  --responsive-background-color: #ccc;
  --grey-color-light: #e8e8e8;
  --grey-color: #828282;
  --grey-color-dark: rgb(66.25, 66.25, 66.25);
}

:root,
:root.light {
  --katex-base: #555;
  --katex-red: #ee0000;
  --katex-blue: rgb(0, 59.5, 238);
  --katex-purple: #7700ee;
}

:root.dark {
  --katex-base: #aaa;
  --katex-red: rgb(234.6, 139.4, 139.4);
  --katex-blue: rgb(139.4, 163.2, 234.6);
  --katex-purple: rgb(187, 139.4, 234.6);
}

@font-face {
  font-family: KaTeX_AMS;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_AMS-Regular.woff2) format("woff2"), url(fonts/KaTeX_AMS-Regular.woff) format("woff"), url(fonts/KaTeX_AMS-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Caligraphic;
  font-style: normal;
  font-weight: 700;
  src: url(fonts/KaTeX_Caligraphic-Bold.woff2) format("woff2"), url(fonts/KaTeX_Caligraphic-Bold.woff) format("woff"), url(fonts/KaTeX_Caligraphic-Bold.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Caligraphic;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Caligraphic-Regular.woff2) format("woff2"), url(fonts/KaTeX_Caligraphic-Regular.woff) format("woff"), url(fonts/KaTeX_Caligraphic-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Fraktur;
  font-style: normal;
  font-weight: 700;
  src: url(fonts/KaTeX_Fraktur-Bold.woff2) format("woff2"), url(fonts/KaTeX_Fraktur-Bold.woff) format("woff"), url(fonts/KaTeX_Fraktur-Bold.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Fraktur;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Fraktur-Regular.woff2) format("woff2"), url(fonts/KaTeX_Fraktur-Regular.woff) format("woff"), url(fonts/KaTeX_Fraktur-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Main;
  font-style: normal;
  font-weight: 700;
  src: url(fonts/KaTeX_Main-Bold.woff2) format("woff2"), url(fonts/KaTeX_Main-Bold.woff) format("woff"), url(fonts/KaTeX_Main-Bold.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Main;
  font-style: italic;
  font-weight: 700;
  src: url(fonts/KaTeX_Main-BoldItalic.woff2) format("woff2"), url(fonts/KaTeX_Main-BoldItalic.woff) format("woff"), url(fonts/KaTeX_Main-BoldItalic.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Main;
  font-style: italic;
  font-weight: 400;
  src: url(fonts/KaTeX_Main-Italic.woff2) format("woff2"), url(fonts/KaTeX_Main-Italic.woff) format("woff"), url(fonts/KaTeX_Main-Italic.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Main;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Main-Regular.woff2) format("woff2"), url(fonts/KaTeX_Main-Regular.woff) format("woff"), url(fonts/KaTeX_Main-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Math;
  font-style: italic;
  font-weight: 700;
  src: url(fonts/KaTeX_Math-BoldItalic.woff2) format("woff2"), url(fonts/KaTeX_Math-BoldItalic.woff) format("woff"), url(fonts/KaTeX_Math-BoldItalic.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Math;
  font-style: italic;
  font-weight: 400;
  src: url(fonts/KaTeX_Math-Italic.woff2) format("woff2"), url(fonts/KaTeX_Math-Italic.woff) format("woff"), url(fonts/KaTeX_Math-Italic.ttf) format("truetype");
}
@font-face {
  font-family: "KaTeX_SansSerif";
  font-style: normal;
  font-weight: 700;
  src: url(fonts/KaTeX_SansSerif-Bold.woff2) format("woff2"), url(fonts/KaTeX_SansSerif-Bold.woff) format("woff"), url(fonts/KaTeX_SansSerif-Bold.ttf) format("truetype");
}
@font-face {
  font-family: "KaTeX_SansSerif";
  font-style: italic;
  font-weight: 400;
  src: url(fonts/KaTeX_SansSerif-Italic.woff2) format("woff2"), url(fonts/KaTeX_SansSerif-Italic.woff) format("woff"), url(fonts/KaTeX_SansSerif-Italic.ttf) format("truetype");
}
@font-face {
  font-family: "KaTeX_SansSerif";
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_SansSerif-Regular.woff2) format("woff2"), url(fonts/KaTeX_SansSerif-Regular.woff) format("woff"), url(fonts/KaTeX_SansSerif-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Script;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Script-Regular.woff2) format("woff2"), url(fonts/KaTeX_Script-Regular.woff) format("woff"), url(fonts/KaTeX_Script-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Size1;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Size1-Regular.woff2) format("woff2"), url(fonts/KaTeX_Size1-Regular.woff) format("woff"), url(fonts/KaTeX_Size1-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Size2;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Size2-Regular.woff2) format("woff2"), url(fonts/KaTeX_Size2-Regular.woff) format("woff"), url(fonts/KaTeX_Size2-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Size3;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Size3-Regular.woff2) format("woff2"), url(fonts/KaTeX_Size3-Regular.woff) format("woff"), url(fonts/KaTeX_Size3-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Size4;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Size4-Regular.woff2) format("woff2"), url(fonts/KaTeX_Size4-Regular.woff) format("woff"), url(fonts/KaTeX_Size4-Regular.ttf) format("truetype");
}
@font-face {
  font-family: KaTeX_Typewriter;
  font-style: normal;
  font-weight: 400;
  src: url(fonts/KaTeX_Typewriter-Regular.woff2) format("woff2"), url(fonts/KaTeX_Typewriter-Regular.woff) format("woff"), url(fonts/KaTeX_Typewriter-Regular.ttf) format("truetype");
}
.katex {
  text-rendering: auto;
  font: normal 1.21em KaTeX_Main, Times New Roman, serif;
  line-height: 1.2;
  text-indent: 0;
}

.katex * {
  -ms-high-contrast-adjust: none !important;
  border-color: currentColor;
}

.katex .katex-version:after {
  content: "0.16.9";
}

.katex .katex-mathml {
  clip: rect(1px, 1px, 1px, 1px);
  border: 0;
  height: 1px;
  overflow: hidden;
  padding: 0;
  position: absolute;
  width: 1px;
}

.katex .katex-html > .newline {
  display: block;
}

.katex .base {
  position: relative;
  white-space: nowrap;
  width: -webkit-min-content;
  width: -moz-min-content;
  width: min-content;
}

.katex .base, .katex .strut {
  display: inline-block;
}

.katex .textbf {
  font-weight: 700;
}

.katex .textit {
  font-style: italic;
}

.katex .textrm {
  font-family: KaTeX_Main;
}

.katex .textsf {
  font-family: KaTeX_SansSerif;
}

.katex .texttt {
  font-family: KaTeX_Typewriter;
}

.katex .mathnormal {
  font-family: KaTeX_Math;
  font-style: italic;
}

.katex .mathit {
  font-family: KaTeX_Main;
  font-style: italic;
}

.katex .mathrm {
  font-style: normal;
}

.katex .mathbf {
  font-family: KaTeX_Main;
  font-weight: 700;
}

.katex .boldsymbol {
  font-family: KaTeX_Math;
  font-style: italic;
  font-weight: 700;
}

.katex .amsrm, .katex .mathbb, .katex .textbb {
  font-family: KaTeX_AMS;
}

.katex .mathcal {
  font-family: KaTeX_Caligraphic;
}

.katex .mathfrak, .katex .textfrak {
  font-family: KaTeX_Fraktur;
}

.katex .mathboldfrak, .katex .textboldfrak {
  font-family: KaTeX_Fraktur;
  font-weight: 700;
}

.katex .mathtt {
  font-family: KaTeX_Typewriter;
}

.katex .mathscr, .katex .textscr {
  font-family: KaTeX_Script;
}

.katex .mathsf, .katex .textsf {
  font-family: KaTeX_SansSerif;
}

.katex .mathboldsf, .katex .textboldsf {
  font-family: KaTeX_SansSerif;
  font-weight: 700;
}

.katex .mathitsf, .katex .textitsf {
  font-family: KaTeX_SansSerif;
  font-style: italic;
}

.katex .mainrm {
  font-family: KaTeX_Main;
  font-style: normal;
}

.katex .vlist-t {
  border-collapse: collapse;
  display: inline-table;
  table-layout: fixed;
}

.katex .vlist-r {
  display: table-row;
}

.katex .vlist {
  display: table-cell;
  position: relative;
  vertical-align: bottom;
}

.katex .vlist > span {
  display: block;
  height: 0;
  position: relative;
}

.katex .vlist > span > span {
  display: inline-block;
}

.katex .vlist > span > .pstrut {
  overflow: hidden;
  width: 0;
}

.katex .vlist-t2 {
  margin-right: -2px;
}

.katex .vlist-s {
  display: table-cell;
  font-size: 1px;
  min-width: 2px;
  vertical-align: bottom;
  width: 2px;
}

.katex .vbox {
  align-items: baseline;
  display: inline-flex;
  flex-direction: column;
}

.katex .hbox {
  width: 100%;
}

.katex .hbox, .katex .thinbox {
  display: inline-flex;
  flex-direction: row;
}

.katex .thinbox {
  max-width: 0;
  width: 0;
}

.katex .msupsub {
  text-align: left;
}

.katex .mfrac > span > span {
  text-align: center;
}

.katex .mfrac .frac-line {
  border-bottom-style: solid;
  display: inline-block;
  width: 100%;
}

.katex .hdashline, .katex .hline, .katex .mfrac .frac-line, .katex .overline .overline-line, .katex .rule, .katex .underline .underline-line {
  min-height: 1px;
}

.katex .mspace {
  display: inline-block;
}

.katex .clap, .katex .llap, .katex .rlap {
  position: relative;
  width: 0;
}

.katex .clap > .inner, .katex .llap > .inner, .katex .rlap > .inner {
  position: absolute;
}

.katex .clap > .fix, .katex .llap > .fix, .katex .rlap > .fix {
  display: inline-block;
}

.katex .llap > .inner {
  right: 0;
}

.katex .clap > .inner, .katex .rlap > .inner {
  left: 0;
}

.katex .clap > .inner > span {
  margin-left: -50%;
  margin-right: 50%;
}

.katex .rule {
  border: 0 solid;
  display: inline-block;
  position: relative;
}

.katex .hline, .katex .overline .overline-line, .katex .underline .underline-line {
  border-bottom-style: solid;
  display: inline-block;
  width: 100%;
}

.katex .hdashline {
  border-bottom-style: dashed;
  display: inline-block;
  width: 100%;
}

.katex .sqrt > .root {
  margin-left: 0.27777778em;
  margin-right: -0.55555556em;
}

.katex .fontsize-ensurer.reset-size1.size1, .katex .sizing.reset-size1.size1 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size1.size2, .katex .sizing.reset-size1.size2 {
  font-size: 1.2em;
}

.katex .fontsize-ensurer.reset-size1.size3, .katex .sizing.reset-size1.size3 {
  font-size: 1.4em;
}

.katex .fontsize-ensurer.reset-size1.size4, .katex .sizing.reset-size1.size4 {
  font-size: 1.6em;
}

.katex .fontsize-ensurer.reset-size1.size5, .katex .sizing.reset-size1.size5 {
  font-size: 1.8em;
}

.katex .fontsize-ensurer.reset-size1.size6, .katex .sizing.reset-size1.size6 {
  font-size: 2em;
}

.katex .fontsize-ensurer.reset-size1.size7, .katex .sizing.reset-size1.size7 {
  font-size: 2.4em;
}

.katex .fontsize-ensurer.reset-size1.size8, .katex .sizing.reset-size1.size8 {
  font-size: 2.88em;
}

.katex .fontsize-ensurer.reset-size1.size9, .katex .sizing.reset-size1.size9 {
  font-size: 3.456em;
}

.katex .fontsize-ensurer.reset-size1.size10, .katex .sizing.reset-size1.size10 {
  font-size: 4.148em;
}

.katex .fontsize-ensurer.reset-size1.size11, .katex .sizing.reset-size1.size11 {
  font-size: 4.976em;
}

.katex .fontsize-ensurer.reset-size2.size1, .katex .sizing.reset-size2.size1 {
  font-size: 0.83333333em;
}

.katex .fontsize-ensurer.reset-size2.size2, .katex .sizing.reset-size2.size2 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size2.size3, .katex .sizing.reset-size2.size3 {
  font-size: 1.16666667em;
}

.katex .fontsize-ensurer.reset-size2.size4, .katex .sizing.reset-size2.size4 {
  font-size: 1.33333333em;
}

.katex .fontsize-ensurer.reset-size2.size5, .katex .sizing.reset-size2.size5 {
  font-size: 1.5em;
}

.katex .fontsize-ensurer.reset-size2.size6, .katex .sizing.reset-size2.size6 {
  font-size: 1.66666667em;
}

.katex .fontsize-ensurer.reset-size2.size7, .katex .sizing.reset-size2.size7 {
  font-size: 2em;
}

.katex .fontsize-ensurer.reset-size2.size8, .katex .sizing.reset-size2.size8 {
  font-size: 2.4em;
}

.katex .fontsize-ensurer.reset-size2.size9, .katex .sizing.reset-size2.size9 {
  font-size: 2.88em;
}

.katex .fontsize-ensurer.reset-size2.size10, .katex .sizing.reset-size2.size10 {
  font-size: 3.45666667em;
}

.katex .fontsize-ensurer.reset-size2.size11, .katex .sizing.reset-size2.size11 {
  font-size: 4.14666667em;
}

.katex .fontsize-ensurer.reset-size3.size1, .katex .sizing.reset-size3.size1 {
  font-size: 0.71428571em;
}

.katex .fontsize-ensurer.reset-size3.size2, .katex .sizing.reset-size3.size2 {
  font-size: 0.85714286em;
}

.katex .fontsize-ensurer.reset-size3.size3, .katex .sizing.reset-size3.size3 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size3.size4, .katex .sizing.reset-size3.size4 {
  font-size: 1.14285714em;
}

.katex .fontsize-ensurer.reset-size3.size5, .katex .sizing.reset-size3.size5 {
  font-size: 1.28571429em;
}

.katex .fontsize-ensurer.reset-size3.size6, .katex .sizing.reset-size3.size6 {
  font-size: 1.42857143em;
}

.katex .fontsize-ensurer.reset-size3.size7, .katex .sizing.reset-size3.size7 {
  font-size: 1.71428571em;
}

.katex .fontsize-ensurer.reset-size3.size8, .katex .sizing.reset-size3.size8 {
  font-size: 2.05714286em;
}

.katex .fontsize-ensurer.reset-size3.size9, .katex .sizing.reset-size3.size9 {
  font-size: 2.46857143em;
}

.katex .fontsize-ensurer.reset-size3.size10, .katex .sizing.reset-size3.size10 {
  font-size: 2.96285714em;
}

.katex .fontsize-ensurer.reset-size3.size11, .katex .sizing.reset-size3.size11 {
  font-size: 3.55428571em;
}

.katex .fontsize-ensurer.reset-size4.size1, .katex .sizing.reset-size4.size1 {
  font-size: 0.625em;
}

.katex .fontsize-ensurer.reset-size4.size2, .katex .sizing.reset-size4.size2 {
  font-size: 0.75em;
}

.katex .fontsize-ensurer.reset-size4.size3, .katex .sizing.reset-size4.size3 {
  font-size: 0.875em;
}

.katex .fontsize-ensurer.reset-size4.size4, .katex .sizing.reset-size4.size4 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size4.size5, .katex .sizing.reset-size4.size5 {
  font-size: 1.125em;
}

.katex .fontsize-ensurer.reset-size4.size6, .katex .sizing.reset-size4.size6 {
  font-size: 1.25em;
}

.katex .fontsize-ensurer.reset-size4.size7, .katex .sizing.reset-size4.size7 {
  font-size: 1.5em;
}

.katex .fontsize-ensurer.reset-size4.size8, .katex .sizing.reset-size4.size8 {
  font-size: 1.8em;
}

.katex .fontsize-ensurer.reset-size4.size9, .katex .sizing.reset-size4.size9 {
  font-size: 2.16em;
}

.katex .fontsize-ensurer.reset-size4.size10, .katex .sizing.reset-size4.size10 {
  font-size: 2.5925em;
}

.katex .fontsize-ensurer.reset-size4.size11, .katex .sizing.reset-size4.size11 {
  font-size: 3.11em;
}

.katex .fontsize-ensurer.reset-size5.size1, .katex .sizing.reset-size5.size1 {
  font-size: 0.55555556em;
}

.katex .fontsize-ensurer.reset-size5.size2, .katex .sizing.reset-size5.size2 {
  font-size: 0.66666667em;
}

.katex .fontsize-ensurer.reset-size5.size3, .katex .sizing.reset-size5.size3 {
  font-size: 0.77777778em;
}

.katex .fontsize-ensurer.reset-size5.size4, .katex .sizing.reset-size5.size4 {
  font-size: 0.88888889em;
}

.katex .fontsize-ensurer.reset-size5.size5, .katex .sizing.reset-size5.size5 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size5.size6, .katex .sizing.reset-size5.size6 {
  font-size: 1.11111111em;
}

.katex .fontsize-ensurer.reset-size5.size7, .katex .sizing.reset-size5.size7 {
  font-size: 1.33333333em;
}

.katex .fontsize-ensurer.reset-size5.size8, .katex .sizing.reset-size5.size8 {
  font-size: 1.6em;
}

.katex .fontsize-ensurer.reset-size5.size9, .katex .sizing.reset-size5.size9 {
  font-size: 1.92em;
}

.katex .fontsize-ensurer.reset-size5.size10, .katex .sizing.reset-size5.size10 {
  font-size: 2.30444444em;
}

.katex .fontsize-ensurer.reset-size5.size11, .katex .sizing.reset-size5.size11 {
  font-size: 2.76444444em;
}

.katex .fontsize-ensurer.reset-size6.size1, .katex .sizing.reset-size6.size1 {
  font-size: 0.5em;
}

.katex .fontsize-ensurer.reset-size6.size2, .katex .sizing.reset-size6.size2 {
  font-size: 0.6em;
}

.katex .fontsize-ensurer.reset-size6.size3, .katex .sizing.reset-size6.size3 {
  font-size: 0.7em;
}

.katex .fontsize-ensurer.reset-size6.size4, .katex .sizing.reset-size6.size4 {
  font-size: 0.8em;
}

.katex .fontsize-ensurer.reset-size6.size5, .katex .sizing.reset-size6.size5 {
  font-size: 0.9em;
}

.katex .fontsize-ensurer.reset-size6.size6, .katex .sizing.reset-size6.size6 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size6.size7, .katex .sizing.reset-size6.size7 {
  font-size: 1.2em;
}

.katex .fontsize-ensurer.reset-size6.size8, .katex .sizing.reset-size6.size8 {
  font-size: 1.44em;
}

.katex .fontsize-ensurer.reset-size6.size9, .katex .sizing.reset-size6.size9 {
  font-size: 1.728em;
}

.katex .fontsize-ensurer.reset-size6.size10, .katex .sizing.reset-size6.size10 {
  font-size: 2.074em;
}

.katex .fontsize-ensurer.reset-size6.size11, .katex .sizing.reset-size6.size11 {
  font-size: 2.488em;
}

.katex .fontsize-ensurer.reset-size7.size1, .katex .sizing.reset-size7.size1 {
  font-size: 0.41666667em;
}

.katex .fontsize-ensurer.reset-size7.size2, .katex .sizing.reset-size7.size2 {
  font-size: 0.5em;
}

.katex .fontsize-ensurer.reset-size7.size3, .katex .sizing.reset-size7.size3 {
  font-size: 0.58333333em;
}

.katex .fontsize-ensurer.reset-size7.size4, .katex .sizing.reset-size7.size4 {
  font-size: 0.66666667em;
}

.katex .fontsize-ensurer.reset-size7.size5, .katex .sizing.reset-size7.size5 {
  font-size: 0.75em;
}

.katex .fontsize-ensurer.reset-size7.size6, .katex .sizing.reset-size7.size6 {
  font-size: 0.83333333em;
}

.katex .fontsize-ensurer.reset-size7.size7, .katex .sizing.reset-size7.size7 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size7.size8, .katex .sizing.reset-size7.size8 {
  font-size: 1.2em;
}

.katex .fontsize-ensurer.reset-size7.size9, .katex .sizing.reset-size7.size9 {
  font-size: 1.44em;
}

.katex .fontsize-ensurer.reset-size7.size10, .katex .sizing.reset-size7.size10 {
  font-size: 1.72833333em;
}

.katex .fontsize-ensurer.reset-size7.size11, .katex .sizing.reset-size7.size11 {
  font-size: 2.07333333em;
}

.katex .fontsize-ensurer.reset-size8.size1, .katex .sizing.reset-size8.size1 {
  font-size: 0.34722222em;
}

.katex .fontsize-ensurer.reset-size8.size2, .katex .sizing.reset-size8.size2 {
  font-size: 0.41666667em;
}

.katex .fontsize-ensurer.reset-size8.size3, .katex .sizing.reset-size8.size3 {
  font-size: 0.48611111em;
}

.katex .fontsize-ensurer.reset-size8.size4, .katex .sizing.reset-size8.size4 {
  font-size: 0.55555556em;
}

.katex .fontsize-ensurer.reset-size8.size5, .katex .sizing.reset-size8.size5 {
  font-size: 0.625em;
}

.katex .fontsize-ensurer.reset-size8.size6, .katex .sizing.reset-size8.size6 {
  font-size: 0.69444444em;
}

.katex .fontsize-ensurer.reset-size8.size7, .katex .sizing.reset-size8.size7 {
  font-size: 0.83333333em;
}

.katex .fontsize-ensurer.reset-size8.size8, .katex .sizing.reset-size8.size8 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size8.size9, .katex .sizing.reset-size8.size9 {
  font-size: 1.2em;
}

.katex .fontsize-ensurer.reset-size8.size10, .katex .sizing.reset-size8.size10 {
  font-size: 1.44027778em;
}

.katex .fontsize-ensurer.reset-size8.size11, .katex .sizing.reset-size8.size11 {
  font-size: 1.72777778em;
}

.katex .fontsize-ensurer.reset-size9.size1, .katex .sizing.reset-size9.size1 {
  font-size: 0.28935185em;
}

.katex .fontsize-ensurer.reset-size9.size2, .katex .sizing.reset-size9.size2 {
  font-size: 0.34722222em;
}

.katex .fontsize-ensurer.reset-size9.size3, .katex .sizing.reset-size9.size3 {
  font-size: 0.40509259em;
}

.katex .fontsize-ensurer.reset-size9.size4, .katex .sizing.reset-size9.size4 {
  font-size: 0.46296296em;
}

.katex .fontsize-ensurer.reset-size9.size5, .katex .sizing.reset-size9.size5 {
  font-size: 0.52083333em;
}

.katex .fontsize-ensurer.reset-size9.size6, .katex .sizing.reset-size9.size6 {
  font-size: 0.5787037em;
}

.katex .fontsize-ensurer.reset-size9.size7, .katex .sizing.reset-size9.size7 {
  font-size: 0.69444444em;
}

.katex .fontsize-ensurer.reset-size9.size8, .katex .sizing.reset-size9.size8 {
  font-size: 0.83333333em;
}

.katex .fontsize-ensurer.reset-size9.size9, .katex .sizing.reset-size9.size9 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size9.size10, .katex .sizing.reset-size9.size10 {
  font-size: 1.20023148em;
}

.katex .fontsize-ensurer.reset-size9.size11, .katex .sizing.reset-size9.size11 {
  font-size: 1.43981481em;
}

.katex .fontsize-ensurer.reset-size10.size1, .katex .sizing.reset-size10.size1 {
  font-size: 0.24108004em;
}

.katex .fontsize-ensurer.reset-size10.size2, .katex .sizing.reset-size10.size2 {
  font-size: 0.28929605em;
}

.katex .fontsize-ensurer.reset-size10.size3, .katex .sizing.reset-size10.size3 {
  font-size: 0.33751205em;
}

.katex .fontsize-ensurer.reset-size10.size4, .katex .sizing.reset-size10.size4 {
  font-size: 0.38572806em;
}

.katex .fontsize-ensurer.reset-size10.size5, .katex .sizing.reset-size10.size5 {
  font-size: 0.43394407em;
}

.katex .fontsize-ensurer.reset-size10.size6, .katex .sizing.reset-size10.size6 {
  font-size: 0.48216008em;
}

.katex .fontsize-ensurer.reset-size10.size7, .katex .sizing.reset-size10.size7 {
  font-size: 0.57859209em;
}

.katex .fontsize-ensurer.reset-size10.size8, .katex .sizing.reset-size10.size8 {
  font-size: 0.69431051em;
}

.katex .fontsize-ensurer.reset-size10.size9, .katex .sizing.reset-size10.size9 {
  font-size: 0.83317261em;
}

.katex .fontsize-ensurer.reset-size10.size10, .katex .sizing.reset-size10.size10 {
  font-size: 1em;
}

.katex .fontsize-ensurer.reset-size10.size11, .katex .sizing.reset-size10.size11 {
  font-size: 1.19961427em;
}

.katex .fontsize-ensurer.reset-size11.size1, .katex .sizing.reset-size11.size1 {
  font-size: 0.20096463em;
}

.katex .fontsize-ensurer.reset-size11.size2, .katex .sizing.reset-size11.size2 {
  font-size: 0.24115756em;
}

.katex .fontsize-ensurer.reset-size11.size3, .katex .sizing.reset-size11.size3 {
  font-size: 0.28135048em;
}

.katex .fontsize-ensurer.reset-size11.size4, .katex .sizing.reset-size11.size4 {
  font-size: 0.32154341em;
}

.katex .fontsize-ensurer.reset-size11.size5, .katex .sizing.reset-size11.size5 {
  font-size: 0.36173633em;
}

.katex .fontsize-ensurer.reset-size11.size6, .katex .sizing.reset-size11.size6 {
  font-size: 0.40192926em;
}

.katex .fontsize-ensurer.reset-size11.size7, .katex .sizing.reset-size11.size7 {
  font-size: 0.48231511em;
}

.katex .fontsize-ensurer.reset-size11.size8, .katex .sizing.reset-size11.size8 {
  font-size: 0.57877814em;
}

.katex .fontsize-ensurer.reset-size11.size9, .katex .sizing.reset-size11.size9 {
  font-size: 0.69453376em;
}

.katex .fontsize-ensurer.reset-size11.size10, .katex .sizing.reset-size11.size10 {
  font-size: 0.83360129em;
}

.katex .fontsize-ensurer.reset-size11.size11, .katex .sizing.reset-size11.size11 {
  font-size: 1em;
}

.katex .delimsizing.size1 {
  font-family: KaTeX_Size1;
}

.katex .delimsizing.size2 {
  font-family: KaTeX_Size2;
}

.katex .delimsizing.size3 {
  font-family: KaTeX_Size3;
}

.katex .delimsizing.size4 {
  font-family: KaTeX_Size4;
}

.katex .delimsizing.mult .delim-size1 > span {
  font-family: KaTeX_Size1;
}

.katex .delimsizing.mult .delim-size4 > span {
  font-family: KaTeX_Size4;
}

.katex .nulldelimiter {
  display: inline-block;
  width: 0.12em;
}

.katex .delimcenter, .katex .op-symbol {
  position: relative;
}

.katex .op-symbol.small-op {
  font-family: KaTeX_Size1;
}

.katex .op-symbol.large-op {
  font-family: KaTeX_Size2;
}

.katex .accent > .vlist-t, .katex .op-limits > .vlist-t {
  text-align: center;
}

.katex .accent .accent-body {
  position: relative;
}

.katex .accent .accent-body:not(.accent-full) {
  width: 0;
}

.katex .overlay {
  display: block;
}

.katex .mtable .vertical-separator {
  display: inline-block;
  min-width: 1px;
}

.katex .mtable .arraycolsep {
  display: inline-block;
}

.katex .mtable .col-align-c > .vlist-t {
  text-align: center;
}

.katex .mtable .col-align-l > .vlist-t {
  text-align: left;
}

.katex .mtable .col-align-r > .vlist-t {
  text-align: right;
}

.katex .svg-align {
  text-align: left;
}

.katex svg {
  fill: currentColor;
  stroke: currentColor;
  fill-rule: nonzero;
  fill-opacity: 1;
  stroke-width: 1;
  stroke-linecap: butt;
  stroke-linejoin: miter;
  stroke-miterlimit: 4;
  stroke-dasharray: none;
  stroke-dashoffset: 0;
  stroke-opacity: 1;
  display: block;
  height: inherit;
  position: absolute;
  width: 100%;
}

.katex svg path {
  stroke: none;
}

.katex img {
  border-style: none;
  max-height: none;
  max-width: none;
  min-height: 0;
  min-width: 0;
}

.katex .stretchy {
  display: block;
  overflow: hidden;
  position: relative;
  width: 100%;
}

.katex .stretchy:after, .katex .stretchy:before {
  content: "";
}

.katex .hide-tail {
  overflow: hidden;
  position: relative;
  width: 100%;
}

.katex .halfarrow-left {
  left: 0;
  overflow: hidden;
  position: absolute;
  width: 50.2%;
}

.katex .halfarrow-right {
  overflow: hidden;
  position: absolute;
  right: 0;
  width: 50.2%;
}

.katex .brace-left {
  left: 0;
  overflow: hidden;
  position: absolute;
  width: 25.1%;
}

.katex .brace-center {
  left: 25%;
  overflow: hidden;
  position: absolute;
  width: 50%;
}

.katex .brace-right {
  overflow: hidden;
  position: absolute;
  right: 0;
  width: 25.1%;
}

.katex .x-arrow-pad {
  padding: 0 0.5em;
}

.katex .cd-arrow-pad {
  padding: 0 0.55556em 0 0.27778em;
}

.katex .mover, .katex .munder, .katex .x-arrow {
  text-align: center;
}

.katex .boxpad {
  padding: 0 0.3em;
}

.katex .fbox, .katex .fcolorbox {
  border: 0.04em solid;
  box-sizing: border-box;
}

.katex .cancel-pad {
  padding: 0 0.2em;
}

.katex .cancel-lap {
  margin-left: -0.2em;
  margin-right: -0.2em;
}

.katex .sout {
  border-bottom-style: solid;
  border-bottom-width: 0.08em;
}

.katex .angl {
  border-right: 0.049em solid;
  border-top: 0.049em solid;
  box-sizing: border-box;
  margin-right: 0.03889em;
}

.katex .anglpad {
  padding: 0 0.03889em;
}

.katex .eqn-num:before {
  content: "(" counter(katexEqnNo) ")";
  counter-increment: katexEqnNo;
}

.katex .mml-eqn-num:before {
  content: "(" counter(mmlEqnNo) ")";
  counter-increment: mmlEqnNo;
}

.katex .mtr-glue {
  width: 50%;
}

.katex .cd-vert-arrow {
  display: inline-block;
  position: relative;
}

.katex .cd-label-left {
  display: inline-block;
  position: absolute;
  right: calc(50% + 0.3em);
  text-align: left;
}

.katex .cd-label-right {
  display: inline-block;
  left: calc(50% + 0.3em);
  position: absolute;
  text-align: right;
}

.katex-display {
  display: block;
  margin: 1em 0;
  text-align: center;
}

.katex-display > .katex {
  display: block;
  text-align: center;
  white-space: nowrap;
}

.katex-display > .katex > .katex-html {
  display: block;
  position: relative;
}

.katex-display > .katex > .katex-html > .tag {
  position: absolute;
  right: 0;
}

.katex-display.leqno > .katex > .katex-html > .tag {
  left: 0;
  right: auto;
}

.katex-display.fleqn > .katex {
  padding-left: 2em;
  text-align: left;
}

body {
  counter-reset: katexEqnNo mmlEqnNo;
}

body,
body.light {
  --pagefind-ui-primary: var(--text-color-primary);
  --pagefind-ui-text: var(--text-color-tertiary);
  --pagefind-ui-background: transparent;
  --pagefind-ui-border: var(--text-color-primary);
}

body.dark {
  --pagefind-ui-primary: var(--text-color-primary);
  --pagefind-ui-text: var(--text-color-tertiary);
  --pagefind-ui-background: transparent;
  --pagefind-ui-border: var(--text-color-primary);
}

/** Adapted from:
 * okaidia theme for JavaScript, CSS and HTML
 * Loosely based on Monokai textmate theme by http://www.monokai.nl/
 * @author ocodia
 */
.token.comment,
.token.prolog,
.token.doctype,
.token.cdata {
  color: slategray;
}

.token.punctuation {
  color: #f8f8f2;
}

.token.namespace {
  opacity: 0.7;
}

.token.property,
.token.tag,
.token.constant,
.token.symbol,
.token.deleted {
  color: #f92672;
}

.token.boolean,
.token.number {
  color: #ae81ff;
}

.token.selector,
.token.attr-name,
.token.string,
.token.char,
.token.builtin,
.token.inserted {
  color: #a6e22e;
}

.token.operator,
.token.entity,
.token.url,
.language-css .token.string,
.style .token.string,
.token.variable {
  color: #f8f8f2;
}

.token.atrule,
.token.attr-value,
.token.function,
.token.class-name {
  color: #e6db74;
}

.token.keyword {
  color: #66d9ef;
}

.token.regex,
.token.important {
  color: #fd971f;
}

.token.important,
.token.bold {
  font-weight: bold;
}

.token.italic {
  font-style: italic;
}

.token.entity {
  cursor: help;
}

.flex, .flex-col, .flex-row-reverse {
  display: flex;
}
.flex-row-reverse {
  flex-direction: row-reverse;
}
.flex-col {
  flex-direction: column;
}
.flex.align-center, .align-center.flex-row-reverse, .align-center.flex-col {
  align-items: center;
}
.flex.justify-center, .justify-center.flex-row-reverse, .justify-center.flex-col {
  justify-content: center;
}
.flex.justify-between, .justify-between.flex-row-reverse, .justify-between.flex-col {
  justify-content: space-between;
}

.flex-1 {
  flex-grow: 1;
}