minor style improvements

This commit is contained in:
2024-06-21 18:14:40 +02:00
parent 0cff9d6799
commit 2c724598e9
9 changed files with 35 additions and 7 deletions

View File

@@ -2,6 +2,7 @@
#let PAR-SPACE = 10
#let COMMENT-PAD = 8
#let LIFELINE-W = 10
#let CREATE-OFFSET = 15
#let SYM-GAP = 5
#let PAR-PAD = (5pt, 3pt)