Files
Albert Krewinkel 635b6e3953 Use dev version of gridtables
This allows to specify a table foot by enclosing it with part separator
lines, i.e., row separator lines consisting only of `+` and `=`
characters. E.g.:

    +------+-------+
    | Item | Price |
    +======+=======+
    | Eggs | 5£    |
    +------+-------+
    | Spam | 3£    |
    +======+=======+
    | Sum  | 8£    |
    +======+=======+

The last row, containing "Sum" and "8£", is the table foot.

Closes: #8257
2022-09-01 09:06:42 +02:00

565 B

% pandoc -f markdown -t html5
+------+-------+
| Item | Price |
+======+=======+
| Eggs | 5£    |
+------+-------+
| Spam | 3£    |
+======+=======+
| Sum  | 8£    |
+======+=======+
^D
<table style="width:21%;">
<colgroup>
<col style="width: 9%" />
<col style="width: 11%" />
</colgroup>
<thead>
<tr class="header">
<th>Item</th>
<th>Price</th>
</tr>
</thead>
<tbody>
<tr class="odd">
<td>Eggs</td>
<td>5£</td>
</tr>
<tr class="even">
<td>Spam</td>
<td>3£</td>
</tr>
</tbody><tfoot>
<tr class="odd">
<td>Sum</td>
<td>8£</td>
</tr>
</tfoot>

</table>