diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-08-09 11:37:39 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-08-09 11:38:38 -0700 |
| commit | cc371a9485241db3e0101180432e2122d023a9bd (patch) | |
| tree | 2882f2d10e8b17a78fef6282dca5e7a976619183 /data | |
| parent | e611edb7d86af665830a34bb3ee2ff049eda0976 (diff) | |
Typst writer: put the label in right place for Div, use `#block`.
Closes #8991.
Previously we were putting the label at the beginning of
the Div's contents, but according to the documentation such a
label gets attached to the *preceding* element. We now use an
explicit `#block` and add the label at the end.
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions