Daniele D'Orazio
1425bf9a65
Add support for reading and writing <kbd> elements
...
* Text.Pandoc.Shared: export `htmlSpanLikeElements` [API change]
This commit also introduces a mapping of HTML span like elements that
are internally represented as a Span with a single class, but that are
converted back to the original element by the html writer. As of now,
only the kbd element is handled this way. Ideally these elements should
be handled as plain AST values, but since that would be a breaking
change with a large impact, we revert to this stop-gap solution.
Fixes https://github.com/jgm/pandoc/issues/5796 .
2019-10-15 09:49:09 -07:00
..
2019-10-15 09:49:09 -07:00
2019-09-21 11:37:21 -07:00
2019-06-22 22:07:26 +02:00
2019-05-15 13:31:07 +03:00
2019-03-09 16:53:53 -08:00
2019-09-15 12:11:58 -07:00
2017-02-04 12:56:30 +01:00
2019-06-20 21:55:31 +02:00
2019-08-27 01:24:41 -04:00
2019-10-15 16:36:05 +03:00
2017-02-04 12:56:30 +01:00
2017-10-29 13:28:50 -04:00
2017-10-29 13:28:50 -04:00
2017-02-04 12:56:30 +01:00
2017-02-04 12:56:30 +01:00
2017-02-04 12:56:30 +01:00
2018-07-30 14:38:38 -07:00
2019-01-01 14:07:26 -08:00
2017-02-04 12:56:30 +01:00
2017-02-04 12:56:30 +01:00
2017-02-04 12:56:30 +01:00
2018-03-11 18:20:36 -07:00
2018-03-11 18:20:36 -07:00
2018-11-02 17:22:56 -07:00
2017-02-04 12:56:30 +01:00
2017-02-04 12:56:30 +01:00
2017-10-27 18:45:00 -04:00
2019-05-27 13:53:19 -04:00
2017-02-04 12:56:30 +01:00
2018-03-05 09:44:34 -08:00
2018-03-05 09:44:34 -08:00
2017-02-04 12:56:30 +01:00
2019-03-13 18:21:00 -06:00
2017-07-12 14:50:49 +02:00
2019-01-08 11:36:33 -08:00
2017-02-04 12:56:30 +01:00
2019-09-05 12:42:23 -07:00
2019-09-05 12:42:23 -07:00
2019-06-13 19:33:52 -07:00
2019-04-02 18:18:36 -06:00
2019-01-08 11:36:33 -08:00
2017-02-04 12:56:30 +01:00
2019-01-08 11:36:33 -08:00
2018-04-19 13:47:16 -07:00
2018-04-19 13:47:16 -07:00
2018-10-27 23:37:18 -07:00
2018-10-27 23:37:18 -07:00
2018-11-20 23:56:13 -05:00
2017-02-04 12:56:30 +01:00
2018-09-19 14:53:29 -07:00
2017-08-19 15:45:01 -07:00
2019-01-25 17:10:49 -08:00
2017-02-04 12:56:30 +01:00
2017-02-04 12:56:30 +01:00
2017-02-04 12:56:30 +01:00
2017-02-04 12:56:30 +01:00
2019-01-30 18:27:38 +01:00
2019-01-30 18:27:38 +01:00
2017-12-12 15:36:29 -08:00
2017-02-04 12:56:30 +01:00
2019-02-25 17:33:54 -08:00
2019-02-25 17:33:54 -08:00
2019-09-05 12:42:23 -07:00
2019-10-09 14:32:30 -07:00
2017-02-04 12:56:30 +01:00
2019-09-05 12:42:23 -07:00
2017-02-04 12:56:30 +01:00
2018-10-06 22:33:24 -07:00
2019-01-07 22:10:34 -08:00
2019-02-09 08:21:53 -08:00
2018-04-21 13:06:57 -07:00
2019-08-25 14:24:31 -07:00
2018-04-21 13:06:57 -07:00
2018-04-21 13:06:57 -07:00
2019-08-25 14:24:31 -07:00
2019-08-25 14:24:31 -07:00
2018-04-21 13:06:57 -07:00
2018-04-21 13:06:57 -07:00
2018-04-21 13:06:57 -07:00
2018-04-21 13:06:57 -07:00
2018-04-21 13:06:57 -07:00
2019-08-25 14:24:31 -07:00
2018-04-21 13:06:57 -07:00
2018-10-17 17:26:37 -07:00
2018-04-21 14:16:24 -07:00
2019-08-25 14:24:31 -07:00
2018-10-23 21:44:07 -07:00
2018-10-25 18:35:02 +03:00
2018-04-21 13:06:57 -07:00
2019-06-08 14:17:52 -07:00
2017-02-04 12:56:30 +01:00
2018-04-21 13:06:57 -07:00
2018-10-06 22:33:24 -07:00
2019-08-25 14:24:31 -07:00
2017-02-04 12:56:30 +01:00
2018-04-21 13:06:57 -07:00
2019-08-25 14:24:31 -07:00
2019-08-25 14:24:31 -07:00
2019-08-25 14:24:31 -07:00
2019-08-25 14:24:31 -07:00
2019-05-20 12:52:28 -04:00
2019-02-25 17:33:54 -08:00
2017-05-25 12:57:31 +02:00
2018-07-02 19:07:28 +03:00
2018-07-02 19:07:28 +03:00
2018-06-28 13:35:54 +02:00
2017-07-21 10:09:54 +02:00
2017-02-04 12:56:30 +01:00
2017-02-04 12:56:30 +01:00
2017-10-27 18:45:00 -04:00
2018-07-02 19:07:28 +03:00
2019-04-05 10:04:28 -07:00
2018-10-24 15:07:05 +03:00
2019-09-04 14:57:22 -07:00
2019-05-05 21:57:30 -07:00
2019-07-15 11:55:04 -07:00
2019-08-25 14:24:31 -07:00
2019-08-25 14:24:31 -07:00
2019-08-25 14:24:31 -07:00
2019-02-25 17:33:54 -08:00
2019-05-15 13:31:07 +03:00
2019-02-25 17:33:54 -08:00
2019-09-08 22:20:19 -07:00
2019-09-08 22:20:19 -07:00
2019-10-14 23:42:29 -07:00
2019-07-06 23:31:02 +02:00
2019-08-11 21:57:12 +02:00
2019-10-12 23:20:57 -07:00
2019-09-23 17:46:39 -07:00
2019-07-18 22:31:03 -07:00
2019-02-25 17:33:54 -08:00
2018-12-13 11:24:51 -08:00
2019-07-28 19:25:45 -07:00
2019-02-25 17:33:54 -08:00
2019-06-12 21:51:09 -07:00
2019-02-25 17:33:54 -08:00
2019-05-12 14:49:52 +02:00
2019-09-22 11:33:09 -07:00
2019-08-25 14:24:31 -07:00
2019-02-25 17:33:54 -08:00
2018-08-16 21:19:03 -07:00
2019-02-25 17:33:54 -08:00
2019-08-25 14:24:31 -07:00
2019-04-02 17:27:02 -06:00
2019-01-01 14:08:38 -08:00
2019-07-15 11:55:04 -07:00
2019-04-11 16:58:36 -07:00
2017-02-04 12:56:30 +01:00