/*

This CSS file will be included with your plugin, and
available in the app when your plugin is enabled.

If your plugin does not need CSS, delete this file.

*/

/* @import url(https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.11.1/katex.min.css); */
/* Below are katex.min.css with online fonts inlined in base64 */
@font-face {
	font-family: KaTeX_AMS;
	src: url(data:application/KaTeX_AMS-Regular.woff2;charset=utf-8;base64,[encoded data, 43928 characters])
			format("woff2"),
		url(data:application/KaTeX_AMS-Regular.woff;charset=utf-8;base64,[encoded data, 51824 characters])
			format("woff"),
		url(data:application/KaTeX_AMS-Regular.ttf;charset=utf-8;base64,[encoded data, 94632 characters])
			format("truetype");
	font-weight: 400;
	font-style: normal;
}

@font-face {
	font-family: KaTeX_Caligraphic;
	src: url(data:application/KaTeX_Caligraphic-Bold.woff2;charset=utf-8;base64,[encoded data, 13932 characters])
			format("woff2"),
		url(data:application/KaTeX_Caligraphic-Bold.woff;charset=utf-8;base64,[encoded data, 15596 characters])
			format("woff"),
		url(data:application/KaTeX_Caligraphic-Bold.ttf;charset=utf-8;base64,[encoded data, 25756 characters])
			format("truetype");
	font-weight: 700;
	font-style: normal;
}

@font-face {
	font-family: KaTeX_Caligraphic;
	src: url(data:application/KaTeX_Caligraphic-Regular.woff2;charset=utf-8;base64,[encoded data, 13656 characters])
			format("woff2"),
		url(data:application/KaTeX_Caligraphic-Regular.woff;charset=utf-8;base64,[encoded data, 15280 characters])
			format("woff"),
		url(data:application/KaTeX_Caligraphic-Regular.ttf;charset=utf-8;base64,[encoded data, 24912 characters])
			format("truetype");
	font-weight: 400;
	font-style: normal;
}

@font-face {
	font-family: KaTeX_Fraktur;
	src: url(data:application/KaTeX_Fraktur-Bold.woff2;charset=utf-8;base64,[encoded data, 27148 characters])
			format("woff2"),
		url(data:application/KaTeX_Fraktur-Bold.woff;charset=utf-8;base64,[encoded data, 30176 characters])
			format("woff"),
		url(data:application/KaTeX_Fraktur-Bold.ttf;charset=utf-8;base64,[encoded data, 47548 characters])
			format("truetype");
	font-weight: 700;
	font-style: normal;
}

@font-face {
	font-family: KaTeX_Fraktur;
	src: url(data:application/KaTeX_Fraktur-Regular.woff2;charset=utf-8;base64,[encoded data, 26380 characters])
			format("woff2"),
		url(data:application/KaTeX_Fraktur-Regular.woff;charset=utf-8;base64,[encoded data, 29452 characters])
			format("woff"),
		url(data:application/KaTeX_Fraktur-Regular.ttf;charset=utf-8;base64,[encoded data, 45804 characters])
			format("truetype");
	font-weight: 400;
	font-style: normal;
}

@font-face {
	font-family: KaTeX_Main;
	src: url(data:application/KaTeX_Main-Bold.woff2;charset=utf-8;base64,[encoded data, 40328 characters])
			format("woff2"),
		url(data:application/KaTeX_Main-Bold.woff;charset=utf-8;base64,[encoded data, 47288 characters])
			format("woff"),
		url(data:application/KaTeX_Main-Bold.ttf;charset=utf-8;base64,[encoded data, 81048 characters])
			format("truetype");
	font-weight: 700;
	font-style: normal;
}

@font-face {
	font-family: KaTeX_Main;
	src: url(data:application/KaTeX_Main-BoldItalic.woff2;charset=utf-8;base64,[encoded data, 29260 characters])
			format("woff2"),
		url(data:application/KaTeX_Main-BoldItalic.woff;charset=utf-8;base64,[encoded data, 33804 characters])
			format("woff"),
		url(data:application/KaTeX_Main-BoldItalic.ttf;charset=utf-8;base64,[encoded data, 59328 characters])
			format("truetype");
	font-weight: 700;
	font-style: italic;
}

@font-face {
	font-family: KaTeX_Main;
	src: url(data:application/KaTeX_Main-Italic.woff2;charset=utf-8;base64,[encoded data, 30332 characters])
			format("woff2"),
		url(data:application/KaTeX_Main-Italic.woff;charset=utf-8;base64,[encoded data, 34972 characters])
			format("woff"),
		url(data:application/KaTeX_Main-Italic.ttf;charset=utf-8;base64,[encoded data, 63520 characters])
			format("truetype");
	font-weight: 400;
	font-style: italic;
}

@font-face {
	font-family: KaTeX_Main;
	src: url(data:application/KaTeX_Main-Regular.woff2;charset=utf-8;base64,[encoded data, 43288 characters])
			format("woff2"),
		url(data:application/KaTeX_Main-Regular.woff;charset=utf-8;base64,[encoded data, 50816 characters])
			format("woff"),
		url(data:application/KaTeX_Main-Regular.ttf;charset=utf-8;base64,[encoded data, 92696 characters])
			format("truetype");
	font-weight: 400;
	font-style: normal;
}

