1  /* stylelint-disable font-family-no-missing-generic-family-keyword */
   2  @font-face {
   3    font-family: 'KaTeX_AMS';
   4    src: url(fonts/KaTeX_AMS-Regular.woff2) format('woff2'), url(fonts/KaTeX_AMS-Regular.woff) format('woff'), url(fonts/KaTeX_AMS-Regular.ttf) format('truetype');
   5    font-weight: normal;
   6    font-style: normal;
   7  }
   8  @font-face {
   9    font-family: 'KaTeX_Caligraphic';
  10    src: url(fonts/KaTeX_Caligraphic-Bold.woff2) format('woff2'), url(fonts/KaTeX_Caligraphic-Bold.woff) format('woff'), url(fonts/KaTeX_Caligraphic-Bold.ttf) format('truetype');
  11    font-weight: bold;
  12    font-style: normal;
  13  }
  14  @font-face {
  15    font-family: 'KaTeX_Caligraphic';
  16    src: url(fonts/KaTeX_Caligraphic-Regular.woff2) format('woff2'), url(fonts/KaTeX_Caligraphic-Regular.woff) format('woff'), url(fonts/KaTeX_Caligraphic-Regular.ttf) format('truetype');
  17    font-weight: normal;
  18    font-style: normal;
  19  }
  20  @font-face {
  21    font-family: 'KaTeX_Fraktur';
  22    src: url(fonts/KaTeX_Fraktur-Bold.woff2) format('woff2'), url(fonts/KaTeX_Fraktur-Bold.woff) format('woff'), url(fonts/KaTeX_Fraktur-Bold.ttf) format('truetype');
  23    font-weight: bold;
  24    font-style: normal;
  25  }
  26  @font-face {
  27    font-family: 'KaTeX_Fraktur';
  28    src: url(fonts/KaTeX_Fraktur-Regular.woff2) format('woff2'), url(fonts/KaTeX_Fraktur-Regular.woff) format('woff'), url(fonts/KaTeX_Fraktur-Regular.ttf) format('truetype');
  29    font-weight: normal;
  30    font-style: normal;
  31  }
  32  @font-face {
  33    font-family: 'KaTeX_Main';
  34    src: url(fonts/KaTeX_Main-Bold.woff2) format('woff2'), url(fonts/KaTeX_Main-Bold.woff) format('woff'), url(fonts/KaTeX_Main-Bold.ttf) format('truetype');
  35    font-weight: bold;
  36    font-style: normal;
  37  }
  38  @font-face {
  39    font-family: 'KaTeX_Main';
  40    src: url(fonts/KaTeX_Main-BoldItalic.woff2) format('woff2'), url(fonts/KaTeX_Main-BoldItalic.woff) format('woff'), url(fonts/KaTeX_Main-BoldItalic.ttf) format('truetype');
  41    font-weight: bold;
  42    font-style: italic;
  43  }
  44  @font-face {
  45    font-family: 'KaTeX_Main';
  46    src: url(fonts/KaTeX_Main-Italic.woff2) format('woff2'), url(fonts/KaTeX_Main-Italic.woff) format('woff'), url(fonts/KaTeX_Main-Italic.ttf) format('truetype');
  47    font-weight: normal;
  48    font-style: italic;
  49  }
  50  @font-face {
  51    font-family: 'KaTeX_Main';
  52    src: url(fonts/KaTeX_Main-Regular.woff2) format('woff2'), url(fonts/KaTeX_Main-Regular.woff) format('woff'), url(fonts/KaTeX_Main-Regular.ttf) format('truetype');
  53    font-weight: normal;
  54    font-style: normal;
  55  }
  56  @font-face {
  57    font-family: 'KaTeX_Math';
  58    src: url(fonts/KaTeX_Math-BoldItalic.woff2) format('woff2'), url(fonts/KaTeX_Math-BoldItalic.woff) format('woff'), url(fonts/KaTeX_Math-BoldItalic.ttf) format('truetype');
  59    font-weight: bold;
  60    font-style: italic;
  61  }
  62  @font-face {
  63    font-family: 'KaTeX_Math';
  64    src: url(fonts/KaTeX_Math-Italic.woff2) format('woff2'), url(fonts/KaTeX_Math-Italic.woff) format('woff'), url(fonts/KaTeX_Math-Italic.ttf) format('truetype');
  65    font-weight: normal;
  66    font-style: italic;
  67  }
  68  @font-face {
  69    font-family: 'KaTeX_SansSerif';
  70    src: url(fonts/KaTeX_SansSerif-Bold.woff2) format('woff2'), url(fonts/KaTeX_SansSerif-Bold.woff) format('woff'), url(fonts/KaTeX_SansSerif-Bold.ttf) format('truetype');
  71    font-weight: bold;
  72    font-style: normal;
  73  }
  74  @font-face {
  75    font-family: 'KaTeX_SansSerif';
  76    src: url(fonts/KaTeX_SansSerif-Italic.woff2) format('woff2'), url(fonts/KaTeX_SansSerif-Italic.woff) format('woff'), url(fonts/KaTeX_SansSerif-Italic.ttf) format('truetype');
  77    font-weight: normal;
  78    font-style: italic;
  79  }
  80  @font-face {
  81    font-family: 'KaTeX_SansSerif';
  82    src: url(fonts/KaTeX_SansSerif-Regular.woff2) format('woff2'), url(fonts/KaTeX_SansSerif-Regular.woff) format('woff'), url(fonts/KaTeX_SansSerif-Regular.ttf) format('truetype');
  83    font-weight: normal;
  84    font-style: normal;
  85  }
  86  @font-face {
  87    font-family: 'KaTeX_Script';
  88    src: url(fonts/KaTeX_Script-Regular.woff2) format('woff2'), url(fonts/KaTeX_Script-Regular.woff) format('woff'), url(fonts/KaTeX_Script-Regular.ttf) format('truetype');
  89    font-weight: normal;
  90    font-style: normal;
  91  }
  92  @font-face {
  93    font-family: 'KaTeX_Size1';
  94    src: url(fonts/KaTeX_Size1-Regular.woff2) format('woff2'), url(fonts/KaTeX_Size1-Regular.woff) format('woff'), url(fonts/KaTeX_Size1-Regular.ttf) format('truetype');
  95    font-weight: normal;
  96    font-style: normal;
  97  }
  98  @font-face {
  99    font-family: 'KaTeX_Size2';
 100    src: url(fonts/KaTeX_Size2-Regular.woff2) format('woff2'), url(fonts/KaTeX_Size2-Regular.woff) format('woff'), url(fonts/KaTeX_Size2-Regular.ttf) format('truetype');
 101    font-weight: normal;
 102    font-style: normal;
 103  }
 104  @font-face {
 105    font-family: 'KaTeX_Size3';
 106    src: url(fonts/KaTeX_Size3-Regular.woff2) format('woff2'), url(fonts/KaTeX_Size3-Regular.woff) format('woff'), url(fonts/KaTeX_Size3-Regular.ttf) format('truetype');
 107    font-weight: normal;
 108    font-style: normal;
 109  }
 110  @font-face {
 111    font-family: 'KaTeX_Size4';
 112    src: url(fonts/KaTeX_Size4-Regular.woff2) format('woff2'), url(fonts/KaTeX_Size4-Regular.woff) format('woff'), url(fonts/KaTeX_Size4-Regular.ttf) format('truetype');
 113    font-weight: normal;
 114    font-style: normal;
 115  }
 116  @font-face {
 117    font-family: 'KaTeX_Typewriter';
 118    src: url(fonts/KaTeX_Typewriter-Regular.woff2) format('woff2'), url(fonts/KaTeX_Typewriter-Regular.woff) format('woff'), url(fonts/KaTeX_Typewriter-Regular.ttf) format('truetype');
 119    font-weight: normal;
 120    font-style: normal;
 121  }
 122  .katex {
 123    font: normal 1.21em KaTeX_Main, Times New Roman, serif;
 124    line-height: 1.2;
 125    text-indent: 0;
 126    text-rendering: auto;
 127  }
 128  .katex * {
 129    -ms-high-contrast-adjust: none !important;
 130  }
 131  .katex .katex-mathml {
 132    position: absolute;
 133    clip: rect(1px, 1px, 1px, 1px);
 134    padding: 0;
 135    border: 0;
 136    height: 1px;
 137    width: 1px;
 138    overflow: hidden;
 139  }
 140  .katex .katex-html {
 141    /* \newline is an empty block at top level, between .base elements */
 142  }
 143  .katex .katex-html > .newline {
 144    display: block;
 145  }
 146  .katex .base {
 147    position: relative;
 148    display: inline-block;
 149    white-space: nowrap;
 150    width: min-content;
 151  }
 152  .katex .strut {
 153    display: inline-block;
 154  }
 155  .katex .textbf {
 156    font-weight: bold;
 157  }
 158  .katex .textit {
 159    font-style: italic;
 160  }
 161  .katex .textrm {
 162    font-family: KaTeX_Main;
 163  }
 164  .katex .textsf {
 165    font-family: KaTeX_SansSerif;
 166  }
 167  .katex .texttt {
 168    font-family: KaTeX_Typewriter;
 169  }
 170  .katex .mathdefault {
 171    font-family: KaTeX_Math;
 172    font-style: italic;
 173  }
 174  .katex .mathit {
 175    font-family: KaTeX_Main;
 176    font-style: italic;
 177  }
 178  .katex .mathrm {
 179    font-style: normal;
 180  }
 181  .katex .mathbf {
 182    font-family: KaTeX_Main;
 183    font-weight: bold;
 184  }
 185  .katex .boldsymbol {
 186    font-family: KaTeX_Math;
 187    font-weight: bold;
 188    font-style: italic;
 189  }
 190  .katex .amsrm {
 191    font-family: KaTeX_AMS;
 192  }
 193  .katex .mathbb,
 194  .katex .textbb {
 195    font-family: KaTeX_AMS;
 196  }
 197  .katex .mathcal {
 198    font-family: KaTeX_Caligraphic;
 199  }
 200  .katex .mathfrak,
 201  .katex .textfrak {
 202    font-family: KaTeX_Fraktur;
 203  }
 204  .katex .mathtt {
 205    font-family: KaTeX_Typewriter;
 206  }
 207  .katex .mathscr,
 208  .katex .textscr {
 209    font-family: KaTeX_Script;
 210  }
 211  .katex .mathsf,
 212  .katex .textsf {
 213    font-family: KaTeX_SansSerif;
 214  }
 215  .katex .mathboldsf,
 216  .katex .textboldsf {
 217    font-family: KaTeX_SansSerif;
 218    font-weight: bold;
 219  }
 220  .katex .mathitsf,
 221  .katex .textitsf {
 222    font-family: KaTeX_SansSerif;
 223    font-style: italic;
 224  }
 225  .katex .mainrm {
 226    font-family: KaTeX_Main;
 227    font-style: normal;
 228  }
 229  .katex .vlist-t {
 230    display: inline-table;
 231    table-layout: fixed;
 232  }
 233  .katex .vlist-r {
 234    display: table-row;
 235  }
 236  .katex .vlist {
 237    display: table-cell;
 238    vertical-align: bottom;
 239    position: relative;
 240  }
 241  .katex .vlist > span {
 242    display: block;
 243    height: 0;
 244    position: relative;
 245  }
 246  .katex .vlist > span > span {
 247    display: inline-block;
 248  }
 249  .katex .vlist > span > .pstrut {
 250    overflow: hidden;
 251    width: 0;
 252  }
 253  .katex .vlist-t2 {
 254    margin-right: -2px;
 255  }
 256  .katex .vlist-s {
 257    display: table-cell;
 258    vertical-align: bottom;
 259    font-size: 1px;
 260    width: 2px;
 261    min-width: 2px;
 262  }
 263  .katex .msupsub {
 264    text-align: left;
 265  }
 266  .katex .mfrac > span > span {
 267    text-align: center;
 268  }
 269  .katex .mfrac .frac-line {
 270    display: inline-block;
 271    width: 100%;
 272    border-bottom-style: solid;
 273  }
 274  .katex .mfrac .frac-line,
 275  .katex .overline .overline-line,
 276  .katex .underline .underline-line,
 277  .katex .hline,
 278  .katex .hdashline,
 279  .katex .rule {
 280    min-height: 1px;
 281  }
 282  .katex .mspace {
 283    display: inline-block;
 284  }
 285  .katex .llap,
 286  .katex .rlap,
 287  .katex .clap {
 288    width: 0;
 289    position: relative;
 290  }
 291  .katex .llap > .inner,
 292  .katex .rlap > .inner,
 293  .katex .clap > .inner {
 294    position: absolute;
 295  }
 296  .katex .llap > .fix,
 297  .katex .rlap > .fix,
 298  .katex .clap > .fix {
 299    display: inline-block;
 300  }
 301  .katex .llap > .inner {
 302    right: 0;
 303  }
 304  .katex .rlap > .inner,
 305  .katex .clap > .inner {
 306    left: 0;
 307  }
 308  .katex .clap > .inner > span {
 309    margin-left: -50%;
 310    margin-right: 50%;
 311  }
 312  .katex .rule {
 313    display: inline-block;
 314    border: solid 0;
 315    position: relative;
 316  }
 317  .katex .overline .overline-line,
 318  .katex .underline .underline-line,
 319  .katex .hline {
 320    display: inline-block;
 321    width: 100%;
 322    border-bottom-style: solid;
 323  }
 324  .katex .hdashline {
 325    display: inline-block;
 326    width: 100%;
 327    border-bottom-style: dashed;
 328  }
 329  .katex .sqrt > .root {
 330    margin-left: 0.27777778em;
 331    margin-right: -0.55555556em;
 332  }
 333  .katex .sizing,
 334  .katex .fontsize-ensurer {
 335    display: inline-block;
 336  }
 337  .katex .sizing.reset-size1.size1,
 338  .katex .fontsize-ensurer.reset-size1.size1 {
 339    font-size: 1em;
 340  }
 341  .katex .sizing.reset-size1.size2,
 342  .katex .fontsize-ensurer.reset-size1.size2 {
 343    font-size: 1.2em;
 344  }
 345  .katex .sizing.reset-size1.size3,
 346  .katex .fontsize-ensurer.reset-size1.size3 {
 347    font-size: 1.4em;
 348  }
 349  .katex .sizing.reset-size1.size4,
 350  .katex .fontsize-ensurer.reset-size1.size4 {
 351    font-size: 1.6em;
 352  }
 353  .katex .sizing.reset-size1.size5,
 354  .katex .fontsize-ensurer.reset-size1.size5 {
 355    font-size: 1.8em;
 356  }
 357  .katex .sizing.reset-size1.size6,
 358  .katex .fontsize-ensurer.reset-size1.size6 {
 359    font-size: 2em;
 360  }
 361  .katex .sizing.reset-size1.size7,
 362  .katex .fontsize-ensurer.reset-size1.size7 {
 363    font-size: 2.4em;
 364  }
 365  .katex .sizing.reset-size1.size8,
 366  .katex .fontsize-ensurer.reset-size1.size8 {
 367    font-size: 2.88em;
 368  }
 369  .katex .sizing.reset-size1.size9,
 370  .katex .fontsize-ensurer.reset-size1.size9 {
 371    font-size: 3.456em;
 372  }
 373  .katex .sizing.reset-size1.size10,
 374  .katex .fontsize-ensurer.reset-size1.size10 {
 375    font-size: 4.148em;
 376  }
 377  .katex .sizing.reset-size1.size11,
 378  .katex .fontsize-ensurer.reset-size1.size11 {
 379    font-size: 4.976em;
 380  }
 381  .katex .sizing.reset-size2.size1,
 382  .katex .fontsize-ensurer.reset-size2.size1 {
 383    font-size: 0.83333333em;
 384  }
 385  .katex .sizing.reset-size2.size2,
 386  .katex .fontsize-ensurer.reset-size2.size2 {
 387    font-size: 1em;
 388  }
 389  .katex .sizing.reset-size2.size3,
 390  .katex .fontsize-ensurer.reset-size2.size3 {
 391    font-size: 1.16666667em;
 392  }
 393  .katex .sizing.reset-size2.size4,
 394  .katex .fontsize-ensurer.reset-size2.size4 {
 395    font-size: 1.33333333em;
 396  }
 397  .katex .sizing.reset-size2.size5,
 398  .katex .fontsize-ensurer.reset-size2.size5 {
 399    font-size: 1.5em;
 400  }
 401  .katex .sizing.reset-size2.size6,
 402  .katex .fontsize-ensurer.reset-size2.size6 {
 403    font-size: 1.66666667em;
 404  }
 405  .katex .sizing.reset-size2.size7,
 406  .katex .fontsize-ensurer.reset-size2.size7 {
 407    font-size: 2em;
 408  }
 409  .katex .sizing.reset-size2.size8,
 410  .katex .fontsize-ensurer.reset-size2.size8 {
 411    font-size: 2.4em;
 412  }
 413  .katex .sizing.reset-size2.size9,
 414  .katex .fontsize-ensurer.reset-size2.size9 {
 415    font-size: 2.88em;
 416  }
 417  .katex .sizing.reset-size2.size10,
 418  .katex .fontsize-ensurer.reset-size2.size10 {
 419    font-size: 3.45666667em;
 420  }
 421  .katex .sizing.reset-size2.size11,
 422  .katex .fontsize-ensurer.reset-size2.size11 {
 423    font-size: 4.14666667em;
 424  }
 425  .katex .sizing.reset-size3.size1,
 426  .katex .fontsize-ensurer.reset-size3.size1 {
 427    font-size: 0.71428571em;
 428  }
 429  .katex .sizing.reset-size3.size2,
 430  .katex .fontsize-ensurer.reset-size3.size2 {
 431    font-size: 0.85714286em;
 432  }
 433  .katex .sizing.reset-size3.size3,
 434  .katex .fontsize-ensurer.reset-size3.size3 {
 435    font-size: 1em;
 436  }
 437  .katex .sizing.reset-size3.size4,
 438  .katex .fontsize-ensurer.reset-size3.size4 {
 439    font-size: 1.14285714em;
 440  }
 441  .katex .sizing.reset-size3.size5,
 442  .katex .fontsize-ensurer.reset-size3.size5 {
 443    font-size: 1.28571429em;
 444  }
 445  .katex .sizing.reset-size3.size6,
 446  .katex .fontsize-ensurer.reset-size3.size6 {
 447    font-size: 1.42857143em;
 448  }
 449  .katex .sizing.reset-size3.size7,
 450  .katex .fontsize-ensurer.reset-size3.size7 {
 451    font-size: 1.71428571em;
 452  }
 453  .katex .sizing.reset-size3.size8,
 454  .katex .fontsize-ensurer.reset-size3.size8 {
 455    font-size: 2.05714286em;
 456  }
 457  .katex .sizing.reset-size3.size9,
 458  .katex .fontsize-ensurer.reset-size3.size9 {
 459    font-size: 2.46857143em;
 460  }
 461  .katex .sizing.reset-size3.size10,
 462  .katex .fontsize-ensurer.reset-size3.size10 {
 463    font-size: 2.96285714em;
 464  }
 465  .katex .sizing.reset-size3.size11,
 466  .katex .fontsize-ensurer.reset-size3.size11 {
 467    font-size: 3.55428571em;
 468  }
 469  .katex .sizing.reset-size4.size1,
 470  .katex .fontsize-ensurer.reset-size4.size1 {
 471    font-size: 0.625em;
 472  }
 473  .katex .sizing.reset-size4.size2,
 474  .katex .fontsize-ensurer.reset-size4.size2 {
 475    font-size: 0.75em;
 476  }
 477  .katex .sizing.reset-size4.size3,
 478  .katex .fontsize-ensurer.reset-size4.size3 {
 479    font-size: 0.875em;
 480  }
 481  .katex .sizing.reset-size4.size4,
 482  .katex .fontsize-ensurer.reset-size4.size4 {
 483    font-size: 1em;
 484  }
 485  .katex .sizing.reset-size4.size5,
 486  .katex .fontsize-ensurer.reset-size4.size5 {
 487    font-size: 1.125em;
 488  }
 489  .katex .sizing.reset-size4.size6,
 490  .katex .fontsize-ensurer.reset-size4.size6 {
 491    font-size: 1.25em;
 492  }
 493  .katex .sizing.reset-size4.size7,
 494  .katex .fontsize-ensurer.reset-size4.size7 {
 495    font-size: 1.5em;
 496  }
 497  .katex .sizing.reset-size4.size8,
 498  .katex .fontsize-ensurer.reset-size4.size8 {
 499    font-size: 1.8em;
 500  }
 501  .katex .sizing.reset-size4.size9,
 502  .katex .fontsize-ensurer.reset-size4.size9 {
 503    font-size: 2.16em;
 504  }
 505  .katex .sizing.reset-size4.size10,
 506  .katex .fontsize-ensurer.reset-size4.size10 {
 507    font-size: 2.5925em;
 508  }
 509  .katex .sizing.reset-size4.size11,
 510  .katex .fontsize-ensurer.reset-size4.size11 {
 511    font-size: 3.11em;
 512  }
 513  .katex .sizing.reset-size5.size1,
 514  .katex .fontsize-ensurer.reset-size5.size1 {
 515    font-size: 0.55555556em;
 516  }
 517  .katex .sizing.reset-size5.size2,
 518  .katex .fontsize-ensurer.reset-size5.size2 {
 519    font-size: 0.66666667em;
 520  }
 521  .katex .sizing.reset-size5.size3,
 522  .katex .fontsize-ensurer.reset-size5.size3 {
 523    font-size: 0.77777778em;
 524  }
 525  .katex .sizing.reset-size5.size4,
 526  .katex .fontsize-ensurer.reset-size5.size4 {
 527    font-size: 0.88888889em;
 528  }
 529  .katex .sizing.reset-size5.size5,
 530  .katex .fontsize-ensurer.reset-size5.size5 {
 531    font-size: 1em;
 532  }
 533  .katex .sizing.reset-size5.size6,
 534  .katex .fontsize-ensurer.reset-size5.size6 {
 535    font-size: 1.11111111em;
 536  }
 537  .katex .sizing.reset-size5.size7,
 538  .katex .fontsize-ensurer.reset-size5.size7 {
 539    font-size: 1.33333333em;
 540  }
 541  .katex .sizing.reset-size5.size8,
 542  .katex .fontsize-ensurer.reset-size5.size8 {
 543    font-size: 1.6em;
 544  }
 545  .katex .sizing.reset-size5.size9,
 546  .katex .fontsize-ensurer.reset-size5.size9 {
 547    font-size: 1.92em;
 548  }
 549  .katex .sizing.reset-size5.size10,
 550  .katex .fontsize-ensurer.reset-size5.size10 {
 551    font-size: 2.30444444em;
 552  }
 553  .katex .sizing.reset-size5.size11,
 554  .katex .fontsize-ensurer.reset-size5.size11 {
 555    font-size: 2.76444444em;
 556  }
 557  .katex .sizing.reset-size6.size1,
 558  .katex .fontsize-ensurer.reset-size6.size1 {
 559    font-size: 0.5em;
 560  }
 561  .katex .sizing.reset-size6.size2,
 562  .katex .fontsize-ensurer.reset-size6.size2 {
 563    font-size: 0.6em;
 564  }
 565  .katex .sizing.reset-size6.size3,
 566  .katex .fontsize-ensurer.reset-size6.size3 {
 567    font-size: 0.7em;
 568  }
 569  .katex .sizing.reset-size6.size4,
 570  .katex .fontsize-ensurer.reset-size6.size4 {
 571    font-size: 0.8em;
 572  }
 573  .katex .sizing.reset-size6.size5,
 574  .katex .fontsize-ensurer.reset-size6.size5 {
 575    font-size: 0.9em;
 576  }
 577  .katex .sizing.reset-size6.size6,
 578  .katex .fontsize-ensurer.reset-size6.size6 {
 579    font-size: 1em;
 580  }
 581  .katex .sizing.reset-size6.size7,
 582  .katex .fontsize-ensurer.reset-size6.size7 {
 583    font-size: 1.2em;
 584  }
 585  .katex .sizing.reset-size6.size8,
 586  .katex .fontsize-ensurer.reset-size6.size8 {
 587    font-size: 1.44em;
 588  }
 589  .katex .sizing.reset-size6.size9,
 590  .katex .fontsize-ensurer.reset-size6.size9 {
 591    font-size: 1.728em;
 592  }
 593  .katex .sizing.reset-size6.size10,
 594  .katex .fontsize-ensurer.reset-size6.size10 {
 595    font-size: 2.074em;
 596  }
 597  .katex .sizing.reset-size6.size11,
 598  .katex .fontsize-ensurer.reset-size6.size11 {
 599    font-size: 2.488em;
 600  }
 601  .katex .sizing.reset-size7.size1,
 602  .katex .fontsize-ensurer.reset-size7.size1 {
 603    font-size: 0.41666667em;
 604  }
 605  .katex .sizing.reset-size7.size2,
 606  .katex .fontsize-ensurer.reset-size7.size2 {
 607    font-size: 0.5em;
 608  }
 609  .katex .sizing.reset-size7.size3,
 610  .katex .fontsize-ensurer.reset-size7.size3 {
 611    font-size: 0.58333333em;
 612  }
 613  .katex .sizing.reset-size7.size4,
 614  .katex .fontsize-ensurer.reset-size7.size4 {
 615    font-size: 0.66666667em;
 616  }
 617  .katex .sizing.reset-size7.size5,
 618  .katex .fontsize-ensurer.reset-size7.size5 {
 619    font-size: 0.75em;
 620  }
 621  .katex .sizing.reset-size7.size6,
 622  .katex .fontsize-ensurer.reset-size7.size6 {
 623    font-size: 0.83333333em;
 624  }
 625  .katex .sizing.reset-size7.size7,
 626  .katex .fontsize-ensurer.reset-size7.size7 {
 627    font-size: 1em;
 628  }
 629  .katex .sizing.reset-size7.size8,
 630  .katex .fontsize-ensurer.reset-size7.size8 {
 631    font-size: 1.2em;
 632  }
 633  .katex .sizing.reset-size7.size9,
 634  .katex .fontsize-ensurer.reset-size7.size9 {
 635    font-size: 1.44em;
 636  }
 637  .katex .sizing.reset-size7.size10,
 638  .katex .fontsize-ensurer.reset-size7.size10 {
 639    font-size: 1.72833333em;
 640  }
 641  .katex .sizing.reset-size7.size11,
 642  .katex .fontsize-ensurer.reset-size7.size11 {
 643    font-size: 2.07333333em;
 644  }
 645  .katex .sizing.reset-size8.size1,
 646  .katex .fontsize-ensurer.reset-size8.size1 {
 647    font-size: 0.34722222em;
 648  }
 649  .katex .sizing.reset-size8.size2,
 650  .katex .fontsize-ensurer.reset-size8.size2 {
 651    font-size: 0.41666667em;
 652  }
 653  .katex .sizing.reset-size8.size3,
 654  .katex .fontsize-ensurer.reset-size8.size3 {
 655    font-size: 0.48611111em;
 656  }
 657  .katex .sizing.reset-size8.size4,
 658  .katex .fontsize-ensurer.reset-size8.size4 {
 659    font-size: 0.55555556em;
 660  }
 661  .katex .sizing.reset-size8.size5,
 662  .katex .fontsize-ensurer.reset-size8.size5 {
 663    font-size: 0.625em;
 664  }
 665  .katex .sizing.reset-size8.size6,
 666  .katex .fontsize-ensurer.reset-size8.size6 {
 667    font-size: 0.69444444em;
 668  }
 669  .katex .sizing.reset-size8.size7,
 670  .katex .fontsize-ensurer.reset-size8.size7 {
 671    font-size: 0.83333333em;
 672  }
 673  .katex .sizing.reset-size8.size8,
 674  .katex .fontsize-ensurer.reset-size8.size8 {
 675    font-size: 1em;
 676  }
 677  .katex .sizing.reset-size8.size9,
 678  .katex .fontsize-ensurer.reset-size8.size9 {
 679    font-size: 1.2em;
 680  }
 681  .katex .sizing.reset-size8.size10,
 682  .katex .fontsize-ensurer.reset-size8.size10 {
 683    font-size: 1.44027778em;
 684  }
 685  .katex .sizing.reset-size8.size11,
 686  .katex .fontsize-ensurer.reset-size8.size11 {
 687    font-size: 1.72777778em;
 688  }
 689  .katex .sizing.reset-size9.size1,
 690  .katex .fontsize-ensurer.reset-size9.size1 {
 691    font-size: 0.28935185em;
 692  }
 693  .katex .sizing.reset-size9.size2,
 694  .katex .fontsize-ensurer.reset-size9.size2 {
 695    font-size: 0.34722222em;
 696  }
 697  .katex .sizing.reset-size9.size3,
 698  .katex .fontsize-ensurer.reset-size9.size3 {
 699    font-size: 0.40509259em;
 700  }
 701  .katex .sizing.reset-size9.size4,
 702  .katex .fontsize-ensurer.reset-size9.size4 {
 703    font-size: 0.46296296em;
 704  }
 705  .katex .sizing.reset-size9.size5,
 706  .katex .fontsize-ensurer.reset-size9.size5 {
 707    font-size: 0.52083333em;
 708  }
 709  .katex .sizing.reset-size9.size6,
 710  .katex .fontsize-ensurer.reset-size9.size6 {
 711    font-size: 0.5787037em;
 712  }
 713  .katex .sizing.reset-size9.size7,
 714  .katex .fontsize-ensurer.reset-size9.size7 {
 715    font-size: 0.69444444em;
 716  }
 717  .katex .sizing.reset-size9.size8,
 718  .katex .fontsize-ensurer.reset-size9.size8 {
 719    font-size: 0.83333333em;
 720  }
 721  .katex .sizing.reset-size9.size9,
 722  .katex .fontsize-ensurer.reset-size9.size9 {
 723    font-size: 1em;
 724  }
 725  .katex .sizing.reset-size9.size10,
 726  .katex .fontsize-ensurer.reset-size9.size10 {
 727    font-size: 1.20023148em;
 728  }
 729  .katex .sizing.reset-size9.size11,
 730  .katex .fontsize-ensurer.reset-size9.size11 {
 731    font-size: 1.43981481em;
 732  }
 733  .katex .sizing.reset-size10.size1,
 734  .katex .fontsize-ensurer.reset-size10.size1 {
 735    font-size: 0.24108004em;
 736  }
 737  .katex .sizing.reset-size10.size2,
 738  .katex .fontsize-ensurer.reset-size10.size2 {
 739    font-size: 0.28929605em;
 740  }
 741  .katex .sizing.reset-size10.size3,
 742  .katex .fontsize-ensurer.reset-size10.size3 {
 743    font-size: 0.33751205em;
 744  }
 745  .katex .sizing.reset-size10.size4,
 746  .katex .fontsize-ensurer.reset-size10.size4 {
 747    font-size: 0.38572806em;
 748  }
 749  .katex .sizing.reset-size10.size5,
 750  .katex .fontsize-ensurer.reset-size10.size5 {
 751    font-size: 0.43394407em;
 752  }
 753  .katex .sizing.reset-size10.size6,
 754  .katex .fontsize-ensurer.reset-size10.size6 {
 755    font-size: 0.48216008em;
 756  }
 757  .katex .sizing.reset-size10.size7,
 758  .katex .fontsize-ensurer.reset-size10.size7 {
 759    font-size: 0.57859209em;
 760  }
 761  .katex .sizing.reset-size10.size8,
 762  .katex .fontsize-ensurer.reset-size10.size8 {
 763    font-size: 0.69431051em;
 764  }
 765  .katex .sizing.reset-size10.size9,
 766  .katex .fontsize-ensurer.reset-size10.size9 {
 767    font-size: 0.83317261em;
 768  }
 769  .katex .sizing.reset-size10.size10,
 770  .katex .fontsize-ensurer.reset-size10.size10 {
 771    font-size: 1em;
 772  }
 773  .katex .sizing.reset-size10.size11,
 774  .katex .fontsize-ensurer.reset-size10.size11 {
 775    font-size: 1.19961427em;
 776  }
 777  .katex .sizing.reset-size11.size1,
 778  .katex .fontsize-ensurer.reset-size11.size1 {
 779    font-size: 0.20096463em;
 780  }
 781  .katex .sizing.reset-size11.size2,
 782  .katex .fontsize-ensurer.reset-size11.size2 {
 783    font-size: 0.24115756em;
 784  }
 785  .katex .sizing.reset-size11.size3,
 786  .katex .fontsize-ensurer.reset-size11.size3 {
 787    font-size: 0.28135048em;
 788  }
 789  .katex .sizing.reset-size11.size4,
 790  .katex .fontsize-ensurer.reset-size11.size4 {
 791    font-size: 0.32154341em;
 792  }
 793  .katex .sizing.reset-size11.size5,
 794  .katex .fontsize-ensurer.reset-size11.size5 {
 795    font-size: 0.36173633em;
 796  }
 797  .katex .sizing.reset-size11.size6,
 798  .katex .fontsize-ensurer.reset-size11.size6 {
 799    font-size: 0.40192926em;
 800  }
 801  .katex .sizing.reset-size11.size7,
 802  .katex .fontsize-ensurer.reset-size11.size7 {
 803    font-size: 0.48231511em;
 804  }
 805  .katex .sizing.reset-size11.size8,
 806  .katex .fontsize-ensurer.reset-size11.size8 {
 807    font-size: 0.57877814em;
 808  }
 809  .katex .sizing.reset-size11.size9,
 810  .katex .fontsize-ensurer.reset-size11.size9 {
 811    font-size: 0.69453376em;
 812  }
 813  .katex .sizing.reset-size11.size10,
 814  .katex .fontsize-ensurer.reset-size11.size10 {
 815    font-size: 0.83360129em;
 816  }
 817  .katex .sizing.reset-size11.size11,
 818  .katex .fontsize-ensurer.reset-size11.size11 {
 819    font-size: 1em;
 820  }
 821  .katex .delimsizing.size1 {
 822    font-family: KaTeX_Size1;
 823  }
 824  .katex .delimsizing.size2 {
 825    font-family: KaTeX_Size2;
 826  }
 827  .katex .delimsizing.size3 {
 828    font-family: KaTeX_Size3;
 829  }
 830  .katex .delimsizing.size4 {
 831    font-family: KaTeX_Size4;
 832  }
 833  .katex .delimsizing.mult .delim-size1 > span {
 834    font-family: KaTeX_Size1;
 835  }
 836  .katex .delimsizing.mult .delim-size4 > span {
 837    font-family: KaTeX_Size4;
 838  }
 839  .katex .nulldelimiter {
 840    display: inline-block;
 841    width: 0.12em;
 842  }
 843  .katex .delimcenter {
 844    position: relative;
 845  }
 846  .katex .op-symbol {
 847    position: relative;
 848  }
 849  .katex .op-symbol.small-op {
 850    font-family: KaTeX_Size1;
 851  }
 852  .katex .op-symbol.large-op {
 853    font-family: KaTeX_Size2;
 854  }
 855  .katex .op-limits > .vlist-t {
 856    text-align: center;
 857  }
 858  .katex .accent > .vlist-t {
 859    text-align: center;
 860  }
 861  .katex .accent .accent-body {
 862    position: relative;
 863  }
 864  .katex .accent .accent-body:not(.accent-full) {
 865    width: 0;
 866  }
 867  .katex .overlay {
 868    display: block;
 869  }
 870  .katex .mtable .vertical-separator {
 871    display: inline-block;
 872    margin: 0 -0.025em;
 873    border-right: 0.05em solid;
 874    min-width: 1px;
 875  }
 876  .katex .mtable .vs-dashed {
 877    border-right: 0.05em dashed;
 878  }
 879  .katex .mtable .arraycolsep {
 880    display: inline-block;
 881  }
 882  .katex .mtable .col-align-c > .vlist-t {
 883    text-align: center;
 884  }
 885  .katex .mtable .col-align-l > .vlist-t {
 886    text-align: left;
 887  }
 888  .katex .mtable .col-align-r > .vlist-t {
 889    text-align: right;
 890  }
 891  .katex .svg-align {
 892    text-align: left;
 893  }
 894  .katex svg {
 895    display: block;
 896    position: absolute;
 897    width: 100%;
 898    height: inherit;
 899    fill: currentColor;
 900    stroke: currentColor;
 901    fill-rule: nonzero;
 902    fill-opacity: 1;
 903    stroke-width: 1;
 904    stroke-linecap: butt;
 905    stroke-linejoin: miter;
 906    stroke-miterlimit: 4;
 907    stroke-dasharray: none;
 908    stroke-dashoffset: 0;
 909    stroke-opacity: 1;
 910  }
 911  .katex svg path {
 912    stroke: none;
 913  }
 914  .katex .stretchy {
 915    width: 100%;
 916    display: block;
 917    position: relative;
 918    overflow: hidden;
 919  }
 920  .katex .stretchy::before,
 921  .katex .stretchy::after {
 922    content: "";
 923  }
 924  .katex .hide-tail {
 925    width: 100%;
 926    position: relative;
 927    overflow: hidden;
 928  }
 929  .katex .halfarrow-left {
 930    position: absolute;
 931    left: 0;
 932    width: 50.2%;
 933    overflow: hidden;
 934  }
 935  .katex .halfarrow-right {
 936    position: absolute;
 937    right: 0;
 938    width: 50.2%;
 939    overflow: hidden;
 940  }
 941  .katex .brace-left {
 942    position: absolute;
 943    left: 0;
 944    width: 25.1%;
 945    overflow: hidden;
 946  }
 947  .katex .brace-center {
 948    position: absolute;
 949    left: 25%;
 950    width: 50%;
 951    overflow: hidden;
 952  }
 953  .katex .brace-right {
 954    position: absolute;
 955    right: 0;
 956    width: 25.1%;
 957    overflow: hidden;
 958  }
 959  .katex .x-arrow-pad {
 960    padding: 0 0.5em;
 961  }
 962  .katex .x-arrow,
 963  .katex .mover,
 964  .katex .munder {
 965    text-align: center;
 966  }
 967  .katex .boxpad {
 968    padding: 0 0.3em 0 0.3em;
 969  }
 970  .katex .fbox {
 971    box-sizing: border-box;
 972    border: 0.04em solid black;
 973  }
 974  .katex .fcolorbox {
 975    box-sizing: border-box;
 976    border: 0.04em solid;
 977  }
 978  .katex .cancel-pad {
 979    padding: 0 0.2em 0 0.2em;
 980  }
 981  .katex .cancel-lap {
 982    margin-left: -0.2em;
 983    margin-right: -0.2em;
 984  }
 985  .katex .sout {
 986    border-bottom-style: solid;
 987    border-bottom-width: 0.08em;
 988  }
 989  .katex-display {
 990    display: block;
 991    margin: 1em 0;
 992    text-align: center;
 993  }
 994  .katex-display > .katex {
 995    display: block;
 996    text-align: center;
 997    white-space: nowrap;
 998  }
 999  .katex-display > .katex > .katex-html {
1000    display: block;
1001    position: relative;
1002  }
1003  .katex-display > .katex > .katex-html > .tag {
1004    position: absolute;
1005    right: 0;
1006  }
1007