Sun, 30 Dec 2012 21:49:20 +0100 | wenzelm | tuned rendering; | changeset | files |
Sun, 30 Dec 2012 20:15:02 +0100 | wenzelm | ignore markup elements over empty body, which are not well-defined within markup tree and fail to work with merge_disjoint (e.g. multiple inlined positions); | changeset | files |