Skip to content

nicer style rules for margin around footnote defs #1901

nicer style rules for margin around footnote defs

nicer style rules for margin around footnote defs #1901

Annotations

1 warning

Success gate

succeeded Jan 21, 2025 in 0s
Set up job
1s
Run jq --exit-status 'all(.result == "success")' <<< '{
0s
Done
0s
Complete job
0s