diff --git a/_includes/head.html b/_includes/head.html
index 929c60b..44da8c9 100644
--- a/_includes/head.html
+++ b/_includes/head.html
@@ -5,12 +5,10 @@
{%- seo -%}
-
{%- feed_meta -%}
{%- if jekyll.environment == 'production' and site.google_analytics -%}
{%- include google-analytics.html -%}
{%- endif -%}
{%- include mathjax.html -%}
- {%- include katex.html -%}
diff --git a/_includes/katex.html b/_includes/katex.html
deleted file mode 100644
index 0423714..0000000
--- a/_includes/katex.html
+++ /dev/null
@@ -1,9 +0,0 @@
-
-
-
-
-
-
-
-
diff --git a/_includes/mathjax.html b/_includes/mathjax.html
index b69b59a..817f1e8 100644
--- a/_includes/mathjax.html
+++ b/_includes/mathjax.html
@@ -11,5 +11,6 @@
});
diff --git a/assets/css/PATkatex.css b/assets/css/PATkatex.css
deleted file mode 100644
index 59de2a8..0000000
--- a/assets/css/PATkatex.css
+++ /dev/null
@@ -1,864 +0,0 @@
-.katex-display {
- display: block;
- margin: 1em 0;
- text-align: center;
-}
-.katex-display > .katex {
- display: inline-block;
- text-align: initial;
-}
-.katex {
- font: normal 1.21em KaTeX_Main, Times New Roman, serif;
- line-height: 1.2;
- white-space: nowrap;
- text-indent: 0;
-}
-.katex .katex-html {
- display: inline-block;
-}
-.katex .katex-mathml {
- position: absolute;
- clip: rect(1px, 1px, 1px, 1px);
- padding: 0;
- border: 0;
- height: 1px;
- width: 1px;
- overflow: hidden;
-}
-.katex .base {
- display: inline-block;
-}
-.katex .strut {
- display: inline-block;
-}
-.katex .mathrm {
- font-style: normal;
-}
-.katex .textit {
- font-style: italic;
-}
-.katex .mathit {
- font-family: KaTeX_Math;
- font-style: italic;
-}
-.katex .mathbf {
- font-family: KaTeX_Main;
- font-weight: bold;
-}
-.katex .amsrm {
- font-family: KaTeX_AMS;
-}
-.katex .mathbb {
- font-family: KaTeX_AMS;
-}
-.katex .mathcal {
- font-family: KaTeX_Caligraphic;
-}
-.katex .mathfrak {
- font-family: KaTeX_Fraktur;
-}
-.katex .mathtt {
- font-family: KaTeX_Typewriter;
-}
-.katex .mathscr {
- font-family: KaTeX_Script;
-}
-.katex .mathsf {
- font-family: KaTeX_SansSerif;
-}
-.katex .mainit {
- font-family: KaTeX_Main;
- font-style: italic;
-}
-.katex .mord + .mop {
- margin-left: 0.16667em;
-}
-.katex .mord + .mbin {
- margin-left: 0.22222em;
-}
-.katex .mord + .mrel {
- margin-left: 0.27778em;
-}
-.katex .mord + .minner {
- margin-left: 0.16667em;
-}
-.katex .mop + .mord {
- margin-left: 0.16667em;
-}
-.katex .mop + .mop {
- margin-left: 0.16667em;
-}
-.katex .mop + .mrel {
- margin-left: 0.27778em;
-}
-.katex .mop + .minner {
- margin-left: 0.16667em;
-}
-.katex .mbin + .mord {
- margin-left: 0.22222em;
-}
-.katex .mbin + .mop {
- margin-left: 0.22222em;
-}
-.katex .mbin + .mopen {
- margin-left: 0.22222em;
-}
-.katex .mbin + .minner {
- margin-left: 0.22222em;
-}
-.katex .mrel + .mord {
- margin-left: 0.27778em;
-}
-.katex .mrel + .mop {
- margin-left: 0.27778em;
-}
-.katex .mrel + .mopen {
- margin-left: 0.27778em;
-}
-.katex .mrel + .minner {
- margin-left: 0.27778em;
-}
-.katex .mclose + .mop {
- margin-left: 0.16667em;
-}
-.katex .mclose + .mbin {
- margin-left: 0.22222em;
-}
-.katex .mclose + .mrel {
- margin-left: 0.27778em;
-}
-.katex .mclose + .minner {
- margin-left: 0.16667em;
-}
-.katex .mpunct + .mord {
- margin-left: 0.16667em;
-}
-.katex .mpunct + .mop {
- margin-left: 0.16667em;
-}
-.katex .mpunct + .mrel {
- margin-left: 0.16667em;
-}
-.katex .mpunct + .mopen {
- margin-left: 0.16667em;
-}
-.katex .mpunct + .mclose {
- margin-left: 0.16667em;
-}
-.katex .mpunct + .mpunct {
- margin-left: 0.16667em;
-}
-.katex .mpunct + .minner {
- margin-left: 0.16667em;
-}
-.katex .minner + .mord {
- margin-left: 0.16667em;
-}
-.katex .minner + .mop {
- margin-left: 0.16667em;
-}
-.katex .minner + .mbin {
- margin-left: 0.22222em;
-}
-.katex .minner + .mrel {
- margin-left: 0.27778em;
-}
-.katex .minner + .mopen {
- margin-left: 0.16667em;
-}
-.katex .minner + .mpunct {
- margin-left: 0.16667em;
-}
-.katex .minner + .minner {
- margin-left: 0.16667em;
-}
-.katex .mord.mtight {
- margin-left: 0;
-}
-.katex .mop.mtight {
- margin-left: 0;
-}
-.katex .mbin.mtight {
- margin-left: 0;
-}
-.katex .mrel.mtight {
- margin-left: 0;
-}
-.katex .mopen.mtight {
- margin-left: 0;
-}
-.katex .mclose.mtight {
- margin-left: 0;
-}
-.katex .mpunct.mtight {
- margin-left: 0;
-}
-.katex .minner.mtight {
- margin-left: 0;
-}
-.katex .mord + .mop.mtight {
- margin-left: 0.16667em;
-}
-.katex .mop + .mord.mtight {
- margin-left: 0.16667em;
-}
-.katex .mop + .mop.mtight {
- margin-left: 0.16667em;
-}
-.katex .mclose + .mop.mtight {
- margin-left: 0.16667em;
-}
-.katex .minner + .mop.mtight {
- margin-left: 0.16667em;
-}
-.katex .reset-textstyle.textstyle {
- font-size: 1em;
-}
-.katex .reset-textstyle.scriptstyle {
- font-size: 0.7em;
-}
-.katex .reset-textstyle.scriptscriptstyle {
- font-size: 0.5em;
-}
-.katex .reset-scriptstyle.textstyle {
- font-size: 1.42857em;
-}
-.katex .reset-scriptstyle.scriptstyle {
- font-size: 1em;
-}
-.katex .reset-scriptstyle.scriptscriptstyle {
- font-size: 0.71429em;
-}
-.katex .reset-scriptscriptstyle.textstyle {
- font-size: 2em;
-}
-.katex .reset-scriptscriptstyle.scriptstyle {
- font-size: 1.4em;
-}
-.katex .reset-scriptscriptstyle.scriptscriptstyle {
- font-size: 1em;
-}
-.katex .style-wrap {
- position: relative;
-}
-.katex .vlist {
- display: inline-block;
-}
-.katex .vlist > span {
- display: block;
- height: 0;
- position: relative;
-}
-.katex .vlist > span > span {
- display: inline-block;
-}
-.katex .vlist .baseline-fix {
- display: inline-table;
- table-layout: fixed;
-}
-.katex .msupsub {
- text-align: left;
-}
-.katex .mfrac > span > span {
- text-align: center;
-}
-.katex .mfrac .frac-line {
- width: 100%;
-}
-.katex .mfrac .frac-line:before {
- border-bottom-style: solid;
- border-bottom-width: 1px;
- content: "";
- display: block;
-}
-.katex .mfrac .frac-line:after {
- border-bottom-style: solid;
- border-bottom-width: 0.04em;
- content: "";
- display: block;
- margin-top: -1px;
-}
-.katex .mspace {
- display: inline-block;
-}
-.katex .mspace.negativethinspace {
- margin-left: -0.16667em;
-}
-.katex .mspace.thinspace {
- width: 0.16667em;
-}
-.katex .mspace.negativemediumspace {
- margin-left: -0.22222em;
-}
-.katex .mspace.mediumspace {
- width: 0.22222em;
-}
-.katex .mspace.thickspace {
- width: 0.27778em;
-}
-.katex .mspace.sixmuspace {
- width: 0.333333em;
-}
-.katex .mspace.eightmuspace {
- width: 0.444444em;
-}
-.katex .mspace.enspace {
- width: 0.5em;
-}
-.katex .mspace.twelvemuspace {
- width: 0.666667em;
-}
-.katex .mspace.quad {
- width: 1em;
-}
-.katex .mspace.qquad {
- width: 2em;
-}
-.katex .llap,
-.katex .rlap {
- width: 0;
- position: relative;
-}
-.katex .llap > .inner,
-.katex .rlap > .inner {
- position: absolute;
-}
-.katex .llap > .fix,
-.katex .rlap > .fix {
- display: inline-block;
-}
-.katex .llap > .inner {
- right: 0;
-}
-.katex .rlap > .inner {
- left: 0;
-}
-.katex .katex-logo .a {
- font-size: 0.75em;
- margin-left: -0.32em;
- position: relative;
- top: -0.2em;
-}
-.katex .katex-logo .t {
- margin-left: -0.23em;
-}
-.katex .katex-logo .e {
- margin-left: -0.1667em;
- position: relative;
- top: 0.2155em;
-}
-.katex .katex-logo .x {
- margin-left: -0.125em;
-}
-.katex .rule {
- display: inline-block;
- border: solid 0;
- position: relative;
-}
-.katex .overline .overline-line,
-.katex .underline .underline-line {
- 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 {
- margin-left: 0.27777778em;
- margin-right: -0.55555556em;
-}
-.katex .sizing,
-.katex .fontsize-ensurer {
- display: inline-block;
-}
-.katex .sizing.reset-size1.size1,
-.katex .fontsize-ensurer.reset-size1.size1 {
- font-size: 1em;
-}
-.katex .sizing.reset-size1.size2,
-.katex .fontsize-ensurer.reset-size1.size2 {
- font-size: 1.4em;
-}
-.katex .sizing.reset-size1.size3,
-.katex .fontsize-ensurer.reset-size1.size3 {
- font-size: 1.6em;
-}
-.katex .sizing.reset-size1.size4,
-.katex .fontsize-ensurer.reset-size1.size4 {
- font-size: 1.8em;
-}
-.katex .sizing.reset-size1.size5,
-.katex .fontsize-ensurer.reset-size1.size5 {
- font-size: 2em;
-}
-.katex .sizing.reset-size1.size6,
-.katex .fontsize-ensurer.reset-size1.size6 {
- font-size: 2.4em;
-}
-.katex .sizing.reset-size1.size7,
-.katex .fontsize-ensurer.reset-size1.size7 {
- font-size: 2.88em;
-}
-.katex .sizing.reset-size1.size8,
-.katex .fontsize-ensurer.reset-size1.size8 {
- font-size: 3.46em;
-}
-.katex .sizing.reset-size1.size9,
-.katex .fontsize-ensurer.reset-size1.size9 {
- font-size: 4.14em;
-}
-.katex .sizing.reset-size1.size10,
-.katex .fontsize-ensurer.reset-size1.size10 {
- font-size: 4.98em;
-}
-.katex .sizing.reset-size2.size1,
-.katex .fontsize-ensurer.reset-size2.size1 {
- font-size: 0.71428571em;
-}
-.katex .sizing.reset-size2.size2,
-.katex .fontsize-ensurer.reset-size2.size2 {
- font-size: 1em;
-}
-.katex .sizing.reset-size2.size3,
-.katex .fontsize-ensurer.reset-size2.size3 {
- font-size: 1.14285714em;
-}
-.katex .sizing.reset-size2.size4,
-.katex .fontsize-ensurer.reset-size2.size4 {
- font-size: 1.28571429em;
-}
-.katex .sizing.reset-size2.size5,
-.katex .fontsize-ensurer.reset-size2.size5 {
- font-size: 1.42857143em;
-}
-.katex .sizing.reset-size2.size6,
-.katex .fontsize-ensurer.reset-size2.size6 {
- font-size: 1.71428571em;
-}
-.katex .sizing.reset-size2.size7,
-.katex .fontsize-ensurer.reset-size2.size7 {
- font-size: 2.05714286em;
-}
-.katex .sizing.reset-size2.size8,
-.katex .fontsize-ensurer.reset-size2.size8 {
- font-size: 2.47142857em;
-}
-.katex .sizing.reset-size2.size9,
-.katex .fontsize-ensurer.reset-size2.size9 {
- font-size: 2.95714286em;
-}
-.katex .sizing.reset-size2.size10,
-.katex .fontsize-ensurer.reset-size2.size10 {
- font-size: 3.55714286em;
-}
-.katex .sizing.reset-size3.size1,
-.katex .fontsize-ensurer.reset-size3.size1 {
- font-size: 0.625em;
-}
-.katex .sizing.reset-size3.size2,
-.katex .fontsize-ensurer.reset-size3.size2 {
- font-size: 0.875em;
-}
-.katex .sizing.reset-size3.size3,
-.katex .fontsize-ensurer.reset-size3.size3 {
- font-size: 1em;
-}
-.katex .sizing.reset-size3.size4,
-.katex .fontsize-ensurer.reset-size3.size4 {
- font-size: 1.125em;
-}
-.katex .sizing.reset-size3.size5,
-.katex .fontsize-ensurer.reset-size3.size5 {
- font-size: 1.25em;
-}
-.katex .sizing.reset-size3.size6,
-.katex .fontsize-ensurer.reset-size3.size6 {
- font-size: 1.5em;
-}
-.katex .sizing.reset-size3.size7,
-.katex .fontsize-ensurer.reset-size3.size7 {
- font-size: 1.8em;
-}
-.katex .sizing.reset-size3.size8,
-.katex .fontsize-ensurer.reset-size3.size8 {
- font-size: 2.1625em;
-}
-.katex .sizing.reset-size3.size9,
-.katex .fontsize-ensurer.reset-size3.size9 {
- font-size: 2.5875em;
-}
-.katex .sizing.reset-size3.size10,
-.katex .fontsize-ensurer.reset-size3.size10 {
- font-size: 3.1125em;
-}
-.katex .sizing.reset-size4.size1,
-.katex .fontsize-ensurer.reset-size4.size1 {
- font-size: 0.55555556em;
-}
-.katex .sizing.reset-size4.size2,
-.katex .fontsize-ensurer.reset-size4.size2 {
- font-size: 0.77777778em;
-}
-.katex .sizing.reset-size4.size3,
-.katex .fontsize-ensurer.reset-size4.size3 {
- font-size: 0.88888889em;
-}
-.katex .sizing.reset-size4.size4,
-.katex .fontsize-ensurer.reset-size4.size4 {
- font-size: 1em;
-}
-.katex .sizing.reset-size4.size5,
-.katex .fontsize-ensurer.reset-size4.size5 {
- font-size: 1.11111111em;
-}
-.katex .sizing.reset-size4.size6,
-.katex .fontsize-ensurer.reset-size4.size6 {
- font-size: 1.33333333em;
-}
-.katex .sizing.reset-size4.size7,
-.katex .fontsize-ensurer.reset-size4.size7 {
- font-size: 1.6em;
-}
-.katex .sizing.reset-size4.size8,
-.katex .fontsize-ensurer.reset-size4.size8 {
- font-size: 1.92222222em;
-}
-.katex .sizing.reset-size4.size9,
-.katex .fontsize-ensurer.reset-size4.size9 {
- font-size: 2.3em;
-}
-.katex .sizing.reset-size4.size10,
-.katex .fontsize-ensurer.reset-size4.size10 {
- font-size: 2.76666667em;
-}
-.katex .sizing.reset-size5.size1,
-.katex .fontsize-ensurer.reset-size5.size1 {
- font-size: 0.5em;
-}
-.katex .sizing.reset-size5.size2,
-.katex .fontsize-ensurer.reset-size5.size2 {
- font-size: 0.7em;
-}
-.katex .sizing.reset-size5.size3,
-.katex .fontsize-ensurer.reset-size5.size3 {
- font-size: 0.8em;
-}
-.katex .sizing.reset-size5.size4,
-.katex .fontsize-ensurer.reset-size5.size4 {
- font-size: 0.9em;
-}
-.katex .sizing.reset-size5.size5,
-.katex .fontsize-ensurer.reset-size5.size5 {
- font-size: 1em;
-}
-.katex .sizing.reset-size5.size6,
-.katex .fontsize-ensurer.reset-size5.size6 {
- font-size: 1.2em;
-}
-.katex .sizing.reset-size5.size7,
-.katex .fontsize-ensurer.reset-size5.size7 {
- font-size: 1.44em;
-}
-.katex .sizing.reset-size5.size8,
-.katex .fontsize-ensurer.reset-size5.size8 {
- font-size: 1.73em;
-}
-.katex .sizing.reset-size5.size9,
-.katex .fontsize-ensurer.reset-size5.size9 {
- font-size: 2.07em;
-}
-.katex .sizing.reset-size5.size10,
-.katex .fontsize-ensurer.reset-size5.size10 {
- font-size: 2.49em;
-}
-.katex .sizing.reset-size6.size1,
-.katex .fontsize-ensurer.reset-size6.size1 {
- font-size: 0.41666667em;
-}
-.katex .sizing.reset-size6.size2,
-.katex .fontsize-ensurer.reset-size6.size2 {
- font-size: 0.58333333em;
-}
-.katex .sizing.reset-size6.size3,
-.katex .fontsize-ensurer.reset-size6.size3 {
- font-size: 0.66666667em;
-}
-.katex .sizing.reset-size6.size4,
-.katex .fontsize-ensurer.reset-size6.size4 {
- font-size: 0.75em;
-}
-.katex .sizing.reset-size6.size5,
-.katex .fontsize-ensurer.reset-size6.size5 {
- font-size: 0.83333333em;
-}
-.katex .sizing.reset-size6.size6,
-.katex .fontsize-ensurer.reset-size6.size6 {
- font-size: 1em;
-}
-.katex .sizing.reset-size6.size7,
-.katex .fontsize-ensurer.reset-size6.size7 {
- font-size: 1.2em;
-}
-.katex .sizing.reset-size6.size8,
-.katex .fontsize-ensurer.reset-size6.size8 {
- font-size: 1.44166667em;
-}
-.katex .sizing.reset-size6.size9,
-.katex .fontsize-ensurer.reset-size6.size9 {
- font-size: 1.725em;
-}
-.katex .sizing.reset-size6.size10,
-.katex .fontsize-ensurer.reset-size6.size10 {
- font-size: 2.075em;
-}
-.katex .sizing.reset-size7.size1,
-.katex .fontsize-ensurer.reset-size7.size1 {
- font-size: 0.34722222em;
-}
-.katex .sizing.reset-size7.size2,
-.katex .fontsize-ensurer.reset-size7.size2 {
- font-size: 0.48611111em;
-}
-.katex .sizing.reset-size7.size3,
-.katex .fontsize-ensurer.reset-size7.size3 {
- font-size: 0.55555556em;
-}
-.katex .sizing.reset-size7.size4,
-.katex .fontsize-ensurer.reset-size7.size4 {
- font-size: 0.625em;
-}
-.katex .sizing.reset-size7.size5,
-.katex .fontsize-ensurer.reset-size7.size5 {
- font-size: 0.69444444em;
-}
-.katex .sizing.reset-size7.size6,
-.katex .fontsize-ensurer.reset-size7.size6 {
- font-size: 0.83333333em;
-}
-.katex .sizing.reset-size7.size7,
-.katex .fontsize-ensurer.reset-size7.size7 {
- font-size: 1em;
-}
-.katex .sizing.reset-size7.size8,
-.katex .fontsize-ensurer.reset-size7.size8 {
- font-size: 1.20138889em;
-}
-.katex .sizing.reset-size7.size9,
-.katex .fontsize-ensurer.reset-size7.size9 {
- font-size: 1.4375em;
-}
-.katex .sizing.reset-size7.size10,
-.katex .fontsize-ensurer.reset-size7.size10 {
- font-size: 1.72916667em;
-}
-.katex .sizing.reset-size8.size1,
-.katex .fontsize-ensurer.reset-size8.size1 {
- font-size: 0.28901734em;
-}
-.katex .sizing.reset-size8.size2,
-.katex .fontsize-ensurer.reset-size8.size2 {
- font-size: 0.40462428em;
-}
-.katex .sizing.reset-size8.size3,
-.katex .fontsize-ensurer.reset-size8.size3 {
- font-size: 0.46242775em;
-}
-.katex .sizing.reset-size8.size4,
-.katex .fontsize-ensurer.reset-size8.size4 {
- font-size: 0.52023121em;
-}
-.katex .sizing.reset-size8.size5,
-.katex .fontsize-ensurer.reset-size8.size5 {
- font-size: 0.57803468em;
-}
-.katex .sizing.reset-size8.size6,
-.katex .fontsize-ensurer.reset-size8.size6 {
- font-size: 0.69364162em;
-}
-.katex .sizing.reset-size8.size7,
-.katex .fontsize-ensurer.reset-size8.size7 {
- font-size: 0.83236994em;
-}
-.katex .sizing.reset-size8.size8,
-.katex .fontsize-ensurer.reset-size8.size8 {
- font-size: 1em;
-}
-.katex .sizing.reset-size8.size9,
-.katex .fontsize-ensurer.reset-size8.size9 {
- font-size: 1.19653179em;
-}
-.katex .sizing.reset-size8.size10,
-.katex .fontsize-ensurer.reset-size8.size10 {
- font-size: 1.43930636em;
-}
-.katex .sizing.reset-size9.size1,
-.katex .fontsize-ensurer.reset-size9.size1 {
- font-size: 0.24154589em;
-}
-.katex .sizing.reset-size9.size2,
-.katex .fontsize-ensurer.reset-size9.size2 {
- font-size: 0.33816425em;
-}
-.katex .sizing.reset-size9.size3,
-.katex .fontsize-ensurer.reset-size9.size3 {
- font-size: 0.38647343em;
-}
-.katex .sizing.reset-size9.size4,
-.katex .fontsize-ensurer.reset-size9.size4 {
- font-size: 0.43478261em;
-}
-.katex .sizing.reset-size9.size5,
-.katex .fontsize-ensurer.reset-size9.size5 {
- font-size: 0.48309179em;
-}
-.katex .sizing.reset-size9.size6,
-.katex .fontsize-ensurer.reset-size9.size6 {
- font-size: 0.57971014em;
-}
-.katex .sizing.reset-size9.size7,
-.katex .fontsize-ensurer.reset-size9.size7 {
- font-size: 0.69565217em;
-}
-.katex .sizing.reset-size9.size8,
-.katex .fontsize-ensurer.reset-size9.size8 {
- font-size: 0.83574879em;
-}
-.katex .sizing.reset-size9.size9,
-.katex .fontsize-ensurer.reset-size9.size9 {
- font-size: 1em;
-}
-.katex .sizing.reset-size9.size10,
-.katex .fontsize-ensurer.reset-size9.size10 {
- font-size: 1.20289855em;
-}
-.katex .sizing.reset-size10.size1,
-.katex .fontsize-ensurer.reset-size10.size1 {
- font-size: 0.20080321em;
-}
-.katex .sizing.reset-size10.size2,
-.katex .fontsize-ensurer.reset-size10.size2 {
- font-size: 0.2811245em;
-}
-.katex .sizing.reset-size10.size3,
-.katex .fontsize-ensurer.reset-size10.size3 {
- font-size: 0.32128514em;
-}
-.katex .sizing.reset-size10.size4,
-.katex .fontsize-ensurer.reset-size10.size4 {
- font-size: 0.36144578em;
-}
-.katex .sizing.reset-size10.size5,
-.katex .fontsize-ensurer.reset-size10.size5 {
- font-size: 0.40160643em;
-}
-.katex .sizing.reset-size10.size6,
-.katex .fontsize-ensurer.reset-size10.size6 {
- font-size: 0.48192771em;
-}
-.katex .sizing.reset-size10.size7,
-.katex .fontsize-ensurer.reset-size10.size7 {
- font-size: 0.57831325em;
-}
-.katex .sizing.reset-size10.size8,
-.katex .fontsize-ensurer.reset-size10.size8 {
- font-size: 0.69477912em;
-}
-.katex .sizing.reset-size10.size9,
-.katex .fontsize-ensurer.reset-size10.size9 {
- font-size: 0.8313253em;
-}
-.katex .sizing.reset-size10.size10,
-.katex .fontsize-ensurer.reset-size10.size10 {
- font-size: 1em;
-}
-.katex .delimsizing.size1 {
- font-family: KaTeX_Size1;
-}
-.katex .delimsizing.size2 {
- font-family: KaTeX_Size2;
-}
-.katex .delimsizing.size3 {
- font-family: KaTeX_Size3;
-}
-.katex .delimsizing.size4 {
- font-family: KaTeX_Size4;
-}
-.katex .delimsizing.mult .delim-size1 > span {
- font-family: KaTeX_Size1;
-}
-.katex .delimsizing.mult .delim-size4 > span {
- font-family: KaTeX_Size4;
-}
-.katex .nulldelimiter {
- display: inline-block;
- width: 0.12em;
-}
-.katex .op-symbol {
- position: relative;
-}
-.katex .op-symbol.small-op {
- font-family: KaTeX_Size1;
-}
-.katex .op-symbol.large-op {
- font-family: KaTeX_Size2;
-}
-.katex .op-limits > .vlist > span {
- text-align: center;
-}
-.katex .accent > .vlist > span {
- text-align: center;
-}
-.katex .accent .accent-body > span {
- width: 0;
-}
-.katex .accent .accent-body.accent-vec > span {
- position: relative;
- left: 0.326em;
-}
-.katex .mtable .vertical-separator {
- display: inline-block;
- margin: 0 -0.025em;
- border-right: 0.05em solid black;
-}
-.katex .mtable .arraycolsep {
- display: inline-block;
-}
-.katex .mtable .col-align-c > .vlist {
- text-align: center;
-}
-.katex .mtable .col-align-l > .vlist {
- text-align: left;
-}
-.katex .mtable .col-align-r > .vlist {
- text-align: right;
-}
diff --git a/source/build.py b/source/build.py
index c8727cd..747a2a3 100755
--- a/source/build.py
+++ b/source/build.py
@@ -7,6 +7,7 @@ import os
import sys
import re
import argparse
+from bs4 import BeautifulSoup
from subprocess import run, PIPE, CalledProcessError
import config
@@ -55,7 +56,21 @@ class FileBuilder:
frontmatter += "---\n\n"
return frontmatter
- def filename(self):
+ def _processkatex(self, html):
+ """
+ replace all the 'katex' class spans with simple latex string
+ """
+ soup = BeautifulSoup(html, "html.parser")
+ katex_spans = soup.find_all("span", class_="katex")
+ for katex_span in katex_spans:
+ katex_span.mrow.decompose()
+ mathstr = katex_span.find("math")
+ mathjax = soup.new_tag("span")
+ mathjax.string = "${}$".format(mathstr.string)
+ katex_span.replace_with(mathjax)
+ return str(soup)
+
+ def _filename(self):
return os.path.join(config.md_dir, "{}{:04}.md".format(self.c, self.i))
def read_html(self):
@@ -70,7 +85,8 @@ class FileBuilder:
index=self.i,
title=lines[0].rstrip(),
lang="(C语言实现)")
- content = lines[1:]
+ content = self._processkatex("".join(lines[1:]))
+
return title, content
def read_code(self):