Eddie Kohler
4480f2c987
Correct computation of TeX sizes. ( #755 )
...
* Em and mu sizes are relative to current font's quad metric,
which might not be "1em" in CSS terms.
* We don't need the `emPerEx` metric, because we want to convert
TeX `ex` to CSS `em`, not TeX `ex` to TeX `em`. The `xHeight`
metric does that already: it is relative to font size.
* Mu sizes scale with the style, em and ex do not (empirically
checked; agrees with rule 2 of TeXbook Appendix G).
This corrects a bug in b866cd5224
(in which em scaled),
and a bug in previous versions (in which mu did not scale).
* Correct rule sizes. Previous comment---"the sizes of rules are
absolute"---was misleading. Rule sizes are NOT absolute---in
\large size, a rule denominated in 'em' is larger. But the 'em'
unit is not sensitive to styles. So now a 1em rule will be the
same size in super/subscript, as it should be, but an 18mu rule
will change size in super/subscript, as it should.
Note a TODO.
2017-07-09 17:23:00 -04:00
..
2017-06-05 23:52:16 -04:00
2017-06-05 23:52:16 -04:00
2017-06-10 17:10:29 -04:00
2017-06-10 17:10:29 -04:00
2017-01-15 22:17:45 +01:00
2017-01-15 22:17:45 +01:00
2017-06-27 20:55:14 -04:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2015-11-12 17:08:16 +01:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2016-12-05 15:48:04 -05:00
2016-12-05 15:48:04 -05:00
2017-06-27 20:55:14 -04:00
2017-06-05 23:52:16 -04:00
2016-11-28 12:55:54 -05:00
2016-11-28 12:55:54 -05:00
2017-06-15 23:47:51 -04:00
2017-06-15 23:47:51 -04:00
2016-12-05 15:59:10 -05:00
2016-12-05 15:59:10 -05:00
2017-06-12 23:11:27 -04:00
2017-06-12 23:11:27 -04:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2016-11-28 12:55:54 -05:00
2016-11-28 12:55:54 -05:00
2016-12-05 15:59:10 -05:00
2016-12-05 15:59:10 -05:00
2017-06-27 20:55:14 -04:00
2017-06-27 20:55:14 -04:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2015-11-12 17:08:16 +01:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2016-11-04 07:45:08 +01:00
2016-11-04 07:45:08 +01:00
2017-06-15 23:47:51 -04:00
2017-06-15 23:47:51 -04:00
2016-12-05 15:58:26 -05:00
2016-12-05 15:58:26 -05:00
2015-11-12 17:08:16 +01:00
2015-08-30 02:12:55 +02:00
2017-06-10 17:10:29 -04:00
2017-06-10 17:10:29 -04:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2017-04-05 21:43:04 +01:00
2017-04-05 21:43:04 +01:00
2017-06-15 23:47:51 -04:00
2017-06-15 23:47:51 -04:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2015-12-30 18:14:29 -08:00
2015-12-30 18:14:29 -08:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2015-08-30 23:09:42 +02:00
2017-07-08 20:22:29 -04:00
2017-07-08 20:22:29 -04:00
2016-11-04 07:45:08 +01:00
2016-11-04 07:45:08 +01:00
2015-11-12 17:08:16 +01:00
2015-08-30 02:12:55 +02:00
2017-05-12 09:28:49 -04:00
2017-05-12 09:28:49 -04:00
2017-07-08 20:22:29 -04:00
2017-07-08 20:22:29 -04:00
2017-06-05 23:52:16 -04:00
2017-06-05 23:52:16 -04:00
2017-06-15 23:47:51 -04:00
2017-06-15 23:47:51 -04:00
2016-12-05 15:48:05 -05:00
2016-12-05 15:48:05 -05:00
2016-12-05 15:48:05 -05:00
2016-12-05 15:48:05 -05:00
2015-11-12 17:08:16 +01:00
2015-08-30 23:09:42 +02:00
2015-11-12 17:08:16 +01:00
2015-08-30 23:09:42 +02:00
2015-11-12 17:08:16 +01:00
2015-08-30 23:09:42 +02:00
2015-11-12 17:08:16 +01:00
2015-08-30 23:09:42 +02:00
2015-11-12 17:08:16 +01:00
2015-08-30 23:09:42 +02:00
2015-11-12 17:08:16 +01:00
2015-08-30 23:09:42 +02:00
2017-06-30 08:49:00 -07:00
2017-06-30 08:49:00 -07:00
2015-11-12 17:08:16 +01:00
2015-08-30 23:09:42 +02:00
2015-11-12 17:08:16 +01:00
2015-08-30 23:09:42 +02:00
2015-11-12 17:08:16 +01:00
2015-08-30 23:09:42 +02:00
2015-11-12 17:08:16 +01:00
2015-08-30 23:09:42 +02:00
2016-12-31 20:51:20 -05:00
2016-12-31 20:51:20 -05:00
2017-06-27 20:55:14 -04:00
2016-12-31 20:51:20 -05:00
2016-11-28 12:55:54 -05:00
2016-11-28 12:55:54 -05:00
2017-06-27 20:55:14 -04:00
2017-06-27 20:55:14 -04:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2017-04-07 22:06:23 +01:00
2017-04-07 22:06:23 +01:00
2017-06-05 23:52:16 -04:00
2017-06-05 23:52:16 -04:00
2016-11-04 07:45:08 +01:00
2016-11-04 07:45:08 +01:00
2017-04-05 21:43:21 +01:00
2017-04-05 21:43:21 +01:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2016-11-04 07:45:08 +01:00
2016-11-04 07:45:08 +01:00
2017-01-19 19:50:16 +01:00
2017-01-19 19:50:16 +01:00
2017-07-09 17:23:00 -04:00
2017-07-09 17:23:00 -04:00
2015-08-30 02:12:55 +02:00
2015-08-30 02:12:55 +02:00
2015-09-22 10:21:33 -07:00
2015-09-22 10:21:33 -07:00
2017-06-27 20:55:14 -04:00
2017-06-27 20:55:14 -04:00
2017-06-27 20:55:14 -04:00
2017-06-27 20:55:14 -04:00
2015-11-12 17:08:16 +01:00
2015-08-30 02:12:55 +02:00
2017-06-27 20:55:14 -04:00
2017-06-27 20:55:14 -04:00
2016-11-04 07:45:08 +01:00
2016-11-04 07:45:08 +01:00
2016-12-05 15:59:10 -05:00
2016-12-05 15:59:10 -05:00
2017-06-15 23:47:51 -04:00
2017-06-15 23:47:51 -04:00
2017-06-15 23:47:51 -04:00
2017-06-15 23:47:51 -04:00
2016-12-08 16:20:32 -05:00
2016-12-08 16:20:32 -05:00
2017-06-27 20:55:14 -04:00
2017-06-27 20:55:14 -04:00
2016-09-17 17:22:01 -07:00
2016-09-17 17:22:01 -07:00
2016-11-04 07:45:08 +01:00
2016-11-04 07:45:08 +01:00
2016-11-28 12:55:54 -05:00
2016-11-28 12:55:54 -05:00
2015-11-12 17:08:16 +01:00
2015-08-30 02:12:55 +02:00
2017-05-16 18:03:47 -04:00
2017-05-16 18:03:47 -04:00
2015-11-12 17:08:16 +01:00
2015-08-30 02:12:55 +02:00
2017-06-10 16:03:22 -04:00
2017-06-10 16:03:22 -04:00
2016-12-05 15:59:10 -05:00
2016-12-05 15:59:10 -05:00
2016-12-05 15:59:10 -05:00
2016-12-05 15:59:10 -05:00
2017-06-27 20:55:14 -04:00
2017-06-27 20:55:14 -04:00