fix overview table padding

This commit is contained in:
Gaspard Jankowiak 2025-11-17 11:49:48 +01:00
commit ff7d5fea91

View file

@ -219,11 +219,11 @@ let exercise_overview_table() = context {
let top = 8pt
if y == 0 { top = 2pt }
if x == 0 {
(left:4pt, right:0pt, top: top, bottom: 0pt)
(left:4pt, right:2pt, top: top, bottom: 0pt)
} else if x == entries.len() {
(left:4pt, right:4pt, top: top, bottom: 0pt)
(left:2pt, right:4pt, top: top, bottom: 0pt)
} else {
(left:2pt, right:0pt, top: top, bottom: 0pt)
(left:2pt, right:2pt, top: top, bottom: 0pt)
}
},
align: (x, y) => { if (y == 1) { right+horizon } else { center+horizon }},