jekyll-theme-type-on-strap 8.0.0 → 9.0.0

data/_sass/base/_global.scss

@@ -1,229 +0,0 @@
-* {
-  margin: 0;
-  padding: 0;
-  box-sizing: border-box;
-}
-
-figure {
-  margin: 0;
-}
-
-// For correct line number width in Github Gists
-.gist table tbody tr td {
-  box-sizing: content-box;
-}
-
-pre {
-  overflow-x: scroll;
-}
-
-html {
-  background: $background-color;
-}
-
-// Typography
-::selection {
-  background: $selection-color;
-}
-
-::-moz-selection {
-  background: $selection-color;
-}
-
-body {
-  color: $text-color;
-  font-family: $font-family-main;
-  font-size: $font-size;
-  word-wrap: break-word;
-}
-
-h1,
-h2,
-h3,
-h4,
-h5,
-h6 {
-  font-family: $font-family-headings;
-  line-height: 1.3;
-  margin: 0.67em 0;
-
-  a {
-    color: $text-color;
-  }
-
-}
-
-h1 {
-  font-size: 2.3em;
-}
-
-h2 {
-  font-size: 1.75em;
-}
-
-h3 {
-  font-size: 1.5em;
-}
-
-h4 {
-  font-size: 1.15em;
-}
-
-iframe,
-img,
-embed,
-object,
-video {
-  max-width: 100%;
-  padding: 0 9%;
-}
-
-img[align=left] {
-  margin-right: 3%;
-}
-
-img[align=right] {
-  margin-left: 3%;
-}
-
-/* ---- Responsive ---- */
-
-@media screen and (max-width: $break) {
-  h1 {
-    font-size: 2em;
-  }
-  h2 {
-    font-size: 1.5em;
-  }
-  h3 {
-    font-size: 1em;
-  }
-  h4,
-  .meta {
-    font-size: 0.9em;
-  }
-  p, li {
-    font-size: 0.8em;
-  }
-
-  iframe,
-  img,
-  embed,
-  object,
-  video {
-    max-width: 100%;
-    padding: 0 1%;
-  }
-}
-
-@media screen and (max-width: $sm-break) {
-  h1 {
-    font-size: 1.5em;
-  }
-  h2 {
-    font-size: 1em;
-  }
-  h3 {
-    font-size: 0.9em;
-  }
-  h4,
-  .meta {
-    font-size: 0.85em;
-  }
-  p, li {
-    font-size: 0.8em;
-  }
-
-  table {
-    overflow-x: scroll;
-  }
-}
-
-
-blockquote {
-  border-left: 2px solid darken($blockquote-color, 20%);
-  margin: 1em 1em;
-  padding: 0.75em 1em;
-  background-color: $blockquote-color;
-  box-shadow: 0 2px 2px $border-color;
-}
-
-blockquote p:last-child,
-footer p:last-child {
-  margin-bottom: 0;
-}
-
-table {
-  table-layout: fixed;
-  width: 100%;
-  word-wrap: break-word;
-  display: inline-block;
-}
-
-td,
-th {
-  padding: 0.5em 1em;
-  border: 1px solid $border-color;
-  text-align: left;
-}
-
-table,
-dl,
-kbd,
-samp {
-  margin: 1em 0;
-}
-
-dt {
-  font-weight: bold;
-}
-
-dd {
-  margin-left: 2em;
-}
-
-p,
-ol,
-ul,
-dl,
-.math-display {
-  line-height: 1.5;
-  margin-bottom: 1em;
-}
-
-// KaTeX math display
-.math-display {
-  display: inline-block;
-  width: 100%;
-}
-
-// Lists within lists
-li {
-  p {
-    display: inline;
-  }
-
-  & > ul,
-  & > ol {
-    margin-bottom: 0;
-    margin-left: 1em;
-  }
-}
-
-ol,
-ul {
-  list-style-position: outside;
-  margin-left: 1em;
-}
-
-hr {
-  border: 0;
-  border-top: 1px solid $border-color;
-  border-bottom: 1px solid #fff;
-  margin: 1em 0;
-}
-
-a {
-  color: $link-color;
-  text-decoration: none;
-}

data/_sass/base/_utility.scss

