2023-03-13 07:05:19 +00:00
|
|
|
/*
|
|
|
|
|
|
|
|
|
|
This CSS file will be included with your plugin, and
|
|
|
|
|
available in the app when your plugin is enabled.
|
|
|
|
|
|
|
|
|
|
If your plugin does not need CSS, delete this file.
|
|
|
|
|
|
|
|
|
|
*/
|
2023-03-13 11:40:20 +00:00
|
|
|
|
|
|
|
|
@import url(https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.11.1/katex.min.css);
|
|
|
|
|
|
|
|
|
|
.ps-root {
|
|
|
|
|
font-family: KaTeX_Main, 'Times New Roman', Times, serif;
|
|
|
|
|
font-size: 1em;
|
|
|
|
|
font-weight: 100;
|
|
|
|
|
-webkit-font-smoothing: antialiased !important
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.ps-root .ps-algorithm {
|
|
|
|
|
margin: .8em 0;
|
|
|
|
|
border-top: 3px solid #000;
|
|
|
|
|
border-bottom: 2px solid #000
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.ps-root .ps-algorithm.with-caption>.ps-line:first-child {
|
|
|
|
|
border-bottom: 2px solid #000
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.ps-root .katex {
|
|
|
|
|
text-indent: 0;
|
|
|
|
|
font-size: 1em
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.ps-root .MathJax,
|
|
|
|
|
.ps-root .MathJax_CHTML {
|
|
|
|
|
text-indent: 0;
|
|
|
|
|
font-size: 1em !important
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.ps-root .ps-line {
|
|
|
|
|
margin: 0;
|
|
|
|
|
padding: 0;
|
|
|
|
|
line-height: 1.2
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.ps-root .ps-funcname {
|
|
|
|
|
font-family: KaTeX_Main, 'Times New Roman', Times, serif;
|
|
|
|
|
font-weight: 400;
|
|
|
|
|
font-variant: small-caps;
|
|
|
|
|
font-style: normal;
|
|
|
|
|
text-transform: none
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.ps-root .ps-keyword {
|
|
|
|
|
font-family: KaTeX_Main, 'Times New Roman', Times, serif;
|
|
|
|
|
font-weight: 700;
|
|
|
|
|
font-variant: normal;
|
|
|
|
|
font-style: normal;
|
|
|
|
|
text-transform: none
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.ps-root .ps-comment {
|
|
|
|
|
font-family: KaTeX_Main, 'Times New Roman', Times, serif;
|
|
|
|
|
font-weight: 400;
|
|
|
|
|
font-variant: normal;
|
|
|
|
|
font-style: normal;
|
|
|
|
|
text-transform: none
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.ps-root .ps-linenum {
|
|
|
|
|
font-size: .8em;
|
|
|
|
|
line-height: 1em;
|
|
|
|
|
width: 1.6em;
|
|
|
|
|
text-align: right;
|
|
|
|
|
display: inline-block;
|
|
|
|
|
position: relative;
|
|
|
|
|
padding-right: .3em
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.ps-root .ps-algorithmic.with-linenum .ps-line.ps-code {
|
|
|
|
|
text-indent: -1.6em
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.ps-root .ps-algorithmic.with-linenum .ps-line.ps-code>span {
|
|
|
|
|
text-indent: 0
|
|
|
|
|
}
|