.horizontal-rule[data-v-3d2afe98]{margin-top:20px;margin-bottom:16px}.diagram-headline[data-v-3d2afe98]{font-weight:600;font-family:var(--ff-font-family-base);font-size:22px;line-height:30px}