They correspond to group start and group end and are geared at ensuring that a group of buttons don't end up broken across two menu rows. I don't recall the HTML they output...