@font-face {
	font-family: KaTeX_Math;
	src: url(data:application/KaTeX_Math-BoldItalic.woff2;charset=utf-8;base64,[encoded data, 26296 characters])
			format("woff2"),
		url(data:application/KaTeX_Math-BoldItalic.woff;charset=utf-8;base64,[encoded data, 29768 characters])
			format("woff"),
		url(data:application/KaTeX_Math-BoldItalic.ttf;charset=utf-8;base64,[encoded data, 52412 characters])
			format("truetype");
	font-weight: 700;
	font-style: italic;
}

@font-face {
	font-family: KaTeX_Math;
	src: url(data:application/KaTeX_Math-Italic.woff2;charset=utf-8;base64,[encoded data, 26796 characters])
			format("woff2"),
		url(data:application/KaTeX_Math-Italic.woff;charset=utf-8;base64,[encoded data, 30460 characters])
			format("woff"),
		url(data:application/KaTeX_Math-Italic.ttf;charset=utf-8;base64,[encoded data, 54656 characters])
			format("truetype");
	font-weight: 400;
	font-style: italic;
}

@font-face {
	font-family: "KaTeX_SansSerif";
	src: url(data:application/KaTeX_SansSerif-Bold.woff2;charset=utf-8;base64,[encoded data, 20976 characters])
			format("woff2"),
		url(data:application/KaTeX_SansSerif-Bold.woff;charset=utf-8;base64,[encoded data, 24688 characters])
			format("woff"),
		url(data:application/KaTeX_SansSerif-Bold.ttf;charset=utf-8;base64,[encoded data, 44920 characters])
			format("truetype");
	font-weight: 700;
	font-style: normal;
}

@font-face {
	font-family: "KaTeX_SansSerif";
	src: url(data:application/KaTeX_SansSerif-Italic.woff2;charset=utf-8;base64,[encoded data, 20032 characters])
			format("woff2"),
		url(data:application/KaTeX_SansSerif-Italic.woff;charset=utf-8;base64,[encoded data, 23432 characters])
			format("woff"),
		url(data:application/KaTeX_SansSerif-Italic.ttf;charset=utf-8;base64,[encoded data, 41280 characters])
			format("truetype");
	font-weight: 400;
	font-style: italic;
}

@font-face {
	font-family: "KaTeX_SansSerif";
	src: url(data:application/KaTeX_SansSerif-Regular.woff2;charset=utf-8;base64,[encoded data, 18280 characters])
			format("woff2"),
		url(data:application/KaTeX_SansSerif-Regular.woff;charset=utf-8;base64,[encoded data, 21640 characters])
			format("woff"),
		url(data:application/KaTeX_SansSerif-Regular.ttf;charset=utf-8;base64,[encoded data, 39752 characters])
			format("truetype");
	font-weight: 400;
	font-style: normal;
}

@font-face {
	font-family: KaTeX_Script;
	src: url(data:application/KaTeX_Script-Regular.woff2;charset=utf-8;base64,[encoded data, 16088 characters])
			format("woff2"),
		url(data:application/KaTeX_Script-Regular.woff;charset=utf-8;base64,[encoded data, 17904 characters])
			format("woff"),
		url(data:application/KaTeX_Script-Regular.ttf;charset=utf-8;base64,[encoded data, 32828 characters])
			format("truetype");
	font-weight: 400;
	font-style: normal;
}

@font-face {
	font-family: KaTeX_Size1;
	src: url(data:application/KaTeX_Size1-Regular.woff2;charset=utf-8;base64,[encoded data, 7456 characters])
			format("woff2"),
		url(data:application/KaTeX_Size1-Regular.woff;charset=utf-8;base64,[encoded data, 8928 characters])
			format("woff"),
		url(data:application/KaTeX_Size1-Regular.ttf;charset=utf-8;base64,[encoded data, 17224 characters])
			format("truetype");
	font-weight: 400;
	font-style: normal;
}

@font-face {
	font-family: KaTeX_Size2;
	src: url(data:application/KaTeX_Size2-Regular.woff2;charset=utf-8;base64,[encoded data, 7192 characters])
			format("woff2"),
		url(data:application/KaTeX_Size2-Regular.woff;charset=utf-8;base64,[encoded data, 8584 characters])
			format("woff"),
		url(data:application/KaTeX_Size2-Regular.ttf;charset=utf-8;base64,[encoded data, 16232 characters])
			format("truetype");
	font-weight: 400;
	font-style: normal;
}

@font-face {
	font-family: KaTeX_Size3;
	src: url(data:application/KaTeX_Size3-Regular.woff2;charset=utf-8;base64,[encoded data, 4972 characters])
			format("woff2"),
		url(data:application/KaTeX_Size3-Regular.woff;charset=utf-8;base64,[encoded data, 6092 characters])
			format("woff"),
		url(data:application/KaTeX_Size3-Regular.ttf;charset=utf-8;base64,[encoded data, 10828 characters])
			format("truetype");
	font-weight: 400;
	font-style: normal;
}

