ylemkimon
ea409eaf1d
fix(fonts): update fonts dependencies ( #2866 )
...
* fix(fonts): update fonts dependencies
* chore(fonts): fix buildMetrics for Python 3
* fix(fonts): update fonts
* test: update screenshots
* docs: update reference to katex-fonts
* chore: use Python 3
* fix(fonts): update fonts
* test: update screenshots
* Use explicit path
* Command-line arguments aren't actually supported
* Small buildMetrics fixes
* Add build:{fonts,metrics} script
* Lock versions of font-related dependencies
* Install minimal texlive
* Install fontforge
Co-authored-by: Erik Demaine <edemaine@mit.edu >
2021-08-29 07:06:42 +09:00
ylemkimon
7300952ae1
test: update Firefox screenshots ( #2845 )
2021-03-22 13:54:23 +09:00
ylemkimon
3dd1ed45b4
Run screenshotter using Chrome 83 and Firefox 76 ( #2304 )
...
* Run screenshotter using Chrome 83 and Firefox 76
* Update screenshots
* Update NegativeSpace-chrome screenshot
The new screenshot is correct as per #1194 .
* Update Units-chrome screenshot
The new screenshot is correct as per #732 and compared to Firefox.
* Update screenshots
2020-07-14 08:48:55 -07:00
ylemkimon
800cdb2d23
Cleanup font build scripts & minor font updates ( #2155 )
...
* Minor font updates
* Update screenshots
* Cleanup build scripts
2019-12-07 13:11:45 +09:00
Eddie Kohler
7192bd6595
Fix #683 .
...
Shift spaces back into the replacement middle delimiter.
2017-05-12 09:28:49 -04:00
Eddie Kohler
e449b2d61a
Handle \middle.
2016-12-08 16:41:19 -05:00
