Davide P. Cervone 8f628e0590 Adjust height and depth of minus to match plus, and fix arrow rep to remove the extra when it is used as an arrow extender. Fix up some spacing and use shorthands for some font names. Resolves issue #1187.		2016-06-16 22:20:56 -04:00
..
Alphabets	Update copyright dates.	2015-01-29 10:21:06 -05:00
Arrows	Update copyright dates.	2015-01-29 10:21:06 -05:00
DoubleStruck	Update copyright dates.	2015-01-29 10:21:06 -05:00
Fraktur	Update copyright dates.	2015-01-29 10:21:06 -05:00
Latin	Update copyright dates.	2015-01-29 10:21:06 -05:00
Main	Update copyright dates.	2015-01-29 10:21:06 -05:00
Marks	Update copyright dates.	2015-01-29 10:21:06 -05:00
Misc	Update copyright dates.	2015-01-29 10:21:06 -05:00
Monospace/Regular	Update copyright dates.	2015-01-29 10:21:06 -05:00
Normal	Update copyright dates.	2015-01-29 10:21:06 -05:00
Operators	Update copyright dates.	2015-01-29 10:21:06 -05:00
SansSerif	Update copyright dates.	2015-01-29 10:21:06 -05:00
Script	Update copyright dates.	2015-01-29 10:21:06 -05:00
Shapes	Update copyright dates.	2015-01-29 10:21:06 -05:00
Size1/Regular	Update copyright dates.	2015-01-29 10:21:06 -05:00
Size2/Regular	Update copyright dates.	2015-01-29 10:21:06 -05:00
Size3/Regular	Update copyright dates.	2015-01-29 10:21:06 -05:00
Size4/Regular	Update copyright dates.	2015-01-29 10:21:06 -05:00
Size5/Regular	Update copyright dates.	2015-01-29 10:21:06 -05:00
Symbols	Update copyright dates.	2015-01-29 10:21:06 -05:00
Variants	Update copyright dates.	2015-01-29 10:21:06 -05:00
fontdata-extra.js	Adjust height and depth of minus to match plus, and fix arrow rep to remove the extra when it is used as an arrow extender. Fix up some spacing and use shorthands for some font names. Resolves issue #1187.	2016-06-16 22:20:56 -04:00
fontdata.js	Adjust height and depth of minus to match plus, and fix arrow rep to remove the extra when it is used as an arrow extender. Fix up some spacing and use shorthands for some font names. Resolves issue #1187.	2016-06-16 22:20:56 -04:00