$prefix: mzn-overflow-tooltip;
$counterTagPrefix: mzn-overflow-counter-tag;