Commit 16de14ea authored by Jose Ivan Vargas's avatar Jose Ivan Vargas

Updated katex library

parent 563a801c
---
title: Updated the katex library
merge_request: 15864
author:
type: other
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
This source diff could not be displayed because it is too large. You can view the blob instead.
/* /*
The MIT License (MIT) The MIT License (MIT)
Copyright (c) 2015 Khan Academy Copyright (c) 2015 Khan Academy
This software also uses portions of the underscore.js project, which is This software also uses portions of the underscore.js project, which is
MIT licensed with the following copyright: MIT licensed with the following copyright:
Copyright (c) 2009-2015 Jeremy Ashkenas, DocumentCloud and Investigative Copyright (c) 2009-2015 Jeremy Ashkenas, DocumentCloud and Investigative
Reporters & Editors Reporters & Editors
Permission is hereby granted, free of charge, to any person obtaining a copy Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions: furnished to do so, subject to the following conditions:
The above copyright notice and this permission notice shall be included in all The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software. copies or substantial portions of the Software.
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE. SOFTWARE.
*/ */
/* /*
Here is how to build a version of KaTeX that works with gitlab. Here is how to build a version of KaTeX that works with gitlab.
...@@ -45,112 +45,112 @@ SOFTWARE. ...@@ -45,112 +45,112 @@ SOFTWARE.
font-family: 'KaTeX_AMS'; font-family: 'KaTeX_AMS';
src: url(font-path('KaTeX_AMS-Regular.eot')); src: url(font-path('KaTeX_AMS-Regular.eot'));
src: url(font-path('KaTeX_AMS-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_AMS-Regular.woff2')) format('woff2'), url(font-path('KaTeX_AMS-Regular.woff')) format('woff'), url(font-path('KaTeX_AMS-Regular.ttf')) format('truetype'); src: url(font-path('KaTeX_AMS-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_AMS-Regular.woff2')) format('woff2'), url(font-path('KaTeX_AMS-Regular.woff')) format('woff'), url(font-path('KaTeX_AMS-Regular.ttf')) format('truetype');
font-weight: 400; font-weight: normal;
font-style: normal; font-style: normal;
} }
@font-face { @font-face {
font-family: 'KaTeX_Caligraphic'; font-family: 'KaTeX_Caligraphic';
src: url(font-path('KaTeX_Caligraphic-Bold.eot')); src: url(font-path('KaTeX_Caligraphic-Bold.eot'));
src: url(font-path('KaTeX_Caligraphic-Bold.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Caligraphic-Bold.woff2')) format('woff2'), url(font-path('KaTeX_Caligraphic-Bold.woff')) format('woff'), url(font-path('KaTeX_Caligraphic-Bold.ttf')) format('truetype'); src: url(font-path('KaTeX_Caligraphic-Bold.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Caligraphic-Bold.woff2')) format('woff2'), url(font-path('KaTeX_Caligraphic-Bold.woff')) format('woff'), url(font-path('KaTeX_Caligraphic-Bold.ttf')) format('truetype');
font-weight: 600; font-weight: bold;
font-style: normal; font-style: normal;
} }
@font-face { @font-face {
font-family: 'KaTeX_Caligraphic'; font-family: 'KaTeX_Caligraphic';
src: url(font-path('KaTeX_Caligraphic-Regular.eot')); src: url(font-path('KaTeX_Caligraphic-Regular.eot'));
src: url(font-path('KaTeX_Caligraphic-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Caligraphic-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Caligraphic-Regular.woff')) format('woff'), url(font-path('KaTeX_Caligraphic-Regular.ttf')) format('truetype'); src: url(font-path('KaTeX_Caligraphic-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Caligraphic-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Caligraphic-Regular.woff')) format('woff'), url(font-path('KaTeX_Caligraphic-Regular.ttf')) format('truetype');
font-weight: 400; font-weight: normal;
font-style: normal; font-style: normal;
} }
@font-face { @font-face {
font-family: 'KaTeX_Fraktur'; font-family: 'KaTeX_Fraktur';
src: url(font-path('KaTeX_Fraktur-Bold.eot')); src: url(font-path('KaTeX_Fraktur-Bold.eot'));
src: url(font-path('KaTeX_Fraktur-Bold.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Fraktur-Bold.woff2')) format('woff2'), url(font-path('KaTeX_Fraktur-Bold.woff')) format('woff'), url(font-path('KaTeX_Fraktur-Bold.ttf')) format('truetype'); src: url(font-path('KaTeX_Fraktur-Bold.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Fraktur-Bold.woff2')) format('woff2'), url(font-path('KaTeX_Fraktur-Bold.woff')) format('woff'), url(font-path('KaTeX_Fraktur-Bold.ttf')) format('truetype');
font-weight: 600; font-weight: bold;
font-style: normal; font-style: normal;
} }
@font-face { @font-face {
font-family: 'KaTeX_Fraktur'; font-family: 'KaTeX_Fraktur';
src: url(font-path('KaTeX_Fraktur-Regular.eot')); src: url(font-path('KaTeX_Fraktur-Regular.eot'));
src: url(font-path('KaTeX_Fraktur-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Fraktur-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Fraktur-Regular.woff')) format('woff'), url(font-path('KaTeX_Fraktur-Regular.ttf')) format('truetype'); src: url(font-path('KaTeX_Fraktur-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Fraktur-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Fraktur-Regular.woff')) format('woff'), url(font-path('KaTeX_Fraktur-Regular.ttf')) format('truetype');
font-weight: 400; font-weight: normal;
font-style: normal; font-style: normal;
} }
@font-face { @font-face {
font-family: 'KaTeX_Main'; font-family: 'KaTeX_Main';
src: url(font-path('KaTeX_Main-Bold.eot')); src: url(font-path('KaTeX_Main-Bold.eot'));
src: url(font-path('KaTeX_Main-Bold.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Main-Bold.woff2')) format('woff2'), url(font-path('KaTeX_Main-Bold.woff')) format('woff'), url(font-path('KaTeX_Main-Bold.ttf')) format('truetype'); src: url(font-path('KaTeX_Main-Bold.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Main-Bold.woff2')) format('woff2'), url(font-path('KaTeX_Main-Bold.woff')) format('woff'), url(font-path('KaTeX_Main-Bold.ttf')) format('truetype');
font-weight: 600; font-weight: bold;
font-style: normal; font-style: normal;
} }
@font-face { @font-face {
font-family: 'KaTeX_Main'; font-family: 'KaTeX_Main';
src: url(font-path('KaTeX_Main-Italic.eot')); src: url(font-path('KaTeX_Main-Italic.eot'));
src: url(font-path('KaTeX_Main-Italic.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Main-Italic.woff2')) format('woff2'), url(font-path('KaTeX_Main-Italic.woff')) format('woff'), url(font-path('KaTeX_Main-Italic.ttf')) format('truetype'); src: url(font-path('KaTeX_Main-Italic.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Main-Italic.woff2')) format('woff2'), url(font-path('KaTeX_Main-Italic.woff')) format('woff'), url(font-path('KaTeX_Main-Italic.ttf')) format('truetype');
font-weight: 400; font-weight: normal;
font-style: italic; font-style: italic;
} }
@font-face { @font-face {
font-family: 'KaTeX_Main'; font-family: 'KaTeX_Main';
src: url(font-path('KaTeX_Main-Regular.eot')); src: url(font-path('KaTeX_Main-Regular.eot'));
src: url(font-path('KaTeX_Main-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Main-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Main-Regular.woff')) format('woff'), url(font-path('KaTeX_Main-Regular.ttf')) format('truetype'); src: url(font-path('KaTeX_Main-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Main-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Main-Regular.woff')) format('woff'), url(font-path('KaTeX_Main-Regular.ttf')) format('truetype');
font-weight: 400; font-weight: normal;
font-style: normal; font-style: normal;
} }
@font-face { @font-face {
font-family: 'KaTeX_Math'; font-family: 'KaTeX_Math';
src: url(font-path('KaTeX_Math-Italic.eot')); src: url(font-path('KaTeX_Math-Italic.eot'));
src: url(font-path('KaTeX_Math-Italic.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Math-Italic.woff2')) format('woff2'), url(font-path('KaTeX_Math-Italic.woff')) format('woff'), url(font-path('KaTeX_Math-Italic.ttf')) format('truetype'); src: url(font-path('KaTeX_Math-Italic.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Math-Italic.woff2')) format('woff2'), url(font-path('KaTeX_Math-Italic.woff')) format('woff'), url(font-path('KaTeX_Math-Italic.ttf')) format('truetype');
font-weight: 400; font-weight: normal;
font-style: italic; font-style: italic;
} }
@font-face { @font-face {
font-family: 'KaTeX_SansSerif'; font-family: 'KaTeX_SansSerif';
src: url(font-path('KaTeX_SansSerif-Regular.eot')); src: url(font-path('KaTeX_SansSerif-Regular.eot'));
src: url(font-path('KaTeX_SansSerif-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_SansSerif-Regular.woff2')) format('woff2'), url(font-path('KaTeX_SansSerif-Regular.woff')) format('woff'), url(font-path('KaTeX_SansSerif-Regular.ttf')) format('truetype'); src: url(font-path('KaTeX_SansSerif-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_SansSerif-Regular.woff2')) format('woff2'), url(font-path('KaTeX_SansSerif-Regular.woff')) format('woff'), url(font-path('KaTeX_SansSerif-Regular.ttf')) format('truetype');
font-weight: 400; font-weight: normal;
font-style: normal; font-style: normal;
} }
@font-face { @font-face {
font-family: 'KaTeX_Script'; font-family: 'KaTeX_Script';
src: url(font-path('KaTeX_Script-Regular.eot')); src: url(font-path('KaTeX_Script-Regular.eot'));
src: url(font-path('KaTeX_Script-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Script-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Script-Regular.woff')) format('woff'), url(font-path('KaTeX_Script-Regular.ttf')) format('truetype'); src: url(font-path('KaTeX_Script-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Script-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Script-Regular.woff')) format('woff'), url(font-path('KaTeX_Script-Regular.ttf')) format('truetype');
font-weight: 400; font-weight: normal;
font-style: normal; font-style: normal;
} }
@font-face { @font-face {
font-family: 'KaTeX_Size1'; font-family: 'KaTeX_Size1';
src: url(font-path('KaTeX_Size1-Regular.eot')); src: url(font-path('KaTeX_Size1-Regular.eot'));
src: url(font-path('KaTeX_Size1-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Size1-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Size1-Regular.woff')) format('woff'), url(font-path('KaTeX_Size1-Regular.ttf')) format('truetype'); src: url(font-path('KaTeX_Size1-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Size1-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Size1-Regular.woff')) format('woff'), url(font-path('KaTeX_Size1-Regular.ttf')) format('truetype');
font-weight: 400; font-weight: normal;
font-style: normal; font-style: normal;
} }
@font-face { @font-face {
font-family: 'KaTeX_Size2'; font-family: 'KaTeX_Size2';
src: url(font-path('KaTeX_Size2-Regular.eot')); src: url(font-path('KaTeX_Size2-Regular.eot'));
src: url(font-path('KaTeX_Size2-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Size2-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Size2-Regular.woff')) format('woff'), url(font-path('KaTeX_Size2-Regular.ttf')) format('truetype'); src: url(font-path('KaTeX_Size2-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Size2-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Size2-Regular.woff')) format('woff'), url(font-path('KaTeX_Size2-Regular.ttf')) format('truetype');
font-weight: 400; font-weight: normal;
font-style: normal; font-style: normal;
} }
@font-face { @font-face {
font-family: 'KaTeX_Size3'; font-family: 'KaTeX_Size3';
src: url(font-path('KaTeX_Size3-Regular.eot')); src: url(font-path('KaTeX_Size3-Regular.eot'));
src: url(font-path('KaTeX_Size3-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Size3-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Size3-Regular.woff')) format('woff'), url(font-path('KaTeX_Size3-Regular.ttf')) format('truetype'); src: url(font-path('KaTeX_Size3-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Size3-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Size3-Regular.woff')) format('woff'), url(font-path('KaTeX_Size3-Regular.ttf')) format('truetype');
font-weight: 400; font-weight: normal;
font-style: normal; font-style: normal;
} }
@font-face { @font-face {
font-family: 'KaTeX_Size4'; font-family: 'KaTeX_Size4';
src: url(font-path('KaTeX_Size4-Regular.eot')); src: url(font-path('KaTeX_Size4-Regular.eot'));
src: url(font-path('KaTeX_Size4-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Size4-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Size4-Regular.woff')) format('woff'), url(font-path('KaTeX_Size4-Regular.ttf')) format('truetype'); src: url(font-path('KaTeX_Size4-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Size4-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Size4-Regular.woff')) format('woff'), url(font-path('KaTeX_Size4-Regular.ttf')) format('truetype');
font-weight: 400; font-weight: normal;
font-style: normal; font-style: normal;
} }
@font-face { @font-face {
font-family: 'KaTeX_Typewriter'; font-family: 'KaTeX_Typewriter';
src: url(font-path('KaTeX_Typewriter-Regular.eot')); src: url(font-path('KaTeX_Typewriter-Regular.eot'));
src: url(font-path('KaTeX_Typewriter-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Typewriter-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Typewriter-Regular.woff')) format('woff'), url(font-path('KaTeX_Typewriter-Regular.ttf')) format('truetype'); src: url(font-path('KaTeX_Typewriter-Regular.eot#iefix')) format('embedded-opentype'), url(font-path('KaTeX_Typewriter-Regular.woff2')) format('woff2'), url(font-path('KaTeX_Typewriter-Regular.woff')) format('woff'), url(font-path('KaTeX_Typewriter-Regular.ttf')) format('truetype');
font-weight: 400; font-weight: normal;
font-style: normal; font-style: normal;
} }
.katex-display { .katex-display {
...@@ -167,6 +167,10 @@ SOFTWARE. ...@@ -167,6 +167,10 @@ SOFTWARE.
line-height: 1.2; line-height: 1.2;
white-space: nowrap; white-space: nowrap;
text-indent: 0; text-indent: 0;
text-rendering: auto;
}
.katex * {
-ms-high-contrast-adjust: none !important;
} }
.katex .katex-html { .katex .katex-html {
display: inline-block; display: inline-block;
...@@ -181,18 +185,25 @@ SOFTWARE. ...@@ -181,18 +185,25 @@ SOFTWARE.
overflow: hidden; overflow: hidden;
} }
.katex .base { .katex .base {
position: relative;
display: inline-block; display: inline-block;
} }
.katex .strut { .katex .strut {
display: inline-block; display: inline-block;
} }
.katex .mathrm {
font-style: normal;
}
.katex .textit {
font-style: italic;
}
.katex .mathit { .katex .mathit {
font-family: KaTeX_Math; font-family: KaTeX_Math;
font-style: italic; font-style: italic;
} }
.katex .mathbf { .katex .mathbf {
font-family: KaTeX_Main; font-family: KaTeX_Main;
font-weight: 600; font-weight: bold;
} }
.katex .amsrm { .katex .amsrm {
font-family: KaTeX_AMS; font-family: KaTeX_AMS;
...@@ -219,155 +230,162 @@ SOFTWARE. ...@@ -219,155 +230,162 @@ SOFTWARE.
font-family: KaTeX_Main; font-family: KaTeX_Main;
font-style: italic; font-style: italic;
} }
.katex .textstyle > .mord + .mop { .katex .mainrm {
font-family: KaTeX_Main;
font-style: normal;
}
.katex .mord + .mop {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .mord + .mbin { .katex .mord + .mbin {
margin-left: 0.22222em; margin-left: 0.22222em;
} }
.katex .textstyle > .mord + .mrel { .katex .mord + .mrel {
margin-left: 0.27778em; margin-left: 0.27778em;
} }
.katex .textstyle > .mord + .minner { .katex .mord + .minner {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .mop + .mord { .katex .mop + .mord {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .mop + .mop { .katex .mop + .mop {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .mop + .mrel { .katex .mop + .mrel {
margin-left: 0.27778em; margin-left: 0.27778em;
} }
.katex .textstyle > .mop + .minner { .katex .mop + .minner {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .mbin + .mord { .katex .mbin + .mord {
margin-left: 0.22222em; margin-left: 0.22222em;
} }
.katex .textstyle > .mbin + .mop { .katex .mbin + .mop {
margin-left: 0.22222em; margin-left: 0.22222em;
} }
.katex .textstyle > .mbin + .mopen { .katex .mbin + .mopen {
margin-left: 0.22222em; margin-left: 0.22222em;
} }
.katex .textstyle > .mbin + .minner { .katex .mbin + .minner {
margin-left: 0.22222em; margin-left: 0.22222em;
} }
.katex .textstyle > .mrel + .mord { .katex .mrel + .mord {
margin-left: 0.27778em; margin-left: 0.27778em;
} }
.katex .textstyle > .mrel + .mop { .katex .mrel + .mop {
margin-left: 0.27778em; margin-left: 0.27778em;
} }
.katex .textstyle > .mrel + .mopen { .katex .mrel + .mopen {
margin-left: 0.27778em; margin-left: 0.27778em;
} }
.katex .textstyle > .mrel + .minner { .katex .mrel + .minner {
margin-left: 0.27778em; margin-left: 0.27778em;
} }
.katex .textstyle > .mclose + .mop { .katex .mclose + .mop {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .mclose + .mbin { .katex .mclose + .mbin {
margin-left: 0.22222em; margin-left: 0.22222em;
} }
.katex .textstyle > .mclose + .mrel { .katex .mclose + .mrel {
margin-left: 0.27778em; margin-left: 0.27778em;
} }
.katex .textstyle > .mclose + .minner { .katex .mclose + .minner {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .mpunct + .mord { .katex .mpunct + .mord {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .mpunct + .mop { .katex .mpunct + .mop {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .mpunct + .mrel { .katex .mpunct + .mrel {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .mpunct + .mopen { .katex .mpunct + .mopen {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .mpunct + .mclose { .katex .mpunct + .mclose {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .mpunct + .mpunct { .katex .mpunct + .mpunct {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .mpunct + .minner { .katex .mpunct + .minner {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .minner + .mord { .katex .minner + .mord {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .minner + .mop { .katex .minner + .mop {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .minner + .mbin { .katex .minner + .mbin {
margin-left: 0.22222em; margin-left: 0.22222em;
} }
.katex .textstyle > .minner + .mrel { .katex .minner + .mrel {
margin-left: 0.27778em; margin-left: 0.27778em;
} }
.katex .textstyle > .minner + .mopen { .katex .minner + .mopen {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .minner + .mpunct { .katex .minner + .mpunct {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .textstyle > .minner + .minner { .katex .minner + .minner {
margin-left: 0.16667em; margin-left: 0.16667em;
} }
.katex .mord + .mop { .katex .mord.mtight {
margin-left: 0.16667em; margin-left: 0;
} }
.katex .mop + .mord { .katex .mop.mtight {
margin-left: 0.16667em; margin-left: 0;
} }
.katex .mop + .mop { .katex .mbin.mtight {
margin-left: 0.16667em; margin-left: 0;
} }
.katex .mclose + .mop { .katex .mrel.mtight {
margin-left: 0.16667em; margin-left: 0;
} }
.katex .minner + .mop { .katex .mopen.mtight {
margin-left: 0.16667em; margin-left: 0;
} }
.katex .reset-textstyle.textstyle { .katex .mclose.mtight {
font-size: 1em; margin-left: 0;
} }
.katex .reset-textstyle.scriptstyle { .katex .mpunct.mtight {
font-size: 0.7em; margin-left: 0;
} }
.katex .reset-textstyle.scriptscriptstyle { .katex .minner.mtight {
font-size: 0.5em; margin-left: 0;
} }
.katex .reset-scriptstyle.textstyle { .katex .mord + .mop.mtight {
font-size: 1.42857em; margin-left: 0.16667em;
} }
.katex .reset-scriptstyle.scriptstyle { .katex .mop + .mord.mtight {
font-size: 1em; margin-left: 0.16667em;
} }
.katex .reset-scriptstyle.scriptscriptstyle { .katex .mop + .mop.mtight {
font-size: 0.71429em; margin-left: 0.16667em;
} }
.katex .reset-scriptscriptstyle.textstyle { .katex .mclose + .mop.mtight {
font-size: 2em; margin-left: 0.16667em;
} }
.katex .reset-scriptscriptstyle.scriptstyle { .katex .minner + .mop.mtight {
font-size: 1.4em; margin-left: 0.16667em;
} }
.katex .reset-scriptscriptstyle.scriptscriptstyle { .katex .vlist-t {
font-size: 1em; display: inline-table;
table-layout: fixed;
} }
.katex .style-wrap { .katex .vlist-r {
position: relative; display: table-row;
} }
.katex .vlist { .katex .vlist {
display: inline-block; display: table-cell;
vertical-align: bottom;
position: relative;
} }
.katex .vlist > span { .katex .vlist > span {
display: block; display: block;
...@@ -377,9 +395,18 @@ SOFTWARE. ...@@ -377,9 +395,18 @@ SOFTWARE.
.katex .vlist > span > span { .katex .vlist > span > span {
display: inline-block; display: inline-block;
} }
.katex .vlist .baseline-fix { .katex .vlist > span > .pstrut {
display: inline-table; overflow: hidden;
table-layout: fixed; width: 0;
}
.katex .vlist-t2 {
margin-right: -2px;
}
.katex .vlist-s {
display: table-cell;
vertical-align: bottom;
font-size: 1px;
width: 2px;
} }
.katex .msupsub { .katex .msupsub {
text-align: left; text-align: left;
...@@ -388,20 +415,22 @@ SOFTWARE. ...@@ -388,20 +415,22 @@ SOFTWARE.
text-align: center; text-align: center;
} }
.katex .mfrac .frac-line { .katex .mfrac .frac-line {
display: inline-block;
width: 100%; width: 100%;
} }
.katex .mfrac .frac-line:before { @media screen {
border-bottom-style: solid; .katex .mfrac .frac-line,
border-bottom-width: 1px; .katex .overline .overline-line,
content: ""; .katex .underline .underline-line {
display: block; min-height: 1px;
}
} }
.katex .mfrac .frac-line:after { @media screen and (-webkit-min-device-pixel-ratio: 2), screen and (min-resolution: 192dpi) {
border-bottom-style: solid; .katex .mfrac .frac-line,
border-bottom-width: 0.04em; .katex .overline .overline-line,
content: ""; .katex .underline .underline-line {
display: block; min-height: 0.5px;
margin-top: -1px; }
} }
.katex .mspace { .katex .mspace {
display: inline-block; display: inline-block;
...@@ -409,18 +438,33 @@ SOFTWARE. ...@@ -409,18 +438,33 @@ SOFTWARE.
.katex .mspace.negativethinspace { .katex .mspace.negativethinspace {
margin-left: -0.16667em; margin-left: -0.16667em;
} }
.katex .mspace.muspace {
width: 0.055556em;
}
.katex .mspace.thinspace { .katex .mspace.thinspace {
width: 0.16667em; width: 0.16667em;
} }
.katex .mspace.negativemediumspace {
margin-left: -0.22222em;
}
.katex .mspace.mediumspace { .katex .mspace.mediumspace {
width: 0.22222em; width: 0.22222em;
} }
.katex .mspace.thickspace { .katex .mspace.thickspace {
width: 0.27778em; width: 0.27778em;
} }
.katex .mspace.sixmuspace {
width: 0.333333em;
}
.katex .mspace.eightmuspace {
width: 0.444444em;
}
.katex .mspace.enspace { .katex .mspace.enspace {
width: 0.5em; width: 0.5em;
} }
.katex .mspace.twelvemuspace {
width: 0.666667em;
}
.katex .mspace.quad { .katex .mspace.quad {
width: 1em; width: 1em;
} }
...@@ -428,24 +472,32 @@ SOFTWARE. ...@@ -428,24 +472,32 @@ SOFTWARE.
width: 2em; width: 2em;
} }
.katex .llap, .katex .llap,
.katex .rlap { .katex .rlap,
.katex .clap {
width: 0; width: 0;
position: relative; position: relative;
} }
.katex .llap > .inner, .katex .llap > .inner,
.katex .rlap > .inner { .katex .rlap > .inner,
.katex .clap > .inner {
position: absolute; position: absolute;
} }
.katex .llap > .fix, .katex .llap > .fix,
.katex .rlap > .fix { .katex .rlap > .fix,
.katex .clap > .fix {
display: inline-block; display: inline-block;
} }
.katex .llap > .inner { .katex .llap > .inner {
right: 0; right: 0;
} }
.katex .rlap > .inner { .katex .rlap > .inner,
.katex .clap > .inner {
left: 0; left: 0;
} }
.katex .clap > .inner > span {
margin-left: -50%;
margin-right: 50%;
}
.katex .katex-logo .a { .katex .katex-logo .a {
font-size: 0.75em; font-size: 0.75em;
margin-left: -0.32em; margin-left: -0.32em;
...@@ -470,42 +522,9 @@ SOFTWARE. ...@@ -470,42 +522,9 @@ SOFTWARE.
} }
.katex .overline .overline-line, .katex .overline .overline-line,
.katex .underline .underline-line { .katex .underline .underline-line {
display: inline-block;
width: 100%; width: 100%;
} }
.katex .overline .overline-line:before,
.katex .underline .underline-line:before {
border-bottom-style: solid;
border-bottom-width: 1px;
content: "";
display: block;
}
.katex .overline .overline-line:after,
.katex .underline .underline-line:after {
border-bottom-style: solid;
border-bottom-width: 0.04em;
content: "";
display: block;
margin-top: -1px;
}
.katex .sqrt > .sqrt-sign {
position: relative;
}
.katex .sqrt .sqrt-line {
width: 100%;
}
.katex .sqrt .sqrt-line:before {
border-bottom-style: solid;
border-bottom-width: 1px;
content: "";
display: block;
}
.katex .sqrt .sqrt-line:after {
border-bottom-style: solid;
border-bottom-width: 0.04em;
content: "";
display: block;
margin-top: -1px;
}
.katex .sqrt > .root { .katex .sqrt > .root {
margin-left: 0.27777778em; margin-left: 0.27777778em;
margin-right: -0.55555556em; margin-right: -0.55555556em;
...@@ -520,43 +539,47 @@ SOFTWARE. ...@@ -520,43 +539,47 @@ SOFTWARE.
} }
.katex .sizing.reset-size1.size2, .katex .sizing.reset-size1.size2,
.katex .fontsize-ensurer.reset-size1.size2 { .katex .fontsize-ensurer.reset-size1.size2 {
font-size: 1.4em; font-size: 1.2em;
} }
.katex .sizing.reset-size1.size3, .katex .sizing.reset-size1.size3,
.katex .fontsize-ensurer.reset-size1.size3 { .katex .fontsize-ensurer.reset-size1.size3 {
font-size: 1.6em; font-size: 1.4em;
} }
.katex .sizing.reset-size1.size4, .katex .sizing.reset-size1.size4,
.katex .fontsize-ensurer.reset-size1.size4 { .katex .fontsize-ensurer.reset-size1.size4 {
font-size: 1.8em; font-size: 1.6em;
} }
.katex .sizing.reset-size1.size5, .katex .sizing.reset-size1.size5,
.katex .fontsize-ensurer.reset-size1.size5 { .katex .fontsize-ensurer.reset-size1.size5 {
font-size: 2em; font-size: 1.8em;
} }
.katex .sizing.reset-size1.size6, .katex .sizing.reset-size1.size6,
.katex .fontsize-ensurer.reset-size1.size6 { .katex .fontsize-ensurer.reset-size1.size6 {
font-size: 2.4em; font-size: 2em;
} }
.katex .sizing.reset-size1.size7, .katex .sizing.reset-size1.size7,
.katex .fontsize-ensurer.reset-size1.size7 { .katex .fontsize-ensurer.reset-size1.size7 {
font-size: 2.88em; font-size: 2.4em;
} }
.katex .sizing.reset-size1.size8, .katex .sizing.reset-size1.size8,
.katex .fontsize-ensurer.reset-size1.size8 { .katex .fontsize-ensurer.reset-size1.size8 {
font-size: 3.46em; font-size: 2.88em;
} }
.katex .sizing.reset-size1.size9, .katex .sizing.reset-size1.size9,
.katex .fontsize-ensurer.reset-size1.size9 { .katex .fontsize-ensurer.reset-size1.size9 {
font-size: 4.14em; font-size: 3.456em;
} }
.katex .sizing.reset-size1.size10, .katex .sizing.reset-size1.size10,
.katex .fontsize-ensurer.reset-size1.size10 { .katex .fontsize-ensurer.reset-size1.size10 {
font-size: 4.98em; 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 .sizing.reset-size2.size1,
.katex .fontsize-ensurer.reset-size2.size1 { .katex .fontsize-ensurer.reset-size2.size1 {
font-size: 0.71428571em; font-size: 0.83333333em;
} }
.katex .sizing.reset-size2.size2, .katex .sizing.reset-size2.size2,
.katex .fontsize-ensurer.reset-size2.size2 { .katex .fontsize-ensurer.reset-size2.size2 {
...@@ -564,43 +587,47 @@ SOFTWARE. ...@@ -564,43 +587,47 @@ SOFTWARE.
} }
.katex .sizing.reset-size2.size3, .katex .sizing.reset-size2.size3,
.katex .fontsize-ensurer.reset-size2.size3 { .katex .fontsize-ensurer.reset-size2.size3 {
font-size: 1.14285714em; font-size: 1.16666667em;
} }
.katex .sizing.reset-size2.size4, .katex .sizing.reset-size2.size4,
.katex .fontsize-ensurer.reset-size2.size4 { .katex .fontsize-ensurer.reset-size2.size4 {
font-size: 1.28571429em; font-size: 1.33333333em;
} }
.katex .sizing.reset-size2.size5, .katex .sizing.reset-size2.size5,
.katex .fontsize-ensurer.reset-size2.size5 { .katex .fontsize-ensurer.reset-size2.size5 {
font-size: 1.42857143em; font-size: 1.5em;
} }
.katex .sizing.reset-size2.size6, .katex .sizing.reset-size2.size6,
.katex .fontsize-ensurer.reset-size2.size6 { .katex .fontsize-ensurer.reset-size2.size6 {
font-size: 1.71428571em; font-size: 1.66666667em;
} }
.katex .sizing.reset-size2.size7, .katex .sizing.reset-size2.size7,
.katex .fontsize-ensurer.reset-size2.size7 { .katex .fontsize-ensurer.reset-size2.size7 {
font-size: 2.05714286em; font-size: 2em;
} }
.katex .sizing.reset-size2.size8, .katex .sizing.reset-size2.size8,
.katex .fontsize-ensurer.reset-size2.size8 { .katex .fontsize-ensurer.reset-size2.size8 {
font-size: 2.47142857em; font-size: 2.4em;
} }
.katex .sizing.reset-size2.size9, .katex .sizing.reset-size2.size9,
.katex .fontsize-ensurer.reset-size2.size9 { .katex .fontsize-ensurer.reset-size2.size9 {
font-size: 2.95714286em; font-size: 2.88em;
} }
.katex .sizing.reset-size2.size10, .katex .sizing.reset-size2.size10,
.katex .fontsize-ensurer.reset-size2.size10 { .katex .fontsize-ensurer.reset-size2.size10 {
font-size: 3.55714286em; 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 .sizing.reset-size3.size1,
.katex .fontsize-ensurer.reset-size3.size1 { .katex .fontsize-ensurer.reset-size3.size1 {
font-size: 0.625em; font-size: 0.71428571em;
} }
.katex .sizing.reset-size3.size2, .katex .sizing.reset-size3.size2,
.katex .fontsize-ensurer.reset-size3.size2 { .katex .fontsize-ensurer.reset-size3.size2 {
font-size: 0.875em; font-size: 0.85714286em;
} }
.katex .sizing.reset-size3.size3, .katex .sizing.reset-size3.size3,
.katex .fontsize-ensurer.reset-size3.size3 { .katex .fontsize-ensurer.reset-size3.size3 {
...@@ -608,43 +635,47 @@ SOFTWARE. ...@@ -608,43 +635,47 @@ SOFTWARE.
} }
.katex .sizing.reset-size3.size4, .katex .sizing.reset-size3.size4,
.katex .fontsize-ensurer.reset-size3.size4 { .katex .fontsize-ensurer.reset-size3.size4 {
font-size: 1.125em; font-size: 1.14285714em;
} }
.katex .sizing.reset-size3.size5, .katex .sizing.reset-size3.size5,
.katex .fontsize-ensurer.reset-size3.size5 { .katex .fontsize-ensurer.reset-size3.size5 {
font-size: 1.25em; font-size: 1.28571429em;
} }
.katex .sizing.reset-size3.size6, .katex .sizing.reset-size3.size6,
.katex .fontsize-ensurer.reset-size3.size6 { .katex .fontsize-ensurer.reset-size3.size6 {
font-size: 1.5em; font-size: 1.42857143em;
} }
.katex .sizing.reset-size3.size7, .katex .sizing.reset-size3.size7,
.katex .fontsize-ensurer.reset-size3.size7 { .katex .fontsize-ensurer.reset-size3.size7 {
font-size: 1.8em; font-size: 1.71428571em;
} }
.katex .sizing.reset-size3.size8, .katex .sizing.reset-size3.size8,
.katex .fontsize-ensurer.reset-size3.size8 { .katex .fontsize-ensurer.reset-size3.size8 {
font-size: 2.1625em; font-size: 2.05714286em;
} }
.katex .sizing.reset-size3.size9, .katex .sizing.reset-size3.size9,
.katex .fontsize-ensurer.reset-size3.size9 { .katex .fontsize-ensurer.reset-size3.size9 {
font-size: 2.5875em; font-size: 2.46857143em;
} }
.katex .sizing.reset-size3.size10, .katex .sizing.reset-size3.size10,
.katex .fontsize-ensurer.reset-size3.size10 { .katex .fontsize-ensurer.reset-size3.size10 {
font-size: 3.1125em; 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 .sizing.reset-size4.size1,
.katex .fontsize-ensurer.reset-size4.size1 { .katex .fontsize-ensurer.reset-size4.size1 {
font-size: 0.55555556em; font-size: 0.625em;
} }
.katex .sizing.reset-size4.size2, .katex .sizing.reset-size4.size2,
.katex .fontsize-ensurer.reset-size4.size2 { .katex .fontsize-ensurer.reset-size4.size2 {
font-size: 0.77777778em; font-size: 0.75em;
} }
.katex .sizing.reset-size4.size3, .katex .sizing.reset-size4.size3,
.katex .fontsize-ensurer.reset-size4.size3 { .katex .fontsize-ensurer.reset-size4.size3 {
font-size: 0.88888889em; font-size: 0.875em;
} }
.katex .sizing.reset-size4.size4, .katex .sizing.reset-size4.size4,
.katex .fontsize-ensurer.reset-size4.size4 { .katex .fontsize-ensurer.reset-size4.size4 {
...@@ -652,43 +683,47 @@ SOFTWARE. ...@@ -652,43 +683,47 @@ SOFTWARE.
} }
.katex .sizing.reset-size4.size5, .katex .sizing.reset-size4.size5,
.katex .fontsize-ensurer.reset-size4.size5 { .katex .fontsize-ensurer.reset-size4.size5 {
font-size: 1.11111111em; font-size: 1.125em;
} }
.katex .sizing.reset-size4.size6, .katex .sizing.reset-size4.size6,
.katex .fontsize-ensurer.reset-size4.size6 { .katex .fontsize-ensurer.reset-size4.size6 {
font-size: 1.33333333em; font-size: 1.25em;
} }
.katex .sizing.reset-size4.size7, .katex .sizing.reset-size4.size7,
.katex .fontsize-ensurer.reset-size4.size7 { .katex .fontsize-ensurer.reset-size4.size7 {
font-size: 1.6em; font-size: 1.5em;
} }
.katex .sizing.reset-size4.size8, .katex .sizing.reset-size4.size8,
.katex .fontsize-ensurer.reset-size4.size8 { .katex .fontsize-ensurer.reset-size4.size8 {
font-size: 1.92222222em; font-size: 1.8em;
} }
.katex .sizing.reset-size4.size9, .katex .sizing.reset-size4.size9,
.katex .fontsize-ensurer.reset-size4.size9 { .katex .fontsize-ensurer.reset-size4.size9 {
font-size: 2.3em; font-size: 2.16em;
} }
.katex .sizing.reset-size4.size10, .katex .sizing.reset-size4.size10,
.katex .fontsize-ensurer.reset-size4.size10 { .katex .fontsize-ensurer.reset-size4.size10 {
font-size: 2.76666667em; 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 .sizing.reset-size5.size1,
.katex .fontsize-ensurer.reset-size5.size1 { .katex .fontsize-ensurer.reset-size5.size1 {
font-size: 0.5em; font-size: 0.55555556em;
} }
.katex .sizing.reset-size5.size2, .katex .sizing.reset-size5.size2,
.katex .fontsize-ensurer.reset-size5.size2 { .katex .fontsize-ensurer.reset-size5.size2 {
font-size: 0.7em; font-size: 0.66666667em;
} }
.katex .sizing.reset-size5.size3, .katex .sizing.reset-size5.size3,
.katex .fontsize-ensurer.reset-size5.size3 { .katex .fontsize-ensurer.reset-size5.size3 {
font-size: 0.8em; font-size: 0.77777778em;
} }
.katex .sizing.reset-size5.size4, .katex .sizing.reset-size5.size4,
.katex .fontsize-ensurer.reset-size5.size4 { .katex .fontsize-ensurer.reset-size5.size4 {
font-size: 0.9em; font-size: 0.88888889em;
} }
.katex .sizing.reset-size5.size5, .katex .sizing.reset-size5.size5,
.katex .fontsize-ensurer.reset-size5.size5 { .katex .fontsize-ensurer.reset-size5.size5 {
...@@ -696,43 +731,47 @@ SOFTWARE. ...@@ -696,43 +731,47 @@ SOFTWARE.
} }
.katex .sizing.reset-size5.size6, .katex .sizing.reset-size5.size6,
.katex .fontsize-ensurer.reset-size5.size6 { .katex .fontsize-ensurer.reset-size5.size6 {
font-size: 1.2em; font-size: 1.11111111em;
} }
.katex .sizing.reset-size5.size7, .katex .sizing.reset-size5.size7,
.katex .fontsize-ensurer.reset-size5.size7 { .katex .fontsize-ensurer.reset-size5.size7 {
font-size: 1.44em; font-size: 1.33333333em;
} }
.katex .sizing.reset-size5.size8, .katex .sizing.reset-size5.size8,
.katex .fontsize-ensurer.reset-size5.size8 { .katex .fontsize-ensurer.reset-size5.size8 {
font-size: 1.73em; font-size: 1.6em;
} }
.katex .sizing.reset-size5.size9, .katex .sizing.reset-size5.size9,
.katex .fontsize-ensurer.reset-size5.size9 { .katex .fontsize-ensurer.reset-size5.size9 {
font-size: 2.07em; font-size: 1.92em;
} }
.katex .sizing.reset-size5.size10, .katex .sizing.reset-size5.size10,
.katex .fontsize-ensurer.reset-size5.size10 { .katex .fontsize-ensurer.reset-size5.size10 {
font-size: 2.49em; 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 .sizing.reset-size6.size1,
.katex .fontsize-ensurer.reset-size6.size1 { .katex .fontsize-ensurer.reset-size6.size1 {
font-size: 0.41666667em; font-size: 0.5em;
} }
.katex .sizing.reset-size6.size2, .katex .sizing.reset-size6.size2,
.katex .fontsize-ensurer.reset-size6.size2 { .katex .fontsize-ensurer.reset-size6.size2 {
font-size: 0.58333333em; font-size: 0.6em;
} }
.katex .sizing.reset-size6.size3, .katex .sizing.reset-size6.size3,
.katex .fontsize-ensurer.reset-size6.size3 { .katex .fontsize-ensurer.reset-size6.size3 {
font-size: 0.66666667em; font-size: 0.7em;
} }
.katex .sizing.reset-size6.size4, .katex .sizing.reset-size6.size4,
.katex .fontsize-ensurer.reset-size6.size4 { .katex .fontsize-ensurer.reset-size6.size4 {
font-size: 0.75em; font-size: 0.8em;
} }
.katex .sizing.reset-size6.size5, .katex .sizing.reset-size6.size5,
.katex .fontsize-ensurer.reset-size6.size5 { .katex .fontsize-ensurer.reset-size6.size5 {
font-size: 0.83333333em; font-size: 0.9em;
} }
.katex .sizing.reset-size6.size6, .katex .sizing.reset-size6.size6,
.katex .fontsize-ensurer.reset-size6.size6 { .katex .fontsize-ensurer.reset-size6.size6 {
...@@ -744,35 +783,39 @@ SOFTWARE. ...@@ -744,35 +783,39 @@ SOFTWARE.
} }
.katex .sizing.reset-size6.size8, .katex .sizing.reset-size6.size8,
.katex .fontsize-ensurer.reset-size6.size8 { .katex .fontsize-ensurer.reset-size6.size8 {
font-size: 1.44166667em; font-size: 1.44em;
} }
.katex .sizing.reset-size6.size9, .katex .sizing.reset-size6.size9,
.katex .fontsize-ensurer.reset-size6.size9 { .katex .fontsize-ensurer.reset-size6.size9 {
font-size: 1.725em; font-size: 1.728em;
} }
.katex .sizing.reset-size6.size10, .katex .sizing.reset-size6.size10,
.katex .fontsize-ensurer.reset-size6.size10 { .katex .fontsize-ensurer.reset-size6.size10 {
font-size: 2.075em; 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 .sizing.reset-size7.size1,
.katex .fontsize-ensurer.reset-size7.size1 { .katex .fontsize-ensurer.reset-size7.size1 {
font-size: 0.34722222em; font-size: 0.41666667em;
} }
.katex .sizing.reset-size7.size2, .katex .sizing.reset-size7.size2,
.katex .fontsize-ensurer.reset-size7.size2 { .katex .fontsize-ensurer.reset-size7.size2 {
font-size: 0.48611111em; font-size: 0.5em;
} }
.katex .sizing.reset-size7.size3, .katex .sizing.reset-size7.size3,
.katex .fontsize-ensurer.reset-size7.size3 { .katex .fontsize-ensurer.reset-size7.size3 {
font-size: 0.55555556em; font-size: 0.58333333em;
} }
.katex .sizing.reset-size7.size4, .katex .sizing.reset-size7.size4,
.katex .fontsize-ensurer.reset-size7.size4 { .katex .fontsize-ensurer.reset-size7.size4 {
font-size: 0.625em; font-size: 0.66666667em;
} }
.katex .sizing.reset-size7.size5, .katex .sizing.reset-size7.size5,
.katex .fontsize-ensurer.reset-size7.size5 { .katex .fontsize-ensurer.reset-size7.size5 {
font-size: 0.69444444em; font-size: 0.75em;
} }
.katex .sizing.reset-size7.size6, .katex .sizing.reset-size7.size6,
.katex .fontsize-ensurer.reset-size7.size6 { .katex .fontsize-ensurer.reset-size7.size6 {
...@@ -784,43 +827,47 @@ SOFTWARE. ...@@ -784,43 +827,47 @@ SOFTWARE.
} }
.katex .sizing.reset-size7.size8, .katex .sizing.reset-size7.size8,
.katex .fontsize-ensurer.reset-size7.size8 { .katex .fontsize-ensurer.reset-size7.size8 {
font-size: 1.20138889em; font-size: 1.2em;
} }
.katex .sizing.reset-size7.size9, .katex .sizing.reset-size7.size9,
.katex .fontsize-ensurer.reset-size7.size9 { .katex .fontsize-ensurer.reset-size7.size9 {
font-size: 1.4375em; font-size: 1.44em;
} }
.katex .sizing.reset-size7.size10, .katex .sizing.reset-size7.size10,
.katex .fontsize-ensurer.reset-size7.size10 { .katex .fontsize-ensurer.reset-size7.size10 {
font-size: 1.72916667em; 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 .sizing.reset-size8.size1,
.katex .fontsize-ensurer.reset-size8.size1 { .katex .fontsize-ensurer.reset-size8.size1 {
font-size: 0.28901734em; font-size: 0.34722222em;
} }
.katex .sizing.reset-size8.size2, .katex .sizing.reset-size8.size2,
.katex .fontsize-ensurer.reset-size8.size2 { .katex .fontsize-ensurer.reset-size8.size2 {
font-size: 0.40462428em; font-size: 0.41666667em;
} }
.katex .sizing.reset-size8.size3, .katex .sizing.reset-size8.size3,
.katex .fontsize-ensurer.reset-size8.size3 { .katex .fontsize-ensurer.reset-size8.size3 {
font-size: 0.46242775em; font-size: 0.48611111em;
} }
.katex .sizing.reset-size8.size4, .katex .sizing.reset-size8.size4,
.katex .fontsize-ensurer.reset-size8.size4 { .katex .fontsize-ensurer.reset-size8.size4 {
font-size: 0.52023121em; font-size: 0.55555556em;
} }
.katex .sizing.reset-size8.size5, .katex .sizing.reset-size8.size5,
.katex .fontsize-ensurer.reset-size8.size5 { .katex .fontsize-ensurer.reset-size8.size5 {
font-size: 0.57803468em; font-size: 0.625em;
} }
.katex .sizing.reset-size8.size6, .katex .sizing.reset-size8.size6,
.katex .fontsize-ensurer.reset-size8.size6 { .katex .fontsize-ensurer.reset-size8.size6 {
font-size: 0.69364162em; font-size: 0.69444444em;
} }
.katex .sizing.reset-size8.size7, .katex .sizing.reset-size8.size7,
.katex .fontsize-ensurer.reset-size8.size7 { .katex .fontsize-ensurer.reset-size8.size7 {
font-size: 0.83236994em; font-size: 0.83333333em;
} }
.katex .sizing.reset-size8.size8, .katex .sizing.reset-size8.size8,
.katex .fontsize-ensurer.reset-size8.size8 { .katex .fontsize-ensurer.reset-size8.size8 {
...@@ -828,43 +875,47 @@ SOFTWARE. ...@@ -828,43 +875,47 @@ SOFTWARE.
} }
.katex .sizing.reset-size8.size9, .katex .sizing.reset-size8.size9,
.katex .fontsize-ensurer.reset-size8.size9 { .katex .fontsize-ensurer.reset-size8.size9 {
font-size: 1.19653179em; font-size: 1.2em;
} }
.katex .sizing.reset-size8.size10, .katex .sizing.reset-size8.size10,
.katex .fontsize-ensurer.reset-size8.size10 { .katex .fontsize-ensurer.reset-size8.size10 {
font-size: 1.43930636em; 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 .sizing.reset-size9.size1,
.katex .fontsize-ensurer.reset-size9.size1 { .katex .fontsize-ensurer.reset-size9.size1 {
font-size: 0.24154589em; font-size: 0.28935185em;
} }
.katex .sizing.reset-size9.size2, .katex .sizing.reset-size9.size2,
.katex .fontsize-ensurer.reset-size9.size2 { .katex .fontsize-ensurer.reset-size9.size2 {
font-size: 0.33816425em; font-size: 0.34722222em;
} }
.katex .sizing.reset-size9.size3, .katex .sizing.reset-size9.size3,
.katex .fontsize-ensurer.reset-size9.size3 { .katex .fontsize-ensurer.reset-size9.size3 {
font-size: 0.38647343em; font-size: 0.40509259em;
} }
.katex .sizing.reset-size9.size4, .katex .sizing.reset-size9.size4,
.katex .fontsize-ensurer.reset-size9.size4 { .katex .fontsize-ensurer.reset-size9.size4 {
font-size: 0.43478261em; font-size: 0.46296296em;
} }
.katex .sizing.reset-size9.size5, .katex .sizing.reset-size9.size5,
.katex .fontsize-ensurer.reset-size9.size5 { .katex .fontsize-ensurer.reset-size9.size5 {
font-size: 0.48309179em; font-size: 0.52083333em;
} }
.katex .sizing.reset-size9.size6, .katex .sizing.reset-size9.size6,
.katex .fontsize-ensurer.reset-size9.size6 { .katex .fontsize-ensurer.reset-size9.size6 {
font-size: 0.57971014em; font-size: 0.5787037em;
} }
.katex .sizing.reset-size9.size7, .katex .sizing.reset-size9.size7,
.katex .fontsize-ensurer.reset-size9.size7 { .katex .fontsize-ensurer.reset-size9.size7 {
font-size: 0.69565217em; font-size: 0.69444444em;
} }
.katex .sizing.reset-size9.size8, .katex .sizing.reset-size9.size8,
.katex .fontsize-ensurer.reset-size9.size8 { .katex .fontsize-ensurer.reset-size9.size8 {
font-size: 0.83574879em; font-size: 0.83333333em;
} }
.katex .sizing.reset-size9.size9, .katex .sizing.reset-size9.size9,
.katex .fontsize-ensurer.reset-size9.size9 { .katex .fontsize-ensurer.reset-size9.size9 {
...@@ -872,48 +923,100 @@ SOFTWARE. ...@@ -872,48 +923,100 @@ SOFTWARE.
} }
.katex .sizing.reset-size9.size10, .katex .sizing.reset-size9.size10,
.katex .fontsize-ensurer.reset-size9.size10 { .katex .fontsize-ensurer.reset-size9.size10 {
font-size: 1.20289855em; 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 .sizing.reset-size10.size1,
.katex .fontsize-ensurer.reset-size10.size1 { .katex .fontsize-ensurer.reset-size10.size1 {
font-size: 0.20080321em; font-size: 0.24108004em;
} }
.katex .sizing.reset-size10.size2, .katex .sizing.reset-size10.size2,
.katex .fontsize-ensurer.reset-size10.size2 { .katex .fontsize-ensurer.reset-size10.size2 {
font-size: 0.2811245em; font-size: 0.28929605em;
} }
.katex .sizing.reset-size10.size3, .katex .sizing.reset-size10.size3,
.katex .fontsize-ensurer.reset-size10.size3 { .katex .fontsize-ensurer.reset-size10.size3 {
font-size: 0.32128514em; font-size: 0.33751205em;
} }
.katex .sizing.reset-size10.size4, .katex .sizing.reset-size10.size4,
.katex .fontsize-ensurer.reset-size10.size4 { .katex .fontsize-ensurer.reset-size10.size4 {
font-size: 0.36144578em; font-size: 0.38572806em;
} }
.katex .sizing.reset-size10.size5, .katex .sizing.reset-size10.size5,
.katex .fontsize-ensurer.reset-size10.size5 { .katex .fontsize-ensurer.reset-size10.size5 {
font-size: 0.40160643em; font-size: 0.43394407em;
} }
.katex .sizing.reset-size10.size6, .katex .sizing.reset-size10.size6,
.katex .fontsize-ensurer.reset-size10.size6 { .katex .fontsize-ensurer.reset-size10.size6 {
font-size: 0.48192771em; font-size: 0.48216008em;
} }
.katex .sizing.reset-size10.size7, .katex .sizing.reset-size10.size7,
.katex .fontsize-ensurer.reset-size10.size7 { .katex .fontsize-ensurer.reset-size10.size7 {
font-size: 0.57831325em; font-size: 0.57859209em;
} }
.katex .sizing.reset-size10.size8, .katex .sizing.reset-size10.size8,
.katex .fontsize-ensurer.reset-size10.size8 { .katex .fontsize-ensurer.reset-size10.size8 {
font-size: 0.69477912em; font-size: 0.69431051em;
} }
.katex .sizing.reset-size10.size9, .katex .sizing.reset-size10.size9,
.katex .fontsize-ensurer.reset-size10.size9 { .katex .fontsize-ensurer.reset-size10.size9 {
font-size: 0.8313253em; font-size: 0.83317261em;
} }
.katex .sizing.reset-size10.size10, .katex .sizing.reset-size10.size10,
.katex .fontsize-ensurer.reset-size10.size10 { .katex .fontsize-ensurer.reset-size10.size10 {
font-size: 1em; 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 { .katex .delimsizing.size1 {
font-family: KaTeX_Size1; font-family: KaTeX_Size1;
} }
...@@ -936,6 +1039,9 @@ SOFTWARE. ...@@ -936,6 +1039,9 @@ SOFTWARE.
display: inline-block; display: inline-block;
width: 0.12em; width: 0.12em;
} }
.katex .delimcenter {
position: relative;
}
.katex .op-symbol { .katex .op-symbol {
position: relative; position: relative;
} }
...@@ -945,10 +1051,10 @@ SOFTWARE. ...@@ -945,10 +1051,10 @@ SOFTWARE.
.katex .op-symbol.large-op { .katex .op-symbol.large-op {
font-family: KaTeX_Size2; font-family: KaTeX_Size2;
} }
.katex .op-limits > .vlist > span { .katex .op-limits > .vlist-t {
text-align: center; text-align: center;
} }
.katex .accent > .vlist > span { .katex .accent > .vlist-t {
text-align: center; text-align: center;
} }
.katex .accent .accent-body > span { .katex .accent .accent-body > span {
...@@ -958,20 +1064,126 @@ SOFTWARE. ...@@ -958,20 +1064,126 @@ SOFTWARE.
position: relative; position: relative;
left: 0.326em; left: 0.326em;
} }
.katex .accent .accent-body.accent-hungarian > span {
position: relative;
left: 0.250em;
}
.katex .mtable .vertical-separator { .katex .mtable .vertical-separator {
display: inline-block; display: inline-block;
margin: 0 -0.025em; margin: 0 -0.025em;
border-right: 0.05em solid black; width: 0.05em;
}
@media screen {
.katex .mtable .vertical-separator {
min-width: 1px;
}
}
@media screen and (-webkit-min-device-pixel-ratio: 2), screen and (min-resolution: 192dpi) {
.katex .mtable .vertical-separator {
min-width: 0.5px;
}
} }
.katex .mtable .arraycolsep { .katex .mtable .arraycolsep {
display: inline-block; display: inline-block;
} }
.katex .mtable .col-align-c > .vlist { .katex .mtable .col-align-c > .vlist-t {
text-align: center; text-align: center;
} }
.katex .mtable .col-align-l > .vlist { .katex .mtable .col-align-l > .vlist-t {
text-align: left; text-align: left;
} }
.katex .mtable .col-align-r > .vlist { .katex .mtable .col-align-r > .vlist-t {
text-align: right; text-align: right;
} }
.katex .svg-align {
text-align: left;
}
.katex svg {
display: block;
position: absolute;
width: 100%;
}
.katex svg path {
fill: currentColor;
}
.katex svg line {
stroke: currentColor;
}
.katex .stretchy {
width: 100%;
display: block;
}
.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.1%;
overflow: hidden;
}
.katex .halfarrow-right {
position: absolute;
right: 0;
width: 50%;
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 .mord + .cancel-lap,
.katex .mbin + .cancel-lap {
margin-left: -0.2em;
}
.katex .cancel-lap + .mord,
.katex .cancel-lap + .mbin,
.katex .cancel-lap + .msupsub {
margin-left: -0.2em;
}
.katex .sout {
border-bottom-style: solid;
border-bottom-width: 0.08em;
}
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment