1
0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2024-11-27 20:10:03 +00:00
TiddlyWiki5/plugins/tiddlywiki/katex/styles.tid
Jeremy Ruston 338dc11436
Show stylesheets as rendered plain text with highlighting (#6778)
* First commit

* Enable syntax highlighting when highlight plugin is installed

* Use highlighting for the control panel stylesheet listings
2022-07-14 09:00:56 +01:00

170 lines
4.2 KiB
Plaintext

title: $:/plugins/tiddlywiki/katex/styles
tags: [[$:/tags/Stylesheet]]
\rules only filteredtranscludeinline transcludeinline macrodef macrocallinline
/* KaTeX styles */
{{$:/plugins/tiddlywiki/katex/katex.min.css}}
/* Force text-rendering (see https://github.com/Jermolene/TiddlyWiki5/issues/2500) */
.katex {
text-rendering: auto;
}
/* Reset Automatic Numbering on a per tiddler basis */
.tc-tiddler-frame {
counter-reset: katexEqnNo;
}
/* Avoid TW5's max-width: 100% */
.katex svg {
max-width: initial;
}
/* Override font URLs */
@font-face {
font-family: KaTeX_AMS;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_AMS-Regular.woff'>>) format('woff');
font-weight: 400;
font-style: normal;
}
@font-face {
font-family: KaTeX_Caligraphic;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Caligraphic-Bold.woff'>>) format('woff');
font-weight: 700;
font-style: normal;
}
@font-face {
font-family: KaTeX_Caligraphic;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Caligraphic-Regular.woff'>>) format('woff');
font-weight: 400;
font-style: normal;
}
@font-face {
font-family: KaTeX_Fraktur;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Fraktur-Bold.woff'>>) format('woff');
font-weight: 700;
font-style: normal;
}
@font-face {
font-family: KaTeX_Fraktur;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Fraktur-Regular.woff'>>) format('woff');
font-weight: 400;
font-style: normal;
}
@font-face {
font-family: KaTeX_Main;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Main-Bold.woff'>>) format('woff');
font-weight: 700;
font-style: normal;
}
@font-face {
font-family: KaTeX_Main;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Main-BoldItalic.woff'>>) format('woff');
font-weight: 700;
font-style: italic;
}
@font-face {
font-family: KaTeX_Main;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Main-Italic.woff'>>) format('woff');
font-weight: 400;
font-style: italic;
}
@font-face {
font-family: KaTeX_Main;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Main-Regular.woff'>>) format('woff');
font-weight: 400;
font-style: normal;
}
@font-face {
font-family: KaTeX_Math;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Math-BoldItalic.woff'>>) format('woff');
font-weight: 700;
font-style: italic;
}
@font-face {
font-family: KaTeX_Math;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Math-Italic.woff'>>) format('woff');
font-weight: 400;
font-style: italic;
}
@font-face {
font-family: KaTeX_SansSerif;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_SansSerif-Bold.woff'>>) format('woff');
font-weight: 700;
font-style: normal;
}
@font-face {
font-family: KaTeX_SansSerif;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_SansSerif-Italic.woff'>>) format('woff');
font-weight: 400;
font-style: italic;
}
@font-face {
font-family: KaTeX_SansSerif;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_SansSerif-Regular.woff'>>) format('woff');
font-weight: 400;
font-style: normal;
}
@font-face {
font-family: KaTeX_Script;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Script-Regular.woff'>>) format('woff');
font-weight: 400;
font-style: normal;
}
@font-face {
font-family: KaTeX_Size1;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Size1-Regular.woff'>>) format('woff');
font-weight: 400;
font-style: normal;
}
@font-face {
font-family: KaTeX_Size2;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Size2-Regular.woff'>>) format('woff');
font-weight: 400;
font-style: normal;
}
@font-face {
font-family: KaTeX_Size3;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Size3-Regular.woff'>>) format('woff');
font-weight: 400;
font-style: normal;
}
@font-face {
font-family: KaTeX_Size4;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Size4-Regular.woff'>>) format('woff');
font-weight: 400;
font-style: normal;
}
@font-face {
font-family: KaTeX_Typewriter;
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_Typewriter-Regular.woff'>>) format('woff');
font-weight: 400;
font-style: normal;
}