type-on-strap 2.3.5 → 2.3.6

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 478babd84de11e9924830b336ad9741deec1e41d437c36747a53060c6c185a87
-  data.tar.gz: 5a2f74dcb75f627ce7542b34c1b7a76229d6189ec80ea7e3bd19a87d7db79727
+  metadata.gz: 7ec12a9dd9f1ebb6a121accb434aac3199012abe93ae3b1cc59e2b0d3e7f233a
+  data.tar.gz: f344537349f557bc2a2c2fe88701ba3fcb8f02ba809c9f0d2721f23ec960bfe2
 SHA512:
-  metadata.gz: 459a18b0e0e372db95920cfa1dedcb6d835c54af709fd13d41a60648df05d952d9edc2a455edc4e6e3411f17b1a215b64bc92219eeb895285f66dc4909f7595c
-  data.tar.gz: '059f94bb911213c4ea06f7109ddf46e25358afd2a581250e27b9701cc416249a6ba114b7752a45230ffbbc7ed6279f2fe81077599d2114b8bfbb2fd77cb48675'
+  metadata.gz: fe97b6348c8829c62dad820f42e16afaad782f88b7a291ba0062ea4015d4651aa4882134b7652a2c9100b0e3da9bada778444fa4bc47ef3e4db4fd4c9f165c3e
+  data.tar.gz: 0a848716a49bf9efe3bc19c1e10a6d4e4606356ce57e09ceb2a04750c38b619eeacff77c1254d9a65f8a993a5243f3941d8cc6f59a0af5ce1eb4fd8ad7627071

data/README.md

