clone/TiddlyWiki5
1
0
Fork 0
mirror of https://github.com/TiddlyWiki/TiddlyWiki5.git synced 2026-05-03 20:16:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update katex to latest 0.15.3 (#6671)

Browse Source 
* feat: update snippet fields

https://github.com/Jermolene/TiddlyWiki5/discussions/6670

* chore: upgrade files

* docs: update readme

* fix: usage of mhchem

* fix: add back katex.without-font-face.min.css

https://github.com/Jermolene/TiddlyWiki5/pull/6671#issuecomment-1116287404

* style: format json with 4 space

* style: format json with 1 space

* style: restore old format

* feat: update css by using new one and delete font face

* update developer info

* move implementation notes to plugin

* update TW style tiddler

* update katexdemo edition

* chore: delete unused files

* Update developer.tid

* Update developer.tid

Co-authored-by: pmario <pmariojo@gmail.com>
This commit is contained in:
lin onetwo
2022-07-09 15:37:47 +08:00
committed by GitHub
parent 0112d04033
commit 2f817e4293
83 changed files with 141 additions and 19400 deletions
Download Patch File Download Diff File Expand all files Collapse all files

30
plugins/tiddlywiki/katex/ImplementationNotes.tid Normal file
View File

@@ -0,0 +1,30 @@
title: $:/plugins/tiddlywiki/katex/ImplementationNotes
! CSS Handling
The ''original CSS from KaTeX'' includes a number of font definitions in this format:
```
@font-face {
font-family: 'KaTeX_AMS';
src: url('fonts/KaTeX_AMS-Regular.eot');
src: url('fonts/KaTeX_AMS-Regular.eot?#iefix') format('embedded-opentype'),
url('fonts/KaTeX_AMS-Regular.woff') format('woff'),
url('fonts/KaTeX_AMS-Regular.ttf') format('truetype');
font-weight: normal;
font-style: normal;
}
```
These definitions are currently ''removed manually'' from [[$:/plugins/tiddlywiki/katex/katex.min.css]] so that they can be redefined as data URIs using TiddlyWiki's macro notation in $:/plugins/tiddlywiki/katex/styles
```
@font-face {
font-family: 'KaTeX_AMS';
src: url(<<datauri '$:/plugins/tiddlywiki/katex/fonts/KaTeX_AMS-Regular.woff'>>) format('woff');
font-weight: normal;
font-style: normal;
}
```
Note that the plugin currently only embeds the WOFF format fonts, which seems to be sufficient for most browsers.