void increasePosAfterPos(pos_type pos);
///
void decreasePosAfterPos(pos_type pos);
/// Returns the height of the highest font in range
void increasePosAfterPos(pos_type pos);
///
void decreasePosAfterPos(pos_type pos);
/// Returns the height of the highest font in range