equal
deleted
inserted
replaced
261 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ inlines ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
261 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ inlines ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
262 |
262 |
263 inlines = mixed { |
263 inlines = mixed { |
264 sup* |
264 sup* |
265 & sub* |
265 & sub* |
|
266 & name* |
|
267 & highlight* |
266 } |
268 } |
267 |
269 |
268 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
270 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ sub, sup ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
269 |
271 |
270 sup = element sup { inlines } |
272 sup = element sup { inlines } |
271 |
273 |
272 sub = element sub { inlines } |
274 sub = element sub { inlines } |
|
275 |
|
276 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ name ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
277 |
|
278 name = element name { name.attributes, name.content } |
|
279 |
|
280 name.attributes = |
|
281 name.of.attribute? |
|
282 name.of.attribute = attribute of |
|
283 { "person" | "company" | "book" | "newspaper" | "party" } |
|
284 |
|
285 name.content = inlines |
|
286 |
|
287 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ highlight ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
|
288 |
|
289 highlight = element highlight { highlight.content } |
|
290 |
|
291 highlight.content = inlines |
273 |
292 |
274 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
293 # ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ link ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
275 |
294 |
276 link = element link { link.attributes, link.content } |
295 link = element link { link.attributes, link.content } |
277 |
296 |