2024-06-18 19:31:13 +00:00
|
|
|
#let Y-SPACE = 10
|
|
|
|
|
#let PAR-SPACE = 10
|
|
|
|
|
#let COMMENT-PAD = 8
|
2024-06-19 20:01:29 +00:00
|
|
|
#let LIFELINE-W = 10
|
2024-06-21 16:14:40 +00:00
|
|
|
#let CREATE-OFFSET = 15
|
2024-07-30 12:26:16 +00:00
|
|
|
#let DEFAULT-SLANT = 10
|
2024-07-30 16:20:50 +00:00
|
|
|
#let CROSS-TIP-SIZE = 4
|
|
|
|
|
#let CIRCLE-TIP-RADIUS = 3
|
2024-06-19 20:01:29 +00:00
|
|
|
|
|
|
|
|
#let SYM-GAP = 5
|
|
|
|
|
#let PAR-PAD = (5pt, 3pt)
|
|
|
|
|
#let ACTOR-WIDTH = 20
|
|
|
|
|
#let BOUNDARY-HEIGHT = 20
|
|
|
|
|
#let CONTROL-HEIGHT = 20
|
|
|
|
|
#let ENTITY-HEIGHT = 20
|
|
|
|
|
#let DATABASE-WIDTH = 24
|
|
|
|
|
#let COLLECTIONS-PAD = (5pt, 3pt)
|
|
|
|
|
#let COLLECTIONS-DX = 3
|
|
|
|
|
#let COLLECTIONS-DY = 3
|
2024-06-19 20:16:51 +00:00
|
|
|
#let QUEUE-PAD = (5pt, 3pt)
|
|
|
|
|
|
2024-06-21 13:59:35 +00:00
|
|
|
#let NOTE-PAD = (6, 3)
|
|
|
|
|
#let NOTE-CORNER-SIZE = 6
|
|
|
|
|
#let NOTE-GAP = 3
|
|
|
|
|
#let NOTE-HEX-PAD = (6, 8)
|
|
|
|
|
|
2024-06-20 20:44:15 +00:00
|
|
|
#let COL-DESTRUCTION = rgb("#A80238")
|
|
|
|
|
#let COL-GRP-NAME = rgb("#EEEEEE")
|
2024-06-21 13:59:35 +00:00
|
|
|
#let COL-SEP-NAME = rgb("#EEEEEE")
|
|
|
|
|
#let COL-NOTE = rgb("#FEFFDD")
|