@@ -1,96 +0,0 @@
-// Mix-ins
-%padding-nav {
-  padding: $padding-small $padding-x-large;
-  @media (max-width: $xl-break) {
-    padding: $padding-small ($padding-large * 2);
-  }
-  @media (max-width: $l-break) {
-    padding: $padding-small $padding-large;
-  }
-  @media (max-width: $m-break) {
-    padding: $padding-small $padding-medium;
-  }
-  @media (max-width: $sm-break) {
-    padding: $padding-small $padding-x-small;
-  }
-}
-
-%padding-post {
-  padding: $padding-x-small $padding-x-large;
-  @media (max-width: $xl-break) {
-    padding: $padding-x-small ($padding-large * 2);
-  }
-  @media (max-width: $l-break) {
-    padding: $padding-x-small $padding-large;
-  }
-  @media (max-width: $m-break) {
-    padding: $padding-x-small $padding-medium;
-  }
-  @media (max-width: $sm-break) {
-    padding: $padding-x-small $padding-small;
-  }
-}
-
-%padding-header {
-  padding: $padding-medium $padding-large;
-  @media (min-width: $xl-break) {
-    padding: $padding-large $padding-large;
-  }
-  @media (max-width: $sm-break) {
-    padding: $padding-medium;
-  }
-}
-
-.header-txt-shadow {
-  text-shadow: 1px 1px 2px $text-shadow;
-}
-
-// Buttons
-.button {
-  border-radius: 0.3em;
-  border: 1px solid;
-  display: inline-block;
-  margin: 1em 0;
-  padding: 0.5em 0.75em;
-}
-
-a.button {
-  @extend .button-link;
-}
-
-.button-link {
-  &:hover {
-    background: $link-color;
-    border: 1px solid $link-color;
-    color: $background-color;
-    text-decoration: none;
-  }
-}
-
-.body-link {
-  &:hover {
-    text-decoration: underline;
-    color: darken($link-color, 15%);
-  }
-}
-
-.post-link {
-  &:hover {
-    text-decoration: none;
-    color: lighten($link-color, 10%);
-  }
-}
-
-// States
-.disabled {
-  opacity: 0.7;
-}
-
-// Custom
-.text-center {
-  text-align: center;
-}
-
-.right {
-  float: right;
-}

data/_sass/base/_variables.scss

@@ -1,79 +0,0 @@
-// Typography
-$font-family-main: 'Source Sans Pro', Helvetica, Arial, sans-serif;
-$font-family-headings: 'Source Sans Pro', Helvetica, Arial, sans-serif;
-$font-family-logo: 'Source Sans Pro', Helvetica, Arial, sans-serif;
-$font-size: 1.25em;
-
-// Padding
-$padding-x-large: 23%;
-$padding-large: 9%;
-$padding-medium: 6%;
-$padding-small: 4%;
-$padding-x-small: 3%;
-$title-padding: 0.5em;
-
-// Mobile display
-$xl-break: 2000px;
-$l-break: 1400px;
-$m-break: 1000px;
-$break: 768px;
-$sm-break: 576px;
-$x-sm-break: 300px;
-
-// Brand colours
-$theme-color: #337ab7;
-$brand-color: #fff;
-$background-color: #fff;
-$border-color: rgba(0, 0, 0, 0.1); // rgba recommended if using feature images
-
-// Typography colours
-$text-color: #262626;
-$meta: #595959; //lowest gray for accessible color
-$link-color: $theme-color; // #1ABC9C;
-$selection-color: #D4D4D4; // visible when highlighting text
-$blockquote-color: #EEF7FA; // $background-color;
-
-//Search color
-$link-shadow: transparentize($link-color, .6); //rgba(26, 188, 156, 0.6);
-$text-shadow: #3f3f3f;
-$search-color: #999;
-
-// Header colours
-$header-link-color: #383838;
-$navbar-separator-opacity: 0;
-
-// Feature image for articles
-$feature-image-text-color: #fff;
-$feature-image-size: cover; // options include "cover", "contain", "auto"
-// Header description box
-$header-desc-background-color: $theme-color;
-$header-desc-text-color: #FFF;
-
-/*  Syntax highlighting  */
-// Syntax typography
-$monospace: Monaco, Consolas, "Lucida Console", monospace !default;
-$font-size-code: 0.75em !default; // ~12px
-$border-radius: 4px !default;
-
-// base16 Material Theme
-$base00: #263238 !default; // Default Background
-$base01: #2E3C43 !default; // Lighter Background (Used for status bars)
-$base02: #314549 !default; // Selection Background
-$base03: #546E7A !default; // Comments, Invisibles, Line Highlighting
-$base04: #B2CCD6 !default; // Dark Foreground (Used for status bars)
-$base05: #EEFFFF !default; // Default Foreground, Caret, Delimiters, Operators
-$base06: #EEFFFF !default; // Light Foreground (Not often used)
-$base07: #FFFFFF !default; // Light Background (Not often used)
-$base08: #F07178 !default; // Variables, XML Tags, Markup Link Text, Markup Lists, Diff Deleted
-$base09: #F78C6C !default; // Integers, Boolean, Constants, XML Attributes, Markup Link Url
-$base0a: #FFCB6B !default; // Classes, Markup Bold, Search Text Background
-$base0b: #98C379 !default; // Strings, Inherited Class, Markup Code, Diff Inserted
-$base0c: #89DDFF !default; // Support, Regular Expressions, Escape Characters, Markup Quotes
-$base0d: #82AAFF !default; // Functions, Methods, Attribute IDs, Headings
-$base0e: #C792EA !default; // Keywords, Storage, Selector, Markup Italic, Diff Changed
-$base0f: #FF5370 !default; // Deprecated, Opening/Closing Embedded Language Tags e.g.
-
-
-
-
-

