I'm trying to edit a given document, but in the margin, there are dots, which i don't understand what function they symbolize.
I attached an image:

So the question is: what are they for?

Thanks a lot