From 67147b18ac52a923eaf39f04e2c00c2e776d3e2b Mon Sep 17 00:00:00 2001 From: Kevin Barabash Date: Sat, 4 Jul 2015 15:20:05 -0600 Subject: [PATCH] Adds font metrics to support font commands. This is part 1 of 3. Rendering, screenshots, MathML, and unit tests will follow in susbequent pull requests. --- metrics/extract_tfms.py | 18 +- metrics/mapping.pl | 110 ++++++++++- metrics/parse_tfm.py | 14 +- src/fontMetricsData.json | 400 +++++++++++++++++++++++++++++++++++++++ static/fonts.less | 18 +- static/katex.less | 34 ++++ 6 files changed, 579 insertions(+), 15 deletions(-) diff --git a/metrics/extract_tfms.py b/metrics/extract_tfms.py index 4708cf33c..fac5f2a68 100755 --- a/metrics/extract_tfms.py +++ b/metrics/extract_tfms.py @@ -31,7 +31,11 @@ def main(): 'cmsy10.tfm', 'cmti10.tfm', 'msam10.tfm', - 'msbm10.tfm' + 'msbm10.tfm', + 'eufm10.tfm', + 'cmtt10.tfm', + 'rsfs10.tfm', + 'cmss10.tfm', ] # Extracted by running `\font\a=` and then `\showthe\skewchar\a` in @@ -48,7 +52,11 @@ def main(): 'cmsy10': 48, 'cmti10': None, 'msam10': None, - 'msbm10': None + 'msbm10': None, + 'eufm10': None, + 'cmtt10': None, + 'rsfs10': None, + 'cmss10': None, } font_name_to_tfm = {} @@ -68,7 +76,11 @@ def main(): tex_char_num = int(char_data['char']) yshift = float(char_data['yshift']) - tfm_char = font_name_to_tfm[font].get_char_metrics(tex_char_num) + if family == "Script-Regular": + tfm_char = font_name_to_tfm[font].get_char_metrics(tex_char_num, + fix_rsfs=True) + else: + tfm_char = font_name_to_tfm[font].get_char_metrics(tex_char_num) height = round(tfm_char.height + yshift / 1000.0, 5) depth = round(tfm_char.depth - yshift / 1000.0, 5) diff --git a/metrics/mapping.pl b/metrics/mapping.pl index 1a346657b..bc779f5da 100755 --- a/metrics/mapping.pl +++ b/metrics/mapping.pl @@ -153,7 +153,11 @@ $map{cmmi10} = { "Main-Italic" => [ 0x7B => 0x131, # \imath 0x7C => 0x237, # \jmath - ] + ], + + "Caligraphic-Regular" => [ + [0x30,0x39] => 0x30, # Oldstyle 0-9 + ], }; $map{cmsy10} = { @@ -257,6 +261,10 @@ $map{cmsy10} = { "Math-Italic" => [ 0x36 => 0x2F # \not ], + + "Caligraphic-Regular" => [ + [0x41,0x5A] => 0x41, # A-Z + ], }; $map{cmex10} = { @@ -939,6 +947,106 @@ $map{msbm10} = { ], }; +$map{eufm10} = { + "Fraktur-Regular" => [ + [0,7] => 0xE300, # variants + 0x12 => 0x2018, # left quote + 0x13 => 0x2019, # right quote + 0x21 => 0x21, # ! + [0x26,0x2F] => 0x26, # &, ', (, ), *, +, comma, -, ., / + [0x30,0x39] => 0x30, # 0-9 + [0x3A,0x3B] => 0x3A, # :, ; + 0x3D => 0x3D, # = + 0x3F => 0x3F, # ? + [0x41,0x5A] => 0x41, # A-Z + 0x5B => 0x5B, # [ + [0x5D,0x5E] => 0x5D, # ], ^ + [0x61,0x7A] => 0x61, # a-z + 0x7D => 0x22, # " + ], +}; + +$map{cmtt10} = { + "Typewriter-Regular" => [ + [0,1] => 0x393, # \Gamma, \Delta + 2 => 0x398, # \Theta + 3 => 0x39B, # \Lambda + 4 => 0x39E, # \Xi + 5 => 0x3A0, # \Pi + 6 => 0x3A3, # \Sigma + [7,8] => 0x3A5, # \Upsilon, \Phi + [9,0xA] => 0x3A8, # \Psi, \Omega + 0xD => 0x2032, # ' + + 0x10 => 0x131, # \imath (roman) + 0x11 => 0x237, # \jmath (roman) + 0x12 => [0x300,-525,0], # \grave (combining) + 0x13 => [0x301,-525,0], # \acute (combining) + 0x14 => [0x30C,-525,0], # \check (combining) + 0x15 => [0x306,-525,0], # \breve (combining) + 0x16 => [0x304,-525,0], # \bar (combining) + 0x17 => [0x30A,-525,0], # ring above (combining) + + [0x21,0x7F] => 0x21, + + 0x27 => 2018, # left quote + 0x60 => 2019, # right quote + 0x5E => [0x302,-525,0], # \hat (combining) + 0x7E => [0x303,-525,0], # \tilde (combining) + 0x7F => [0x308,-525,0], # \ddot (combining) + ], +}; + +$map{rsfs10} = { + "Script-Regular" => [ + [0x41,0x5A] => 0x41, # A-Z + ], +}; + +$map{cmss10} = { + "SansSerif-Regular" => [ + [0,1] => 0x393, # \Gamma, \Delta + 2 => 0x398, # \Theta + 3 => 0x39B, # \Lambda + 4 => 0x39E, # \Xi + 5 => 0x3A0, # \Pi + 6 => 0x3A3, # \Sigma + [7,8] => 0x3A5, # \Upsilon, \Phi + [9,0xA] => 0x3A8, # \Psi, \Omega + + 0x10 => 0x131, # \imath (roman) + 0x11 => 0x237, # \jmath (roman) + 0x12 => [0x300,-500,0], # \grave (combining) + 0x13 => [0x301,-500,0], # \acute (combining) + 0x14 => [0x30C,-500,0], # \check (combining) + 0x15 => [0x306,-500,0], # \breve (combining) + 0x16 => [0x304,-500,0], # \bar (combining) + 0x17 => [0x30A,-542,0], # ring above (combining) + + [0x21,0x2F] => 0x21, # !, ", #, $, %, &, ', (, ), *, +, comma, -, ., / + 0x22 => 0x201D, # " + 0x27 => 0x2019, # ' + [0x30,0x39] => 0x30, # 0-9 + [0x3A,0x3B] => 0x3A, # :, ; + 0x3D => 0x3D, # = + [0x3F,0x40] => 0x3F, # ?, @ + [0x41,0x5A] => 0x41, # A-Z + 0x5B => 0x5B, # [ + 0x5C => 0x201C, # `` + [0x5D,0x5E] => 0x5D, # ], ^ + 0x5E => [0x302,-500,0], # \hat (combining) + 0x5F => [0x307,-389,0], # \dot (combining) + 0x60 => 0x2018, # ` + [0x61,0x7A] => 0x61, # a-z + [0x7B,0x7C] => 0x2013, # \endash, \emdash + 0x7B => [0x5F,0,-350], # underline + 0x7D => [0x30B,-500,0], # double acute (combining) + 0x7E => [0x7E,0,-350], # ~ + 0x7E => [0x303,-500,0], # \tilde (combining) + 0x7F => [0x308,-500,0], # \ddot (combining) + ], +}; + foreach $cmfont (keys %map) { foreach $mjfont (keys %{$map{$cmfont}}) { $style = $mjfont; $style =~ s/.*?(-|$)//; $style = "Regular" unless $style; diff --git a/metrics/parse_tfm.py b/metrics/parse_tfm.py index e543cae85..56f2db085 100644 --- a/metrics/parse_tfm.py +++ b/metrics/parse_tfm.py @@ -64,11 +64,21 @@ class TfmFile(object): self.ligkern_program = LigKernProgram(ligkern_table) self.kern_table = kern_table - def get_char_metrics(self, char_num): + def get_char_metrics(self, char_num, fix_rsfs=False): + """Return glyph metrics for a unicode code point. + + Arguments: + char_num: a unicode code point + fix_rsfs: adjust for rsfs10.tfm's different indexing system + """ if char_num < self.start_char or char_num > self.end_char: raise RuntimeError("Invalid character number") - info = self.char_info[char_num + self.start_char] + if fix_rsfs: + # all of the char_nums contained start from zero in rsfs10.tfm + info = self.char_info[char_num - self.start_char] + else: + info = self.char_info[char_num + self.start_char] char_kern_table = {} if info.has_ligkern(): diff --git a/src/fontMetricsData.json b/src/fontMetricsData.json index 35188677a..cdbdaaff4 100644 --- a/src/fontMetricsData.json +++ b/src/fontMetricsData.json @@ -256,6 +256,137 @@ "57370": {"depth": 0.13597, "height": 0.63597, "italic": 0.0, "skew": 0.0}, "57371": {"depth": 0.13597, "height": 0.63597, "italic": 0.0, "skew": 0.0} }, +"Caligraphic-Regular": { + "48": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "49": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "50": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "51": {"depth": 0.19444, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "52": {"depth": 0.19444, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "53": {"depth": 0.19444, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "54": {"depth": 0.0, "height": 0.64444, "italic": 0.0, "skew": 0.0}, + "55": {"depth": 0.19444, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "56": {"depth": 0.0, "height": 0.64444, "italic": 0.0, "skew": 0.0}, + "57": {"depth": 0.19444, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "65": {"depth": 0.0, "height": 0.68333, "italic": 0.0, "skew": 0.19445}, + "66": {"depth": 0.0, "height": 0.68333, "italic": 0.03041, "skew": 0.13889}, + "67": {"depth": 0.0, "height": 0.68333, "italic": 0.05834, "skew": 0.13889}, + "68": {"depth": 0.0, "height": 0.68333, "italic": 0.02778, "skew": 0.08334}, + "69": {"depth": 0.0, "height": 0.68333, "italic": 0.08944, "skew": 0.11111}, + "70": {"depth": 0.0, "height": 0.68333, "italic": 0.09931, "skew": 0.11111}, + "71": {"depth": 0.09722, "height": 0.68333, "italic": 0.0593, "skew": 0.11111}, + "72": {"depth": 0.0, "height": 0.68333, "italic": 0.00965, "skew": 0.11111}, + "73": {"depth": 0.0, "height": 0.68333, "italic": 0.07382, "skew": 0.0}, + "74": {"depth": 0.09722, "height": 0.68333, "italic": 0.18472, "skew": 0.16667}, + "75": {"depth": 0.0, "height": 0.68333, "italic": 0.01445, "skew": 0.05556}, + "76": {"depth": 0.0, "height": 0.68333, "italic": 0.0, "skew": 0.13889}, + "77": {"depth": 0.0, "height": 0.68333, "italic": 0.0, "skew": 0.13889}, + "78": {"depth": 0.0, "height": 0.68333, "italic": 0.14736, "skew": 0.08334}, + "79": {"depth": 0.0, "height": 0.68333, "italic": 0.02778, "skew": 0.11111}, + "80": {"depth": 0.0, "height": 0.68333, "italic": 0.08222, "skew": 0.08334}, + "81": {"depth": 0.09722, "height": 0.68333, "italic": 0.0, "skew": 0.11111}, + "82": {"depth": 0.0, "height": 0.68333, "italic": 0.0, "skew": 0.08334}, + "83": {"depth": 0.0, "height": 0.68333, "italic": 0.075, "skew": 0.13889}, + "84": {"depth": 0.0, "height": 0.68333, "italic": 0.25417, "skew": 0.0}, + "85": {"depth": 0.0, "height": 0.68333, "italic": 0.09931, "skew": 0.08334}, + "86": {"depth": 0.0, "height": 0.68333, "italic": 0.08222, "skew": 0.0}, + "87": {"depth": 0.0, "height": 0.68333, "italic": 0.08222, "skew": 0.08334}, + "88": {"depth": 0.0, "height": 0.68333, "italic": 0.14643, "skew": 0.13889}, + "89": {"depth": 0.09722, "height": 0.68333, "italic": 0.08222, "skew": 0.08334}, + "90": {"depth": 0.0, "height": 0.68333, "italic": 0.07944, "skew": 0.13889} +}, +"Fraktur-Regular": { + "33": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "34": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "38": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "39": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "40": {"depth": 0.24982, "height": 0.74947, "italic": 0.0, "skew": 0.0}, + "41": {"depth": 0.24982, "height": 0.74947, "italic": 0.0, "skew": 0.0}, + "42": {"depth": 0.0, "height": 0.62119, "italic": 0.0, "skew": 0.0}, + "43": {"depth": 0.08319, "height": 0.58283, "italic": 0.0, "skew": 0.0}, + "44": {"depth": 0.0, "height": 0.10803, "italic": 0.0, "skew": 0.0}, + "45": {"depth": 0.08319, "height": 0.58283, "italic": 0.0, "skew": 0.0}, + "46": {"depth": 0.0, "height": 0.10803, "italic": 0.0, "skew": 0.0}, + "47": {"depth": 0.24982, "height": 0.74947, "italic": 0.0, "skew": 0.0}, + "48": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "49": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "50": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "51": {"depth": 0.18906, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "52": {"depth": 0.18906, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "53": {"depth": 0.18906, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "54": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "55": {"depth": 0.18906, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "56": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "57": {"depth": 0.18906, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "58": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "59": {"depth": 0.12604, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "61": {"depth": -0.13099, "height": 0.36866, "italic": 0.0, "skew": 0.0}, + "63": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "65": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "66": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "67": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "68": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "69": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "70": {"depth": 0.12604, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "71": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "72": {"depth": 0.06302, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "73": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "74": {"depth": 0.12604, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "75": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "76": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "77": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "78": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "79": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "80": {"depth": 0.18906, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "81": {"depth": 0.03781, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "82": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "83": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "84": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "85": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "86": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "87": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "88": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "89": {"depth": 0.18906, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "90": {"depth": 0.12604, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "91": {"depth": 0.24982, "height": 0.74947, "italic": 0.0, "skew": 0.0}, + "93": {"depth": 0.24982, "height": 0.74947, "italic": 0.0, "skew": 0.0}, + "94": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "97": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "98": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "99": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "100": {"depth": 0.0, "height": 0.62119, "italic": 0.0, "skew": 0.0}, + "101": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "102": {"depth": 0.18906, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "103": {"depth": 0.18906, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "104": {"depth": 0.18906, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "105": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "106": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "107": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "108": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "109": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "110": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "111": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "112": {"depth": 0.18906, "height": 0.52396, "italic": 0.0, "skew": 0.0}, + "113": {"depth": 0.18906, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "114": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "115": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "116": {"depth": 0.0, "height": 0.62119, "italic": 0.0, "skew": 0.0}, + "117": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "118": {"depth": 0.0, "height": 0.52396, "italic": 0.0, "skew": 0.0}, + "119": {"depth": 0.0, "height": 0.52396, "italic": 0.0, "skew": 0.0}, + "120": {"depth": 0.18906, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "121": {"depth": 0.18906, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "122": {"depth": 0.18906, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "8216": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "8217": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "58112": {"depth": 0.0, "height": 0.62119, "italic": 0.0, "skew": 0.0}, + "58113": {"depth": 0.0, "height": 0.62119, "italic": 0.0, "skew": 0.0}, + "58114": {"depth": 0.18906, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "58115": {"depth": 0.18906, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "58116": {"depth": 0.18906, "height": 0.47534, "italic": 0.0, "skew": 0.0}, + "58117": {"depth": 0.0, "height": 0.69141, "italic": 0.0, "skew": 0.0}, + "58118": {"depth": 0.0, "height": 0.62119, "italic": 0.0, "skew": 0.0}, + "58119": {"depth": 0.0, "height": 0.47534, "italic": 0.0, "skew": 0.0} +}, "Main-Bold": { "33": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, "34": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, @@ -1199,6 +1330,153 @@ "1009": {"depth": 0.19444, "height": 0.43056, "italic": 0.0, "skew": 0.08334}, "1013": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.05556} }, +"SansSerif-Regular": { + "33": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "34": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "35": {"depth": 0.19444, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "36": {"depth": 0.05556, "height": 0.75, "italic": 0.0, "skew": 0.0}, + "37": {"depth": 0.05556, "height": 0.75, "italic": 0.0, "skew": 0.0}, + "38": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "39": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "40": {"depth": 0.25, "height": 0.75, "italic": 0.0, "skew": 0.0}, + "41": {"depth": 0.25, "height": 0.75, "italic": 0.0, "skew": 0.0}, + "42": {"depth": 0.0, "height": 0.75, "italic": 0.0, "skew": 0.0}, + "43": {"depth": 0.08333, "height": 0.58333, "italic": 0.0, "skew": 0.0}, + "44": {"depth": 0.125, "height": 0.08333, "italic": 0.0, "skew": 0.0}, + "45": {"depth": 0.0, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "46": {"depth": 0.0, "height": 0.08333, "italic": 0.0, "skew": 0.0}, + "47": {"depth": 0.25, "height": 0.75, "italic": 0.0, "skew": 0.0}, + "48": {"depth": 0.0, "height": 0.65556, "italic": 0.0, "skew": 0.0}, + "49": {"depth": 0.0, "height": 0.65556, "italic": 0.0, "skew": 0.0}, + "50": {"depth": 0.0, "height": 0.65556, "italic": 0.0, "skew": 0.0}, + "51": {"depth": 0.0, "height": 0.65556, "italic": 0.0, "skew": 0.0}, + "52": {"depth": 0.0, "height": 0.65556, "italic": 0.0, "skew": 0.0}, + "53": {"depth": 0.0, "height": 0.65556, "italic": 0.0, "skew": 0.0}, + "54": {"depth": 0.0, "height": 0.65556, "italic": 0.0, "skew": 0.0}, + "55": {"depth": 0.0, "height": 0.65556, "italic": 0.0, "skew": 0.0}, + "56": {"depth": 0.0, "height": 0.65556, "italic": 0.0, "skew": 0.0}, + "57": {"depth": 0.0, "height": 0.65556, "italic": 0.0, "skew": 0.0}, + "58": {"depth": 0.0, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "59": {"depth": 0.125, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "61": {"depth": -0.13, "height": 0.37, "italic": 0.0, "skew": 0.0}, + "63": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "64": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "65": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "66": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "67": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "68": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "69": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "70": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "71": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "72": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "73": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "74": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "75": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "76": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "77": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "78": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "79": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "80": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "81": {"depth": 0.125, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "82": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "83": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "84": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "85": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "86": {"depth": 0.0, "height": 0.69444, "italic": 0.01389, "skew": 0.0}, + "87": {"depth": 0.0, "height": 0.69444, "italic": 0.01389, "skew": 0.0}, + "88": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "89": {"depth": 0.0, "height": 0.69444, "italic": 0.025, "skew": 0.0}, + "90": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "91": {"depth": 0.25, "height": 0.75, "italic": 0.0, "skew": 0.0}, + "93": {"depth": 0.25, "height": 0.75, "italic": 0.0, "skew": 0.0}, + "94": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "95": {"depth": 0.35, "height": 0.09444, "italic": 0.02778, "skew": 0.0}, + "97": {"depth": 0.0, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "98": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "99": {"depth": 0.0, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "100": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "101": {"depth": 0.0, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "102": {"depth": 0.0, "height": 0.69444, "italic": 0.06944, "skew": 0.0}, + "103": {"depth": 0.19444, "height": 0.44444, "italic": 0.01389, "skew": 0.0}, + "104": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "105": {"depth": 0.0, "height": 0.67937, "italic": 0.0, "skew": 0.0}, + "106": {"depth": 0.19444, "height": 0.67937, "italic": 0.0, "skew": 0.0}, + "107": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "108": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "109": {"depth": 0.0, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "110": {"depth": 0.0, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "111": {"depth": 0.0, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "112": {"depth": 0.19444, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "113": {"depth": 0.19444, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "114": {"depth": 0.0, "height": 0.44444, "italic": 0.01389, "skew": 0.0}, + "115": {"depth": 0.0, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "116": {"depth": 0.0, "height": 0.57143, "italic": 0.0, "skew": 0.0}, + "117": {"depth": 0.0, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "118": {"depth": 0.0, "height": 0.44444, "italic": 0.01389, "skew": 0.0}, + "119": {"depth": 0.0, "height": 0.44444, "italic": 0.01389, "skew": 0.0}, + "120": {"depth": 0.0, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "121": {"depth": 0.19444, "height": 0.44444, "italic": 0.01389, "skew": 0.0}, + "122": {"depth": 0.0, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "126": {"depth": 0.35, "height": 0.32659, "italic": 0.0, "skew": 0.0}, + "305": {"depth": 0.0, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "567": {"depth": 0.19444, "height": 0.44444, "italic": 0.0, "skew": 0.0}, + "768": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "769": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "770": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "771": {"depth": 0.0, "height": 0.67659, "italic": 0.0, "skew": 0.0}, + "772": {"depth": 0.0, "height": 0.60889, "italic": 0.0, "skew": 0.0}, + "774": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "775": {"depth": 0.0, "height": 0.67937, "italic": 0.0, "skew": 0.0}, + "776": {"depth": 0.0, "height": 0.67937, "italic": 0.0, "skew": 0.0}, + "778": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "779": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "780": {"depth": 0.0, "height": 0.63194, "italic": 0.0, "skew": 0.0}, + "915": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "916": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "920": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "923": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "926": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "928": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "931": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "933": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "934": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "936": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "937": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "8211": {"depth": 0.0, "height": 0.44444, "italic": 0.02778, "skew": 0.0}, + "8212": {"depth": 0.0, "height": 0.44444, "italic": 0.02778, "skew": 0.0}, + "8216": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "8217": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "8220": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "8221": {"depth": 0.0, "height": 0.69444, "italic": 0.0, "skew": 0.0} +}, +"Script-Regular": { + "65": {"depth": 0.0, "height": 0.7, "italic": 0.22925, "skew": 0.0}, + "66": {"depth": 0.0, "height": 0.7, "italic": 0.04087, "skew": 0.0}, + "67": {"depth": 0.0, "height": 0.7, "italic": 0.1689, "skew": 0.0}, + "68": {"depth": 0.0, "height": 0.7, "italic": 0.09371, "skew": 0.0}, + "69": {"depth": 0.0, "height": 0.7, "italic": 0.18583, "skew": 0.0}, + "70": {"depth": 0.0, "height": 0.7, "italic": 0.13634, "skew": 0.0}, + "71": {"depth": 0.0, "height": 0.7, "italic": 0.17322, "skew": 0.0}, + "72": {"depth": 0.0, "height": 0.7, "italic": 0.29694, "skew": 0.0}, + "73": {"depth": 0.0, "height": 0.7, "italic": 0.19189, "skew": 0.0}, + "74": {"depth": 0.27778, "height": 0.7, "italic": 0.19189, "skew": 0.0}, + "75": {"depth": 0.0, "height": 0.7, "italic": 0.31259, "skew": 0.0}, + "76": {"depth": 0.0, "height": 0.7, "italic": 0.19189, "skew": 0.0}, + "77": {"depth": 0.0, "height": 0.7, "italic": 0.15981, "skew": 0.0}, + "78": {"depth": 0.0, "height": 0.7, "italic": 0.3525, "skew": 0.0}, + "79": {"depth": 0.0, "height": 0.7, "italic": 0.08078, "skew": 0.0}, + "80": {"depth": 0.0, "height": 0.7, "italic": 0.08078, "skew": 0.0}, + "81": {"depth": 0.0, "height": 0.7, "italic": 0.03305, "skew": 0.0}, + "82": {"depth": 0.0, "height": 0.7, "italic": 0.06259, "skew": 0.0}, + "83": {"depth": 0.0, "height": 0.7, "italic": 0.19189, "skew": 0.0}, + "84": {"depth": 0.0, "height": 0.7, "italic": 0.29087, "skew": 0.0}, + "85": {"depth": 0.0, "height": 0.7, "italic": 0.25815, "skew": 0.0}, + "86": {"depth": 0.0, "height": 0.7, "italic": 0.27523, "skew": 0.0}, + "87": {"depth": 0.0, "height": 0.7, "italic": 0.27523, "skew": 0.0}, + "88": {"depth": 0.0, "height": 0.7, "italic": 0.26006, "skew": 0.0}, + "89": {"depth": 0.0, "height": 0.7, "italic": 0.2939, "skew": 0.0}, + "90": {"depth": 0.0, "height": 0.7, "italic": 0.24037, "skew": 0.0} +}, "Size1-Regular": { "40": {"depth": 0.35001, "height": 0.85, "italic": 0.0, "skew": 0.0}, "41": {"depth": 0.35001, "height": 0.85, "italic": 0.0, "skew": 0.0}, @@ -1348,4 +1626,126 @@ "57681": {"depth": 0.0, "height": 0.12, "italic": 0.0, "skew": 0.0}, "57682": {"depth": 0.0, "height": 0.12, "italic": 0.0, "skew": 0.0}, "57683": {"depth": 0.0, "height": 0.12, "italic": 0.0, "skew": 0.0} +}, +"Typewriter-Regular": { + "33": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "34": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "35": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "36": {"depth": 0.08333, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "37": {"depth": 0.08333, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "38": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "39": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "40": {"depth": 0.08333, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "41": {"depth": 0.08333, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "42": {"depth": 0.0, "height": 0.52083, "italic": 0.0, "skew": 0.0}, + "43": {"depth": -0.08056, "height": 0.53055, "italic": 0.0, "skew": 0.0}, + "44": {"depth": 0.13889, "height": 0.125, "italic": 0.0, "skew": 0.0}, + "45": {"depth": -0.08056, "height": 0.53055, "italic": 0.0, "skew": 0.0}, + "46": {"depth": 0.0, "height": 0.125, "italic": 0.0, "skew": 0.0}, + "47": {"depth": 0.08333, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "48": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "49": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "50": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "51": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "52": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "53": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "54": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "55": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "56": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "57": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "58": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "59": {"depth": 0.13889, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "60": {"depth": -0.05556, "height": 0.55556, "italic": 0.0, "skew": 0.0}, + "61": {"depth": -0.19549, "height": 0.41562, "italic": 0.0, "skew": 0.0}, + "62": {"depth": -0.05556, "height": 0.55556, "italic": 0.0, "skew": 0.0}, + "63": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "64": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "65": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "66": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "67": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "68": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "69": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "70": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "71": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "72": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "73": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "74": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "75": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "76": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "77": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "78": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "79": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "80": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "81": {"depth": 0.13889, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "82": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "83": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "84": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "85": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "86": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "87": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "88": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "89": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "90": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "91": {"depth": 0.08333, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "92": {"depth": 0.08333, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "93": {"depth": 0.08333, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "94": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "95": {"depth": 0.09514, "height": 0.0, "italic": 0.0, "skew": 0.0}, + "96": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "97": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "98": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "99": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "100": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "101": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "102": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "103": {"depth": 0.22222, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "104": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "105": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "106": {"depth": 0.22222, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "107": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "108": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "109": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "110": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "111": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "112": {"depth": 0.22222, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "113": {"depth": 0.22222, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "114": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "115": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "116": {"depth": 0.0, "height": 0.55358, "italic": 0.0, "skew": 0.0}, + "117": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "118": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "119": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "120": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "121": {"depth": 0.22222, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "122": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "123": {"depth": 0.08333, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "124": {"depth": 0.08333, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "125": {"depth": 0.08333, "height": 0.69444, "italic": 0.0, "skew": 0.0}, + "126": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "127": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "305": {"depth": 0.0, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "567": {"depth": 0.22222, "height": 0.43056, "italic": 0.0, "skew": 0.0}, + "768": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "769": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "770": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "771": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "772": {"depth": 0.0, "height": 0.56555, "italic": 0.0, "skew": 0.0}, + "774": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "776": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "778": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "780": {"depth": 0.0, "height": 0.56597, "italic": 0.0, "skew": 0.0}, + "915": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "916": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "920": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "923": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "926": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "928": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "931": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "933": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "934": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "936": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "937": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "2018": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "2019": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0}, + "8242": {"depth": 0.0, "height": 0.61111, "italic": 0.0, "skew": 0.0} }} diff --git a/static/fonts.less b/static/fonts.less index 81fc4f571..6e8b26216 100644 --- a/static/fonts.less +++ b/static/fonts.less @@ -48,22 +48,22 @@ } .font-face('AMS', normal, normal); -// .font-face('Caligraphic', bold, normal); -// .font-face('Caligraphic', normal, normal); -// .font-face('Fraktur', bold, normal); -// .font-face('Fraktur', normal, normal); +.font-face('Caligraphic', bold, normal); +.font-face('Caligraphic', normal, normal); +.font-face('Fraktur', bold, normal); +.font-face('Fraktur', normal, normal); .font-face('Main', bold, normal); .font-face('Main', normal, italic); .font-face('Main', normal, normal); -.font-face('Math', bold, italic); +// .font-face('Math', bold, italic); .font-face('Math', normal, italic); -.font-face('Math', normal, normal); +// .font-face('Math', normal, normal); // .font-face('SansSerif', bold, normal); // .font-face('SansSerif', normal, italic); -// .font-face('SansSerif', normal, normal); -// .font-face('Script', normal, normal); +.font-face('SansSerif', normal, normal); +.font-face('Script', normal, normal); .font-face('Size1', normal, normal); .font-face('Size2', normal, normal); .font-face('Size3', normal, normal); .font-face('Size4', normal, normal); -// .font-face('Typewriter', normal, normal); +.font-face('Typewriter', normal, normal); diff --git a/static/katex.less b/static/katex.less index 87ff6e54d..43d6d7450 100644 --- a/static/katex.less +++ b/static/katex.less @@ -53,10 +53,44 @@ font-style: italic; } + .mathbf { + font-family: KaTeX_Main; + font-weight: bold; + } + .amsrm { font-family: KaTeX_AMS; } + .mathbb { + font-family: KaTeX_AMS; + } + + .mathcal { + font-family: KaTeX_Caligraphic; + } + + .mathfrak { + font-family: KaTeX_Fraktur; + } + + .mathtt { + font-family: KaTeX_Typewriter; + } + + .mathscr { + font-family: KaTeX_Script; + } + + .mathsf { + font-family: KaTeX_SansSerif; + } + + .mainit { + font-family: KaTeX_Main; + font-style: italic; + } + // This value is also used in fontMetrics.js, if you change it make sure the // values match. @ptperem: 10.0;