Fix tbl-column: margin for Typst output
#6606
| Job | Run time |
|---|---|
| 18s | |
| 7s | |
| 17m 58s | |
| 28m 26s | |
| 28m 49s | |
| 17m 55s | |
| 23m 52s | |
| 25m 34s | |
| 16m 41s | |
| 23m 31s | |
| 16m 9s | |
| 26m 16s | |
| 22m 52s | |
| 17m 51s | |
| 15m 13s | |
| 24m 50s | |
| 15m 43s | |
| 17m 36s | |
| 17m 48s | |
| 26m 24s | |
| 17m 11s | |
| 17m 22s | |
| 24m 46s | |
| 27m 0s | |
| 25m 40s | |
| 24m 23s | |
| 14m 27s | |
| 27m 1s | |
| 14m 2s | |
| 21m 57s | |
| 27m 21s | |
| 22m 16s | |
| 22m 38s | |
| 16m 46s | |
| 23m 28s | |
| 26m 58s | |
| 16m 22s | |
| 28m 16s | |
| 17m 51s | |
| 15m 28s | |
| 16m 43s | |
| 16m 24s | |
| 14h 8m 13s |