Fix tbl-column: margin for Typst output (closes #13929)
#6627
| Job | Run time |
|---|---|
| 22s | |
| 6s | |
| 16m 9s | |
| 25m 42s | |
| 27m 52s | |
| 23m 38s | |
| 25m 26s | |
| 27m 29s | |
| 25m 13s | |
| 23m 28s | |
| 16m 44s | |
| 17m 6s | |
| 17m 29s | |
| 15m 29s | |
| 15m 21s | |
| 23m 53s | |
| 15m 37s | |
| 15m 10s | |
| 24m 59s | |
| 29m 39s | |
| 16m 19s | |
| 15m 0s | |
| 15m 8s | |
| 17m 34s | |
| 25m 17s | |
| 26m 11s | |
| 24m 34s | |
| 25m 10s | |
| 27m 48s | |
| 17m 28s | |
| 15m 49s | |
| 24m 43s | |
| 13m 59s | |
| 16m 15s | |
| 26m 19s | |
| 22m 48s | |
| 24m 52s | |
| 26m 30s | |
| 14m 46s | |
| 23m 5s | |
| 16m 56s | |
| 16m 15s | |
| 13h 59m 38s |