teuserer/www.netz39.de
1
0
Fork 0
mirror of https://github.com/netz39/www.netz39.de.git synced 2025-01-31 17:43:19 +01:00
Code Issues Projects Releases Packages Wiki Activity
www.netz39.de/_sass/external/katex/katex.scss

1414 lines
31 KiB
SCSS
Raw Blame History

$font-family_1: KaTeX_Main;
$font-family_2: KaTeX_SansSerif;
$font-family_3: KaTeX_Typewriter;
$font-family_4: KaTeX_Math;
$font-family_5: KaTeX_AMS;
$font-family_6: KaTeX_Caligraphic;
$font-family_7: KaTeX_Fraktur;
$font-family_8: KaTeX_Script;
$font-family_9: KaTeX_Size1;
$font-family_10: KaTeX_Size2;
$font-family_11: KaTeX_Size3;
$font-family_12: KaTeX_Size4;
$border-color_1: currentColor;
@font-face {
font-family: KaTeX_AMS;
font-style: normal;
font-weight: 400;
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-face {
font-family: KaTeX_Caligraphic;
font-style: normal;
font-weight: 700;
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-face {
font-family: KaTeX_Caligraphic;
font-style: normal;
font-weight: 400;
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-face {
font-family: KaTeX_Fraktur;
font-style: normal;
font-weight: 700;
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-face {
font-family: KaTeX_Fraktur;
font-style: normal;
font-weight: 400;
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-face {
font-family: KaTeX_Main;
font-style: normal;
font-weight: 700;
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-face {
font-family: KaTeX_Main;
font-style: italic;
font-weight: 700;
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-face {
font-family: KaTeX_Main;
font-style: italic;
font-weight: 400;
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-face {
font-family: KaTeX_Main;
font-style: normal;
font-weight: 400;
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-face {
font-family: KaTeX_Math;
font-style: italic;
font-weight: 700;
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-face {
font-family: KaTeX_Math;
font-style: italic;
font-weight: 400;
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-face {
font-family: "KaTeX_SansSerif";
font-style: normal;
font-weight: 700;
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-face {
font-family: "KaTeX_SansSerif";
font-style: italic;
font-weight: 400;
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-face {
font-family: "KaTeX_SansSerif";
font-style: normal;
font-weight: 400;
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-face {
font-family: KaTeX_Script;
font-style: normal;
font-weight: 400;
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-face {
font-family: KaTeX_Size1;
font-style: normal;
font-weight: 400;
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-face {
font-family: KaTeX_Size2;
font-style: normal;
font-weight: 400;
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-face {
font-family: KaTeX_Size3;
font-style: normal;
font-weight: 400;
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-face {
font-family: KaTeX_Size4;
font-style: normal;
font-weight: 400;
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-face {
font-family: KaTeX_Typewriter;
font-style: normal;
font-weight: 400;
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");
}
.katex {
text-rendering: auto;
font: normal 1.21em KaTeX_Main,Times New Roman,serif;
line-height: 1.2;
text-indent: 0;
* {
-ms-high-contrast-adjust: none !important;
border-color: $border-color_1;
}
.katex-version {
&:after {
content: "0.16.9";
}
}
.katex-mathml {
clip: rect(1px,1px,1px,1px);
border: 0;
height: 1px;
overflow: hidden;
padding: 0;
position: absolute;
width: 1px;
}
.katex-html {
>.newline {
display: block;
}
}
.base {
position: relative;
white-space: nowrap;
width: -webkit-min-content;
width: -moz-min-content;
width: min-content;
display: inline-block;
}
.strut {
display: inline-block;
}
.textbf {
font-weight: 700;
}
.textit {
font-style: italic;
}
.textrm {
font-family: $font-family_1;
}
.textsf {
font-family: $font-family_2;
}
.texttt {
font-family: $font-family_3;
}
.mathnormal {
font-family: $font-family_4;
font-style: italic;
}
.mathit {
font-family: $font-family_1;
font-style: italic;
}
.mathrm {
font-style: normal;
}
.mathbf {
font-family: $font-family_1;
font-weight: 700;
}
.boldsymbol {
font-family: $font-family_4;
font-style: italic;
font-weight: 700;
}
.amsrm {
font-family: $font-family_5;
}
.mathbb {
font-family: $font-family_5;
}
.textbb {
font-family: $font-family_5;
}
.mathcal {
font-family: $font-family_6;
}
.mathfrak {
font-family: $font-family_7;
}
.textfrak {
font-family: $font-family_7;
}
.mathboldfrak {
font-family: $font-family_7;
font-weight: 700;
}
.textboldfrak {
font-family: $font-family_7;
font-weight: 700;
}
.mathtt {
font-family: $font-family_3;
}
.mathscr {
font-family: $font-family_8;
}
.textscr {
font-family: $font-family_8;
}
.mathsf {
font-family: $font-family_2;
}
.mathboldsf {
font-family: $font-family_2;
font-weight: 700;
}
.textboldsf {
font-family: $font-family_2;
font-weight: 700;
}
.mathitsf {
font-family: $font-family_2;
font-style: italic;
}
.textitsf {
font-family: $font-family_2;
font-style: italic;
}
.mainrm {
font-family: $font-family_1;
font-style: normal;
}
.vlist-t {
border-collapse: collapse;
display: inline-table;
table-layout: fixed;
}
.vlist-r {
display: table-row;
}
.vlist {
display: table-cell;
position: relative;
vertical-align: bottom;
>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;
font-size: 1px;
min-width: 2px;
vertical-align: bottom;
width: 2px;
}
.vbox {
align-items: baseline;
display: inline-flex;
flex-direction: column;
}
.hbox {
width: 100%;
display: inline-flex;
flex-direction: row;
}
.thinbox {
display: inline-flex;
flex-direction: row;
max-width: 0;
width: 0;
}
.msupsub {
text-align: left;
}
.mfrac {
>span {
>span {
text-align: center;
}
}
.frac-line {
border-bottom-style: solid;
display: inline-block;
width: 100%;
min-height: 1px;
}
}
.hdashline {
min-height: 1px;
border-bottom-style: dashed;
display: inline-block;
width: 100%;
}
.hline {
min-height: 1px;
border-bottom-style: solid;
display: inline-block;
width: 100%;
}
.overline {
.overline-line {
min-height: 1px;
border-bottom-style: solid;
display: inline-block;
width: 100%;
}
}
.rule {
min-height: 1px;
border: 0 solid;
display: inline-block;
position: relative;
}
.underline {
.underline-line {
min-height: 1px;
border-bottom-style: solid;
display: inline-block;
width: 100%;
}
}
.mspace {
display: inline-block;
}
.clap {
position: relative;
width: 0;
>.inner {
position: absolute;
left: 0;
>span {
margin-left: -50%;
margin-right: 50%;
}
}
>.fix {
display: inline-block;
}
}
.llap {
position: relative;
width: 0;
>.inner {
position: absolute;
right: 0;
}
>.fix {
display: inline-block;
}
}
.rlap {
position: relative;
width: 0;
>.inner {
position: absolute;
left: 0;
}
>.fix {
display: inline-block;
}
}
.sqrt {
>.root {
margin-left: .27777778em;
margin-right: -.55555556em;
}
}
.fontsize-ensurer.reset-size1.size1 {
font-size: 1em;
}
.sizing.reset-size1.size1 {
font-size: 1em;
}
.fontsize-ensurer.reset-size1.size2 {
font-size: 1.2em;
}
.sizing.reset-size1.size2 {
font-size: 1.2em;
}
.fontsize-ensurer.reset-size1.size3 {
font-size: 1.4em;
}
.sizing.reset-size1.size3 {
font-size: 1.4em;
}
.fontsize-ensurer.reset-size1.size4 {
font-size: 1.6em;
}
.sizing.reset-size1.size4 {
font-size: 1.6em;
}
.fontsize-ensurer.reset-size1.size5 {
font-size: 1.8em;
}
.sizing.reset-size1.size5 {
font-size: 1.8em;
}
.fontsize-ensurer.reset-size1.size6 {
font-size: 2em;
}
.sizing.reset-size1.size6 {
font-size: 2em;
}
.fontsize-ensurer.reset-size1.size7 {
font-size: 2.4em;
}
.sizing.reset-size1.size7 {
font-size: 2.4em;
}
.fontsize-ensurer.reset-size1.size8 {
font-size: 2.88em;
}
.sizing.reset-size1.size8 {
font-size: 2.88em;
}
.fontsize-ensurer.reset-size1.size9 {
font-size: 3.456em;
}
.sizing.reset-size1.size9 {
font-size: 3.456em;
}
.fontsize-ensurer.reset-size1.size10 {
font-size: 4.148em;
}
.sizing.reset-size1.size10 {
font-size: 4.148em;
}
.fontsize-ensurer.reset-size1.size11 {
font-size: 4.976em;
}
.sizing.reset-size1.size11 {
font-size: 4.976em;
}
.fontsize-ensurer.reset-size2.size1 {
font-size: .83333333em;
}
.sizing.reset-size2.size1 {
font-size: .83333333em;
}
.fontsize-ensurer.reset-size2.size2 {
font-size: 1em;
}
.sizing.reset-size2.size2 {
font-size: 1em;
}
.fontsize-ensurer.reset-size2.size3 {
font-size: 1.16666667em;
}
.sizing.reset-size2.size3 {
font-size: 1.16666667em;
}
.fontsize-ensurer.reset-size2.size4 {
font-size: 1.33333333em;
}
.sizing.reset-size2.size4 {
font-size: 1.33333333em;
}
.fontsize-ensurer.reset-size2.size5 {
font-size: 1.5em;
}
.sizing.reset-size2.size5 {
font-size: 1.5em;
}
.fontsize-ensurer.reset-size2.size6 {
font-size: 1.66666667em;
}
.sizing.reset-size2.size6 {
font-size: 1.66666667em;
}
.fontsize-ensurer.reset-size2.size7 {
font-size: 2em;
}
.sizing.reset-size2.size7 {
font-size: 2em;
}
.fontsize-ensurer.reset-size2.size8 {
font-size: 2.4em;
}
.sizing.reset-size2.size8 {
font-size: 2.4em;
}
.fontsize-ensurer.reset-size2.size9 {
font-size: 2.88em;
}
.sizing.reset-size2.size9 {
font-size: 2.88em;
}
.fontsize-ensurer.reset-size2.size10 {
font-size: 3.45666667em;
}
.sizing.reset-size2.size10 {
font-size: 3.45666667em;
}
.fontsize-ensurer.reset-size2.size11 {
font-size: 4.14666667em;
}
.sizing.reset-size2.size11 {
font-size: 4.14666667em;
}
.fontsize-ensurer.reset-size3.size1 {
font-size: .71428571em;
}
.sizing.reset-size3.size1 {
font-size: .71428571em;
}
.fontsize-ensurer.reset-size3.size2 {
font-size: .85714286em;
}
.sizing.reset-size3.size2 {
font-size: .85714286em;
}
.fontsize-ensurer.reset-size3.size3 {
font-size: 1em;
}
.sizing.reset-size3.size3 {
font-size: 1em;
}
.fontsize-ensurer.reset-size3.size4 {
font-size: 1.14285714em;
}
.sizing.reset-size3.size4 {
font-size: 1.14285714em;
}
.fontsize-ensurer.reset-size3.size5 {
font-size: 1.28571429em;
}
.sizing.reset-size3.size5 {
font-size: 1.28571429em;
}
.fontsize-ensurer.reset-size3.size6 {
font-size: 1.42857143em;
}
.sizing.reset-size3.size6 {
font-size: 1.42857143em;
}
.fontsize-ensurer.reset-size3.size7 {
font-size: 1.71428571em;
}
.sizing.reset-size3.size7 {
font-size: 1.71428571em;
}
.fontsize-ensurer.reset-size3.size8 {
font-size: 2.05714286em;
}
.sizing.reset-size3.size8 {
font-size: 2.05714286em;
}
.fontsize-ensurer.reset-size3.size9 {
font-size: 2.46857143em;
}
.sizing.reset-size3.size9 {
font-size: 2.46857143em;
}
.fontsize-ensurer.reset-size3.size10 {
font-size: 2.96285714em;
}
.sizing.reset-size3.size10 {
font-size: 2.96285714em;
}
.fontsize-ensurer.reset-size3.size11 {
font-size: 3.55428571em;
}
.sizing.reset-size3.size11 {
font-size: 3.55428571em;
}
.fontsize-ensurer.reset-size4.size1 {
font-size: .625em;
}
.sizing.reset-size4.size1 {
font-size: .625em;
}
.fontsize-ensurer.reset-size4.size2 {
font-size: .75em;
}
.sizing.reset-size4.size2 {
font-size: .75em;
}
.fontsize-ensurer.reset-size4.size3 {
font-size: .875em;
}
.sizing.reset-size4.size3 {
font-size: .875em;
}
.fontsize-ensurer.reset-size4.size4 {
font-size: 1em;
}
.sizing.reset-size4.size4 {
font-size: 1em;
}
.fontsize-ensurer.reset-size4.size5 {
font-size: 1.125em;
}
.sizing.reset-size4.size5 {
font-size: 1.125em;
}
.fontsize-ensurer.reset-size4.size6 {
font-size: 1.25em;
}
.sizing.reset-size4.size6 {
font-size: 1.25em;
}
.fontsize-ensurer.reset-size4.size7 {
font-size: 1.5em;
}
.sizing.reset-size4.size7 {
font-size: 1.5em;
}
.fontsize-ensurer.reset-size4.size8 {
font-size: 1.8em;
}
.sizing.reset-size4.size8 {
font-size: 1.8em;
}
.fontsize-ensurer.reset-size4.size9 {
font-size: 2.16em;
}
.sizing.reset-size4.size9 {
font-size: 2.16em;
}
.fontsize-ensurer.reset-size4.size10 {
font-size: 2.5925em;
}
.sizing.reset-size4.size10 {
font-size: 2.5925em;
}
.fontsize-ensurer.reset-size4.size11 {
font-size: 3.11em;
}
.sizing.reset-size4.size11 {
font-size: 3.11em;
}
.fontsize-ensurer.reset-size5.size1 {
font-size: .55555556em;
}
.sizing.reset-size5.size1 {
font-size: .55555556em;
}
.fontsize-ensurer.reset-size5.size2 {
font-size: .66666667em;
}
.sizing.reset-size5.size2 {
font-size: .66666667em;
}
.fontsize-ensurer.reset-size5.size3 {
font-size: .77777778em;
}
.sizing.reset-size5.size3 {
font-size: .77777778em;
}
.fontsize-ensurer.reset-size5.size4 {
font-size: .88888889em;
}
.sizing.reset-size5.size4 {
font-size: .88888889em;
}
.fontsize-ensurer.reset-size5.size5 {
font-size: 1em;
}
.sizing.reset-size5.size5 {
font-size: 1em;
}
.fontsize-ensurer.reset-size5.size6 {
font-size: 1.11111111em;
}
.sizing.reset-size5.size6 {
font-size: 1.11111111em;
}
.fontsize-ensurer.reset-size5.size7 {
font-size: 1.33333333em;
}
.sizing.reset-size5.size7 {
font-size: 1.33333333em;
}
.fontsize-ensurer.reset-size5.size8 {
font-size: 1.6em;
}
.sizing.reset-size5.size8 {
font-size: 1.6em;
}
.fontsize-ensurer.reset-size5.size9 {
font-size: 1.92em;
}
.sizing.reset-size5.size9 {
font-size: 1.92em;
}
.fontsize-ensurer.reset-size5.size10 {
font-size: 2.30444444em;
}
.sizing.reset-size5.size10 {
font-size: 2.30444444em;
}
.fontsize-ensurer.reset-size5.size11 {
font-size: 2.76444444em;
}
.sizing.reset-size5.size11 {
font-size: 2.76444444em;
}
.fontsize-ensurer.reset-size6.size1 {
font-size: .5em;
}
.sizing.reset-size6.size1 {
font-size: .5em;
}
.fontsize-ensurer.reset-size6.size2 {
font-size: .6em;
}
.sizing.reset-size6.size2 {
font-size: .6em;
}
.fontsize-ensurer.reset-size6.size3 {
font-size: .7em;
}
.sizing.reset-size6.size3 {
font-size: .7em;
}
.fontsize-ensurer.reset-size6.size4 {
font-size: .8em;
}
.sizing.reset-size6.size4 {
font-size: .8em;
}
.fontsize-ensurer.reset-size6.size5 {
font-size: .9em;
}
.sizing.reset-size6.size5 {
font-size: .9em;
}
.fontsize-ensurer.reset-size6.size6 {
font-size: 1em;
}
.sizing.reset-size6.size6 {
font-size: 1em;
}
.fontsize-ensurer.reset-size6.size7 {
font-size: 1.2em;
}
.sizing.reset-size6.size7 {
font-size: 1.2em;
}
.fontsize-ensurer.reset-size6.size8 {
font-size: 1.44em;
}
.sizing.reset-size6.size8 {
font-size: 1.44em;
}
.fontsize-ensurer.reset-size6.size9 {
font-size: 1.728em;
}
.sizing.reset-size6.size9 {
font-size: 1.728em;
}
.fontsize-ensurer.reset-size6.size10 {
font-size: 2.074em;
}
.sizing.reset-size6.size10 {
font-size: 2.074em;
}
.fontsize-ensurer.reset-size6.size11 {
font-size: 2.488em;
}
.sizing.reset-size6.size11 {
font-size: 2.488em;
}
.fontsize-ensurer.reset-size7.size1 {
font-size: .41666667em;
}
.sizing.reset-size7.size1 {
font-size: .41666667em;
}
.fontsize-ensurer.reset-size7.size2 {
font-size: .5em;
}
.sizing.reset-size7.size2 {
font-size: .5em;
}
.fontsize-ensurer.reset-size7.size3 {
font-size: .58333333em;
}
.sizing.reset-size7.size3 {
font-size: .58333333em;
}
.fontsize-ensurer.reset-size7.size4 {
font-size: .66666667em;
}
.sizing.reset-size7.size4 {
font-size: .66666667em;
}
.fontsize-ensurer.reset-size7.size5 {
font-size: .75em;
}
.sizing.reset-size7.size5 {
font-size: .75em;
}
.fontsize-ensurer.reset-size7.size6 {
font-size: .83333333em;
}
.sizing.reset-size7.size6 {
font-size: .83333333em;
}
.fontsize-ensurer.reset-size7.size7 {
font-size: 1em;
}
.sizing.reset-size7.size7 {
font-size: 1em;
}
.fontsize-ensurer.reset-size7.size8 {
font-size: 1.2em;
}
.sizing.reset-size7.size8 {
font-size: 1.2em;
}
.fontsize-ensurer.reset-size7.size9 {
font-size: 1.44em;
}
.sizing.reset-size7.size9 {
font-size: 1.44em;
}
.fontsize-ensurer.reset-size7.size10 {
font-size: 1.72833333em;
}
.sizing.reset-size7.size10 {
font-size: 1.72833333em;
}
.fontsize-ensurer.reset-size7.size11 {
font-size: 2.07333333em;
}
.sizing.reset-size7.size11 {
font-size: 2.07333333em;
}
.fontsize-ensurer.reset-size8.size1 {
font-size: .34722222em;
}
.sizing.reset-size8.size1 {
font-size: .34722222em;
}
.fontsize-ensurer.reset-size8.size2 {
font-size: .41666667em;
}
.sizing.reset-size8.size2 {
font-size: .41666667em;
}
.fontsize-ensurer.reset-size8.size3 {
font-size: .48611111em;
}
.sizing.reset-size8.size3 {
font-size: .48611111em;
}
.fontsize-ensurer.reset-size8.size4 {
font-size: .55555556em;
}
.sizing.reset-size8.size4 {
font-size: .55555556em;
}
.fontsize-ensurer.reset-size8.size5 {
font-size: .625em;
}
.sizing.reset-size8.size5 {
font-size: .625em;
}
.fontsize-ensurer.reset-size8.size6 {
font-size: .69444444em;
}
.sizing.reset-size8.size6 {
font-size: .69444444em;
}
.fontsize-ensurer.reset-size8.size7 {
font-size: .83333333em;
}
.sizing.reset-size8.size7 {
font-size: .83333333em;
}
.fontsize-ensurer.reset-size8.size8 {
font-size: 1em;
}
.sizing.reset-size8.size8 {
font-size: 1em;
}
.fontsize-ensurer.reset-size8.size9 {
font-size: 1.2em;
}
.sizing.reset-size8.size9 {
font-size: 1.2em;
}
.fontsize-ensurer.reset-size8.size10 {
font-size: 1.44027778em;
}
.sizing.reset-size8.size10 {
font-size: 1.44027778em;
}
.fontsize-ensurer.reset-size8.size11 {
font-size: 1.72777778em;
}
.sizing.reset-size8.size11 {
font-size: 1.72777778em;
}
.fontsize-ensurer.reset-size9.size1 {
font-size: .28935185em;
}
.sizing.reset-size9.size1 {
font-size: .28935185em;
}
.fontsize-ensurer.reset-size9.size2 {
font-size: .34722222em;
}
.sizing.reset-size9.size2 {
font-size: .34722222em;
}
.fontsize-ensurer.reset-size9.size3 {
font-size: .40509259em;
}
.sizing.reset-size9.size3 {
font-size: .40509259em;
}
.fontsize-ensurer.reset-size9.size4 {
font-size: .46296296em;
}
.sizing.reset-size9.size4 {
font-size: .46296296em;
}
.fontsize-ensurer.reset-size9.size5 {
font-size: .52083333em;
}
.sizing.reset-size9.size5 {
font-size: .52083333em;
}
.fontsize-ensurer.reset-size9.size6 {
font-size: .5787037em;
}
.sizing.reset-size9.size6 {
font-size: .5787037em;
}
.fontsize-ensurer.reset-size9.size7 {
font-size: .69444444em;
}
.sizing.reset-size9.size7 {
font-size: .69444444em;
}
.fontsize-ensurer.reset-size9.size8 {
font-size: .83333333em;
}
.sizing.reset-size9.size8 {
font-size: .83333333em;
}
.fontsize-ensurer.reset-size9.size9 {
font-size: 1em;
}
.sizing.reset-size9.size9 {
font-size: 1em;
}
.fontsize-ensurer.reset-size9.size10 {
font-size: 1.20023148em;
}
.sizing.reset-size9.size10 {
font-size: 1.20023148em;
}
.fontsize-ensurer.reset-size9.size11 {
font-size: 1.43981481em;
}
.sizing.reset-size9.size11 {
font-size: 1.43981481em;
}
.fontsize-ensurer.reset-size10.size1 {
font-size: .24108004em;
}
.sizing.reset-size10.size1 {
font-size: .24108004em;
}
.fontsize-ensurer.reset-size10.size2 {
font-size: .28929605em;
}
.sizing.reset-size10.size2 {
font-size: .28929605em;
}
.fontsize-ensurer.reset-size10.size3 {
font-size: .33751205em;
}
.sizing.reset-size10.size3 {
font-size: .33751205em;
}
.fontsize-ensurer.reset-size10.size4 {
font-size: .38572806em;
}
.sizing.reset-size10.size4 {
font-size: .38572806em;
}
.fontsize-ensurer.reset-size10.size5 {
font-size: .43394407em;
}
.sizing.reset-size10.size5 {
font-size: .43394407em;
}
.fontsize-ensurer.reset-size10.size6 {
font-size: .48216008em;
}
.sizing.reset-size10.size6 {
font-size: .48216008em;
}
.fontsize-ensurer.reset-size10.size7 {
font-size: .57859209em;
}
.sizing.reset-size10.size7 {
font-size: .57859209em;
}
.fontsize-ensurer.reset-size10.size8 {
font-size: .69431051em;
}
.sizing.reset-size10.size8 {
font-size: .69431051em;
}
.fontsize-ensurer.reset-size10.size9 {
font-size: .83317261em;
}
.sizing.reset-size10.size9 {
font-size: .83317261em;
}
.fontsize-ensurer.reset-size10.size10 {
font-size: 1em;
}
.sizing.reset-size10.size10 {
font-size: 1em;
}
.fontsize-ensurer.reset-size10.size11 {
font-size: 1.19961427em;
}
.sizing.reset-size10.size11 {
font-size: 1.19961427em;
}
.fontsize-ensurer.reset-size11.size1 {
font-size: .20096463em;
}
.sizing.reset-size11.size1 {
font-size: .20096463em;
}
.fontsize-ensurer.reset-size11.size2 {
font-size: .24115756em;
}
.sizing.reset-size11.size2 {
font-size: .24115756em;
}
.fontsize-ensurer.reset-size11.size3 {
font-size: .28135048em;
}
.sizing.reset-size11.size3 {
font-size: .28135048em;
}
.fontsize-ensurer.reset-size11.size4 {
font-size: .32154341em;
}
.sizing.reset-size11.size4 {
font-size: .32154341em;
}
.fontsize-ensurer.reset-size11.size5 {
font-size: .36173633em;
}
.sizing.reset-size11.size5 {
font-size: .36173633em;
}
.fontsize-ensurer.reset-size11.size6 {
font-size: .40192926em;
}
.sizing.reset-size11.size6 {
font-size: .40192926em;
}
.fontsize-ensurer.reset-size11.size7 {
font-size: .48231511em;
}
.sizing.reset-size11.size7 {
font-size: .48231511em;
}
.fontsize-ensurer.reset-size11.size8 {
font-size: .57877814em;
}
.sizing.reset-size11.size8 {
font-size: .57877814em;
}
.fontsize-ensurer.reset-size11.size9 {
font-size: .69453376em;
}
.sizing.reset-size11.size9 {
font-size: .69453376em;
}
.fontsize-ensurer.reset-size11.size10 {
font-size: .83360129em;
}
.sizing.reset-size11.size10 {
font-size: .83360129em;
}
.fontsize-ensurer.reset-size11.size11 {
font-size: 1em;
}
.sizing.reset-size11.size11 {
font-size: 1em;
}
.delimsizing.size1 {
font-family: $font-family_9;
}
.delimsizing.size2 {
font-family: $font-family_10;
}
.delimsizing.size3 {
font-family: $font-family_11;
}
.delimsizing.size4 {
font-family: $font-family_12;
}
.delimsizing.mult {
.delim-size1 {
>span {
font-family: $font-family_9;
}
}
.delim-size4 {
>span {
font-family: $font-family_12;
}
}
}
.nulldelimiter {
display: inline-block;
width: .12em;
}
.delimcenter {
position: relative;
}
.op-symbol {
position: relative;
}
.op-symbol.small-op {
font-family: $font-family_9;
}
.op-symbol.large-op {
font-family: $font-family_10;
}
.accent {
>.vlist-t {
text-align: center;
}
.accent-body {
position: relative;
&:not(.accent-full) {
width: 0;
}
}
}
.op-limits {
>.vlist-t {
text-align: center;
}
}
.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 {
fill: currentColor;
stroke: currentColor;
fill-rule: nonzero;
fill-opacity: 1;
stroke-width: 1;
stroke-linecap: butt;
stroke-linejoin: miter;
stroke-miterlimit: 4;
stroke-dasharray: none;
stroke-dashoffset: 0;
stroke-opacity: 1;
display: block;
height: inherit;
position: absolute;
width: 100%;
path {
stroke: none;
}
}
img {
border-style: none;
max-height: none;
max-width: none;
min-height: 0;
min-width: 0;
}
.stretchy {
display: block;
overflow: hidden;
position: relative;
width: 100%;
&:after {
content: "";
}
&:before {
content: "";
}
}
.hide-tail {
overflow: hidden;
position: relative;
width: 100%;
}
.halfarrow-left {
left: 0;
overflow: hidden;
position: absolute;
width: 50.2%;
}
.halfarrow-right {
overflow: hidden;
position: absolute;
right: 0;
width: 50.2%;
}
.brace-left {
left: 0;
overflow: hidden;
position: absolute;
width: 25.1%;
}
.brace-center {
left: 25%;
overflow: hidden;
position: absolute;
width: 50%;
}
.brace-right {
overflow: hidden;
position: absolute;
right: 0;
width: 25.1%;
}
.x-arrow-pad {
padding: 0 .5em;
}
.cd-arrow-pad {
padding: 0 .55556em 0 .27778em;
}
.mover {
text-align: center;
}
.munder {
text-align: center;
}
.x-arrow {
text-align: center;
}
.boxpad {
padding: 0 .3em;
}
.fbox {
border: .04em solid;
box-sizing: border-box;
}
.fcolorbox {
border: .04em solid;
box-sizing: border-box;
}
.cancel-pad {
padding: 0 .2em;
}
.cancel-lap {
margin-left: -.2em;
margin-right: -.2em;
}
.sout {
border-bottom-style: solid;
border-bottom-width: .08em;
}
.angl {
border-right: .049em solid;
border-top: .049em solid;
box-sizing: border-box;
margin-right: .03889em;
}
.anglpad {
padding: 0 .03889em;
}
.eqn-num {
&:before {
content: "(" counter(katexEqnNo) ")";
counter-increment: katexEqnNo;
}
}
.mml-eqn-num {
&:before {
content: "(" counter(mmlEqnNo) ")";
counter-increment: mmlEqnNo;
}
}
.mtr-glue {
width: 50%;
}
.cd-vert-arrow {
display: inline-block;
position: relative;
}
.cd-label-left {
display: inline-block;
position: absolute;
right: calc(50% + .3em);
text-align: left;
}
.cd-label-right {
display: inline-block;
left: calc(50% + .3em);
position: absolute;
text-align: right;
}
}
.katex-display {
display: block;
margin: 1em 0;
text-align: center;
>.katex {
display: block;
text-align: center;
white-space: nowrap;
>.katex-html {
display: block;
position: relative;
>.tag {
position: absolute;
right: 0;
}
}
}
}
.katex-display.leqno {
>.katex {
>.katex-html {
>.tag {
left: 0;
right: auto;
}
}
}
}
.katex-display.fleqn {
>.katex {
padding-left: 2em;
text-align: left;
}
}
body {
counter-reset: katexEqnNo mmlEqnNo;
}
Reference in a new issue View git blame Copy permalink