suzanne.soy/scribble-math
1
0
Fork 0
Code Issues 8 Pull Requests 3 Actions Packages Projects Releases Wiki Activity

Merge pull request #290 from kevinb7/fonts-p1_metrics

Browse Source 
Adds font metrics to support font commands.
This commit is contained in:
Kevin Barabash 2015-07-29 09:04:33 -07:00
commit 4a507c40f1
6 changed files with 579 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
metrics/extract_tfms.py
View File

@ -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=<font>` 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)

110
metrics/mapping.pl
View File

@ -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;

14
metrics/parse_tfm.py
View File

@ -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():

400
src/fontMetricsData.json
View File

@ -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}
}}

18
static/fonts.less
View File

@ -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);

34
static/katex.less
View File

@ -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;