From 470238acbf71e5bc44ada1f9e185af04d296b00b Mon Sep 17 00:00:00 2001 From: Jermolene Date: Wed, 9 Sep 2015 13:56:52 +0100 Subject: [PATCH] Fixes to KaTeX v0.5.1 upgrade MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit I hadn’t noticed that the fonts had changed… --- .../tiddlywiki/katex/files/tiddlywiki.files | 54 ++++++++ plugins/tiddlywiki/katex/styles.tid | 120 +++++------------- 2 files changed, 86 insertions(+), 88 deletions(-) diff --git a/plugins/tiddlywiki/katex/files/tiddlywiki.files b/plugins/tiddlywiki/katex/files/tiddlywiki.files index 522f9e7fe..1924dbd09 100644 --- a/plugins/tiddlywiki/katex/files/tiddlywiki.files +++ b/plugins/tiddlywiki/katex/files/tiddlywiki.files @@ -6,6 +6,30 @@ "type": "application/font-woff", "title": "$:/plugins/tiddlywiki/katex/fonts/KaTeX_AMS-Regular.woff" } + },{ + "file": "fonts/KaTeX_Caligraphic-Bold.woff", + "fields": { + "type": "application/font-woff", + "title": "$:/plugins/tiddlywiki/katex/fonts/KaTeX_Caligraphic-Bold.woff" + } + },{ + "file": "fonts/KaTeX_Caligraphic-Regular.woff", + "fields": { + "type": "application/font-woff", + "title": "$:/plugins/tiddlywiki/katex/fonts/KaTeX_Caligraphic-Regular.woff" + } + },{ + "file": "fonts/KaTeX_Fraktur-Bold.woff", + "fields": { + "type": "application/font-woff", + "title": "$:/plugins/tiddlywiki/katex/fonts/KaTeX_Fraktur-Bold.woff" + } + },{ + "file": "fonts/KaTeX_Fraktur-Regular.woff", + "fields": { + "type": "application/font-woff", + "title": "$:/plugins/tiddlywiki/katex/fonts/KaTeX_Fraktur-Regular.woff" + } },{ "file": "fonts/KaTeX_Main-Bold.woff", "fields": { @@ -42,6 +66,30 @@ "type": "application/font-woff", "title": "$:/plugins/tiddlywiki/katex/fonts/KaTeX_Math-Regular.woff" } + },{ + "file": "fonts/KaTeX_SansSerif-Bold.woff", + "fields": { + "type": "application/font-woff", + "title": "$:/plugins/tiddlywiki/katex/fonts/KaTeX_SansSerif-Bold.woff" + } + },{ + "file": "fonts/KaTeX_SansSerif-Italic.woff", + "fields": { + "type": "application/font-woff", + "title": "$:/plugins/tiddlywiki/katex/fonts/KaTeX_SansSerif-Italic.woff" + } + },{ + "file": "fonts/KaTeX_SansSerif-Regular.woff", + "fields": { + "type": "application/font-woff", + "title": "$:/plugins/tiddlywiki/katex/fonts/KaTeX_SansSerif-Regular.woff" + } + },{ + "file": "fonts/KaTeX_Script-Regular.woff", + "fields": { + "type": "application/font-woff", + "title": "$:/plugins/tiddlywiki/katex/fonts/KaTeX_Script-Regular.woff" + } },{ "file": "fonts/KaTeX_Size1-Regular.woff", "fields": { @@ -66,6 +114,12 @@ "type": "application/font-woff", "title": "$:/plugins/tiddlywiki/katex/fonts/KaTeX_Size4-Regular.woff" } + },{ + "file": "fonts/KaTeX_Typewriter-Regular.woff", + "fields": { + "type": "application/font-woff", + "title": "$:/plugins/tiddlywiki/katex/fonts/KaTeX_Typewriter-Regular.woff" + } },{ "file": "katex.without-font-face.min.css", "fields": { diff --git a/plugins/tiddlywiki/katex/styles.tid b/plugins/tiddlywiki/katex/styles.tid index e6bbf1966..b1a2180a2 100644 --- a/plugins/tiddlywiki/katex/styles.tid +++ b/plugins/tiddlywiki/katex/styles.tid @@ -10,169 +10,113 @@ tags: [[$:/tags/Stylesheet]] /* Override font URLs */ @font-face { - font-family: 'KaTeX_AMS'; + font-family: KaTeX_AMS; src: url(<>) format('woff'); - font-weight: normal; + font-weight: 400; font-style: normal; } @font-face { - font-family: 'KaTeX_Caligraphic'; + font-family: KaTeX_Caligraphic; src: url(<>) format('woff'); - font-weight: bold; + font-weight: 700; font-style: normal; } @font-face { - font-family: 'KaTeX_Caligraphic'; + font-family: KaTeX_Caligraphic; src: url(<>) format('woff'); - font-weight: normal; + font-weight: 400; font-style: normal; } @font-face { - font-family: 'KaTeX_Fraktur'; + font-family: KaTeX_Fraktur; src: url(<>) format('woff'); - font-weight: bold; + font-weight: 700; font-style: normal; } @font-face { - font-family: 'KaTeX_Fraktur'; + font-family: KaTeX_Fraktur; src: url(<>) format('woff'); - font-weight: normal; + font-weight: 400; font-style: normal; } @font-face { - font-family: 'KaTeX_Greek'; - src: url(<>) format('woff'); - font-weight: bold; - font-style: normal; -} - -@font-face { - font-family: 'KaTeX_Greek'; - src: url(<>) format('woff'); - font-weight: bold; - font-style: italic; -} - -@font-face { - font-family: 'KaTeX_Greek'; - src: url(<>) format('woff'); - font-weight: normal; - font-style: italic; -} - -@font-face { - font-family: 'KaTeX_Greek'; - src: url(<>) format('woff'); - font-weight: normal; - font-style: normal; -} - -@font-face { - font-family: 'KaTeX_Main'; + font-family: KaTeX_Main; src: url(<>) format('woff'); - font-weight: bold; + font-weight: 700; font-style: normal; } @font-face { - font-family: 'KaTeX_Main'; + font-family: KaTeX_Main; src: url(<>) format('woff'); - font-weight: normal; + font-weight: 400; font-style: italic; } @font-face { - font-family: 'KaTeX_Main'; + font-family: KaTeX_Main; src: url(<>) format('woff'); - font-weight: normal; + font-weight: 400; font-style: normal; } @font-face { - font-family: 'KaTeX_Math'; - src: url(<>) format('woff'); - font-weight: bold; - font-style: italic; -} - -@font-face { - font-family: 'KaTeX_Math'; + font-family: KaTeX_Math; src: url(<>) format('woff'); - font-weight: normal; + font-weight: 400; font-style: italic; } @font-face { - font-family: 'KaTeX_Math'; - src: url(<>) format('woff'); - font-weight: normal; - font-style: normal; -} - -@font-face { - font-family: 'KaTeX_SansSerif'; - src: url(<>) format('woff'); - font-weight: bold; - font-style: normal; -} - -@font-face { - font-family: 'KaTeX_SansSerif'; - src: url(<>) format('woff'); - font-weight: normal; - font-style: italic; -} - -@font-face { - font-family: 'KaTeX_SansSerif'; + font-family: KaTeX_SansSerif; src: url(<>) format('woff'); - font-weight: normal; + font-weight: 400; font-style: normal; } @font-face { - font-family: 'KaTeX_Script'; + font-family: KaTeX_Script; src: url(<>) format('woff'); - font-weight: normal; + font-weight: 400; font-style: normal; } @font-face { - font-family: 'KaTeX_Size1'; + font-family: KaTeX_Size1; src: url(<>) format('woff'); - font-weight: normal; + font-weight: 400; font-style: normal; } @font-face { - font-family: 'KaTeX_Size2'; + font-family: KaTeX_Size2; src: url(<>) format('woff'); - font-weight: normal; + font-weight: 400; font-style: normal; } @font-face { - font-family: 'KaTeX_Size3'; + font-family: KaTeX_Size3; src: url(<>) format('woff'); - font-weight: normal; + font-weight: 400; font-style: normal; } @font-face { - font-family: 'KaTeX_Size4'; + font-family: KaTeX_Size4; src: url(<>) format('woff'); - font-weight: normal; + font-weight: 400; font-style: normal; } @font-face { - font-family: 'KaTeX_Typewriter'; + font-family: KaTeX_Typewriter; src: url(<>) format('woff'); - font-weight: normal; + font-weight: 400; font-style: normal; }