@@ -6,12 +6,12 @@
 
 [![Default Type on Strap blog](https://github.com/Sylhare/Type-on-Strap/blob/master/assets/img/screenshot.png?raw=true)](https://sylhare.github.io/Type-on-Strap/)
 
-A free and open-source [Jekyll](https://jekyllrb.com) theme. Based on Rohan Chandra [type-theme](https://github.com/rohanchandra/type-theme) packed with extra features and easily cusomizable:
+A free and open-source [Jekyll](https://jekyllrb.com) theme. Based on Rohan Chandra [type-theme](https://github.com/rohanchandra/type-theme) packed with extra features and easily customizable:
 
 * Responsive design on all devices (🖥, 💻, 📱, ...)
 * Portfolio 🗂, Gallery 🖼 pages for your projects
 * Tags compatibility 🏷
-* Handle Bootstrap'ed pages: [Get Bootstrap](http://getbootstrap.com/)
+* Handle _Bootstrap_'ed pages: [Get Bootstrap](http://getbootstrap.com/)
 * 🔎 Search feature: [Simple-Jekyll-Search](https://github.com/christian-fei/Simple-Jekyll-Search)
 * Math Rendering : [KateX](https://github.com/Khan/KaTeX)
 * Diagram Rendering: [Mermaid-js](https://github.com/mermaid-js/mermaid)
@@ -23,21 +23,11 @@ A free and open-source [Jekyll](https://jekyllrb.com) theme. Based on Rohan Chan
 
 > [Demo Site](https://sylhare.github.io/Type-on-Strap/)
 
-## Table of Contents
-
-  - [Usage](#usage)
-  - [Structure](#structure)
-  - [Configure Type on Strap](#configure-type-on-strap)
-  - [Other Layouts](#other-layouts)
-  - [Feature pages](#feature-pages)
-  - [Advanced](#advanced)
-  - [License](#license)
-
 ## Usage
 
 ### As a ruby gem 💎
 
-Check out this tutorial: [Use as Ruby Gem](https://github.com/Sylhare/Type-on-Strap#use-as-ruby-gem)
+Check out this tutorial: [Use as Ruby Gem](#use-as-ruby-gem-)
 
 ### As a github page 📋
 
@@ -45,7 +35,7 @@ Check out this tutorial: [Use as Ruby Gem](https://github.com/Sylhare/Type-on-St
 2. Install [Jekyll](https://jekyllrb.com/docs/installation/): `gem install jekyll`, check [#1](https://github.com/Sylhare/Type-on-Strap/issues/1) if you have a problem.
 3. Install the theme's dependencies: `bundle install`
 4. Customize the theme
-	- GitHub Page: [update `_config.yml`](https://github.com/Sylhare/Type-on-Strap#site-configuration)
+	- GitHub Page: [update `_config.yml`](#site-configuration)
 5. Run the Jekyll server: `bundle exec jekyll serve`
 
 ## Structure
@@ -230,13 +220,13 @@ sequenceDiagram
 
 ### Social icons
 
-In `_data/social.yml` you can customize the social icons from other wbesite you wish to display in the blog.
+In `_data/social.yml` you can customize the social icons from other website you wish to display in the blog.
 The site icons come from [Font Awesome](https://fontawesome.com/).
 
 ### Cookie consent
 
 You can add a cookie consent with a disclaimer if you use Google Analytics while respecting the [GDPR](https://en.wikipedia.org/wiki/General_Data_Protection_Regulation).
-Set to true, there will be a banner at the bottom of the page with the disclaimer and a approve button.
+Set to true, there will be a banner at the bottom of the page with the disclaimer, and an _approve_ button.
 Once the user clicks on "Approve" the cookies will be created for Google Analytics.
 
 #### Share in article
@@ -342,7 +332,7 @@ Use it in any markdown file. There are two fields in the _include_ you need to l
 
 #### Code highlight
 
-Like all CSS variables in the theme, you can edit the color of the code highlight in _sass > base > _variables.scss.
+Like all CSS variables in the theme, you can edit the color of the code highlight in *_sass > base > _variables.scss*.
 The code highlighting works with [base16](https://github.com/chriskempson/base16-html-previews/tree/master/css) you can find existing example 
 of your favourite highlight color scheme on this format.
 
@@ -435,14 +425,14 @@ collections:
     permalink: /:collection/:name
 ```    
 
-This creates the collection for Jekyll so it can find and display your portfolio posts.
+This creates the collection for Jekyll, so it can find and display your portfolio posts.
 
 ### Feature: Gallery 🖼
 
 You can create a gallery using [Masonry JS](https://masonry.desandro.com/) which will placing the pictures in optimal position 
 based on available vertical space. 
 You need to specify the `gallery_path` which will be used to find the pictures to render. 
-It will take all of the picture under that directory. Then use the `include` to add it in your page. 
+It will take all the pictures under that directory. Then use the `include` to add it in your page. 
 
 ```yml
 
@@ -459,7 +449,7 @@ gallery: "assets/img/pexels"
 ### Feature: Search 🔍
 
 The search feature is based on [Simple-Jekyll-search](https://github.com/christian-fei/Simple-Jekyll-Search) 
-there is a `search.json` file that will create a list of all of the site posts, pages and portfolios. 
+there is a `search.json` file that will create a list of all the site posts, pages and portfolios. 
 
 Then there's a `search.js` displaying the formatted results entered in the `search.html` page.
 
@@ -490,7 +480,7 @@ tags: [sample, markdown, html]
 ---
 ```
 
-> Tags are case sensitive `Tag_nAme` ≠ `tag_name`
+> Tags are case-sensitive `Tag_nAme` ≠ `tag_name`
 
 All the tags will be listed in `tags.html` with a link toward the pages or posts.
 The Tag page can be hidden with the `hide` option. You can remove the icon by removing `icon` (like for the search page).
@@ -551,7 +541,7 @@ Use this command with the title you'd like to create the very basic post.
 gulp post -n 'title of the post'
 ```
 
-A file will be create following the format `yyyy-mm-dd-title-of-the-post.md` with default post attributes inside.
+A file will be created following the format `yyyy-mm-dd-title-of-the-post.md` with default post attributes inside.
 Nothing will happen if the file exists already.
 
 ### Use as Ruby Gem 💎
@@ -584,7 +574,7 @@ Then you can start adding content like:
 
 ### Remote Theme
 
-Now you can use any theme gem with github pages with [29/11/2017 Github Pages Broadcast](https://github.com/blog/2464-use-any-theme-with-github-pages).
+Now you can use any theme gem with GitHub pages with [29/11/2017 Github Pages Broadcast](https://github.com/blog/2464-use-any-theme-with-github-pages).
 For that remove all `theme:` attributes from `_config.yml` and add instead:
 
 ```yml
@@ -593,7 +583,7 @@ remote_theme: sylhare/Type-on-Strap
 
 ## License
 
-This theme is licensed under the [The MIT License (MIT)](https://raw.githubusercontent.com/Sylhare/Type-on-Strap/master/LICENSE)
+This theme is licensed under the [The MIT License (MIT)](/LICENSE)
 
 - Pictures from [Pexels](https://www.pexels.com/) are under Creative Commons Zero (CC0) license
 - Fonts are licensed under the [SIL Open Font License (OFL)](https://scripts.sil.org/cms/scripts/page.php?site_id=nrsi&id=OFL) 

data/_includes/default/head.html

@@ -38,7 +38,7 @@
     <script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.3/umd/popper.min.js" integrity="sha384-ZMP7rVo3mIykV+2+9J3UJ46jBk0WLaUAdn689aCwoqbBJiSnjAK/l8WvCWPIPm49" crossorigin="anonymous"></script>
     {% endif %}
 
-    <!-- KaTeX 0.12.0 -->
+    <!-- KaTeX 0.13.9 -->
     {% if site.katex or site.theme_settings.katex %}
     <script defer src="{{ '/assets/js/vendor/katex.min.js' | relative_url }}"></script>
     <script defer src="{{ '/assets/js/vendor/auto-render.min.js' | relative_url }}" onload="renderMathInElement(document.body);"></script>

data/_includes/default/navbar.html

@@ -37,7 +37,7 @@
         
         {% if site.color_theme == 'auto' %}
         <li class="separator"> | </li>
-        <li><a id="theme-toggle" title="{{ page.title }} "aria-label="{{ page.title }}" onclick="themeToggle()"></a></li>
+        <li><a id="theme-toggle" title="{{ page.title }} " aria-label="{{ page.title }}" onclick="themeToggle()"></a></li>
         {% endif %}
     </ul>
 

data/_includes/social/cusdis.html

@@ -4,6 +4,7 @@
   data-page-id="{{ page.relative_path }}"
   data-page-url="{{ page.url }}"
   data-page-title="{{ page.title }}"
+  data-theme="{{ site.color_theme }}"
 ></div>
 
 {% if site.data.language.cusdis_lang %}

data/_layouts/{custom.html → custom.md}

@@ -24,14 +24,14 @@ layout: default
 
 </article>
 
+<!-- Post navigation -->
+{% if site.post_navigation %}
+{% include blog/post_nav.html %}
+{% endif %}
+
 <!-- Cusdis -->
 {% if site.cusdis_app_id %}{% include social/cusdis.html %}{% endif %}
 
 <!-- Disqus -->
 {% if site.disqus_shortname or site.theme_settings.disqus_shortname %}
 {% include social/disqus.html %}{% endif %}
-
-<!-- Post navigation -->
-{% if site.post_navigation %}
-{% include blog/post_nav.html %}
-{% endif %}

data/_layouts/default.html

@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!--
-    Type on Strap jekyll theme v2.3.5
+    Type on Strap jekyll theme v2.3.6
     Copyright 2016-2021 Sylhare
     Theme free for personal and commercial use under the MIT license
     https://github.com/sylhare/Type-on-Strap/blob/master/LICENSE

data/_layouts/post.html

@@ -32,6 +32,11 @@ layout: default
 
 </article>
 
+<!-- Post navigation -->
+{% if site.post_navigation  or site.theme_settings.post_navigation %}
+{% include blog/post_nav.html %}
+{% endif %}
+
 <!-- Cusdis -->
 {% if site.cusdis_app_id %}{% include social/cusdis.html %}{% endif %}
 
@@ -39,11 +44,6 @@ layout: default
 {% if site.disqus_shortname or site.theme_settings.disqus_shortname %}
 {% include social/disqus.html %}{% endif %}
 
-<!-- Post navigation -->
-{% if site.post_navigation  or site.theme_settings.post_navigation %}
-  {% include blog/post_nav.html %}
-{% endif %}
-
 <!-- To change color of links in the page -->
 <style>
   header#main {

data/_sass/base/_global.scss

@@ -164,7 +164,7 @@ table {
 td,
 th {
   padding: 0.5em 1em;
-  border: 1px solid var(--border);
+  border: 1px solid var(--td-border);
   text-align: left;
 }
 

data/_sass/base/_variables.scss

@@ -108,6 +108,7 @@ html, html[data-theme="light"] {
   --h5: #262626;
   --h6: #262626;
   --border: rgba(0, 0, 0, 0.1);
+  --td-border: rgba(0, 0, 0, 0.1);
 }
 
 html[data-theme="dark"] {
@@ -130,4 +131,7 @@ html[data-theme="dark"] {
   --h5: #6bac00;
   --h6: #ff5c00;
   --border: rgba(0, 0, 0, 0.1); // border
+  --td-border: rgba(255, 255, 255, 0.5); // table border
+  --cusdis--color-text-default: var(--text);
+  --cusdis--color-comment-username-text: var(--link);
 }

data/_sass/external/_katex.scss

@@ -1,6 +1,11 @@
-/*! KaTeX - license MIT */
+/* Custom */
 $katex-font-path: "../../assets/fonts/katex" !default;
+.katex-display {
+  overflow-x: auto;
+  padding-bottom: 3px;
+}
 
+/*! KaTeX - license MIT */
 /* stylelint-disable font-family-no-missing-generic-family-keyword */
 @font-face {
   font-family: 'KaTeX_AMS';
@@ -147,999 +152,1198 @@ $katex-font-path: "../../assets/fonts/katex" !default;
   line-height: 1.2;
   text-indent: 0;
   text-rendering: auto;
+}
+
+.katex * {
+  -ms-high-contrast-adjust: none !important;
   border-color: currentColor;
+}
 
-  * {
-    -ms-high-contrast-adjust: none !important;
-  }
-
-  .katex-version::after {
-    content: "0.12.0";
-  }
-
-  .katex-mathml {
-    position: absolute;
-    clip: rect(1px, 1px, 1px, 1px);
-    padding: 0;
-    border: 0;
-    height: 1px;
-    width: 1px;
-    overflow: hidden;
-  }
-
-  .katex-html {
-    /* \newline is an empty block at top level, between .base elements */
-
-    > .newline {
-      display: block;
-    }
-  }
-
-  .base {
-    position: relative;
-    display: inline-block;
-    white-space: nowrap;
-    width: min-content;
-  }
-
-  .strut {
-    display: inline-block;
-  }
-
-  .textbf {
-    font-weight: bold;
-  }
-
-  .textit {
-    font-style: italic;
-  }
-
-  .textrm {
-    font-family: KaTeX_Main;
-  }
-
-  .textsf {
-    font-family: KaTeX_SansSerif;
-  }
-
-  .texttt {
-    font-family: KaTeX_Typewriter;
-  }
-
-  .mathnormal {
-    font-family: KaTeX_Math;
-    font-style: italic;
-  }
-
-  .mathit {
-    font-family: KaTeX_Main;
-    font-style: italic;
-  }
-
-  .mathrm {
-    font-style: normal;
-  }
-
-  .mathbf {
-    font-family: KaTeX_Main;
-    font-weight: bold;
-  }
-
-  .boldsymbol {
-    font-family: KaTeX_Math;
-    font-weight: bold;
-    font-style: italic;
-  }
-
-  .amsrm, .mathbb, .textbb {
-    font-family: KaTeX_AMS;
-  }
-
-  .mathcal {
-    font-family: KaTeX_Caligraphic;
-  }
-
-  .mathfrak, .textfrak {
-    font-family: KaTeX_Fraktur;
-  }
-
-  .mathtt {
-    font-family: KaTeX_Typewriter;
-  }
-
-  .mathscr, .textscr {
-    font-family: KaTeX_Script;
-  }
-
-  .mathsf, .textsf {
-    font-family: KaTeX_SansSerif;
-  }
-
-  .mathboldsf, .textboldsf {
-    font-family: KaTeX_SansSerif;
-    font-weight: bold;
-  }
-
-  .mathitsf, .textitsf {
-    font-family: KaTeX_SansSerif;
-    font-style: italic;
-  }
-
-  .mainrm {
-    font-family: KaTeX_Main;
-    font-style: normal;
-  }
-
-  .vlist-t {
-    display: inline-table;
-    table-layout: fixed;
-    border-collapse: collapse;
-  }
-
-  .vlist-r {
-    display: table-row;
-  }
-
-  .vlist {
-    display: table-cell;
-    vertical-align: bottom;
-    position: relative;
-
-    > span {
-      display: block;
-      height: 0;
-      position: relative;
-
-      > {
-        span {
-          display: inline-block;
-        }
-
-        .pstrut {
-          overflow: hidden;
-          width: 0;
-        }
-      }
-    }
-  }
-
-  .vlist-t2 {
-    margin-right: -2px;
-  }
-
-  .vlist-s {
-    display: table-cell;
-    vertical-align: bottom;
-    font-size: 1px;
-    width: 2px;
-    min-width: 2px;
-  }
-
-  .vbox {
-    display: -ms-inline-flexbox;
-    display: inline-flex;
-    -ms-flex-direction: column;
-    flex-direction: column;
-    align-items: baseline;
-  }
-
-  .hbox {
-    display: -ms-inline-flexbox;
-    display: inline-flex;
-    -ms-flex-direction: row;
-    flex-direction: row;
-    width: 100%;
-  }
-
-  .thinbox {
-    display: inline-flex;
-    flex-direction: row;
-    width: 0;
-    max-width: 0;
-  }
-
-  .msupsub {
-    text-align: left;
-  }
-
-  .mfrac {
-    > span > span {
-      text-align: center;
-    }
-
-    .frac-line {
-      display: inline-block;
-      width: 100%;
-      border-bottom-style: solid;
-      min-height: 1px;
-    }
-  }
-
-  .overline .overline-line, .underline .underline-line, .hline, .hdashline, .rule {
-    min-height: 1px;
-  }
-
-  .mspace {
-    display: inline-block;
-  }
-
-  .llap, .rlap, .clap {
-    width: 0;
-    position: relative;
-  }
-
-  .llap > .inner, .rlap > .inner, .clap > .inner {
-    position: absolute;
-  }
-
-  .llap > .fix, .rlap > .fix, .clap > .fix {
-    display: inline-block;
-  }
-
-  .llap > .inner {
-    right: 0;
-  }
-
-  .rlap > .inner {
-    left: 0;
-  }
-
-  .clap > .inner {
-    left: 0;
-
-    > span {
-      margin-left: -50%;
-      margin-right: 50%;
-    }
-  }
-
-  .rule {
-    display: inline-block;
-    border: solid 0;
-    position: relative;
-  }
-
-  .overline .overline-line, .underline .underline-line, .hline {
-    display: inline-block;
-    width: 100%;
-    border-bottom-style: solid;
-  }
-
-  .hdashline {
-    display: inline-block;
-    width: 100%;
-    border-bottom-style: dashed;
-  }
-
-  .sqrt > .root {
-    margin-left: 0.27777778em;
-    margin-right: -0.55555556em;
-  }
-
-  .sizing.reset-size1.size1, .fontsize-ensurer.reset-size1.size1 {
-    font-size: 1em;
-  }
-
-  .sizing.reset-size1.size2, .fontsize-ensurer.reset-size1.size2 {
-    font-size: 1.2em;
-  }
-
-  .sizing.reset-size1.size3, .fontsize-ensurer.reset-size1.size3 {
-    font-size: 1.4em;
-  }
-
-  .sizing.reset-size1.size4, .fontsize-ensurer.reset-size1.size4 {
-    font-size: 1.6em;
-  }
-
-  .sizing.reset-size1.size5, .fontsize-ensurer.reset-size1.size5 {
-    font-size: 1.8em;
-  }
-
-  .sizing.reset-size1.size6, .fontsize-ensurer.reset-size1.size6 {
-    font-size: 2em;
-  }
-
-  .sizing.reset-size1.size7, .fontsize-ensurer.reset-size1.size7 {
-    font-size: 2.4em;
-  }
-
-  .sizing.reset-size1.size8, .fontsize-ensurer.reset-size1.size8 {
-    font-size: 2.88em;
-  }
-
-  .sizing.reset-size1.size9, .fontsize-ensurer.reset-size1.size9 {
-    font-size: 3.456em;
-  }
-
-  .sizing.reset-size1.size10, .fontsize-ensurer.reset-size1.size10 {
-    font-size: 4.148em;
-  }
-
-  .sizing.reset-size1.size11, .fontsize-ensurer.reset-size1.size11 {
-    font-size: 4.976em;
-  }
-
-  .sizing.reset-size2.size1, .fontsize-ensurer.reset-size2.size1 {
-    font-size: 0.83333333em;
-  }
-
-  .sizing.reset-size2.size2, .fontsize-ensurer.reset-size2.size2 {
-    font-size: 1em;
-  }
-
-  .sizing.reset-size2.size3, .fontsize-ensurer.reset-size2.size3 {
-    font-size: 1.16666667em;
-  }
-
-  .sizing.reset-size2.size4, .fontsize-ensurer.reset-size2.size4 {
-    font-size: 1.33333333em;
-  }
-
-  .sizing.reset-size2.size5, .fontsize-ensurer.reset-size2.size5 {
-    font-size: 1.5em;
-  }
-
-  .sizing.reset-size2.size6, .fontsize-ensurer.reset-size2.size6 {
-    font-size: 1.66666667em;
-  }
-
-  .sizing.reset-size2.size7, .fontsize-ensurer.reset-size2.size7 {
-    font-size: 2em;
-  }
-
-  .sizing.reset-size2.size8, .fontsize-ensurer.reset-size2.size8 {
-    font-size: 2.4em;
-  }
-
-  .sizing.reset-size2.size9, .fontsize-ensurer.reset-size2.size9 {
-    font-size: 2.88em;
-  }
-
-  .sizing.reset-size2.size10, .fontsize-ensurer.reset-size2.size10 {
-    font-size: 3.45666667em;
-  }
-
-  .sizing.reset-size2.size11, .fontsize-ensurer.reset-size2.size11 {
-    font-size: 4.14666667em;
-  }
+.katex .katex-version::after {
+  content: "0.13.9";
+}
 
-  .sizing.reset-size3.size1, .fontsize-ensurer.reset-size3.size1 {
-    font-size: 0.71428571em;
-  }
+.katex .katex-mathml {
+  /* Accessibility hack to only show to screen readers
+         Found at: http://a11yproject.com/posts/how-to-hide-content/ */
+  position: absolute;
+  clip: rect(1px, 1px, 1px, 1px);
+  padding: 0;
+  border: 0;
+  height: 1px;
+  width: 1px;
+  overflow: hidden;
+}
 
-  .sizing.reset-size3.size2, .fontsize-ensurer.reset-size3.size2 {
-    font-size: 0.85714286em;
-  }
+.katex .katex-html {
+  /* \newline is an empty block at top level, between .base elements */
+}
 
-  .sizing.reset-size3.size3, .fontsize-ensurer.reset-size3.size3 {
-    font-size: 1em;
-  }
+.katex .katex-html > .newline {
+  display: block;
+}
 
-  .sizing.reset-size3.size4, .fontsize-ensurer.reset-size3.size4 {
-    font-size: 1.14285714em;
-  }
+.katex .base {
+  position: relative;
+  display: inline-block;
+  white-space: nowrap;
+  width: -webkit-min-content;
+  width: -moz-min-content;
+  width: min-content;
+}
 
-  .sizing.reset-size3.size5, .fontsize-ensurer.reset-size3.size5 {
-    font-size: 1.28571429em;
-  }
+.katex .strut {
+  display: inline-block;
+}
 
-  .sizing.reset-size3.size6, .fontsize-ensurer.reset-size3.size6 {
-    font-size: 1.42857143em;
-  }
+.katex .textbf {
+  font-weight: bold;
+}
 
-  .sizing.reset-size3.size7, .fontsize-ensurer.reset-size3.size7 {
-    font-size: 1.71428571em;
-  }
+.katex .textit {
+  font-style: italic;
+}
 
-  .sizing.reset-size3.size8, .fontsize-ensurer.reset-size3.size8 {
-    font-size: 2.05714286em;
-  }
+.katex .textrm {
+  font-family: KaTeX_Main;
+}
 
-  .sizing.reset-size3.size9, .fontsize-ensurer.reset-size3.size9 {
-    font-size: 2.46857143em;
-  }
+.katex .textsf {
+  font-family: KaTeX_SansSerif;
+}
 
-  .sizing.reset-size3.size10, .fontsize-ensurer.reset-size3.size10 {
-    font-size: 2.96285714em;
-  }
+.katex .texttt {
+  font-family: KaTeX_Typewriter;
+}
 
-  .sizing.reset-size3.size11, .fontsize-ensurer.reset-size3.size11 {
-    font-size: 3.55428571em;
-  }
+.katex .mathnormal {
+  font-family: KaTeX_Math;
+  font-style: italic;
+}
 
-  .sizing.reset-size4.size1, .fontsize-ensurer.reset-size4.size1 {
-    font-size: 0.625em;
-  }
+.katex .mathit {
+  font-family: KaTeX_Main;
+  font-style: italic;
+}
 
-  .sizing.reset-size4.size2, .fontsize-ensurer.reset-size4.size2 {
-    font-size: 0.75em;
-  }
+.katex .mathrm {
+  font-style: normal;
+}
 
-  .sizing.reset-size4.size3, .fontsize-ensurer.reset-size4.size3 {
-    font-size: 0.875em;
-  }
+.katex .mathbf {
+  font-family: KaTeX_Main;
+  font-weight: bold;
+}
 
-  .sizing.reset-size4.size4, .fontsize-ensurer.reset-size4.size4 {
-    font-size: 1em;
-  }
+.katex .boldsymbol {
+  font-family: KaTeX_Math;
+  font-weight: bold;
+  font-style: italic;
+}
 
-  .sizing.reset-size4.size5, .fontsize-ensurer.reset-size4.size5 {
-    font-size: 1.125em;
-  }
+.katex .amsrm {
+  font-family: KaTeX_AMS;
+}
 
-  .sizing.reset-size4.size6, .fontsize-ensurer.reset-size4.size6 {
-    font-size: 1.25em;
-  }
+.katex .mathbb,
+.katex .textbb {
+  font-family: KaTeX_AMS;
+}
 
-  .sizing.reset-size4.size7, .fontsize-ensurer.reset-size4.size7 {
-    font-size: 1.5em;
-  }
+.katex .mathcal {
+  font-family: KaTeX_Caligraphic;
+}
 
-  .sizing.reset-size4.size8, .fontsize-ensurer.reset-size4.size8 {
-    font-size: 1.8em;
-  }
+.katex .mathfrak,
+.katex .textfrak {
+  font-family: KaTeX_Fraktur;
+}
 
-  .sizing.reset-size4.size9, .fontsize-ensurer.reset-size4.size9 {
-    font-size: 2.16em;
-  }
+.katex .mathtt {
+  font-family: KaTeX_Typewriter;
+}
 
-  .sizing.reset-size4.size10, .fontsize-ensurer.reset-size4.size10 {
-    font-size: 2.5925em;
-  }
+.katex .mathscr,
+.katex .textscr {
+  font-family: KaTeX_Script;
+}
 
-  .sizing.reset-size4.size11, .fontsize-ensurer.reset-size4.size11 {
-    font-size: 3.11em;
-  }
+.katex .mathsf,
+.katex .textsf {
+  font-family: KaTeX_SansSerif;
+}
 
-  .sizing.reset-size5.size1, .fontsize-ensurer.reset-size5.size1 {
-    font-size: 0.55555556em;
-  }
+.katex .mathboldsf,
+.katex .textboldsf {
+  font-family: KaTeX_SansSerif;
+  font-weight: bold;
+}
 
-  .sizing.reset-size5.size2, .fontsize-ensurer.reset-size5.size2 {
-    font-size: 0.66666667em;
-  }
+.katex .mathitsf,
+.katex .textitsf {
+  font-family: KaTeX_SansSerif;
+  font-style: italic;
+}
 
-  .sizing.reset-size5.size3, .fontsize-ensurer.reset-size5.size3 {
-    font-size: 0.77777778em;
-  }
+.katex .mainrm {
+  font-family: KaTeX_Main;
+  font-style: normal;
+}
 
-  .sizing.reset-size5.size4, .fontsize-ensurer.reset-size5.size4 {
-    font-size: 0.88888889em;
-  }
+.katex .vlist-t {
+  display: inline-table;
+  table-layout: fixed;
+  border-collapse: collapse;
+}
 
-  .sizing.reset-size5.size5, .fontsize-ensurer.reset-size5.size5 {
-    font-size: 1em;
-  }
+.katex .vlist-r {
+  display: table-row;
+}
 
-  .sizing.reset-size5.size6, .fontsize-ensurer.reset-size5.size6 {
-    font-size: 1.11111111em;
-  }
+.katex .vlist {
+  display: table-cell;
+  vertical-align: bottom;
+  position: relative;
+}
 
-  .sizing.reset-size5.size7, .fontsize-ensurer.reset-size5.size7 {
-    font-size: 1.33333333em;
-  }
+.katex .vlist > span {
+  display: block;
+  height: 0;
+  position: relative;
+}
 
-  .sizing.reset-size5.size8, .fontsize-ensurer.reset-size5.size8 {
-    font-size: 1.6em;
-  }
+.katex .vlist > span > span {
+  display: inline-block;
+}
 
-  .sizing.reset-size5.size9, .fontsize-ensurer.reset-size5.size9 {
-    font-size: 1.92em;
-  }
+.katex .vlist > span > .pstrut {
+  overflow: hidden;
+  width: 0;
+}
 
-  .sizing.reset-size5.size10, .fontsize-ensurer.reset-size5.size10 {
-    font-size: 2.30444444em;
-  }
+.katex .vlist-t2 {
+  margin-right: -2px;
+}
 
-  .sizing.reset-size5.size11, .fontsize-ensurer.reset-size5.size11 {
-    font-size: 2.76444444em;
-  }
+.katex .vlist-s {
+  display: table-cell;
+  vertical-align: bottom;
+  font-size: 1px;
+  width: 2px;
+  min-width: 2px;
+}
 
-  .sizing.reset-size6.size1, .fontsize-ensurer.reset-size6.size1 {
-    font-size: 0.5em;
-  }
+.katex .vbox {
+  display: -webkit-inline-box;
+  display: inline-flex;
+  -webkit-box-orient: vertical;
+  -webkit-box-direction: normal;
+  flex-direction: column;
+  -webkit-box-align: baseline;
+  align-items: baseline;
+}
 
-  .sizing.reset-size6.size2, .fontsize-ensurer.reset-size6.size2 {
-    font-size: 0.6em;
-  }
+.katex .hbox {
+  display: -webkit-inline-box;
+  display: inline-flex;
+  -webkit-box-orient: horizontal;
+  -webkit-box-direction: normal;
+  flex-direction: row;
+  width: 100%;
+}
 
-  .sizing.reset-size6.size3, .fontsize-ensurer.reset-size6.size3 {
-    font-size: 0.7em;
-  }
+.katex .thinbox {
+  display: -webkit-inline-box;
+  display: inline-flex;
+  -webkit-box-orient: horizontal;
+  -webkit-box-direction: normal;
+  flex-direction: row;
+  width: 0;
+  max-width: 0;
+}
 
-  .sizing.reset-size6.size4, .fontsize-ensurer.reset-size6.size4 {
-    font-size: 0.8em;
-  }
+.katex .msupsub {
+  text-align: left;
+}
 
-  .sizing.reset-size6.size5, .fontsize-ensurer.reset-size6.size5 {
-    font-size: 0.9em;
-  }
+.katex .mfrac > span > span {
+  text-align: center;
+}
 
-  .sizing.reset-size6.size6, .fontsize-ensurer.reset-size6.size6 {
-    font-size: 1em;
-  }
+.katex .mfrac .frac-line {
+  display: inline-block;
+  width: 100%;
+  border-bottom-style: solid;
+}
 
-  .sizing.reset-size6.size7, .fontsize-ensurer.reset-size6.size7 {
-    font-size: 1.2em;
-  }
+.katex .mfrac .frac-line,
+.katex .overline .overline-line,
+.katex .underline .underline-line,
+.katex .hline,
+.katex .hdashline,
+.katex .rule {
+  min-height: 1px;
+}
 
-  .sizing.reset-size6.size8, .fontsize-ensurer.reset-size6.size8 {
-    font-size: 1.44em;
-  }
+.katex .mspace {
+  display: inline-block;
+}
 
-  .sizing.reset-size6.size9, .fontsize-ensurer.reset-size6.size9 {
-    font-size: 1.728em;
-  }
+.katex .llap,
+.katex .rlap,
+.katex .clap {
+  width: 0;
+  position: relative;
+}
 
-  .sizing.reset-size6.size10, .fontsize-ensurer.reset-size6.size10 {
-    font-size: 2.074em;
-  }
+.katex .llap > .inner,
+.katex .rlap > .inner,
+.katex .clap > .inner {
+  position: absolute;
+}
 
-  .sizing.reset-size6.size11, .fontsize-ensurer.reset-size6.size11 {
-    font-size: 2.488em;
-  }
+.katex .llap > .fix,
+.katex .rlap > .fix,
+.katex .clap > .fix {
+  display: inline-block;
+}
 
-  .sizing.reset-size7.size1, .fontsize-ensurer.reset-size7.size1 {
-    font-size: 0.41666667em;
-  }
+.katex .llap > .inner {
+  right: 0;
+}
 
-  .sizing.reset-size7.size2, .fontsize-ensurer.reset-size7.size2 {
-    font-size: 0.5em;
-  }
+.katex .rlap > .inner,
+.katex .clap > .inner {
+  left: 0;
+}
 
-  .sizing.reset-size7.size3, .fontsize-ensurer.reset-size7.size3 {
-    font-size: 0.58333333em;
-  }
+.katex .clap > .inner > span {
+  margin-left: -50%;
+  margin-right: 50%;
+}
 
-  .sizing.reset-size7.size4, .fontsize-ensurer.reset-size7.size4 {
-    font-size: 0.66666667em;
-  }
+.katex .rule {
+  display: inline-block;
+  border: solid 0;
+  position: relative;
+}
 
-  .sizing.reset-size7.size5, .fontsize-ensurer.reset-size7.size5 {
-    font-size: 0.75em;
-  }
+.katex .overline .overline-line,
+.katex .underline .underline-line,
+.katex .hline {
+  display: inline-block;
+  width: 100%;
+  border-bottom-style: solid;
+}
 
-  .sizing.reset-size7.size6, .fontsize-ensurer.reset-size7.size6 {
-    font-size: 0.83333333em;
-  }
+.katex .hdashline {
+  display: inline-block;
+  width: 100%;
+  border-bottom-style: dashed;
+}
 
-  .sizing.reset-size7.size7, .fontsize-ensurer.reset-size7.size7 {
-    font-size: 1em;
-  }
+.katex .sqrt > .root {
+  /* These values are taken from the definition of `\r@@t`,
+             `\mkern 5mu` and `\mkern -10mu`. */
+  margin-left: 0.27777778em;
+  margin-right: -0.55555556em;
+}
 
-  .sizing.reset-size7.size8, .fontsize-ensurer.reset-size7.size8 {
-    font-size: 1.2em;
-  }
+.katex .sizing.reset-size1.size1,
+.katex .fontsize-ensurer.reset-size1.size1 {
+  font-size: 1em;
+}
 
-  .sizing.reset-size7.size9, .fontsize-ensurer.reset-size7.size9 {
-    font-size: 1.44em;
-  }
+.katex .sizing.reset-size1.size2,
+.katex .fontsize-ensurer.reset-size1.size2 {
+  font-size: 1.2em;
+}
 
-  .sizing.reset-size7.size10, .fontsize-ensurer.reset-size7.size10 {
-    font-size: 1.72833333em;
-  }
+.katex .sizing.reset-size1.size3,
+.katex .fontsize-ensurer.reset-size1.size3 {
+  font-size: 1.4em;
+}
 
-  .sizing.reset-size7.size11, .fontsize-ensurer.reset-size7.size11 {
-    font-size: 2.07333333em;
-  }
+.katex .sizing.reset-size1.size4,
+.katex .fontsize-ensurer.reset-size1.size4 {
+  font-size: 1.6em;
+}
 
-  .sizing.reset-size8.size1, .fontsize-ensurer.reset-size8.size1 {
-    font-size: 0.34722222em;
-  }
+.katex .sizing.reset-size1.size5,
+.katex .fontsize-ensurer.reset-size1.size5 {
+  font-size: 1.8em;
+}
 
-  .sizing.reset-size8.size2, .fontsize-ensurer.reset-size8.size2 {
-    font-size: 0.41666667em;
-  }
+.katex .sizing.reset-size1.size6,
+.katex .fontsize-ensurer.reset-size1.size6 {
+  font-size: 2em;
+}
 
-  .sizing.reset-size8.size3, .fontsize-ensurer.reset-size8.size3 {
-    font-size: 0.48611111em;
-  }
+.katex .sizing.reset-size1.size7,
+.katex .fontsize-ensurer.reset-size1.size7 {
+  font-size: 2.4em;
+}
 
-  .sizing.reset-size8.size4, .fontsize-ensurer.reset-size8.size4 {
-    font-size: 0.55555556em;
-  }
+.katex .sizing.reset-size1.size8,
+.katex .fontsize-ensurer.reset-size1.size8 {
+  font-size: 2.88em;
+}
 
-  .sizing.reset-size8.size5, .fontsize-ensurer.reset-size8.size5 {
-    font-size: 0.625em;
-  }
+.katex .sizing.reset-size1.size9,
+.katex .fontsize-ensurer.reset-size1.size9 {
+  font-size: 3.456em;
+}
 
-  .sizing.reset-size8.size6, .fontsize-ensurer.reset-size8.size6 {
-    font-size: 0.69444444em;
-  }
+.katex .sizing.reset-size1.size10,
+.katex .fontsize-ensurer.reset-size1.size10 {
+  font-size: 4.148em;
+}
 
-  .sizing.reset-size8.size7, .fontsize-ensurer.reset-size8.size7 {
-    font-size: 0.83333333em;
-  }
+.katex .sizing.reset-size1.size11,
+.katex .fontsize-ensurer.reset-size1.size11 {
+  font-size: 4.976em;
+}
 
-  .sizing.reset-size8.size8, .fontsize-ensurer.reset-size8.size8 {
-    font-size: 1em;
-  }
+.katex .sizing.reset-size2.size1,
+.katex .fontsize-ensurer.reset-size2.size1 {
+  font-size: 0.83333333em;
+}
 
-  .sizing.reset-size8.size9, .fontsize-ensurer.reset-size8.size9 {
-    font-size: 1.2em;
-  }
+.katex .sizing.reset-size2.size2,
+.katex .fontsize-ensurer.reset-size2.size2 {
+  font-size: 1em;
+}
 
-  .sizing.reset-size8.size10, .fontsize-ensurer.reset-size8.size10 {
-    font-size: 1.44027778em;
-  }
+.katex .sizing.reset-size2.size3,
+.katex .fontsize-ensurer.reset-size2.size3 {
+  font-size: 1.16666667em;
+}
 
-  .sizing.reset-size8.size11, .fontsize-ensurer.reset-size8.size11 {
-    font-size: 1.72777778em;
-  }
+.katex .sizing.reset-size2.size4,
+.katex .fontsize-ensurer.reset-size2.size4 {
+  font-size: 1.33333333em;
+}
 
-  .sizing.reset-size9.size1, .fontsize-ensurer.reset-size9.size1 {
-    font-size: 0.28935185em;
-  }
+.katex .sizing.reset-size2.size5,
+.katex .fontsize-ensurer.reset-size2.size5 {
+  font-size: 1.5em;
+}
 
-  .sizing.reset-size9.size2, .fontsize-ensurer.reset-size9.size2 {
-    font-size: 0.34722222em;
-  }
+.katex .sizing.reset-size2.size6,
+.katex .fontsize-ensurer.reset-size2.size6 {
+  font-size: 1.66666667em;
+}
 
-  .sizing.reset-size9.size3, .fontsize-ensurer.reset-size9.size3 {
-    font-size: 0.40509259em;
-  }
+.katex .sizing.reset-size2.size7,
+.katex .fontsize-ensurer.reset-size2.size7 {
+  font-size: 2em;
+}
 
-  .sizing.reset-size9.size4, .fontsize-ensurer.reset-size9.size4 {
-    font-size: 0.46296296em;
-  }
+.katex .sizing.reset-size2.size8,
+.katex .fontsize-ensurer.reset-size2.size8 {
+  font-size: 2.4em;
+}
 
-  .sizing.reset-size9.size5, .fontsize-ensurer.reset-size9.size5 {
-    font-size: 0.52083333em;
-  }
+.katex .sizing.reset-size2.size9,
+.katex .fontsize-ensurer.reset-size2.size9 {
+  font-size: 2.88em;
+}
 
-  .sizing.reset-size9.size6, .fontsize-ensurer.reset-size9.size6 {
-    font-size: 0.5787037em;
-  }
+.katex .sizing.reset-size2.size10,
+.katex .fontsize-ensurer.reset-size2.size10 {
+  font-size: 3.45666667em;
+}
 
-  .sizing.reset-size9.size7, .fontsize-ensurer.reset-size9.size7 {
-    font-size: 0.69444444em;
-  }
+.katex .sizing.reset-size2.size11,
+.katex .fontsize-ensurer.reset-size2.size11 {
+  font-size: 4.14666667em;
+}
 
-  .sizing.reset-size9.size8, .fontsize-ensurer.reset-size9.size8 {
-    font-size: 0.83333333em;
-  }
+.katex .sizing.reset-size3.size1,
+.katex .fontsize-ensurer.reset-size3.size1 {
+  font-size: 0.71428571em;
+}
 
-  .sizing.reset-size9.size9, .fontsize-ensurer.reset-size9.size9 {
-    font-size: 1em;
-  }
+.katex .sizing.reset-size3.size2,
+.katex .fontsize-ensurer.reset-size3.size2 {
+  font-size: 0.85714286em;
+}
 
-  .sizing.reset-size9.size10, .fontsize-ensurer.reset-size9.size10 {
-    font-size: 1.20023148em;
-  }
+.katex .sizing.reset-size3.size3,
+.katex .fontsize-ensurer.reset-size3.size3 {
+  font-size: 1em;
+}
 
-  .sizing.reset-size9.size11, .fontsize-ensurer.reset-size9.size11 {
-    font-size: 1.43981481em;
-  }
+.katex .sizing.reset-size3.size4,
+.katex .fontsize-ensurer.reset-size3.size4 {
+  font-size: 1.14285714em;
+}
 
-  .sizing.reset-size10.size1, .fontsize-ensurer.reset-size10.size1 {
-    font-size: 0.24108004em;
-  }
+.katex .sizing.reset-size3.size5,
+.katex .fontsize-ensurer.reset-size3.size5 {
+  font-size: 1.28571429em;
+}
 
-  .sizing.reset-size10.size2, .fontsize-ensurer.reset-size10.size2 {
-    font-size: 0.28929605em;
-  }
+.katex .sizing.reset-size3.size6,
+.katex .fontsize-ensurer.reset-size3.size6 {
+  font-size: 1.42857143em;
+}
+
+.katex .sizing.reset-size3.size7,
+.katex .fontsize-ensurer.reset-size3.size7 {
+  font-size: 1.71428571em;
+}
+
+.katex .sizing.reset-size3.size8,
+.katex .fontsize-ensurer.reset-size3.size8 {
+  font-size: 2.05714286em;
+}
+
+.katex .sizing.reset-size3.size9,
+.katex .fontsize-ensurer.reset-size3.size9 {
+  font-size: 2.46857143em;
+}
+
+.katex .sizing.reset-size3.size10,
+.katex .fontsize-ensurer.reset-size3.size10 {
+  font-size: 2.96285714em;
+}
+
+.katex .sizing.reset-size3.size11,
+.katex .fontsize-ensurer.reset-size3.size11 {
+  font-size: 3.55428571em;
+}
+
+.katex .sizing.reset-size4.size1,
+.katex .fontsize-ensurer.reset-size4.size1 {
+  font-size: 0.625em;
+}
+
+.katex .sizing.reset-size4.size2,
+.katex .fontsize-ensurer.reset-size4.size2 {
+  font-size: 0.75em;
+}
+
+.katex .sizing.reset-size4.size3,
+.katex .fontsize-ensurer.reset-size4.size3 {
+  font-size: 0.875em;
+}
+
+.katex .sizing.reset-size4.size4,
+.katex .fontsize-ensurer.reset-size4.size4 {
+  font-size: 1em;
+}
+
+.katex .sizing.reset-size4.size5,
+.katex .fontsize-ensurer.reset-size4.size5 {
+  font-size: 1.125em;
+}
+
+.katex .sizing.reset-size4.size6,
+.katex .fontsize-ensurer.reset-size4.size6 {
+  font-size: 1.25em;
+}
+
+.katex .sizing.reset-size4.size7,
+.katex .fontsize-ensurer.reset-size4.size7 {
+  font-size: 1.5em;
+}
 
-  .sizing.reset-size10.size3, .fontsize-ensurer.reset-size10.size3 {
-    font-size: 0.33751205em;
-  }
+.katex .sizing.reset-size4.size8,
+.katex .fontsize-ensurer.reset-size4.size8 {
+  font-size: 1.8em;
+}
+
+.katex .sizing.reset-size4.size9,
+.katex .fontsize-ensurer.reset-size4.size9 {
+  font-size: 2.16em;
+}
 
-  .sizing.reset-size10.size4, .fontsize-ensurer.reset-size10.size4 {
-    font-size: 0.38572806em;
-  }
+.katex .sizing.reset-size4.size10,
+.katex .fontsize-ensurer.reset-size4.size10 {
+  font-size: 2.5925em;
+}
 
-  .sizing.reset-size10.size5, .fontsize-ensurer.reset-size10.size5 {
-    font-size: 0.43394407em;
-  }
-
-  .sizing.reset-size10.size6, .fontsize-ensurer.reset-size10.size6 {
-    font-size: 0.48216008em;
-  }
-
-  .sizing.reset-size10.size7, .fontsize-ensurer.reset-size10.size7 {
-    font-size: 0.57859209em;
-  }
+.katex .sizing.reset-size4.size11,
+.katex .fontsize-ensurer.reset-size4.size11 {
+  font-size: 3.11em;
+}
+
+.katex .sizing.reset-size5.size1,
+.katex .fontsize-ensurer.reset-size5.size1 {
+  font-size: 0.55555556em;
+}
+
+.katex .sizing.reset-size5.size2,
+.katex .fontsize-ensurer.reset-size5.size2 {
+  font-size: 0.66666667em;
+}
+
+.katex .sizing.reset-size5.size3,
+.katex .fontsize-ensurer.reset-size5.size3 {
+  font-size: 0.77777778em;
+}
+
+.katex .sizing.reset-size5.size4,
+.katex .fontsize-ensurer.reset-size5.size4 {
+  font-size: 0.88888889em;
+}
+
+.katex .sizing.reset-size5.size5,
+.katex .fontsize-ensurer.reset-size5.size5 {
+  font-size: 1em;
+}
+
+.katex .sizing.reset-size5.size6,
+.katex .fontsize-ensurer.reset-size5.size6 {
+  font-size: 1.11111111em;
+}
+
+.katex .sizing.reset-size5.size7,
+.katex .fontsize-ensurer.reset-size5.size7 {
+  font-size: 1.33333333em;
+}
+
+.katex .sizing.reset-size5.size8,
+.katex .fontsize-ensurer.reset-size5.size8 {
+  font-size: 1.6em;
+}
+
+.katex .sizing.reset-size5.size9,
+.katex .fontsize-ensurer.reset-size5.size9 {
+  font-size: 1.92em;
+}
+
+.katex .sizing.reset-size5.size10,
+.katex .fontsize-ensurer.reset-size5.size10 {
+  font-size: 2.30444444em;
+}
 
-  .sizing.reset-size10.size8, .fontsize-ensurer.reset-size10.size8 {
-    font-size: 0.69431051em;
-  }
+.katex .sizing.reset-size5.size11,
+.katex .fontsize-ensurer.reset-size5.size11 {
+  font-size: 2.76444444em;
+}
+
+.katex .sizing.reset-size6.size1,
+.katex .fontsize-ensurer.reset-size6.size1 {
+  font-size: 0.5em;
+}
+
+.katex .sizing.reset-size6.size2,
+.katex .fontsize-ensurer.reset-size6.size2 {
+  font-size: 0.6em;
+}
+
+.katex .sizing.reset-size6.size3,
+.katex .fontsize-ensurer.reset-size6.size3 {
+  font-size: 0.7em;
+}
+
+.katex .sizing.reset-size6.size4,
+.katex .fontsize-ensurer.reset-size6.size4 {
+  font-size: 0.8em;
+}
+
+.katex .sizing.reset-size6.size5,
+.katex .fontsize-ensurer.reset-size6.size5 {
+  font-size: 0.9em;
+}
+
+.katex .sizing.reset-size6.size6,
+.katex .fontsize-ensurer.reset-size6.size6 {
+  font-size: 1em;
+}
+
+.katex .sizing.reset-size6.size7,
+.katex .fontsize-ensurer.reset-size6.size7 {
+  font-size: 1.2em;
+}
+
+.katex .sizing.reset-size6.size8,
+.katex .fontsize-ensurer.reset-size6.size8 {
+  font-size: 1.44em;
+}
+
+.katex .sizing.reset-size6.size9,
+.katex .fontsize-ensurer.reset-size6.size9 {
+  font-size: 1.728em;
+}
+
+.katex .sizing.reset-size6.size10,
+.katex .fontsize-ensurer.reset-size6.size10 {
+  font-size: 2.074em;
+}
+
+.katex .sizing.reset-size6.size11,
+.katex .fontsize-ensurer.reset-size6.size11 {
+  font-size: 2.488em;
+}
+
+.katex .sizing.reset-size7.size1,
+.katex .fontsize-ensurer.reset-size7.size1 {
+  font-size: 0.41666667em;
+}
+
+.katex .sizing.reset-size7.size2,
+.katex .fontsize-ensurer.reset-size7.size2 {
+  font-size: 0.5em;
+}
+
+.katex .sizing.reset-size7.size3,
+.katex .fontsize-ensurer.reset-size7.size3 {
+  font-size: 0.58333333em;
+}
+
+.katex .sizing.reset-size7.size4,
+.katex .fontsize-ensurer.reset-size7.size4 {
+  font-size: 0.66666667em;
+}
+
+.katex .sizing.reset-size7.size5,
+.katex .fontsize-ensurer.reset-size7.size5 {
+  font-size: 0.75em;
+}
+
+.katex .sizing.reset-size7.size6,
+.katex .fontsize-ensurer.reset-size7.size6 {
+  font-size: 0.83333333em;
+}
+
+.katex .sizing.reset-size7.size7,
+.katex .fontsize-ensurer.reset-size7.size7 {
+  font-size: 1em;
+}
+
+.katex .sizing.reset-size7.size8,
+.katex .fontsize-ensurer.reset-size7.size8 {
+  font-size: 1.2em;
+}
+
+.katex .sizing.reset-size7.size9,
+.katex .fontsize-ensurer.reset-size7.size9 {
+  font-size: 1.44em;
+}
+
+.katex .sizing.reset-size7.size10,
+.katex .fontsize-ensurer.reset-size7.size10 {
+  font-size: 1.72833333em;
+}
+
+.katex .sizing.reset-size7.size11,
+.katex .fontsize-ensurer.reset-size7.size11 {
+  font-size: 2.07333333em;
+}
+
+.katex .sizing.reset-size8.size1,
+.katex .fontsize-ensurer.reset-size8.size1 {
+  font-size: 0.34722222em;
+}
+
+.katex .sizing.reset-size8.size2,
+.katex .fontsize-ensurer.reset-size8.size2 {
+  font-size: 0.41666667em;
+}
 
-  .sizing.reset-size10.size9, .fontsize-ensurer.reset-size10.size9 {
-    font-size: 0.83317261em;
-  }
-
-  .sizing.reset-size10.size10, .fontsize-ensurer.reset-size10.size10 {
-    font-size: 1em;
-  }
-
-  .sizing.reset-size10.size11, .fontsize-ensurer.reset-size10.size11 {
-    font-size: 1.19961427em;
-  }
-
-  .sizing.reset-size11.size1, .fontsize-ensurer.reset-size11.size1 {
-    font-size: 0.20096463em;
-  }
-
-  .sizing.reset-size11.size2, .fontsize-ensurer.reset-size11.size2 {
-    font-size: 0.24115756em;
-  }
-
-  .sizing.reset-size11.size3, .fontsize-ensurer.reset-size11.size3 {
-    font-size: 0.28135048em;
-  }
-
-  .sizing.reset-size11.size4, .fontsize-ensurer.reset-size11.size4 {
-    font-size: 0.32154341em;
-  }
-
-  .sizing.reset-size11.size5, .fontsize-ensurer.reset-size11.size5 {
-    font-size: 0.36173633em;
-  }
-
-  .sizing.reset-size11.size6, .fontsize-ensurer.reset-size11.size6 {
-    font-size: 0.40192926em;
-  }
-
-  .sizing.reset-size11.size7, .fontsize-ensurer.reset-size11.size7 {
-    font-size: 0.48231511em;
-  }
-
-  .sizing.reset-size11.size8, .fontsize-ensurer.reset-size11.size8 {
-    font-size: 0.57877814em;
-  }
-
-  .sizing.reset-size11.size9, .fontsize-ensurer.reset-size11.size9 {
-    font-size: 0.69453376em;
-  }
-
-  .sizing.reset-size11.size10, .fontsize-ensurer.reset-size11.size10 {
-    font-size: 0.83360129em;
-  }
-
-  .sizing.reset-size11.size11, .fontsize-ensurer.reset-size11.size11 {
-    font-size: 1em;
-  }
-
-  .delimsizing {
-    &.size1 {
-      font-family: KaTeX_Size1;
-    }
-
-    &.size2 {
-      font-family: KaTeX_Size2;
-    }
-
-    &.size3 {
-      font-family: KaTeX_Size3;
-    }
-
-    &.size4 {
-      font-family: KaTeX_Size4;
-    }
-
-    &.mult {
-      .delim-size1 > span {
-        font-family: KaTeX_Size1;
-      }
-
-      .delim-size4 > span {
-        font-family: KaTeX_Size4;
-      }
-    }
-  }
-
-  .nulldelimiter {
-    display: inline-block;
-    width: 0.12em;
-  }
-
-  .delimcenter {
-    position: relative;
-  }
-
-  .op-symbol {
-    position: relative;
-
-    &.small-op {
-      font-family: KaTeX_Size1;
-    }
-
-    &.large-op {
-      font-family: KaTeX_Size2;
-    }
-  }
-
-  .op-limits > .vlist-t {
-    text-align: center;
-  }
-
-  .accent {
-    > .vlist-t {
-      text-align: center;
-    }
-
-    .accent-body {
-      position: relative;
-
-      &:not(.accent-full) {
-        width: 0;
-      }
-    }
-  }
-
-  .overlay {
-    display: block;
-  }
-
-  .mtable {
-    .vertical-separator {
-      display: inline-block;
-      min-width: 1px;
-    }
-
-    .arraycolsep {
-      display: inline-block;
-    }
-
-    .col-align-c > .vlist-t {
-      text-align: center;
-    }
-
-    .col-align-l > .vlist-t {
-      text-align: left;
-    }
-
-    .col-align-r > .vlist-t {
-      text-align: right;
-    }
-  }
-
-  .svg-align {
-    text-align: left;
-  }
-
-  svg {
-    display: block;
-    position: absolute;
-    width: 100%;
-    height: inherit;
-    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;
-
-    path {
-      stroke: none;
-    }
-  }
-
-  img {
-    border-style: none;
-    min-width: 0;
-    min-height: 0;
-    max-width: none;
-    max-height: none;
-  }
-
-  .stretchy {
-    width: 100%;
-    display: block;
-    position: relative;
-    overflow: hidden;
-
-    &::before, &::after {
-      content: "";
-    }
-  }
-
-  .hide-tail {
-    width: 100%;
-    position: relative;
-    overflow: hidden;
-  }
-
-  .halfarrow-left {
-    position: absolute;
-    left: 0;
-    width: 50.2%;
-    overflow: hidden;
-  }
-
-  .halfarrow-right {
-    position: absolute;
-    right: 0;
-    width: 50.2%;
-    overflow: hidden;
-  }
-
-  .brace-left {
-    position: absolute;
-    left: 0;
-    width: 25.1%;
-    overflow: hidden;
-  }
-
-  .brace-center {
-    position: absolute;
-    left: 25%;
-    width: 50%;
-    overflow: hidden;
-  }
-
-  .brace-right {
-    position: absolute;
-    right: 0;
-    width: 25.1%;
-    overflow: hidden;
-  }
-
-  .x-arrow-pad {
-    padding: 0 0.5em;
-  }
-
-  .x-arrow, .mover, .munder {
-    text-align: center;
-  }
-
-  .boxpad {
-    padding: 0 0.3em 0 0.3em;
-  }
-
-  .fbox, .fcolorbox {
-    box-sizing: border-box;
-    border: 0.04em solid;
-  }
-
-  .cancel-pad {
-    padding: 0 0.2em 0 0.2em;
-  }
-
-  .cancel-lap {
-    margin-left: -0.2em;
-    margin-right: -0.2em;
-  }
-
-  .sout {
-    border-bottom-style: solid;
-    border-bottom-width: 0.08em;
-  }
+.katex .sizing.reset-size8.size3,
+.katex .fontsize-ensurer.reset-size8.size3 {
+  font-size: 0.48611111em;
+}
+
+.katex .sizing.reset-size8.size4,
+.katex .fontsize-ensurer.reset-size8.size4 {
+  font-size: 0.55555556em;
+}
+
+.katex .sizing.reset-size8.size5,
+.katex .fontsize-ensurer.reset-size8.size5 {
+  font-size: 0.625em;
+}
+
+.katex .sizing.reset-size8.size6,
+.katex .fontsize-ensurer.reset-size8.size6 {
+  font-size: 0.69444444em;
+}
+
+.katex .sizing.reset-size8.size7,
+.katex .fontsize-ensurer.reset-size8.size7 {
+  font-size: 0.83333333em;
+}
+
+.katex .sizing.reset-size8.size8,
+.katex .fontsize-ensurer.reset-size8.size8 {
+  font-size: 1em;
+}
+
+.katex .sizing.reset-size8.size9,
+.katex .fontsize-ensurer.reset-size8.size9 {
+  font-size: 1.2em;
+}
+
+.katex .sizing.reset-size8.size10,
+.katex .fontsize-ensurer.reset-size8.size10 {
+  font-size: 1.44027778em;
+}
+
+.katex .sizing.reset-size8.size11,
+.katex .fontsize-ensurer.reset-size8.size11 {
+  font-size: 1.72777778em;
+}
+
+.katex .sizing.reset-size9.size1,
+.katex .fontsize-ensurer.reset-size9.size1 {
+  font-size: 0.28935185em;
+}
+
+.katex .sizing.reset-size9.size2,
+.katex .fontsize-ensurer.reset-size9.size2 {
+  font-size: 0.34722222em;
+}
+
+.katex .sizing.reset-size9.size3,
+.katex .fontsize-ensurer.reset-size9.size3 {
+  font-size: 0.40509259em;
+}
+
+.katex .sizing.reset-size9.size4,
+.katex .fontsize-ensurer.reset-size9.size4 {
+  font-size: 0.46296296em;
+}
+
+.katex .sizing.reset-size9.size5,
+.katex .fontsize-ensurer.reset-size9.size5 {
+  font-size: 0.52083333em;
+}
+
+.katex .sizing.reset-size9.size6,
+.katex .fontsize-ensurer.reset-size9.size6 {
+  font-size: 0.5787037em;
+}
+
+.katex .sizing.reset-size9.size7,
+.katex .fontsize-ensurer.reset-size9.size7 {
+  font-size: 0.69444444em;
+}
+
+.katex .sizing.reset-size9.size8,
+.katex .fontsize-ensurer.reset-size9.size8 {
+  font-size: 0.83333333em;
+}
+
+.katex .sizing.reset-size9.size9,
+.katex .fontsize-ensurer.reset-size9.size9 {
+  font-size: 1em;
+}
+
+.katex .sizing.reset-size9.size10,
+.katex .fontsize-ensurer.reset-size9.size10 {
+  font-size: 1.20023148em;
+}
+
+.katex .sizing.reset-size9.size11,
+.katex .fontsize-ensurer.reset-size9.size11 {
+  font-size: 1.43981481em;
+}
+
+.katex .sizing.reset-size10.size1,
+.katex .fontsize-ensurer.reset-size10.size1 {
+  font-size: 0.24108004em;
+}
+
+.katex .sizing.reset-size10.size2,
+.katex .fontsize-ensurer.reset-size10.size2 {
+  font-size: 0.28929605em;
+}
+
+.katex .sizing.reset-size10.size3,
+.katex .fontsize-ensurer.reset-size10.size3 {
+  font-size: 0.33751205em;
+}
+
+.katex .sizing.reset-size10.size4,
+.katex .fontsize-ensurer.reset-size10.size4 {
+  font-size: 0.38572806em;
+}
+
+.katex .sizing.reset-size10.size5,
+.katex .fontsize-ensurer.reset-size10.size5 {
+  font-size: 0.43394407em;
+}
+
+.katex .sizing.reset-size10.size6,
+.katex .fontsize-ensurer.reset-size10.size6 {
+  font-size: 0.48216008em;
+}
+
+.katex .sizing.reset-size10.size7,
+.katex .fontsize-ensurer.reset-size10.size7 {
+  font-size: 0.57859209em;
+}
+
+.katex .sizing.reset-size10.size8,
+.katex .fontsize-ensurer.reset-size10.size8 {
+  font-size: 0.69431051em;
+}
+
+.katex .sizing.reset-size10.size9,
+.katex .fontsize-ensurer.reset-size10.size9 {
+  font-size: 0.83317261em;
+}
+
+.katex .sizing.reset-size10.size10,
+.katex .fontsize-ensurer.reset-size10.size10 {
+  font-size: 1em;
+}
+
+.katex .sizing.reset-size10.size11,
+.katex .fontsize-ensurer.reset-size10.size11 {
+  font-size: 1.19961427em;
+}
+
+.katex .sizing.reset-size11.size1,
+.katex .fontsize-ensurer.reset-size11.size1 {
+  font-size: 0.20096463em;
+}
+
+.katex .sizing.reset-size11.size2,
+.katex .fontsize-ensurer.reset-size11.size2 {
+  font-size: 0.24115756em;
+}
+
+.katex .sizing.reset-size11.size3,
+.katex .fontsize-ensurer.reset-size11.size3 {
+  font-size: 0.28135048em;
+}
+
+.katex .sizing.reset-size11.size4,
+.katex .fontsize-ensurer.reset-size11.size4 {
+  font-size: 0.32154341em;
+}
+
+.katex .sizing.reset-size11.size5,
+.katex .fontsize-ensurer.reset-size11.size5 {
+  font-size: 0.36173633em;
+}
+
+.katex .sizing.reset-size11.size6,
+.katex .fontsize-ensurer.reset-size11.size6 {
+  font-size: 0.40192926em;
+}
+
+.katex .sizing.reset-size11.size7,
+.katex .fontsize-ensurer.reset-size11.size7 {
+  font-size: 0.48231511em;
+}
+
+.katex .sizing.reset-size11.size8,
+.katex .fontsize-ensurer.reset-size11.size8 {
+  font-size: 0.57877814em;
+}
+
+.katex .sizing.reset-size11.size9,
+.katex .fontsize-ensurer.reset-size11.size9 {
+  font-size: 0.69453376em;
+}
+
+.katex .sizing.reset-size11.size10,
+.katex .fontsize-ensurer.reset-size11.size10 {
+  font-size: 0.83360129em;
+}
+
+.katex .sizing.reset-size11.size11,
+.katex .fontsize-ensurer.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 {
+  position: relative;
+}
+
+.katex .op-symbol {
+  position: relative;
+}
+
+.katex .op-symbol.small-op {
+  font-family: KaTeX_Size1;
+}
+
+.katex .op-symbol.large-op {
+  font-family: KaTeX_Size2;
+}
+
+.katex .op-limits > .vlist-t {
+  text-align: center;
+}
+
+.katex .accent > .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 {
+  display: block;
+  position: absolute;
+  width: 100%;
+  height: inherit;
+  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;
+}
+
+.katex svg path {
+  stroke: none;
+}
+
+.katex img {
+  border-style: none;
+  min-width: 0;
+  min-height: 0;
+  max-width: none;
+  max-height: none;
+}
+
+.katex .stretchy {
+  width: 100%;
+  display: block;
+  position: relative;
+  overflow: hidden;
+}
+
+.katex .stretchy::before,
+.katex .stretchy::after {
+  content: "";
+}
+
+.katex .hide-tail {
+  width: 100%;
+  position: relative;
+  overflow: hidden;
+}
+
+.katex .halfarrow-left {
+  position: absolute;
+  left: 0;
+  width: 50.2%;
+  overflow: hidden;
+}
+
+.katex .halfarrow-right {
+  position: absolute;
+  right: 0;
+  width: 50.2%;
+  overflow: hidden;
+}
+
+.katex .brace-left {
+  position: absolute;
+  left: 0;
+  width: 25.1%;
+  overflow: hidden;
+}
+
+.katex .brace-center {
+  position: absolute;
+  left: 25%;
+  width: 50%;
+  overflow: hidden;
+}
+
+.katex .brace-right {
+  position: absolute;
+  right: 0;
+  width: 25.1%;
+  overflow: hidden;
+}
+
+.katex .x-arrow-pad {
+  padding: 0 0.5em;
+}
+
+.katex .cd-arrow-pad {
+  padding: 0 0.55556em 0 0.27778em;
+}
+
+.katex .x-arrow,
+.katex .mover,
+.katex .munder {
+  text-align: center;
+}
+
+.katex .boxpad {
+  padding: 0 0.3em 0 0.3em;
+}
+
+.katex .fbox,
+.katex .fcolorbox {
+  box-sizing: border-box;
+  border: 0.04em solid;
+}
+
+.katex .cancel-pad {
+  padding: 0 0.2em 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 {
+  box-sizing: border-content;
+  border-top: 0.049em solid;
+  border-right: 0.049em solid;
+  margin-right: 0.03889em;
+}
+
+.katex .anglpad {
+  padding: 0 0.03889em 0 0.03889em;
+}
+
+.katex .eqn-num::before {
+  counter-increment: katexEqnNo;
+  content: "(" counter(katexEqnNo) ")";
+}
+
+.katex .mml-eqn-num::before {
+  counter-increment: mmlEqnNo;
+  content: "(" counter(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: -webkit-calc(50% + 0.3em);
+  right: calc(50% + 0.3em);
+  text-align: left;
+}
+
+.katex .cd-label-right {
+  display: inline-block;
+  position: absolute;
+  left: -webkit-calc(50% + 0.3em);
+  left: calc(50% + 0.3em);
+  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: block;
-    text-align: center;
-    white-space: nowrap;
+.katex-display > .katex > .katex-html {
+  display: block;
+  position: relative;
+}
 
-    > .katex-html {
-      display: block;
-      position: relative;
+.katex-display > .katex > .katex-html > .tag {
+  position: absolute;
+  right: 0;
+}
 
-      > .tag {
-        position: absolute;
-        right: 0;
-      }
-    }
-  }
+.katex-display.leqno > .katex > .katex-html > .tag {
+  left: 0;
+  right: auto;
+}
 
-  &.leqno > .katex > .katex-html > .tag {
-    left: 0;
-    right: auto;
-  }
+.katex-display.fleqn > .katex {
+  text-align: left;
+  padding-left: 2em;
+}
 
-  &.fleqn > .katex {
-    text-align: left;
-    padding-left: 2em;
-  }
+body {
+  counter-reset: katexEqnNo mmlEqnNo;
 }
+