mirror of
https://git.qoto.org/fedipage/fedipage.git
synced 2024-11-17 07:48:21 +01:00
79 lines
2.1 KiB
CSS
79 lines
2.1 KiB
CSS
@font-face {
|
|
font-family: KaTeX_Typewriter_Replace;
|
|
src: url(/fonts/KaTeX_Typewriter-Regular.eot);
|
|
src: url(/fonts/KaTeX_Typewriter-Regular.eot#iefix) format("embedded-opentype"),
|
|
url(/fonts/KaTeX_Typewriter-Regular.woff2) format("woff2"),
|
|
url(/fonts/KaTeX_Typewriter-Regular.woff) format("woff"),
|
|
url(/fonts/KaTeX_Typewriter-Regular.ttf) format("ttf");
|
|
font-weight: 400;
|
|
font-style: normal;
|
|
}
|
|
@font-face {
|
|
font-family: KaTeX_SansSerif_Replace;
|
|
src: url(/fonts/KaTeX_SansSerif-Bold.eot);
|
|
src: url(/fonts/KaTeX_SansSerif-Bold.eot#iefix) format("embedded-opentype"),
|
|
url(/fonts/KaTeX_SansSerif-Bold.woff2) format("woff2"),
|
|
url(/fonts/KaTeX_SansSerif-Bold.woff) format("woff"),
|
|
url(/fonts/KaTeX_SansSerif-Bold.ttf) format("ttf");
|
|
font-weight: 700;
|
|
font-style: normal;
|
|
}
|
|
.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: 0.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 .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: 0.8em;
|
|
line-height: 1em;
|
|
width: 1.6em;
|
|
text-align: right;
|
|
display: inline-block;
|
|
position: relative;
|
|
padding-right: 0.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;
|
|
}
|