@font-face {
	font-family: KaTeX_Size4;
	src: url(data:application/KaTeX_Size4-Regular.woff2;charset=utf-8;base64,[encoded data, 6704 characters])
			format("woff2"),
		url(data:application/KaTeX_Size4-Regular.woff;charset=utf-8;base64,[encoded data, 8248 characters])
			format("woff"),
		url(data:application/KaTeX_Size4-Regular.ttf;charset=utf-8;base64,[encoded data, 14688 characters])
			format("truetype");
	font-weight: 400;
	font-style: normal;
}

@font-face {
	font-family: KaTeX_Typewriter;
	src: url(data:application/KaTeX_Typewriter-Regular.woff2;charset=utf-8;base64,[encoded data, 23032 characters])
			format("woff2"),
		url(data:application/KaTeX_Typewriter-Regular.woff;charset=utf-8;base64,[encoded data, 27016 characters])
			format("woff"),
		url(data:application/KaTeX_Typewriter-Regular.ttf;charset=utf-8;base64,[encoded data, 47900 characters])
			format("truetype");
	font-weight: 400;
	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-version:after {
	content: "0.11.1";
}

.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 {
	display: block;
}

.katex .base {
	position: relative;
	white-space: nowrap;
	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 .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: 700;
}

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

.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 .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 {
	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 .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 {
	width: 0;
	position: relative;
}

.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 {
	display: inline-block;
	border: 0 solid;
	position: relative;
}

.katex .hline,
.katex .overline .overline-line,
.katex .underline .underline-line {
	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 .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 .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:after,
.katex .stretchy:before {
	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 .mover,
.katex .munder,
.katex .x-arrow {
	text-align: center;
}

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

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

.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-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 {
	text-align: left;
}

/* pseudocode.js css */

.ps-root {
	font-family: KaTeX_Main, "Fira code", "Times New Roman", Times, serif;
	font-size: 1em;
	font-weight: 100;
	-webkit-font-smoothing: antialiased !important;
}

.ps-root .ps-algorithm {
	margin: 0.8em 0;
	border-top: 3px solid #000;
	border-bottom: 2px solid #000;
}

.ps-root .ps-algorithm.with-caption > .ps-line:first-child {
	border-bottom: 2px solid #000;
}

.ps-root .katex {
	text-indent: 0;
	font-size: 1em;
}

.ps-root .MathJax,
.ps-root .MathJax_CHTML {
	text-indent: 0;
	font-size: 1em !important;
}

.ps-root .ps-line {
	margin: 0;
	padding: 0;
	line-height: 1.2;
}

.ps-root .ps-funcname {
	font-family: KaTeX_Main, "Times New Roman", Times, serif;
	font-weight: 400;
	font-variant: small-caps;
	font-style: normal;
	text-transform: none;
}

.ps-root .ps-keyword {
	font-family: KaTeX_Main, "Times New Roman", Times, serif;
	font-weight: 700;
	font-variant: normal;
	font-style: normal;
	text-transform: none;
}

.ps-root {
        font-family: KaTeX_Main, "Times New Roman", Times, serif;
        font-weight: 400;
        font-variant: normal;
        font-style: normal;
        text-transform: none;
}

.ps-comment {
        font-family: KaTeX_Main, "Times New Roman", Times, serif;
        font-weight: 400;
        font-variant: normal;
        font-style: italic;
        text-transform: none;
        opacity: 70%;
        float: right;
}

.ps-root .ps-linenum {
	font-size: 0.8em;
	line-height: 1em;
	width: 1.6em;
	text-align: right;
	display: inline-block;
	position: relative;
	padding-right: 0.3em;
}

.ps-root .ps-algorithmic.with-linenum .ps-line.ps-code {
	text-indent: -1.6em;
}

.ps-root .ps-algorithmic.with-linenum .ps-line.ps-code > span {
	text-indent: 0;
}

/* scope lines support */
.ps-root .ps-algorithmic.with-scopelines div.ps-block {
    border-left-style: solid;
    border-left-width: 0.1em;
    padding-left: 0.6em;
}
.ps-root .ps-algorithmic.with-scopelines > div.ps-block {
    border-left: none;
}

.error-message {
	font-family: var(--font-monospace);
	font-size: 0.875rem;
	text-align: center;
	border: none;
	box-shadow: 0 0 0.4rem 0.1rem #f00;
	padding: 0.2rem;
	margin: 1rem 4rem;
	display: inline-block;
}

.pseudocode-block {
	position: relative;
    max-width: 100%;
    box-sizing: border-box;
    margin: auto;
}

.hover-button {
	position: absolute;
	right: 0;
	bottom: 0;
	display: none;
}

.pseudocode-block:hover .hover-button {
	display: block;
}

.ps-root {
	background-color: white;
	opacity: 1;
	color: black;
}
