Integration of MathJax, KaTeX and Asymptote with scribble, to typeset math in Racket documentation
Go to file
Ben Alpert 7f25fd7dc9 Parse metrics directly from .ttf files
Summary:
Fixes T1325.

This has the advantage of not having to do the mapping manually. Also it means that characters like \neq are included in the mapping, so this resolves T1323 as well.

I opted to group the metrics by character instead of by metric type because I think it'll gzip better and it makes getCharacterMetrics simpler anyway.

Test Plan: The test page looks identical to the pixel to my eye.

Reviewers: emily

Reviewed By: emily

Maniphest Tasks: T1323, T1325

Differential Revision: http://phabricator.khanacademy.org/D3535
2013-08-14 10:57:00 -07:00
build Add a setup rule to Makefile 2013-07-30 13:54:43 -07:00
static Add ability to calculate heights/depths 2013-08-13 18:16:43 -07:00
test Add ability to calculate heights/depths 2013-08-13 18:16:43 -07:00
.arcconfig Rename everything to KaTeX 2013-07-10 14:08:50 -07:00
.gitignore Rewrite the parser 2013-07-12 23:16:30 -07:00
buildTree.js Parse metrics directly from .ttf files 2013-08-14 10:57:00 -07:00
domTree.js Add ability to calculate heights/depths 2013-08-13 18:16:43 -07:00
fontMetrics.js Parse metrics directly from .ttf files 2013-08-14 10:57:00 -07:00
katex.js Add ability to calculate heights/depths 2013-08-13 18:16:43 -07:00
Lexer.js Always throw real ParseErrors 2013-07-28 17:54:41 -07:00
Makefile Add ability to calculate heights/depths 2013-08-13 18:16:43 -07:00
metric_parse.rb Parse metrics directly from .ttf files 2013-08-14 10:57:00 -07:00
Options.js Add ability to calculate heights/depths 2013-08-13 18:16:43 -07:00
package.json Oops, forgot about commas 2013-08-13 18:27:42 -07:00
ParseError.js Make ParseErrors differentiable from other Errors 2013-07-22 14:46:13 -07:00
Parser.js Add ability to calculate heights/depths 2013-08-13 18:16:43 -07:00
parseTree.js Remove Parser options usage 2013-07-13 18:15:17 -07:00
server.js Add ability to calculate heights/depths 2013-08-13 18:16:43 -07:00
Style.js Add ability to calculate heights/depths 2013-08-13 18:16:43 -07:00
utils.js Add ability to calculate heights/depths 2013-08-13 18:16:43 -07:00