data/_sass/external/_font-awesome.scss

@@ -1,17 +0,0 @@
-/*!
- *  Font Awesome 4.7.0 by @davegandy - http://fontawesome.io - @fontawesome
- *  License - http://fontawesome.io/license (Font: SIL OFL 1.1, CSS: MIT License)
- */
-@import "font-awesome/variables";
-@import "font-awesome/mixins";
-@import "font-awesome/path";
-@import "font-awesome/core";
-@import "font-awesome/larger";
-@import "font-awesome/fixed-width";
-@import "font-awesome/list";
-@import "font-awesome/bordered-pulled";
-@import "font-awesome/animated";
-@import "font-awesome/rotated-flipped";
-@import "font-awesome/stacked";
-@import "font-awesome/icons";
-@import "font-awesome/screen-reader";

data/_sass/external/_katex.scss

@@ -1,1010 +0,0 @@
-/*! KaTeX - license MIT */
-$katex-font-path: "../../assets/fonts/katex" !default;
-
-/* stylelint-disable font-family-no-missing-generic-family-keyword */
-@font-face {
-  font-family: 'KaTeX_AMS';
-  src: url('#{$katex-font-path}/KaTeX_AMS-Regular.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_AMS-Regular.woff') format('woff'), url('#{$katex-font-path}/KaTeX_AMS-Regular.ttf') format('truetype');
-  font-weight: normal;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_Caligraphic';
-  src: url('#{$katex-font-path}/KaTeX_Caligraphic-Bold.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Caligraphic-Bold.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Caligraphic-Bold.ttf') format('truetype');
-  font-weight: bold;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_Caligraphic';
-  src: url('#{$katex-font-path}/KaTeX_Caligraphic-Regular.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Caligraphic-Regular.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Caligraphic-Regular.ttf') format('truetype');
-  font-weight: normal;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_Fraktur';
-  src: url('#{$katex-font-path}/KaTeX_Fraktur-Bold.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Fraktur-Bold.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Fraktur-Bold.ttf') format('truetype');
-  font-weight: bold;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_Fraktur';
-  src: url('#{$katex-font-path}/KaTeX_Fraktur-Regular.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Fraktur-Regular.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Fraktur-Regular.ttf') format('truetype');
-  font-weight: normal;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_Main';
-  src: url('#{$katex-font-path}/KaTeX_Main-Bold.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Main-Bold.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Main-Bold.ttf') format('truetype');
-  font-weight: bold;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_Main';
-  src: url('#{$katex-font-path}/KaTeX_Main-BoldItalic.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Main-BoldItalic.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Main-BoldItalic.ttf') format('truetype');
-  font-weight: bold;
-  font-style: italic;
-}
-@font-face {
-  font-family: 'KaTeX_Main';
-  src: url('#{$katex-font-path}/KaTeX_Main-Italic.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Main-Italic.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Main-Italic.ttf') format('truetype');
-  font-weight: normal;
-  font-style: italic;
-}
-@font-face {
-  font-family: 'KaTeX_Main';
-  src: url('#{$katex-font-path}/KaTeX_Main-Regular.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Main-Regular.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Main-Regular.ttf') format('truetype');
-  font-weight: normal;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_Math';
-  src: url('#{$katex-font-path}/KaTeX_Math-BoldItalic.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Math-BoldItalic.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Math-BoldItalic.ttf') format('truetype');
-  font-weight: bold;
-  font-style: italic;
-}
-@font-face {
-  font-family: 'KaTeX_Math';
-  src: url('#{$katex-font-path}/KaTeX_Math-Italic.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Math-Italic.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Math-Italic.ttf') format('truetype');
-  font-weight: normal;
-  font-style: italic;
-}
-@font-face {
-  font-family: 'KaTeX_SansSerif';
-  src: url('#{$katex-font-path}/KaTeX_SansSerif-Bold.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_SansSerif-Bold.woff') format('woff'), url('#{$katex-font-path}/KaTeX_SansSerif-Bold.ttf') format('truetype');
-  font-weight: bold;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_SansSerif';
-  src: url('#{$katex-font-path}/KaTeX_SansSerif-Italic.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_SansSerif-Italic.woff') format('woff'), url('#{$katex-font-path}/KaTeX_SansSerif-Italic.ttf') format('truetype');
-  font-weight: normal;
-  font-style: italic;
-}
-@font-face {
-  font-family: 'KaTeX_SansSerif';
-  src: url('#{$katex-font-path}/KaTeX_SansSerif-Regular.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_SansSerif-Regular.woff') format('woff'), url('#{$katex-font-path}/KaTeX_SansSerif-Regular.ttf') format('truetype');
-  font-weight: normal;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_Script';
-  src: url('#{$katex-font-path}/KaTeX_Script-Regular.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Script-Regular.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Script-Regular.ttf') format('truetype');
-  font-weight: normal;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_Size1';
-  src: url('#{$katex-font-path}/KaTeX_Size1-Regular.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Size1-Regular.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Size1-Regular.ttf') format('truetype');
-  font-weight: normal;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_Size2';
-  src: url('#{$katex-font-path}/KaTeX_Size2-Regular.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Size2-Regular.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Size2-Regular.ttf') format('truetype');
-  font-weight: normal;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_Size3';
-  src: url('#{$katex-font-path}/KaTeX_Size3-Regular.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Size3-Regular.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Size3-Regular.ttf') format('truetype');
-  font-weight: normal;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_Size4';
-  src: url('#{$katex-font-path}/KaTeX_Size4-Regular.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Size4-Regular.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Size4-Regular.ttf') format('truetype');
-  font-weight: normal;
-  font-style: normal;
-}
-@font-face {
-  font-family: 'KaTeX_Typewriter';
-  src: url('#{$katex-font-path}/KaTeX_Typewriter-Regular.woff2') format('woff2'), url('#{$katex-font-path}/KaTeX_Typewriter-Regular.woff') format('woff'), url('#{$katex-font-path}/KaTeX_Typewriter-Regular.ttf') format('truetype');
-  font-weight: normal;
-  font-style: normal;
-}
-.katex {
-  font: normal 1.21em KaTeX_Main, Times New Roman, serif;
-  line-height: 1.2;
-  text-indent: 0;
-  text-rendering: auto;
-}
-.katex * {
-  -ms-high-contrast-adjust: none !important;
-}
-.katex .katex-mathml {
-  position: absolute;
-  clip: rect(1px, 1px, 1px, 1px);
-  padding: 0;
-  border: 0;
-  height: 1px;
-  width: 1px;
-  overflow: hidden;
-}
-.katex .katex-html {
-  /* \newline is an empty block at top level, between .base elements */
-}
-.katex .katex-html > .newline {
-  display: block;
-}
-.katex .base {
-  position: relative;
-  display: inline-block;
-  white-space: nowrap;
-  width: min-content;
-}
-.katex .strut {
-  display: inline-block;
-}
-.katex .textbf {
-  font-weight: bold;
-}
-.katex .textit {
-  font-style: italic;
-}
-.katex .textrm {
-  font-family: KaTeX_Main;
-}
-.katex .textsf {
-  font-family: KaTeX_SansSerif;
-}
-.katex .texttt {
-  font-family: KaTeX_Typewriter;
-}
-.katex .mathdefault {
-  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: bold;
-}
-.katex .boldsymbol {
-  font-family: KaTeX_Math;
-  font-weight: bold;
-  font-style: italic;
-}
-.katex .amsrm {
-  font-family: KaTeX_AMS;
-}
-.katex .mathbb,
-.katex .textbb {
-  font-family: KaTeX_AMS;
-}
-.katex .mathcal {
-  font-family: KaTeX_Caligraphic;
-}
-.katex .mathfrak,
-.katex .textfrak {
-  font-family: KaTeX_Fraktur;
-}
-.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: bold;
-}
-.katex .mathitsf,
-.katex .textitsf {
-  font-family: KaTeX_SansSerif;
-  font-style: italic;
-}
-.katex .mainrm {
-  font-family: KaTeX_Main;
-  font-style: normal;
-}
-.katex .vlist-t {
-  display: inline-table;
-  table-layout: fixed;
-}
-.katex .vlist-r {
-  display: table-row;
-}
-.katex .vlist {
-  display: table-cell;
-  vertical-align: bottom;
-  position: relative;
-}
-.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;
-  vertical-align: bottom;
-  font-size: 1px;
-  width: 2px;
-  min-width: 2px;
-}
-.katex .msupsub {
-  text-align: left;
-}
-.katex .mfrac > span > span {
-  text-align: center;
-}
-.katex .mfrac .frac-line {
-  display: inline-block;
-  width: 100%;
-  border-bottom-style: solid;
-}
-.katex .mfrac .frac-line,
-.katex .overline .overline-line,
-.katex .underline .underline-line,
-.katex .hline,
-.katex .hdashline,
-.katex .rule {
-  min-height: 1px;
-}
-.katex .mspace {
-  display: inline-block;
-}
-.katex .llap,
-.katex .rlap,
-.katex .clap {
-  width: 0;
-  position: relative;
-}
-.katex .llap > .inner,
-.katex .rlap > .inner,
-.katex .clap > .inner {
-  position: absolute;
-}
-.katex .llap > .fix,
-.katex .rlap > .fix,
-.katex .clap > .fix {
-  display: inline-block;
-}
-.katex .llap > .inner {
-  right: 0;
-}
-.katex .rlap > .inner,
-.katex .clap > .inner {
-  left: 0;
-}
-.katex .clap > .inner > span {
-  margin-left: -50%;
-  margin-right: 50%;
-}
-.katex .rule {
-  display: inline-block;
-  border: solid 0;
-  position: relative;
-}
-.katex .overline .overline-line,
-.katex .underline .underline-line,
-.katex .hline {
-  display: inline-block;
-  width: 100%;
-  border-bottom-style: solid;
-}
-.katex .hdashline {
-  display: inline-block;
-  width: 100%;
-  border-bottom-style: dashed;
-}
-.katex .sqrt > .root {
-  margin-left: 0.27777778em;
-  margin-right: -0.55555556em;
-}
-.katex .sizing,
-.katex .fontsize-ensurer {
-  display: inline-block;
-}
-.katex .sizing.reset-size1.size1,
-.katex .fontsize-ensurer.reset-size1.size1 {
-  font-size: 1em;
-}
-.katex .sizing.reset-size1.size2,
-.katex .fontsize-ensurer.reset-size1.size2 {
-  font-size: 1.2em;
-}
-.katex .sizing.reset-size1.size3,
-.katex .fontsize-ensurer.reset-size1.size3 {
-  font-size: 1.4em;
-}
-.katex .sizing.reset-size1.size4,
-.katex .fontsize-ensurer.reset-size1.size4 {
-  font-size: 1.6em;
-}
-.katex .sizing.reset-size1.size5,
-.katex .fontsize-ensurer.reset-size1.size5 {
-  font-size: 1.8em;
-}
-.katex .sizing.reset-size1.size6,
-.katex .fontsize-ensurer.reset-size1.size6 {
-  font-size: 2em;
-}
-.katex .sizing.reset-size1.size7,
-.katex .fontsize-ensurer.reset-size1.size7 {
-  font-size: 2.4em;
-}
-.katex .sizing.reset-size1.size8,
-.katex .fontsize-ensurer.reset-size1.size8 {
-  font-size: 2.88em;
-}
-.katex .sizing.reset-size1.size9,
-.katex .fontsize-ensurer.reset-size1.size9 {
-  font-size: 3.456em;
-}
-.katex .sizing.reset-size1.size10,
-.katex .fontsize-ensurer.reset-size1.size10 {
-  font-size: 4.148em;
-}
-.katex .sizing.reset-size1.size11,
-.katex .fontsize-ensurer.reset-size1.size11 {
-  font-size: 4.976em;
-}
-.katex .sizing.reset-size2.size1,
-.katex .fontsize-ensurer.reset-size2.size1 {
-  font-size: 0.83333333em;
-}
-.katex .sizing.reset-size2.size2,
-.katex .fontsize-ensurer.reset-size2.size2 {
-  font-size: 1em;
-}
-.katex .sizing.reset-size2.size3,
-.katex .fontsize-ensurer.reset-size2.size3 {
-  font-size: 1.16666667em;
-}
-.katex .sizing.reset-size2.size4,
-.katex .fontsize-ensurer.reset-size2.size4 {
-  font-size: 1.33333333em;
-}
-.katex .sizing.reset-size2.size5,
-.katex .fontsize-ensurer.reset-size2.size5 {
-  font-size: 1.5em;
-}
-.katex .sizing.reset-size2.size6,
-.katex .fontsize-ensurer.reset-size2.size6 {
-  font-size: 1.66666667em;
-}
-.katex .sizing.reset-size2.size7,
-.katex .fontsize-ensurer.reset-size2.size7 {
-  font-size: 2em;
-}
-.katex .sizing.reset-size2.size8,
-.katex .fontsize-ensurer.reset-size2.size8 {
-  font-size: 2.4em;
-}
-.katex .sizing.reset-size2.size9,
-.katex .fontsize-ensurer.reset-size2.size9 {
-  font-size: 2.88em;
-}
-.katex .sizing.reset-size2.size10,
-.katex .fontsize-ensurer.reset-size2.size10 {
-  font-size: 3.45666667em;
-}
-.katex .sizing.reset-size2.size11,
-.katex .fontsize-ensurer.reset-size2.size11 {
-  font-size: 4.14666667em;
-}
-.katex .sizing.reset-size3.size1,
-.katex .fontsize-ensurer.reset-size3.size1 {
-  font-size: 0.71428571em;
-}
-.katex .sizing.reset-size3.size2,
-.katex .fontsize-ensurer.reset-size3.size2 {
-  font-size: 0.85714286em;
-}
-.katex .sizing.reset-size3.size3,
-.katex .fontsize-ensurer.reset-size3.size3 {
-  font-size: 1em;
-}
-.katex .sizing.reset-size3.size4,
-.katex .fontsize-ensurer.reset-size3.size4 {
-  font-size: 1.14285714em;
-}
-.katex .sizing.reset-size3.size5,
-.katex .fontsize-ensurer.reset-size3.size5 {
-  font-size: 1.28571429em;
-}
-.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;
-}
-.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;
-}
-.katex .sizing.reset-size4.size10,
-.katex .fontsize-ensurer.reset-size4.size10 {
-  font-size: 2.5925em;
-}
-.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;
-}
-.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;
-}
-.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;
-  margin: 0 -0.025em;
-  border-right: 0.05em solid;
-  min-width: 1px;
-}
-.katex .mtable .vs-dashed {
-  border-right: 0.05em dashed;
-}
-.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 .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 .x-arrow,
-.katex .mover,
-.katex .munder {
-  text-align: center;
-}
-.katex .boxpad {
-  padding: 0 0.3em 0 0.3em;
-}
-.katex .fbox {
-  box-sizing: border-box;
-  border: 0.04em solid black;
-}
-.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-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;
-}
-